Trace number 4248077

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)SAT 90.9245 11.9995

General information on the benchmark

NameMarketSplit/MarketSplit-m1-gp/
MarketSplit-10.xml
MD5SUM12bfb070d62c3c52bb7bd12298b2d530
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark15.432
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints4
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":30}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":29}]
Minimum constraint arity29
Maximum constraint arity30
Distribution of constraint arities[{"arity":29,"count":1},{"arity":30,"count":3}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4}]
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-4248077-1500691581.xml"  -tl '2400s' -p 8 -x 3
0.00/0.16	c [HOME/instance-4248077-1500691581.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.22	c 8 solvers in parallel
0.00/0.28	c parse instance...
0.00/0.47	c solve instance...
90.22/11.99	s SATISFIABLE
90.22/11.99	v <instantiation>
90.22/11.99	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] </list>
90.22/11.99	v 	<values>0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 </values>
90.22/11.99	v </instantiation>

Verifier Data 

OK

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-4248077-1500691581/watcher-4248077-1500691581 -o /tmp/evaluation-result-4248077-1500691581/solver-4248077-1500691581 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1371107603 HOME/instance-4248077-1500691581.xml 

pid=4271
running on 8 cores: 1,3,5,7,9,11,13,15

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: 14.43 14.99 15.10 10/270 4274
/proc/meminfo: memFree=28406936/32770624 swapFree=5808/117124
[pid=4274] ppid=4271 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4274/stat : 4274 (xcsp3-exec) S 4271 4274 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4423167 9740288 345 33554432000 4194304 5098028 140729919745472 140729919743576 140338032583292 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10153984 140729919747214 140729919747424 140729919747424 140729919750123 0
/proc/4274/statm: 2378 345 289 221 0 87 0

[startup+0.100126 s]
/proc/loadavg: 14.43 14.99 15.10 10/270 4274
/proc/meminfo: memFree=28406936/32770624 swapFree=5808/117124
[pid=4274] ppid=4271 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4274/stat : 4274 (xcsp3-exec) S 4271 4274 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4423167 9740288 345 33554432000 4194304 5098028 140729919745472 140729919743576 140338032583292 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10153984 140729919747214 140729919747424 140729919747424 140729919750123 0
/proc/4274/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200322 s]
/proc/loadavg: 14.43 14.99 15.10 10/270 4274
/proc/meminfo: memFree=28406936/32770624 swapFree=5808/117124
[pid=4274] ppid=4271 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4274/stat : 4274 (xcsp3-exec) S 4271 4274 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4423167 9740288 345 33554432000 4194304 5098028 140729919745472 140729919743576 140338032583292 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10153984 140729919747214 140729919747424 140729919747424 140729919750123 0
/proc/4274/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300321 s]
/proc/loadavg: 14.43 14.99 15.10 10/270 4274
/proc/meminfo: memFree=28406936/32770624 swapFree=5808/117124
[pid=4274] ppid=4271 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4274/stat : 4274 (xcsp3-exec) S 4271 4274 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4423167 9740288 345 33554432000 4194304 5098028 140729919745472 140729919743576 140338032583292 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10153984 140729919747214 140729919747424 140729919747424 140729919750123 0
/proc/4274/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.702513 s]
/proc/loadavg: 14.43 14.99 15.10 10/270 4274
/proc/meminfo: memFree=28406936/32770624 swapFree=5808/117124
[pid=4274] ppid=4271 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4274/stat : 4274 (xcsp3-exec) S 4271 4274 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4423167 9740288 345 33554432000 4194304 5098028 140729919745472 140729919743576 140338032583292 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10153984 140729919747214 140729919747424 140729919747424 140729919750123 0
/proc/4274/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50163 s]
/proc/loadavg: 14.43 14.99 15.10 19/299 4303
/proc/meminfo: memFree=28307840/32770624 swapFree=5808/117032
[pid=4274] ppid=4271 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4274/stat : 4274 (xcsp3-exec) S 4271 4274 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4423167 9740288 345 33554432000 4194304 5098028 140729919745472 140729919743576 140338032583292 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10153984 140729919747214 140729919747424 140729919747424 140729919750123 0
/proc/4274/statm: 2378 345 289 221 0 87 0
[pid=4275] ppid=4274 vsize=13803720 CPUtime=8.9 cores=1,3,5,7,9,11,13,15
/proc/4275/stat : 4275 (java) S 4274 4274 15196 0 -1 1077944320 19305 0 0 0 882 8 0 0 20 0 28 0 4423168 14135009280 38497 33554432000 4194304 4196468 140723847682928 140723847665472 140288340524791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
/proc/4275/statm: 3450930 38497 3225 1 0 3438163 0
[pid=4275/tid=4276] ppid=4274 vsize=13803720 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4276/stat : 4276 (java) S 4274 4274 15196 0 -1 1077944384 6765 0 0 0 42 3 0 0 20 0 28 0 4423168 14135009280 38497 33554432000 4194304 4196468 140723847682928 140288344765568 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4278] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4278/stat : 4278 (java) S 4274 4274 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4423169 14135009280 38497 33554432000 4194304 4196468 140723847682928 140288272661264 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4279] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4279/stat : 4279 (java) S 4274 4274 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4423169 14135009280 38497 33554432000 4194304 4196468 140723847682928 140288271608720 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4280] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4280/stat : 4280 (java) S 4274 4274 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4423169 14135009280 38497 33554432000 4194304 4196468 140723847682928 140288270556176 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4281] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4281/stat : 4281 (java) S 4274 4274 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4423169 14135009280 38497 33554432000 4194304 4196468 140723847682928 140288269503632 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4282] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4282/stat : 4282 (java) S 4274 4274 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4423169 14135009280 38497 33554432000 4194304 4196468 140723847682928 140288268450064 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4283] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4283/stat : 4283 (java) S 4274 4274 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4423169 14135009280 38497 33554432000 4194304 4196468 140723847682928 140288267397520 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4284] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4284/stat : 4284 (java) S 4274 4274 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4423169 14135009280 38497 33554432000 4194304 4196468 140723847682928 140288266344976 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4285] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4285/stat : 4285 (java) S 4274 4274 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4423169 14135009280 38497 33554432000 4194304 4196468 140723847682928 140288265292432 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4286] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4286/stat : 4286 (java) S 4274 4274 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4423171 14135009280 38497 33554432000 4194304 4196468 140723847682928 140287534258672 140288340535938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4287] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4287/stat : 4287 (java) S 4274 4274 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4423172 14135009280 38497 33554432000 4194304 4196468 140723847682928 140287533204896 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4288] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4288/stat : 4288 (java) S 4274 4274 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4423172 14135009280 38497 33554432000 4194304 4196468 140723847682928 140287532152304 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4289] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4289/stat : 4289 (java) S 4274 4274 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4423175 14135009280 38497 33554432000 4194304 4196468 140723847682928 140287531100880 140288340543387 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4290] ppid=4274 vsize=13803720 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4290/stat : 4290 (java) R 4274 4274 15196 0 -1 4202560 2521 0 0 0 73 0 0 0 20 0 28 0 4423175 14135009280 38497 33554432000 4194304 4196468 140723847682928 140287530028488 140288320187232 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4291] ppid=4274 vsize=13803720 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4291/stat : 4291 (java) R 4274 4274 15196 0 -1 4202560 3966 0 0 0 80 0 0 0 20 0 28 0 4423175 14135009280 38497 33554432000 4194304 4196468 140723847682928 140287528980664 140288322069025 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4292] ppid=4274 vsize=13803720 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4292/stat : 4292 (java) R 4274 4274 15196 0 -1 4202560 2037 0 0 0 64 0 0 0 20 0 28 0 4423175 14135009280 38497 33554432000 4194304 4196468 140723847682928 140287527923400 140288333241943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4293] ppid=4274 vsize=13803720 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4293/stat : 4293 (java) S 4274 4274 15196 0 -1 1077944384 2236 0 0 0 41 0 0 0 20 0 28 0 4423175 14135009280 38497 33554432000 4194304 4196468 140723847682928 140287526889840 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4294] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4294/stat : 4294 (java) S 4274 4274 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4423175 14135009280 38497 33554432000 4194304 4196468 140723847682928 140287525837536 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4295] ppid=4274 vsize=13803720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4295/stat : 4295 (java) S 4274 4274 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4423175 14135009280 38497 33554432000 4194304 4196468 140723847682928 140287524785072 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4296] ppid=4274 vsize=13803720 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4296/stat : 4296 (java) R 4274 4274 15196 0 -1 4202560 67 0 0 0 78 0 0 0 20 0 28 0 4423216 14135009280 38497 33554432000 4194304 4196468 140723847682928 140286382558000 140288322995794 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4297] ppid=4274 vsize=13803720 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4297/stat : 4297 (java) R 4274 4274 15196 0 -1 4202560 61 0 0 0 70 0 0 0 20 0 28 0 4423216 14135009280 38497 33554432000 4194304 4196468 140723847682928 140286381507080 140287947086695 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4298] ppid=4274 vsize=13803720 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4298/stat : 4298 (java) R 4274 4274 15196 0 -1 4202560 65 0 0 0 73 0 0 0 20 0 28 0 4423216 14135009280 38497 33554432000 4194304 4196468 140723847682928 140286380454680 140287946630168 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4299] ppid=4274 vsize=13803720 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4299/stat : 4299 (java) R 4274 4274 15196 0 -1 4202560 85 0 0 0 65 0 0 0 20 0 28 0 4423216 14135009280 38497 33554432000 4194304 4196468 140723847682928 140286379400456 140287946055545 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4300] ppid=4274 vsize=13803720 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4300/stat : 4300 (java) R 4274 4274 15196 0 -1 4202560 47 0 0 0 73 0 0 0 20 0 28 0 4423216 14135009280 38497 33554432000 4194304 4196468 140723847682928 140286378350656 140287946130642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4301] ppid=4274 vsize=13803720 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4301/stat : 4301 (java) R 4274 4274 15196 0 -1 4202560 54 0 0 0 69 0 0 0 20 0 28 0 4423216 14135009280 38497 33554432000 4194304 4196468 140723847682928 140286377296288 140287946697989 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4302] ppid=4274 vsize=13803720 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4302/stat : 4302 (java) R 4274 4274 15196 0 -1 4202560 43 0 0 0 67 0 0 0 20 0 28 0 4423216 14135009280 38497 33554432000 4194304 4196468 140723847682928 140286376242912 140287945928437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4303] ppid=4274 vsize=13803720 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4303/stat : 4303 (java) R 4274 4274 15196 0 -1 4202560 45 0 0 0 79 0 0 0 20 0 28 0 4423216 14135009280 38497 33554432000 4194304 4196468 140723847682928 140286375191960 140288322995784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
Current children cumulated CPU time (s) 8.9
Current children cumulated vsize (KiB) 13813232

[startup+3.10167 s]
/proc/loadavg: 14.64 15.02 15.11 20/299 4303
/proc/meminfo: memFree=28199996/32770624 swapFree=5808/117032
[pid=4274] ppid=4271 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4274/stat : 4274 (xcsp3-exec) S 4271 4274 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4423167 9740288 345 33554432000 4194304 5098028 140729919745472 140729919743576 140338032583292 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10153984 140729919747214 140729919747424 140729919747424 140729919750123 0
/proc/4274/statm: 2378 345 289 221 0 87 0
[pid=4275] ppid=4274 vsize=13801768 CPUtime=20.81 cores=1,3,5,7,9,11,13,15
/proc/4275/stat : 4275 (java) S 4274 4274 15196 0 -1 1077944320 33409 0 0 0 2066 15 0 0 20 0 28 0 4423168 14133010432 56242 33554432000 4194304 4196468 140723847682928 140723847665472 140288340524791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
/proc/4275/statm: 3450442 56242 3245 1 0 3437675 0
[pid=4275/tid=4276] ppid=4274 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4276/stat : 4276 (java) S 4274 4274 15196 0 -1 1077944384 6765 0 0 0 42 3 0 0 20 0 28 0 4423168 14133010432 56242 33554432000 4194304 4196468 140723847682928 140288344765568 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4278] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4278/stat : 4278 (java) S 4274 4274 15196 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 28 0 4423169 14133010432 56242 33554432000 4194304 4196468 140723847682928 140288272661264 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4279] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4279/stat : 4279 (java) S 4274 4274 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4423169 14133010432 56242 33554432000 4194304 4196468 140723847682928 140288271608720 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4280] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4280/stat : 4280 (java) S 4274 4274 15196 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 4423169 14133010432 56242 33554432000 4194304 4196468 140723847682928 140288270556176 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4281] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4281/stat : 4281 (java) S 4274 4274 15196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4423169 14133010432 56242 33554432000 4194304 4196468 140723847682928 140288269503632 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4282] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4282/stat : 4282 (java) S 4274 4274 15196 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 28 0 4423169 14133010432 56242 33554432000 4194304 4196468 140723847682928 140288268450064 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4283] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4283/stat : 4283 (java) S 4274 4274 15196 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4423169 14133010432 56242 33554432000 4194304 4196468 140723847682928 140288267397520 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4284] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4284/stat : 4284 (java) S 4274 4274 15196 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 4423169 14133010432 56242 33554432000 4194304 4196468 140723847682928 140288266344976 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4285] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4285/stat : 4285 (java) S 4274 4274 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4423169 14133010432 56242 33554432000 4194304 4196468 140723847682928 140288265292432 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4286] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4286/stat : 4286 (java) S 4274 4274 15196 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 4423171 14133010432 56242 33554432000 4194304 4196468 140723847682928 140287534258672 140288340535938 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4287] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4287/stat : 4287 (java) S 4274 4274 15196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4423172 14133010432 56242 33554432000 4194304 4196468 140723847682928 140287533204960 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4288] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4288/stat : 4288 (java) S 4274 4274 15196 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4423172 14133010432 56242 33554432000 4194304 4196468 140723847682928 140287532152304 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4289] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4289/stat : 4289 (java) S 4274 4274 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 56242 33554432000 4194304 4196468 140723847682928 140287531100880 140288340543387 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4290] ppid=4274 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4290/stat : 4290 (java) S 4274 4274 15196 0 -1 1077944384 6565 0 0 0 123 0 0 0 20 0 28 0 4423175 14133010432 56242 33554432000 4194304 4196468 140723847682928 140287530047472 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4291] ppid=4274 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4291/stat : 4291 (java) S 4274 4274 15196 0 -1 1077944384 10475 0 0 0 144 1 0 0 20 0 28 0 4423175 14133010432 56242 33554432000 4194304 4196468 140723847682928 140287528994928 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4292] ppid=4274 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4292/stat : 4292 (java) S 4274 4274 15196 0 -1 1077944384 3924 0 0 0 122 1 0 0 20 0 28 0 4423175 14133010432 56242 33554432000 4194304 4196468 140723847682928 140287527942384 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4293] ppid=4274 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4293/stat : 4293 (java) S 4274 4274 15196 0 -1 1077944384 2412 0 0 0 46 1 0 0 20 0 28 0 4423175 14133010432 56242 33554432000 4194304 4196468 140723847682928 140287526889840 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4294] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4294/stat : 4294 (java) S 4274 4274 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 56242 33554432000 4194304 4196468 140723847682928 140287525837536 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4295] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4295/stat : 4295 (java) D 4274 4274 15196 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 56242 33554432000 4194304 4196468 140723847682928 140287524784992 140288325380878 0 4 0 16800975 18446744072099691653 0 0 -1 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4296] ppid=4274 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4296/stat : 4296 (java) D 4274 4274 15196 0 -1 4202560 170 0 0 0 204 0 0 0 20 0 28 0 4423216 14133010432 56242 33554432000 4194304 4196468 140723847682928 140286382562448 140288325027507 0 4 0 16800975 18446744072099691653 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4297] ppid=4274 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4297/stat : 4297 (java) S 4274 4274 15196 0 -1 1077944384 148 0 0 0 196 0 0 0 20 0 28 0 4423216 14133010432 56242 33554432000 4194304 4196468 140723847682928 140286381511168 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4298] ppid=4274 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4298/stat : 4298 (java) D 4274 4274 15196 0 -1 4202560 262 0 0 0 191 0 0 0 20 0 28 0 4423216 14133010432 56242 33554432000 4194304 4196468 140723847682928 140286380454280 140288325036212 0 4 0 16800975 18446744072099691653 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4299] ppid=4274 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4299/stat : 4299 (java) S 4274 4274 15196 0 -1 1077944384 194 0 0 0 193 0 0 0 20 0 28 0 4423216 14133010432 56242 33554432000 4194304 4196468 140723847682928 140286379405056 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4300] ppid=4274 vsize=13801768 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4300/stat : 4300 (java) S 4274 4274 15196 0 -1 1077944384 131 0 0 0 197 0 0 0 20 0 28 0 4423216 14133010432 56242 33554432000 4194304 4196468 140723847682928 140286378352512 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4301] ppid=4274 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4301/stat : 4301 (java) S 4274 4274 15196 0 -1 1077944384 121 0 0 0 198 0 0 0 20 0 28 0 4423216 14133010432 56242 33554432000 4194304 4196468 140723847682928 140286377299968 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4302] ppid=4274 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4302/stat : 4302 (java) S 4274 4274 15196 0 -1 1077944384 132 0 0 0 192 0 0 0 20 0 28 0 4423216 14133010432 56242 33554432000 4194304 4196468 140723847682928 140286376247424 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4303] ppid=4274 vsize=13801768 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4303/stat : 4303 (java) S 4274 4274 15196 0 -1 1077944384 119 0 0 0 206 0 0 0 20 0 28 0 4423216 14133010432 56242 33554432000 4194304 4196468 140723847682928 140286375194880 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
Current children cumulated CPU time (s) 20.81
Current children cumulated vsize (KiB) 13811280

[startup+6.30165 s]
/proc/loadavg: 14.64 15.02 15.11 17/299 4303
/proc/meminfo: memFree=27968676/32770624 swapFree=5808/117044

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

/proc/4275/task/4287/stat : 4287 (java) S 4274 4274 15196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4423172 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287533204960 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4288] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4288/stat : 4288 (java) S 4274 4274 15196 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4423172 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287532152304 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4289] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4289/stat : 4289 (java) S 4274 4274 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287531100880 140288340543387 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4290] ppid=4274 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4290/stat : 4290 (java) S 4274 4274 15196 0 -1 1077944384 6596 0 0 0 125 0 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287530047472 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4291] ppid=4274 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4291/stat : 4291 (java) S 4274 4274 15196 0 -1 1077944384 10602 0 0 0 149 1 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287528994928 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4292] ppid=4274 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4292/stat : 4292 (java) S 4274 4274 15196 0 -1 1077944384 4270 0 0 0 127 1 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287527942384 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4293] ppid=4274 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4293/stat : 4293 (java) S 4274 4274 15196 0 -1 1077944384 2946 0 0 0 47 1 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287526889840 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4294] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4294/stat : 4294 (java) S 4274 4274 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287525837536 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4295] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4295/stat : 4295 (java) S 4274 4274 15196 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287524785072 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4296] ppid=4274 vsize=13801768 CPUtime=10.39 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4296/stat : 4296 (java) R 4274 4274 15196 0 -1 4202560 309 0 0 0 1038 1 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286382562520 140287947206151 0 4 0 16800975 0 0 0 -1 9 0 0 10 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4297] ppid=4274 vsize=13801768 CPUtime=10.12 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4297/stat : 4297 (java) R 4274 4274 15196 0 -1 4202560 278 0 0 0 1012 0 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286381508008 140287947086779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4298] ppid=4274 vsize=13801768 CPUtime=10.26 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4298/stat : 4298 (java) R 4274 4274 15196 0 -1 4202560 445 0 0 0 1025 1 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286380457496 140287947027119 0 4 0 16800975 0 0 0 -1 13 0 0 11 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4299] ppid=4274 vsize=13801768 CPUtime=10.25 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4299/stat : 4299 (java) R 4274 4274 15196 0 -1 4202560 619 0 0 0 1025 0 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286379404952 140287947029450 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4300] ppid=4274 vsize=13801768 CPUtime=10.31 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4300/stat : 4300 (java) R 4274 4274 15196 0 -1 4202560 285 0 0 0 1030 1 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286378352160 140287947029534 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4301] ppid=4274 vsize=13801768 CPUtime=10.33 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4301/stat : 4301 (java) R 4274 4274 15196 0 -1 4202560 181 0 0 0 1033 0 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286377300024 140288325035136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4302] ppid=4274 vsize=13801768 CPUtime=10.27 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4302/stat : 4302 (java) R 4274 4274 15196 0 -1 4202560 279 0 0 0 1026 1 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286376246176 140287946101935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4303] ppid=4274 vsize=13801768 CPUtime=10.36 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4303/stat : 4303 (java) R 4274 4274 15196 0 -1 4202560 252 0 0 0 1035 1 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286375194776 140287946130722 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
Current children cumulated CPU time (s) 87.84
Current children cumulated vsize (KiB) 13811280

[startup+11.8016 s]
/proc/loadavg: 14.75 15.04 15.11 17/299 4303
/proc/meminfo: memFree=27887788/32770624 swapFree=5808/117052
[pid=4274] ppid=4271 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4274/stat : 4274 (xcsp3-exec) S 4271 4274 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4423167 9740288 345 33554432000 4194304 5098028 140729919745472 140729919743576 140338032583292 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10153984 140729919747214 140729919747424 140729919747424 140729919750123 0
/proc/4274/statm: 2378 345 289 221 0 87 0
[pid=4275] ppid=4274 vsize=13801768 CPUtime=89.43 cores=1,3,5,7,9,11,13,15
/proc/4275/stat : 4275 (java) S 4274 4274 15196 0 -1 1077944320 37924 0 0 0 8913 30 0 0 20 0 28 0 4423168 14133010432 129639 33554432000 4194304 4196468 140723847682928 140723847665472 140288340524791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
/proc/4275/statm: 3450442 129639 3259 1 0 3437675 0
[pid=4275/tid=4276] ppid=4274 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4276/stat : 4276 (java) S 4274 4274 15196 0 -1 1077944384 6765 0 0 0 42 3 0 0 20 0 28 0 4423168 14133010432 129639 33554432000 4194304 4196468 140723847682928 140288344765568 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4278] ppid=4274 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4278/stat : 4278 (java) S 4274 4274 15196 0 -1 1077944384 441 0 0 0 4 1 0 0 20 0 28 0 4423169 14133010432 129639 33554432000 4194304 4196468 140723847682928 140288272661264 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4279] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4279/stat : 4279 (java) S 4274 4274 15196 0 -1 1077944384 101 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129639 33554432000 4194304 4196468 140723847682928 140288271608720 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4280] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4280/stat : 4280 (java) S 4274 4274 15196 0 -1 1077944384 134 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129639 33554432000 4194304 4196468 140723847682928 140288270556176 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4281] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4281/stat : 4281 (java) S 4274 4274 15196 0 -1 1077944384 62 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129639 33554432000 4194304 4196468 140723847682928 140288269503632 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4282] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4282/stat : 4282 (java) S 4274 4274 15196 0 -1 1077944384 767 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129639 33554432000 4194304 4196468 140723847682928 140288268450064 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4283] ppid=4274 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4283/stat : 4283 (java) S 4274 4274 15196 0 -1 1077944384 129 0 0 0 4 1 0 0 20 0 28 0 4423169 14133010432 129639 33554432000 4194304 4196468 140723847682928 140288267397520 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4284] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4284/stat : 4284 (java) S 4274 4274 15196 0 -1 1077944384 207 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129639 33554432000 4194304 4196468 140723847682928 140288266344976 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4285] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4285/stat : 4285 (java) S 4274 4274 15196 0 -1 1077944384 102 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129639 33554432000 4194304 4196468 140723847682928 140288265292432 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4286] ppid=4274 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4286/stat : 4286 (java) S 4274 4274 15196 0 -1 1077944384 690 0 0 0 2 1 0 0 20 0 28 0 4423171 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287534258672 140288340535938 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4287] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4287/stat : 4287 (java) S 4274 4274 15196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4423172 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287533204960 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4288] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4288/stat : 4288 (java) S 4274 4274 15196 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4423172 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287532152304 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4289] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4289/stat : 4289 (java) S 4274 4274 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287531100880 140288340543387 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4290] ppid=4274 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4290/stat : 4290 (java) S 4274 4274 15196 0 -1 1077944384 6596 0 0 0 125 0 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287530047472 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4291] ppid=4274 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4291/stat : 4291 (java) S 4274 4274 15196 0 -1 1077944384 10602 0 0 0 149 1 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287528994928 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4292] ppid=4274 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4292/stat : 4292 (java) S 4274 4274 15196 0 -1 1077944384 4270 0 0 0 127 1 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287527942384 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4293] ppid=4274 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4293/stat : 4293 (java) S 4274 4274 15196 0 -1 1077944384 2946 0 0 0 47 1 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287526889840 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4294] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4294/stat : 4294 (java) S 4274 4274 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287525837536 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4295] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4295/stat : 4295 (java) S 4274 4274 15196 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 129639 33554432000 4194304 4196468 140723847682928 140287524785072 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4296] ppid=4274 vsize=13801768 CPUtime=10.59 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4296/stat : 4296 (java) R 4274 4274 15196 0 -1 4202560 310 0 0 0 1058 1 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286382562520 140287947337671 0 4 0 16800975 0 0 0 -1 9 0 0 10 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4297] ppid=4274 vsize=13801768 CPUtime=10.32 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4297/stat : 4297 (java) R 4274 4274 15196 0 -1 4202560 279 0 0 0 1032 0 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286381508008 140287947089686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4298] ppid=4274 vsize=13801768 CPUtime=10.46 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4298/stat : 4298 (java) R 4274 4274 15196 0 -1 4202560 448 0 0 0 1045 1 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286380457496 140287947029524 0 4 0 16800975 0 0 0 -1 13 0 0 11 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4299] ppid=4274 vsize=13801768 CPUtime=10.45 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4299/stat : 4299 (java) R 4274 4274 15196 0 -1 4202560 621 0 0 0 1045 0 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286379404952 140287947029582 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4300] ppid=4274 vsize=13801768 CPUtime=10.51 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4300/stat : 4300 (java) R 4274 4274 15196 0 -1 4202560 287 0 0 0 1050 1 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286378352160 140287946130722 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4301] ppid=4274 vsize=13801768 CPUtime=10.53 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4301/stat : 4301 (java) R 4274 4274 15196 0 -1 4202560 183 0 0 0 1053 0 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286377300024 140287947390301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4302] ppid=4274 vsize=13801768 CPUtime=10.47 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4302/stat : 4302 (java) R 4274 4274 15196 0 -1 4202560 280 0 0 0 1046 1 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286376246176 140287946720672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4303] ppid=4274 vsize=13801768 CPUtime=10.55 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4303/stat : 4303 (java) R 4274 4274 15196 0 -1 4202560 255 0 0 0 1054 1 0 0 20 0 28 0 4423216 14133010432 129639 33554432000 4194304 4196468 140723847682928 140286375194776 140288321931009 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
Current children cumulated CPU time (s) 89.43
Current children cumulated vsize (KiB) 13811280

[startup+11.9017 s]
/proc/loadavg: 14.75 15.04 15.11 17/299 4303
/proc/meminfo: memFree=27887788/32770624 swapFree=5808/117052
[pid=4274] ppid=4271 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4274/stat : 4274 (xcsp3-exec) S 4271 4274 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4423167 9740288 345 33554432000 4194304 5098028 140729919745472 140729919743576 140338032583292 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10153984 140729919747214 140729919747424 140729919747424 140729919750123 0
/proc/4274/statm: 2378 345 289 221 0 87 0
[pid=4275] ppid=4274 vsize=13801768 CPUtime=90.22 cores=1,3,5,7,9,11,13,15
/proc/4275/stat : 4275 (java) S 4274 4274 15196 0 -1 1077944320 37931 0 0 0 8992 30 0 0 20 0 28 0 4423168 14133010432 129383 33554432000 4194304 4196468 140723847682928 140723847665472 140288340524791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
/proc/4275/statm: 3450442 129383 3259 1 0 3437675 0
[pid=4275/tid=4276] ppid=4274 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4276/stat : 4276 (java) S 4274 4274 15196 0 -1 1077944384 6765 0 0 0 42 3 0 0 20 0 28 0 4423168 14133010432 129383 33554432000 4194304 4196468 140723847682928 140288344765568 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4278] ppid=4274 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4278/stat : 4278 (java) S 4274 4274 15196 0 -1 1077944384 443 0 0 0 4 1 0 0 20 0 28 0 4423169 14133010432 129383 33554432000 4194304 4196468 140723847682928 140288272661264 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4279] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4279/stat : 4279 (java) S 4274 4274 15196 0 -1 1077944384 101 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129383 33554432000 4194304 4196468 140723847682928 140288271608720 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4280] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4280/stat : 4280 (java) S 4274 4274 15196 0 -1 1077944384 134 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129383 33554432000 4194304 4196468 140723847682928 140288270556176 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4281] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4281/stat : 4281 (java) S 4274 4274 15196 0 -1 1077944384 63 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129383 33554432000 4194304 4196468 140723847682928 140288269503632 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4282] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4282/stat : 4282 (java) S 4274 4274 15196 0 -1 1077944384 768 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129383 33554432000 4194304 4196468 140723847682928 140288268450064 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4283] ppid=4274 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4283/stat : 4283 (java) S 4274 4274 15196 0 -1 1077944384 129 0 0 0 4 1 0 0 20 0 28 0 4423169 14133010432 129383 33554432000 4194304 4196468 140723847682928 140288267397520 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4284] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4284/stat : 4284 (java) S 4274 4274 15196 0 -1 1077944384 209 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129383 33554432000 4194304 4196468 140723847682928 140288266344976 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4285] ppid=4274 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4285/stat : 4285 (java) S 4274 4274 15196 0 -1 1077944384 102 0 0 0 3 1 0 0 20 0 28 0 4423169 14133010432 129383 33554432000 4194304 4196468 140723847682928 140288265292432 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4286] ppid=4274 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4286/stat : 4286 (java) S 4274 4274 15196 0 -1 1077944384 690 0 0 0 2 1 0 0 20 0 28 0 4423171 14133010432 129383 33554432000 4194304 4196468 140723847682928 140287534258672 140288340535938 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4287] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4287/stat : 4287 (java) S 4274 4274 15196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4423172 14133010432 129383 33554432000 4194304 4196468 140723847682928 140287533204960 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4288] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4288/stat : 4288 (java) S 4274 4274 15196 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4423172 14133010432 129383 33554432000 4194304 4196468 140723847682928 140287532152304 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4289] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4289/stat : 4289 (java) S 4274 4274 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 129383 33554432000 4194304 4196468 140723847682928 140287531100880 140288340543387 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4290] ppid=4274 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4290/stat : 4290 (java) S 4274 4274 15196 0 -1 1077944384 6596 0 0 0 125 0 0 0 20 0 28 0 4423175 14133010432 129383 33554432000 4194304 4196468 140723847682928 140287530047472 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4291] ppid=4274 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4291/stat : 4291 (java) S 4274 4274 15196 0 -1 1077944384 10602 0 0 0 149 1 0 0 20 0 28 0 4423175 14133010432 129383 33554432000 4194304 4196468 140723847682928 140287528994928 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4292] ppid=4274 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4292/stat : 4292 (java) S 4274 4274 15196 0 -1 1077944384 4270 0 0 0 127 1 0 0 20 0 28 0 4423175 14133010432 129383 33554432000 4194304 4196468 140723847682928 140287527942384 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4293] ppid=4274 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4293/stat : 4293 (java) S 4274 4274 15196 0 -1 1077944384 2946 0 0 0 47 1 0 0 20 0 28 0 4423175 14133010432 129383 33554432000 4194304 4196468 140723847682928 140287526889840 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4294] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4294/stat : 4294 (java) S 4274 4274 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 129383 33554432000 4194304 4196468 140723847682928 140287525837536 140288340534997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4295] ppid=4274 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4295/stat : 4295 (java) S 4274 4274 15196 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 4423175 14133010432 129383 33554432000 4194304 4196468 140723847682928 140287524785072 140288340535938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4296] ppid=4274 vsize=13801768 CPUtime=10.68 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4296/stat : 4296 (java) R 4274 4274 15196 0 -1 4202560 310 0 0 0 1067 1 0 0 20 0 28 0 4423216 14133010432 129383 33554432000 4194304 4196468 140723847682928 140286382559368 140288321931012 0 4 0 16800975 0 0 0 -1 9 0 0 10 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4297] ppid=4274 vsize=13801768 CPUtime=10.42 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4297/stat : 4297 (java) R 4274 4274 15196 0 -1 4202560 279 0 0 0 1042 0 0 0 20 0 28 0 4423216 14133010432 129383 33554432000 4194304 4196468 140723847682928 140286381507248 140287946130692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4298] ppid=4274 vsize=13801768 CPUtime=10.56 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4298/stat : 4298 (java) R 4274 4274 15196 0 -1 4202560 448 0 0 0 1055 1 0 0 20 0 28 0 4423216 14133010432 129383 33554432000 4194304 4196468 140723847682928 140286380456352 140288326592910 0 4 0 16800975 0 0 0 -1 13 0 0 11 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4299] ppid=4274 vsize=13801768 CPUtime=10.54 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4299/stat : 4299 (java) R 4274 4274 15196 0 -1 4202560 621 0 0 0 1054 0 0 0 20 0 28 0 4423216 14133010432 129383 33554432000 4194304 4196468 140723847682928 140286379401800 140287946693440 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4300] ppid=4274 vsize=13801768 CPUtime=10.61 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4300/stat : 4300 (java) R 4274 4274 15196 0 -1 4202560 287 0 0 0 1060 1 0 0 20 0 28 0 4423216 14133010432 129383 33554432000 4194304 4196468 140723847682928 140286378348392 140287947027345 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4301] ppid=4274 vsize=13801768 CPUtime=10.63 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4301/stat : 4301 (java) R 4274 4274 15196 0 -1 4202560 183 0 0 0 1063 0 0 0 20 0 28 0 4423216 14133010432 129383 33554432000 4194304 4196468 140723847682928 140286377296712 140287947382790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4302] ppid=4274 vsize=13801768 CPUtime=10.57 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4302/stat : 4302 (java) R 4274 4274 15196 0 -1 4202560 280 0 0 0 1056 1 0 0 20 0 28 0 4423216 14133010432 129383 33554432000 4194304 4196468 140723847682928 140286376244168 140287947380854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
[pid=4275/tid=4303] ppid=4274 vsize=13801768 CPUtime=10.65 cores=1,3,5,7,9,11,13,15
/proc/4275/task/4303/stat : 4303 (java) R 4274 4274 15196 0 -1 4202560 256 0 0 0 1064 1 0 0 20 0 28 0 4423216 14133010432 129383 33554432000 4194304 4196468 140723847682928 140286375191624 140287947029495 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35831808 140723847689404 140723847689580 140723847689580 140723847692239 0
Current children cumulated CPU time (s) 90.22
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 11.9995
CPU time (s): 90.9245
CPU user time (s): 90.6028
CPU system time (s): 0.321729
CPU usage (%): 757.734
Max. virtual memory (cumulated for all children) (KiB): 13813240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.6028
system time used= 0.321729
maximum resident set size= 547336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4780
involuntary context switches= 5895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.154283 second user time and 0.181166 second system time

The end

Launcher Data 

Begin job on node145 at 2017-07-22 04:46:21
IDJOB=4248077
IDBENCH=133090
IDSOLVER=2626
FILE ID=node145/4248077-1500691581
RUNJOBID= node145-1500682809-15228
PBS_JOBID= 20623333
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-10.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-4248077-1500691581/watcher-4248077-1500691581 -o /tmp/evaluation-result-4248077-1500691581/solver-4248077-1500691581 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1371107603 HOME/instance-4248077-1500691581.xml

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

MD5SUM BENCH= 12bfb070d62c3c52bb7bd12298b2d530
RANDOM SEED=1371107603

node145.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		: 2668.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.43
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		: 2668.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.43
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		: 2668.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.43
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		: 2400.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		: 2668.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.43
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		: 2668.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		: 2668.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.43
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		: 2133.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		: 2668.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.43
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		: 1600.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		: 2668.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.43
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		: 1867.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		: 2668.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.43
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:        28411460 kB
MemAvailable:   28478788 kB
Buffers:          133236 kB
Cached:           206548 kB
SwapCached:            0 kB
Active:          3719216 kB
Inactive:         184836 kB
Active(anon):    3508304 kB
Inactive(anon):    67832 kB
Active(file):     210912 kB
Inactive(file):   117004 kB
Unevictable:        5808 kB
Mlocked:            5808 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8124 kB
Writeback:             0 kB
AnonPages:       3497080 kB
Mapped:            43268 kB
Shmem:              8852 kB
Slab:             145644 kB
SReclaimable:     110492 kB
SUnreclaim:        35152 kB
KernelStack:        5152 kB
PageTables:        12120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4573488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3317760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61848 MiB
End job on node145 at 2017-07-22 04:46:33