Trace number 4250176

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)? (TO) 2400.1 334.612

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-11-12-fair.xml
MD5SUM4cd037b51317e52702be0dab62f9a527
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables34626
Number of constraints32807
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":4598},{"size":201,"count":156},{"size":20001,"count":29872}]
Minimum variable degree2
Maximum variable degree276
Distribution of variable degrees[{"degree":2,"count":30674},{"degree":3,"count":792},{"degree":4,"count":45},{"degree":5,"count":330},{"degree":6,"count":186},{"degree":7,"count":671},{"degree":8,"count":971},{"degree":9,"count":546},{"degree":10,"count":24},{"degree":12,"count":25},{"degree":13,"count":288},{"degree":14,"count":11},{"degree":24,"count":1},{"degree":35,"count":13},{"degree":57,"count":13},{"degree":59,"count":10},{"degree":70,"count":1},{"degree":80,"count":12},{"degree":125,"count":2},{"degree":126,"count":10},{"degree":276,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":5304},{"arity":3,"count":27501}]
Number of extensional constraints0
Number of intensional constraints32807
Distribution of constraint types[{"type":"intension","count":32807}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4250176-1500696499.xml"  -tl '2400s' -p 8 -x 3
0.00/0.21	c [HOME/instance-4250176-1500696499.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.27	c 8 solvers in parallel
0.00/0.33	c parse instance...
188.75/29.34	c solve instance...

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4250176-1500696499/watcher-4250176-1500696499 -o /tmp/evaluation-result-4250176-1500696499/solver-4250176-1500696499 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1608161092 HOME/instance-4250176-1500696499.xml 

pid=17065
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 3.30 5.34 10.07 2/262 17068
/proc/meminfo: memFree=22863664/32770624 swapFree=5780/272228
[pid=17068] ppid=17065 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17068/stat : 17068 (xcsp3-exec) S 17065 17068 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4916196 9740288 346 33554432000 4194304 5098028 140734333875856 140734333873960 140475241063036 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25952256 140734333883534 140734333883744 140734333883744 140734333886443 0
/proc/17068/statm: 2378 346 289 221 0 87 0

[startup+0.100061 s]
/proc/loadavg: 3.30 5.34 10.07 2/262 17068
/proc/meminfo: memFree=22863664/32770624 swapFree=5780/272228
[pid=17068] ppid=17065 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17068/stat : 17068 (xcsp3-exec) S 17065 17068 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4916196 9740288 346 33554432000 4194304 5098028 140734333875856 140734333873960 140475241063036 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25952256 140734333883534 140734333883744 140734333883744 140734333886443 0
/proc/17068/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200281 s]
/proc/loadavg: 3.30 5.34 10.07 2/262 17068
/proc/meminfo: memFree=22863664/32770624 swapFree=5780/272228
[pid=17068] ppid=17065 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17068/stat : 17068 (xcsp3-exec) S 17065 17068 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4916196 9740288 346 33554432000 4194304 5098028 140734333875856 140734333873960 140475241063036 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25952256 140734333883534 140734333883744 140734333883744 140734333886443 0
/proc/17068/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.30035 s]
/proc/loadavg: 3.30 5.34 10.07 2/262 17068
/proc/meminfo: memFree=22863664/32770624 swapFree=5780/272228
[pid=17068] ppid=17065 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17068/stat : 17068 (xcsp3-exec) S 17065 17068 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4916196 9740288 346 33554432000 4194304 5098028 140734333875856 140734333873960 140475241063036 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25952256 140734333883534 140734333883744 140734333883744 140734333886443 0
/proc/17068/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700284 s]
/proc/loadavg: 3.30 5.34 10.07 2/262 17068
/proc/meminfo: memFree=22863664/32770624 swapFree=5780/272228
[pid=17068] ppid=17065 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17068/stat : 17068 (xcsp3-exec) S 17065 17068 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4916196 9740288 346 33554432000 4194304 5098028 140734333875856 140734333873960 140475241063036 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25952256 140734333883534 140734333883744 140734333883744 140734333886443 0
/proc/17068/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50165 s]
/proc/loadavg: 3.30 5.34 10.07 6/283 17089
/proc/meminfo: memFree=22662504/32770624 swapFree=5780/272352
[pid=17068] ppid=17065 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17068/stat : 17068 (xcsp3-exec) S 17065 17068 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4916196 9740288 346 33554432000 4194304 5098028 140734333875856 140734333873960 140475241063036 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25952256 140734333883534 140734333883744 140734333883744 140734333886443 0
/proc/17068/statm: 2378 346 289 221 0 87 0
[pid=17069] ppid=17068 vsize=13267208 CPUtime=5.97 cores=0,2,4,6,8,10,12,14
/proc/17069/stat : 17069 (java) S 17068 17068 14782 0 -1 1077944320 16529 0 0 0 498 99 0 0 20 0 20 0 4916196 13585620992 120968 33554432000 4194304 4196468 140729158732624 140729158715168 139822100397815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
/proc/17069/statm: 3316802 120968 3232 1 0 3304035 0
[pid=17069/tid=17070] ppid=17068 vsize=13267208 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17070/stat : 17070 (java) S 17068 17068 14782 0 -1 1077944384 6589 0 0 0 119 5 0 0 20 0 20 0 4916197 13585620992 120968 33554432000 4194304 4196468 140729158732624 139822104636352 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17072] ppid=17068 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17072/stat : 17072 (java) R 17068 17068 14782 0 -1 4202560 114 0 0 0 10 12 0 0 20 0 20 0 4916198 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821699496664 139822085425689 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17073] ppid=17068 vsize=13267208 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17073/stat : 17073 (java) R 17068 17068 14782 0 -1 4202560 89 0 0 0 10 10 0 0 20 0 20 0 4916198 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821698444120 139822093497515 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17074] ppid=17068 vsize=13267208 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17074/stat : 17074 (java) R 17068 17068 14782 0 -1 4202560 80 0 0 0 8 9 0 0 20 0 20 0 4916198 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821697391064 139822093494516 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17075] ppid=17068 vsize=13267208 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17075/stat : 17075 (java) R 17068 17068 14782 0 -1 4202560 96 0 0 0 9 11 0 0 20 0 20 0 4916198 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821696338520 139822085425689 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17076] ppid=17068 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17076/stat : 17076 (java) R 17068 17068 14782 0 -1 4202560 106 0 0 0 10 12 0 0 20 0 20 0 4916198 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821695286488 139822093497515 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17077] ppid=17068 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17077/stat : 17077 (java) R 17068 17068 14782 0 -1 4202560 114 0 0 0 11 11 0 0 20 0 20 0 4916198 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821694233944 139822085425689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17078] ppid=17068 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17078/stat : 17078 (java) R 17068 17068 14782 0 -1 4202560 90 0 0 0 8 10 0 0 20 0 20 0 4916198 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821693180576 139822085425689 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17079] ppid=17068 vsize=13267208 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17079/stat : 17079 (java) R 17068 17068 14782 0 -1 4202560 100 0 0 0 10 11 0 0 20 0 20 0 4916198 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821692128344 139822085425689 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17080] ppid=17068 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17080/stat : 17080 (java) S 17068 17068 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4916201 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821294166816 139822100408021 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17081] ppid=17068 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17081/stat : 17081 (java) S 17068 17068 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4916202 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821293114592 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17082] ppid=17068 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17082/stat : 17082 (java) S 17068 17068 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4916202 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821292061440 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17083] ppid=17068 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17083/stat : 17083 (java) S 17068 17068 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4916206 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821291010000 139822100416411 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17084] ppid=17068 vsize=13267208 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17084/stat : 17084 (java) S 17068 17068 14782 0 -1 1077944384 2107 0 0 0 85 0 0 0 20 0 20 0 4916206 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821289937136 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17085] ppid=17068 vsize=13267208 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17085/stat : 17085 (java) S 17068 17068 14782 0 -1 1077944384 2036 0 0 0 89 0 0 0 20 0 20 0 4916206 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821288890576 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17086] ppid=17068 vsize=13267208 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17086/stat : 17086 (java) S 17068 17068 14782 0 -1 1077944384 1997 0 0 0 84 0 0 0 20 0 20 0 4916206 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821287831536 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17087] ppid=17068 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17087/stat : 17087 (java) S 17068 17068 14782 0 -1 1077944384 1632 0 0 0 39 0 0 0 20 0 20 0 4916206 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821286799984 139822100408962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17088] ppid=17068 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17088/stat : 17088 (java) S 17068 17068 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4916206 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821285747168 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17089] ppid=17068 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17089/stat : 17089 (java) S 17068 17068 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4916207 13585620992 121480 33554432000 4194304 4196468 140729158732624 139821284694704 139822100408962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 13276720

[startup+3.1008 s]
/proc/loadavg: 3.30 5.34 10.07 10/283 17089
/proc/meminfo: memFree=22206364/32770624 swapFree=5780/272352
[pid=17068] ppid=17065 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17068/stat : 17068 (xcsp3-exec) S 17065 17068 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4916196 9740288 346 33554432000 4194304 5098028 140734333875856 140734333873960 140475241063036 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25952256 140734333883534 140734333883744 140734333883744 140734333886443 0
/proc/17068/statm: 2378 346 289 221 0 87 0
[pid=17069] ppid=17068 vsize=13269256 CPUtime=16.12 cores=0,2,4,6,8,10,12,14
/proc/17069/stat : 17069 (java) S 17068 17068 14782 0 -1 1077944320 19744 0 0 0 1411 201 0 0 20 0 20 0 4916196 13587718144 168896 33554432000 4194304 4196468 140729158732624 140729158715168 139822100397815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
/proc/17069/statm: 3317314 168896 3276 1 0 3304547 0
[pid=17069/tid=17070] ppid=17068 vsize=13269256 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17070/stat : 17070 (java) R 17068 17068 14782 0 -1 4202560 7263 0 0 0 174 5 0 0 20 0 20 0 4916197 13587718144 168896 33554432000 4194304 4196468 140729158732624 139822104634120 139821742426240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17072] ppid=17068 vsize=13269256 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17072/stat : 17072 (java) S 17068 17068 14782 0 -1 1077944384 246 0 0 0 100 24 0 0 20 0 20 0 4916198 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821699496464 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17073] ppid=17068 vsize=13269256 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17073/stat : 17073 (java) S 17068 17068 14782 0 -1 1077944384 245 0 0 0 100 23 0 0 20 0 20 0 4916198 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821698443920 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17074] ppid=17068 vsize=13269256 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17074/stat : 17074 (java) S 17068 17068 14782 0 -1 1077944384 176 0 0 0 98 22 0 0 20 0 20 0 4916198 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821697390864 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17075] ppid=17068 vsize=13269256 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17075/stat : 17075 (java) S 17068 17068 14782 0 -1 1077944384 202 0 0 0 97 23 0 0 20 0 20 0 4916198 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821696338320 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17076] ppid=17068 vsize=13269256 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17076/stat : 17076 (java) S 17068 17068 14782 0 -1 1077944384 227 0 0 0 99 25 0 0 20 0 20 0 4916198 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821695286288 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17077] ppid=17068 vsize=13269256 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17077/stat : 17077 (java) S 17068 17068 14782 0 -1 1077944384 207 0 0 0 100 24 0 0 20 0 20 0 4916198 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821694233744 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17078] ppid=17068 vsize=13269256 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17078/stat : 17078 (java) S 17068 17068 14782 0 -1 1077944384 258 0 0 0 97 23 0 0 20 0 20 0 4916198 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821693180688 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17079] ppid=17068 vsize=13269256 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17079/stat : 17079 (java) S 17068 17068 14782 0 -1 1077944384 194 0 0 0 99 24 0 0 20 0 20 0 4916198 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821692128144 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17080] ppid=17068 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17080/stat : 17080 (java) S 17068 17068 14782 0 -1 1077944384 620 0 0 0 1 0 0 0 20 0 20 0 4916201 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821294168304 139822100408962 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17081] ppid=17068 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17081/stat : 17081 (java) S 17068 17068 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4916202 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821293114592 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17082] ppid=17068 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17082/stat : 17082 (java) S 17068 17068 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4916202 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821292061440 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17083] ppid=17068 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17083/stat : 17083 (java) S 17068 17068 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4916206 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821291010000 139822100416411 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17084] ppid=17068 vsize=13269256 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17084/stat : 17084 (java) R 17068 17068 14782 0 -1 4202560 2433 0 0 0 124 0 0 0 20 0 20 0 4916206 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821289944224 139822079654491 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17085] ppid=17068 vsize=13269256 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17085/stat : 17085 (java) R 17068 17068 14782 0 -1 4202560 2129 0 0 0 126 0 0 0 20 0 20 0 4916206 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821288891208 139822085306719 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17086] ppid=17068 vsize=13269256 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17086/stat : 17086 (java) R 17068 17068 14782 0 -1 4202560 2081 0 0 0 124 0 0 0 20 0 20 0 4916206 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821287833408 139822079574105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17087] ppid=17068 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17087/stat : 17087 (java) R 17068 17068 14782 0 -1 4202560 2167 0 0 0 66 0 0 0 20 0 20 0 4916206 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821286797944 139822084478302 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17088] ppid=17068 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17088/stat : 17088 (java) S 17068 17068 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4916206 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821285747168 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17089] ppid=17068 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17089/stat : 17089 (java) S 17068 17068 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4916207 13587718144 168896 33554432000 4194304 4196468 140729158732624 139821284694704 139822100408962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
Current children cumulated CPU time (s) 16.12
Current children cumulated vsize (KiB) 13278768

[startup+6.30111 s]
/proc/loadavg: 3.35 5.32 10.04 9/283 17089
/proc/meminfo: memFree=21387724/32770624 swapFree=5780/272352
[pid=17068] ppid=17065 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17068/stat : 17068 (xcsp3-exec) S 17065 17068 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4916196 9740288 346 33554432000 4194304 5098028 140734333875856 140734333873960 140475241063036 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25952256 140734333883534 140734333883744 140734333883744 140734333886443 0
/proc/17068/statm: 2378 346 289 221 0 87 0
[pid=17069] ppid=17068 vsize=13269256 CPUtime=35.23 cores=0,2,4,6,8,10,12,14
/proc/17069/stat : 17069 (java) S 17068 17068 14782 0 -1 1077944320 41495 0 0 0 3067 456 0 0 20 0 20 0 4916196 13587718144 413449 33554432000 4194304 4196468 140729158732624 140729158715168 139822100397815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
/proc/17069/statm: 3317314 413449 3281 1 0 3304547 0
[pid=17069/tid=17070] ppid=17068 vsize=13269256 CPUtime=3.33 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17070/stat : 17070 (java) S 17068 17068 14782 0 -1 1077944384 9501 0 0 0 325 8 0 0 20 0 20 0 4916197 13587718144 413449 33554432000 4194304 4196468 140729158732624 139822104635504 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17072] ppid=17068 vsize=13269256 CPUtime=2.64 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17072/stat : 17072 (java) R 17068 17068 14782 0 -1 4202560 528 0 0 0 217 47 0 0 20 0 20 0 4916198 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821699496664 139822085098438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17073] ppid=17068 vsize=13269256 CPUtime=2.71 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17073/stat : 17073 (java) R 17068 17068 14782 0 -1 4202560 1029 0 0 0 222 49 0 0 20 0 20 0 4916198 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821698444120 139822085098451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17074] ppid=17068 vsize=13269256 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17074/stat : 17074 (java) R 17068 17068 14782 0 -1 4202560 720 0 0 0 215 52 0 0 20 0 20 0 4916198 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821697391064 139822085394324 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17075] ppid=17068 vsize=13269256 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17075/stat : 17075 (java) R 17068 17068 14782 0 -1 4202560 559 0 0 0 217 58 0 0 20 0 20 0 4916198 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821696338208 139822082007538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17076] ppid=17068 vsize=13269256 CPUtime=2.85 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17076/stat : 17076 (java) R 17068 17068 14782 0 -1 4202560 656 0 0 0 227 58 0 0 20 0 20 0 4916198 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821695286488 139822085098832 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17077] ppid=17068 vsize=13269256 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17077/stat : 17077 (java) R 17068 17068 14782 0 -1 4202560 1345 0 0 0 220 57 0 0 20 0 20 0 4916198 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821694233944 139822085098816 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17078] ppid=17068 vsize=13269256 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17078/stat : 17078 (java) R 17068 17068 14782 0 -1 4202560 612 0 0 0 211 56 0 0 20 0 20 0 4916198 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821693180888 139822093494280 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17079] ppid=17068 vsize=13269256 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17079/stat : 17079 (java) R 17068 17068 14782 0 -1 4202560 624 0 0 0 216 60 0 0 20 0 20 0 4916198 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821692128344 139822085098723 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17080] ppid=17068 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17080/stat : 17080 (java) S 17068 17068 14782 0 -1 1077944384 1674 0 0 0 3 0 0 0 20 0 20 0 4916201 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821294166848 139822100408021 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17081] ppid=17068 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17081/stat : 17081 (java) S 17068 17068 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4916202 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821293114592 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17082] ppid=17068 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17082/stat : 17082 (java) S 17068 17068 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4916202 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821292061440 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17083] ppid=17068 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17083/stat : 17083 (java) S 17068 17068 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4916206 13587718144 413449 33554432000 4194304 4196468 140729158732624 139821291010000 139822100416411 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0

################
# More data... #
################

[pid=17069/tid=17096] ppid=17068 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17096/stat : 17096 (java) S 17068 17068 14782 0 -1 1077944384 1144 0 0 0 278 0 0 0 20 0 28 0 4919139 14133010432 2673940 33554432000 4194304 4196468 140729158732624 139821270366528 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17097] ppid=17068 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17097/stat : 17097 (java) S 17068 17068 14782 0 -1 1077944384 1132 0 0 0 278 0 0 0 20 0 28 0 4919139 14133010432 2673940 33554432000 4194304 4196468 140729158732624 139821269313408 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
Current children cumulated CPU time (s) 1569.56
Current children cumulated vsize (KiB) 13811280

[startup+282.301 s]
/proc/loadavg: 14.58 9.93 10.67 17/301 17500
/proc/meminfo: memFree=17362032/32770624 swapFree=5780/272908
[pid=17068] ppid=17065 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17068/stat : 17068 (xcsp3-exec) S 17065 17068 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4916196 9740288 346 33554432000 4194304 5098028 140734333875856 140734333873960 140475241063036 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25952256 140734333883534 140734333883744 140734333883744 140734333886443 0
/proc/17068/statm: 2378 346 289 221 0 87 0
[pid=17069] ppid=17068 vsize=13801768 CPUtime=2014.16 cores=0,2,4,6,8,10,12,14
/proc/17069/stat : 17069 (java) S 17068 17068 14782 0 -1 1077944320 223114 0 0 0 196841 4575 0 0 20 0 28 0 4916196 14133010432 2674190 33554432000 4194304 4196468 140729158732624 140729158715168 139822100397815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
/proc/17069/statm: 3450442 2674190 3287 1 0 3437675 0
[pid=17069/tid=17070] ppid=17068 vsize=13801768 CPUtime=7.74 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17070/stat : 17070 (java) S 17068 17068 14782 0 -1 1077944384 12350 0 0 0 765 9 0 0 20 0 28 0 4916197 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139822104638592 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17072] ppid=17068 vsize=13801768 CPUtime=243.42 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17072/stat : 17072 (java) R 17068 17068 14782 0 -1 4202560 9925 0 0 0 23783 559 0 0 20 0 28 0 4916198 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821699496352 139822085394196 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17073] ppid=17068 vsize=13801768 CPUtime=242.98 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17073/stat : 17073 (java) R 17068 17068 14782 0 -1 4202560 10632 0 0 0 23720 578 0 0 20 0 28 0 4916198 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821698444120 139822085394449 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17074] ppid=17068 vsize=13801768 CPUtime=242.79 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17074/stat : 17074 (java) R 17068 17068 14782 0 -1 4202560 9792 0 0 0 23745 534 0 0 20 0 28 0 4916198 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821697391064 139822085394182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17075] ppid=17068 vsize=13801768 CPUtime=244.14 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17075/stat : 17075 (java) R 17068 17068 14782 0 -1 4202560 16373 0 0 0 23828 586 0 0 20 0 28 0 4916198 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821696338520 139822085394225 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17076] ppid=17068 vsize=13801768 CPUtime=243.25 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17076/stat : 17076 (java) R 17068 17068 14782 0 -1 4202560 10465 0 0 0 23745 580 0 0 20 0 28 0 4916198 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821695286488 139822084855448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17077] ppid=17068 vsize=13801768 CPUtime=242.86 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17077/stat : 17077 (java) R 17068 17068 14782 0 -1 4202560 11156 0 0 0 23718 568 0 0 20 0 28 0 4916198 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821694233944 139822085394316 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17078] ppid=17068 vsize=13801768 CPUtime=242.4 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17078/stat : 17078 (java) R 17068 17068 14782 0 -1 4202560 10840 0 0 0 23653 587 0 0 20 0 28 0 4916198 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821693180888 139822085394225 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17079] ppid=17068 vsize=13801768 CPUtime=243.6 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17079/stat : 17079 (java) R 17068 17068 14782 0 -1 4202560 14575 0 0 0 23811 549 0 0 20 0 28 0 4916198 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821692128344 139822084855452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17080] ppid=17068 vsize=13801768 CPUtime=23.47 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17080/stat : 17080 (java) S 17068 17068 14782 0 -1 1077944384 59080 0 0 0 2343 4 0 0 20 0 28 0 4916201 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821294166848 139822100408021 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17081] ppid=17068 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17081/stat : 17081 (java) S 17068 17068 14782 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4916202 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821293114592 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17082] ppid=17068 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17082/stat : 17082 (java) S 17068 17068 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4916202 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821292061440 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17083] ppid=17068 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17083/stat : 17083 (java) S 17068 17068 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4916206 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821291010000 139822100416411 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17084] ppid=17068 vsize=13801768 CPUtime=4.58 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17084/stat : 17084 (java) S 17068 17068 14782 0 -1 1077944384 14457 0 0 0 456 2 0 0 20 0 28 0 4916206 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821289937136 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17085] ppid=17068 vsize=13801768 CPUtime=4.21 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17085/stat : 17085 (java) S 17068 17068 14782 0 -1 1077944384 13445 0 0 0 419 2 0 0 20 0 28 0 4916206 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821288894784 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17086] ppid=17068 vsize=13801768 CPUtime=5.01 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17086/stat : 17086 (java) S 17068 17068 14782 0 -1 1077944384 12492 0 0 0 499 2 0 0 20 0 28 0 4916206 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821287839808 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17087] ppid=17068 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17087/stat : 17087 (java) S 17068 17068 14782 0 -1 1077944384 6727 0 0 0 125 2 0 0 20 0 28 0 4916206 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821286799984 139822100408962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17088] ppid=17068 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17088/stat : 17088 (java) S 17068 17068 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4916206 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821285747168 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17089] ppid=17068 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17089/stat : 17089 (java) S 17068 17068 14782 0 -1 1077944384 328 0 0 0 6 5 0 0 20 0 28 0 4916207 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821284694704 139822100408962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17090] ppid=17068 vsize=13801768 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17090/stat : 17090 (java) S 17068 17068 14782 0 -1 1077944384 1207 0 0 0 276 0 0 0 20 0 28 0 4919139 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821276678096 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17091] ppid=17068 vsize=13801768 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17091/stat : 17091 (java) S 17068 17068 14782 0 -1 1077944384 965 0 0 0 272 0 0 0 20 0 28 0 4919139 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821275624976 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17092] ppid=17068 vsize=13801768 CPUtime=2.8 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17092/stat : 17092 (java) S 17068 17068 14782 0 -1 1077944384 1307 0 0 0 280 0 0 0 20 0 28 0 4919139 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821274577312 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17093] ppid=17068 vsize=13801768 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17093/stat : 17093 (java) S 17068 17068 14782 0 -1 1077944384 1284 0 0 0 275 0 0 0 20 0 28 0 4919139 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821273522304 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17094] ppid=17068 vsize=13801768 CPUtime=2.8 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17094/stat : 17094 (java) S 17068 17068 14782 0 -1 1077944384 1003 0 0 0 280 0 0 0 20 0 28 0 4919139 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821272468864 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17095] ppid=17068 vsize=13801768 CPUtime=2.74 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17095/stat : 17095 (java) S 17068 17068 14782 0 -1 1077944384 1025 0 0 0 274 0 0 0 20 0 28 0 4919139 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821271417408 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17096] ppid=17068 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17096/stat : 17096 (java) S 17068 17068 14782 0 -1 1077944384 1174 0 0 0 278 0 0 0 20 0 28 0 4919139 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821270366800 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17097] ppid=17068 vsize=13801768 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17097/stat : 17097 (java) S 17068 17068 14782 0 -1 1077944384 1141 0 0 0 279 0 0 0 20 0 28 0 4919139 14133010432 2674190 33554432000 4194304 4196468 140729158732624 139821269314240 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
Current children cumulated CPU time (s) 2014.16
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+334.601 s]
/proc/loadavg: 14.83 10.82 10.94 17/301 17501
/proc/meminfo: memFree=17334280/32770624 swapFree=5780/272964
[pid=17068] ppid=17065 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17068/stat : 17068 (xcsp3-exec) S 17065 17068 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4916196 9740288 346 33554432000 4194304 5098028 140734333875856 140734333873960 140475241063036 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25952256 140734333883534 140734333883744 140734333883744 140734333886443 0
/proc/17068/statm: 2378 346 289 221 0 87 0
[pid=17069] ppid=17068 vsize=13801768 CPUtime=2400.1 cores=0,2,4,6,8,10,12,14
/proc/17069/stat : 17069 (java) S 17068 17068 14782 0 -1 1077944320 243830 0 0 0 235358 4652 0 0 20 0 28 0 4916196 14133010432 2674292 33554432000 4194304 4196468 140729158732624 140729158715168 139822100397815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
/proc/17069/statm: 3450442 2674292 3287 1 0 3437675 0
[pid=17069/tid=17070] ppid=17068 vsize=13801768 CPUtime=7.74 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17070/stat : 17070 (java) S 17068 17068 14782 0 -1 1077944384 12350 0 0 0 765 9 0 0 20 0 28 0 4916197 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139822104638592 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17072] ppid=17068 vsize=13801768 CPUtime=291.19 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17072/stat : 17072 (java) R 17068 17068 14782 0 -1 4202560 10551 0 0 0 28551 568 0 0 20 0 28 0 4916198 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821699496664 139822085348868 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17073] ppid=17068 vsize=13801768 CPUtime=291.37 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17073/stat : 17073 (java) R 17068 17068 14782 0 -1 4202560 12614 0 0 0 28556 581 0 0 20 0 28 0 4916198 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821698443808 139822085348826 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17074] ppid=17068 vsize=13801768 CPUtime=290.55 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17074/stat : 17074 (java) R 17068 17068 14782 0 -1 4202560 10293 0 0 0 28510 545 0 0 20 0 28 0 4916198 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821697391064 139822085348912 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17075] ppid=17068 vsize=13801768 CPUtime=291.87 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17075/stat : 17075 (java) R 17068 17068 14782 0 -1 4202560 17066 0 0 0 28590 597 0 0 20 0 28 0 4916198 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821696338520 139822084852572 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17076] ppid=17068 vsize=13801768 CPUtime=290.95 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17076/stat : 17076 (java) R 17068 17068 14782 0 -1 4202560 11211 0 0 0 28505 590 0 0 20 0 28 0 4916198 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821695286488 139822081994823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17077] ppid=17068 vsize=13801768 CPUtime=290.45 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17077/stat : 17077 (java) R 17068 17068 14782 0 -1 4202560 11835 0 0 0 28467 578 0 0 20 0 28 0 4916198 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821694233944 139822085348888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17078] ppid=17068 vsize=13801768 CPUtime=290.04 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17078/stat : 17078 (java) R 17068 17068 14782 0 -1 4202560 11549 0 0 0 28407 597 0 0 20 0 28 0 4916198 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821693180888 139822085348808 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17079] ppid=17068 vsize=13801768 CPUtime=291.27 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17079/stat : 17079 (java) R 17068 17068 14782 0 -1 4202560 15327 0 0 0 28567 560 0 0 20 0 28 0 4916198 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821692128344 139822085348859 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17080] ppid=17068 vsize=13801768 CPUtime=26.97 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17080/stat : 17080 (java) S 17068 17068 14782 0 -1 1077944384 70151 0 0 0 2692 5 0 0 20 0 28 0 4916201 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821294166624 139822100408021 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17081] ppid=17068 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17081/stat : 17081 (java) S 17068 17068 14782 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4916202 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821293114592 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17082] ppid=17068 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17082/stat : 17082 (java) S 17068 17068 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4916202 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821292061440 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17083] ppid=17068 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17083/stat : 17083 (java) S 17068 17068 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4916206 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821291010000 139822100416411 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17084] ppid=17068 vsize=13801768 CPUtime=4.65 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17084/stat : 17084 (java) S 17068 17068 14782 0 -1 1077944384 15683 0 0 0 463 2 0 0 20 0 28 0 4916206 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821289943024 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17085] ppid=17068 vsize=13801768 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17085/stat : 17085 (java) S 17068 17068 14782 0 -1 1077944384 14505 0 0 0 422 2 0 0 20 0 28 0 4916206 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821288895264 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17086] ppid=17068 vsize=13801768 CPUtime=5.02 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17086/stat : 17086 (java) S 17068 17068 14782 0 -1 1077944384 12928 0 0 0 500 2 0 0 20 0 28 0 4916206 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821287840368 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17087] ppid=17068 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17087/stat : 17087 (java) S 17068 17068 14782 0 -1 1077944384 6732 0 0 0 125 2 0 0 20 0 28 0 4916206 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821286799984 139822100408962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17088] ppid=17068 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17088/stat : 17088 (java) S 17068 17068 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4916206 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821285747168 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17089] ppid=17068 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17089/stat : 17089 (java) S 17068 17068 14782 0 -1 1077944384 372 0 0 0 7 5 0 0 20 0 28 0 4916207 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821284694704 139822100408962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17090] ppid=17068 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17090/stat : 17090 (java) S 17068 17068 14782 0 -1 1077944384 1242 0 0 0 278 0 0 0 20 0 28 0 4919139 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821276680768 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17091] ppid=17068 vsize=13801768 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17091/stat : 17091 (java) S 17068 17068 14782 0 -1 1077944384 972 0 0 0 272 0 0 0 20 0 28 0 4919139 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821275632464 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17092] ppid=17068 vsize=13801768 CPUtime=2.82 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17092/stat : 17092 (java) S 17068 17068 14782 0 -1 1077944384 1330 0 0 0 282 0 0 0 20 0 28 0 4919139 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821274574816 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17093] ppid=17068 vsize=13801768 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17093/stat : 17093 (java) S 17068 17068 14782 0 -1 1077944384 1314 0 0 0 275 0 0 0 20 0 28 0 4919139 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821273522304 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17094] ppid=17068 vsize=13801768 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17094/stat : 17094 (java) S 17068 17068 14782 0 -1 1077944384 1051 0 0 0 281 0 0 0 20 0 28 0 4919139 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821272474832 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17095] ppid=17068 vsize=13801768 CPUtime=2.74 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17095/stat : 17095 (java) S 17068 17068 14782 0 -1 1077944384 1037 0 0 0 274 0 0 0 20 0 28 0 4919139 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821271422288 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17096] ppid=17068 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17096/stat : 17096 (java) S 17068 17068 14782 0 -1 1077944384 1177 0 0 0 278 0 0 0 20 0 28 0 4919139 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821270369232 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
[pid=17069/tid=17097] ppid=17068 vsize=13801768 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/17069/task/17097/stat : 17097 (java) S 17068 17068 14782 0 -1 1077944384 1162 0 0 0 279 0 0 0 20 0 28 0 4919139 14133010432 2674292 33554432000 4194304 4196468 140729158732624 139821269316688 139822100408021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21590016 140729158735036 140729158735212 140729158735212 140729158737871 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 13811280

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17069 sig 9
??? kill 17068 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17068 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1453
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1453
# CPU time returned by wait4() is 0.002906
# while last known CPU time is 2400.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 334.612
CPU time (s): 2400.1
CPU user time (s): 2353.58
CPU system time (s): 46.52
CPU usage (%): 717.279
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001453
system time used= 0.001453
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.67139 second user time and 4.04419 second system time

The end

Launcher Data 

Begin job on node143 at 2017-07-22 06:08:19
IDJOB=4250176
IDBENCH=139206
IDSOLVER=2626
FILE ID=node143/4250176-1500696499
RUNJOBID= node143-1500683785-15435
PBS_JOBID= 20623040
Free space on /tmp= 61980 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-11-12-fair.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4250176-1500696499/watcher-4250176-1500696499 -o /tmp/evaluation-result-4250176-1500696499/solver-4250176-1500696499 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1608161092 HOME/instance-4250176-1500696499.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 4cd037b51317e52702be0dab62f9a527
RANDOM SEED=1608161092

node143.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22863712 kB
MemAvailable:   23082544 kB
Buffers:          149676 kB
Cached:           340908 kB
SwapCached:            0 kB
Active:          9157420 kB
Inactive:         280988 kB
Active(anon):    8950624 kB
Inactive(anon):     8760 kB
Active(file):     206796 kB
Inactive(file):   272228 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9120 kB
Writeback:             0 kB
AnonPages:       8953696 kB
Mapped:            43140 kB
Shmem:              8852 kB
Slab:             146016 kB
SReclaimable:     111284 kB
SUnreclaim:        34732 kB
KernelStack:        4480 kB
PageTables:        22572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10648628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8347648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

Free space on /tmp at the end= 61976 MiB
End job on node143 at 2017-07-22 06:13:54