Trace number 4250170

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 4.0.5 (2017-07-05)UNSAT 85.1905 13.3882

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-05-03-fair.xml
MD5SUMebcae7fb870db8f75b7458b98ea920fc
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.3921299
Satisfiable
(Un)Satisfiability was proved
Number of variables4167
Number of constraints3932
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":584},{"size":201,"count":24},{"size":20001,"count":3559}]
Minimum variable degree2
Maximum variable degree60
Distribution of variable degrees[{"degree":2,"count":3653},{"degree":3,"count":90},{"degree":4,"count":18},{"degree":5,"count":60},{"degree":6,"count":46},{"degree":7,"count":101},{"degree":8,"count":94},{"degree":9,"count":60},{"degree":10,"count":12},{"degree":12,"count":1},{"degree":13,"count":15},{"degree":17,"count":4},{"degree":27,"count":4},{"degree":29,"count":1},{"degree":34,"count":1},{"degree":36,"count":1},{"degree":38,"count":3},{"degree":59,"count":2},{"degree":60,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":675},{"arity":3,"count":3255}]
Number of extensional constraints0
Number of intensional constraints3932
Distribution of constraint types[{"type":"intension","count":3932}]
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-4250170-1500696207.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4250170-1500696207.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
17.42/3.42	c solve instance...
84.79/13.37	s UNSATISFIABLE

Verifier Data


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-4250170-1500696207/watcher-4250170-1500696207 -o /tmp/evaluation-result-4250170-1500696207/solver-4250170-1500696207 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1370013385 HOME/instance-4250170-1500696207.xml 

pid=12645
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: 10.97 8.87 11.17 9/270 12648
/proc/meminfo: memFree=31619112/32770624 swapFree=5892/131884
[pid=12648] ppid=12645 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12648/stat : 12648 (xcsp3-exec) S 12645 12648 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4890362 9740288 346 33554432000 4194304 5098028 140730168378128 140730168376232 139681270960764 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31039488 140730168382606 140730168382816 140730168382816 140730168385515 0
/proc/12648/statm: 2378 346 289 221 0 87 0

[startup+0.100112 s]
/proc/loadavg: 10.97 8.87 11.17 9/270 12648
/proc/meminfo: memFree=31619112/32770624 swapFree=5892/131884
[pid=12648] ppid=12645 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12648/stat : 12648 (xcsp3-exec) S 12645 12648 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4890362 9740288 346 33554432000 4194304 5098028 140730168378128 140730168376232 139681270960764 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31039488 140730168382606 140730168382816 140730168382816 140730168385515 0
/proc/12648/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200308 s]
/proc/loadavg: 10.97 8.87 11.17 9/270 12648
/proc/meminfo: memFree=31619112/32770624 swapFree=5892/131884
[pid=12648] ppid=12645 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12648/stat : 12648 (xcsp3-exec) S 12645 12648 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4890362 9740288 346 33554432000 4194304 5098028 140730168378128 140730168376232 139681270960764 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31039488 140730168382606 140730168382816 140730168382816 140730168385515 0
/proc/12648/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300299 s]
/proc/loadavg: 10.97 8.87 11.17 9/270 12648
/proc/meminfo: memFree=31619112/32770624 swapFree=5892/131884
[pid=12648] ppid=12645 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12648/stat : 12648 (xcsp3-exec) S 12645 12648 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4890362 9740288 346 33554432000 4194304 5098028 140730168378128 140730168376232 139681270960764 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31039488 140730168382606 140730168382816 140730168382816 140730168385515 0
/proc/12648/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700203 s]
/proc/loadavg: 10.97 8.87 11.17 9/270 12648
/proc/meminfo: memFree=31619112/32770624 swapFree=5892/131884
[pid=12648] ppid=12645 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12648/stat : 12648 (xcsp3-exec) S 12645 12648 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4890362 9740288 346 33554432000 4194304 5098028 140730168378128 140730168376232 139681270960764 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31039488 140730168382606 140730168382816 140730168382816 140730168385515 0
/proc/12648/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5012 s]
/proc/loadavg: 10.97 8.87 11.17 14/291 12669
/proc/meminfo: memFree=31447632/32770624 swapFree=5892/131940
[pid=12648] ppid=12645 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12648/stat : 12648 (xcsp3-exec) S 12645 12648 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4890362 9740288 346 33554432000 4194304 5098028 140730168378128 140730168376232 139681270960764 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31039488 140730168382606 140730168382816 140730168382816 140730168385515 0
/proc/12648/statm: 2378 346 289 221 0 87 0
[pid=12649] ppid=12648 vsize=13269256 CPUtime=5.73 cores=1,3,5,7,9,11,13,15
/proc/12649/stat : 12649 (java) S 12648 12648 15667 0 -1 1077944320 23815 0 0 0 524 49 0 0 20 0 20 0 4890363 13587718144 70071 33554432000 4194304 4196468 140731540075264 140731540057808 140117280759543 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
/proc/12649/statm: 3317314 70071 3246 1 0 3304547 0
[pid=12649/tid=12650] ppid=12648 vsize=13269256 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12650/stat : 12650 (java) S 12648 12648 15667 0 -1 1077944384 8140 0 0 0 131 5 0 0 20 0 20 0 4890363 13587718144 70071 33554432000 4194304 4196468 140731540075264 140117284997376 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12652] ppid=12648 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12652/stat : 12652 (java) R 12648 12648 15667 0 -1 4202560 64 0 0 0 3 4 0 0 20 0 20 0 4890364 13587718144 70071 33554432000 4194304 4196468 140731540075264 140117212896352 140117265787417 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12653] ppid=12648 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12653/stat : 12653 (java) R 12648 12648 15667 0 -1 4202560 47 0 0 0 5 5 0 0 20 0 20 0 4890364 13587718144 70071 33554432000 4194304 4196468 140731540075264 140117211843928 140117265787417 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12654] ppid=12648 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12654/stat : 12654 (java) R 12648 12648 15667 0 -1 4202560 130 0 0 0 4 5 0 0 20 0 20 0 4890364 13587718144 70071 33554432000 4194304 4196468 140731540075264 140117210790872 140117273864191 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12655] ppid=12648 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12655/stat : 12655 (java) R 12648 12648 15667 0 -1 4202560 84 0 0 0 5 5 0 0 20 0 20 0 4890364 13587718144 70071 33554432000 4194304 4196468 140731540075264 140117209738328 140117265786962 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12656] ppid=12648 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12656/stat : 12656 (java) R 12648 12648 15667 0 -1 4202560 55 0 0 0 5 4 0 0 20 0 20 0 4890364 13587718144 70071 33554432000 4194304 4196468 140731540075264 140117208685272 140117265786962 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12657] ppid=12648 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12657/stat : 12657 (java) R 12648 12648 15667 0 -1 4202560 77 0 0 0 4 4 0 0 20 0 20 0 4890364 13587718144 70071 33554432000 4194304 4196468 140731540075264 140117207632416 140117265787417 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12658] ppid=12648 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12658/stat : 12658 (java) R 12648 12648 15667 0 -1 4202560 39 0 0 0 4 5 0 0 20 0 20 0 4890364 13587718144 70071 33554432000 4194304 4196468 140731540075264 140117206579672 140117265787417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12659] ppid=12648 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12659/stat : 12659 (java) R 12648 12648 15667 0 -1 4202560 43 0 0 0 4 4 0 0 20 0 20 0 4890364 13587718144 70071 33554432000 4194304 4196468 140731540075264 140117205527128 140117262385296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12660] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12660/stat : 12660 (java) S 12648 12648 15667 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 20 0 4890366 13587718144 70071 33554432000 4194304 4196468 140731540075264 140115945342240 140117280769749 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12661] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12661/stat : 12661 (java) S 12648 12648 15667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4890367 13587718144 70071 33554432000 4194304 4196468 140731540075264 140115944289952 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12662] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12662/stat : 12662 (java) S 12648 12648 15667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4890367 13587718144 70071 33554432000 4194304 4196468 140731540075264 140115943236848 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12663] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12663/stat : 12663 (java) S 12648 12648 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4890371 13587718144 70071 33554432000 4194304 4196468 140731540075264 140115942185424 140117280778139 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12664] ppid=12648 vsize=13269256 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12664/stat : 12664 (java) S 12648 12648 15667 0 -1 1077944384 3421 0 0 0 91 1 0 0 20 0 20 0 4890371 13587718144 70071 33554432000 4194304 4196468 140731540075264 140115941124544 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12665] ppid=12648 vsize=13269256 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12665/stat : 12665 (java) S 12648 12648 15667 0 -1 1077944384 2835 0 0 0 89 0 0 0 20 0 20 0 4890371 13587718144 70071 33554432000 4194304 4196468 140731540075264 140115940059520 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12666] ppid=12648 vsize=13269256 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12666/stat : 12666 (java) R 12648 12648 15667 0 -1 4202560 3416 0 0 0 95 0 0 0 20 0 20 0 4890371 13587718144 70071 33554432000 4194304 4196468 140731540075264 140115939012808 140117260005770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12667] ppid=12648 vsize=13269256 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12667/stat : 12667 (java) S 12648 12648 15667 0 -1 1077944384 4013 0 0 0 77 1 0 0 20 0 20 0 4890371 13587718144 70071 33554432000 4194304 4196468 140731540075264 140115937974384 140117280770690 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12668] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12668/stat : 12668 (java) S 12648 12648 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4890371 13587718144 70071 33554432000 4194304 4196468 140731540075264 140115936922592 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12669] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12669/stat : 12669 (java) S 12648 12648 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4890372 13587718144 70071 33554432000 4194304 4196468 140731540075264 140115935870128 140117280770690 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 13278768

[startup+3.1012 s]
/proc/loadavg: 11.37 8.99 11.20 17/291 12669
/proc/meminfo: memFree=31032900/32770624 swapFree=5892/131952
[pid=12648] ppid=12645 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12648/stat : 12648 (xcsp3-exec) S 12645 12648 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4890362 9740288 346 33554432000 4194304 5098028 140730168378128 140730168376232 139681270960764 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31039488 140730168382606 140730168382816 140730168382816 140730168385515 0
/proc/12648/statm: 2378 346 289 221 0 87 0
[pid=12649] ppid=12648 vsize=13269256 CPUtime=15.56 cores=1,3,5,7,9,11,13,15
/proc/12649/stat : 12649 (java) S 12648 12648 15667 0 -1 1077944320 27949 0 0 0 1400 156 0 0 20 0 20 0 4890363 13587718144 155624 33554432000 4194304 4196468 140731540075264 140731540057808 140117280759543 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
/proc/12649/statm: 3317314 155624 3268 1 0 3304547 0
[pid=12649/tid=12650] ppid=12648 vsize=13269256 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12650/stat : 12650 (java) R 12648 12648 15667 0 -1 4202560 8196 0 0 0 189 7 0 0 20 0 20 0 4890363 13587718144 155624 33554432000 4194304 4196468 140731540075264 140117284994632 140116889983485 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12652] ppid=12648 vsize=13269256 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12652/stat : 12652 (java) S 12648 12648 15667 0 -1 1077944384 194 0 0 0 80 16 0 0 20 0 20 0 4890364 13587718144 155624 33554432000 4194304 4196468 140731540075264 140117212896272 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12653] ppid=12648 vsize=13269256 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12653/stat : 12653 (java) S 12648 12648 15667 0 -1 1077944384 177 0 0 0 84 18 0 0 20 0 20 0 4890364 13587718144 155624 33554432000 4194304 4196468 140731540075264 140117211843728 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12654] ppid=12648 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12654/stat : 12654 (java) S 12648 12648 15667 0 -1 1077944384 338 0 0 0 82 17 0 0 20 0 20 0 4890364 13587718144 155624 33554432000 4194304 4196468 140731540075264 140117210790672 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12655] ppid=12648 vsize=13269256 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12655/stat : 12655 (java) S 12648 12648 15667 0 -1 1077944384 212 0 0 0 83 19 0 0 20 0 20 0 4890364 13587718144 155624 33554432000 4194304 4196468 140731540075264 140117209738128 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12656] ppid=12648 vsize=13269256 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12656/stat : 12656 (java) S 12648 12648 15667 0 -1 1077944384 162 0 0 0 85 16 0 0 20 0 20 0 4890364 13587718144 155624 33554432000 4194304 4196468 140731540075264 140117208685072 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12657] ppid=12648 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12657/stat : 12657 (java) S 12648 12648 15667 0 -1 1077944384 355 0 0 0 82 17 0 0 20 0 20 0 4890364 13587718144 155624 33554432000 4194304 4196468 140731540075264 140117207632528 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12658] ppid=12648 vsize=13269256 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12658/stat : 12658 (java) S 12648 12648 15667 0 -1 1077944384 175 0 0 0 82 19 0 0 20 0 20 0 4890364 13587718144 155624 33554432000 4194304 4196468 140731540075264 140117206579472 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12659] ppid=12648 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12659/stat : 12659 (java) S 12648 12648 15667 0 -1 1077944384 168 0 0 0 82 17 0 0 20 0 20 0 4890364 13587718144 155624 33554432000 4194304 4196468 140731540075264 140117205526928 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12660] ppid=12648 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12660/stat : 12660 (java) S 12648 12648 15667 0 -1 1077944384 689 0 0 0 2 0 0 0 20 0 20 0 4890366 13587718144 155624 33554432000 4194304 4196468 140731540075264 140115945343728 140117280770690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12661] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12661/stat : 12661 (java) S 12648 12648 15667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4890367 13587718144 155624 33554432000 4194304 4196468 140731540075264 140115944290016 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12662] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12662/stat : 12662 (java) S 12648 12648 15667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4890367 13587718144 155624 33554432000 4194304 4196468 140731540075264 140115943236864 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12663] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12663/stat : 12663 (java) S 12648 12648 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4890371 13587718144 155624 33554432000 4194304 4196468 140731540075264 140115942185424 140117280778139 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12664] ppid=12648 vsize=13269256 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12664/stat : 12664 (java) R 12648 12648 15667 0 -1 4202560 3901 0 0 0 149 1 0 0 20 0 20 0 4890371 13587718144 155624 33554432000 4194304 4196468 140731540075264 140115941118624 140117266363439 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12665] ppid=12648 vsize=13269256 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12665/stat : 12665 (java) R 12648 12648 15667 0 -1 4202560 3976 0 0 0 150 0 0 0 20 0 20 0 4890371 13587718144 155624 33554432000 4194304 4196468 140731540075264 140115940062352 140117262306950 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12666] ppid=12648 vsize=13269256 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12666/stat : 12666 (java) R 12648 12648 15667 0 -1 4202560 3745 0 0 0 159 1 0 0 20 0 20 0 4890371 13587718144 155624 33554432000 4194304 4196468 140731540075264 140115939013392 140117261443008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12667] ppid=12648 vsize=13269256 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12667/stat : 12667 (java) S 12648 12648 15667 0 -1 1077944384 4316 0 0 0 85 1 0 0 20 0 20 0 4890371 13587718144 155624 33554432000 4194304 4196468 140731540075264 140115937974384 140117280770690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12668] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12668/stat : 12668 (java) S 12648 12648 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4890371 13587718144 155624 33554432000 4194304 4196468 140731540075264 140115936922592 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12669] ppid=12648 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12669/stat : 12669 (java) S 12648 12648 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4890372 13587718144 155624 33554432000 4194304 4196468 140731540075264 140115935870128 140117280770690 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 6 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
Current children cumulated CPU time (s) 15.56
Current children cumulated vsize (KiB) 13278768

[startup+6.30142 s]
/proc/loadavg: 11.37 8.99 11.20 17/299 12677
/proc/meminfo: memFree=29985768/32770624 swapFree=5892/131952
[pid=12648] ppid=12645 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12648/stat : 12648 (xcsp3-exec) S 12645 12648 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4890362 9740288 346 33554432000 4194304 5098028 140730168378128 140730168376232 139681270960764 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31039488 140730168382606 140730168382816 140730168382816 140730168385515 0
/proc/12648/statm: 2378 346 289 221 0 87 0
[pid=12649] ppid=12648 vsize=13801768 CPUtime=38.9 cores=1,3,5,7,9,11,13,15
/proc/12649/stat : 12649 (java) S 12648 12648 15667 0 -1 1077944320 38704 0 0 0 3107 783 0 0 20 0 28 0 4890363 14133010432 542748 33554432000 4194304 4196468 140731540075264 140731540057808 140117280759543 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
/proc/12649/statm: 3450442 542748 3283 1 0 3437675 0
[pid=12649/tid=12650] ppid=12648 vsize=13801768 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12650/stat : 12650 (java) S 12648 12648 15667 0 -1 1077944384 9005 0 0 0 208 7 0 0 20 0 28 0 4890363 14133010432 542748 33554432000 4194304 4196468 140731540075264 140117285000320 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12652] ppid=12648 vsize=13801768 CPUtime=3.1 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12652/stat : 12652 (java) R 12648 12648 15667 0 -1 4202560 808 0 0 0 221 89 0 0 20 0 28 0 4890364 14133010432 542748 33554432000 4194304 4196468 140731540075264 140117212896472 140117265460239 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12653] ppid=12648 vsize=13801768 CPUtime=3.25 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12653/stat : 12653 (java) R 12648 12648 15667 0 -1 4202560 819 0 0 0 228 97 0 0 20 0 28 0 4890364 14133010432 542748 33554432000 4194304 4196468 140731540075264 140117211843808 140117265755607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12654] ppid=12648 vsize=13801768 CPUtime=3.16 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12654/stat : 12654 (java) R 12648 12648 15667 0 -1 4202560 1055 0 0 0 229 87 0 0 20 0 28 0 4890364 14133010432 542748 33554432000 4194304 4196468 140731540075264 140117210790872 140117265460176 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12655] ppid=12648 vsize=13801768 CPUtime=3.23 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12655/stat : 12655 (java) R 12648 12648 15667 0 -1 4202560 906 0 0 0 227 96 0 0 20 0 28 0 4890364 14133010432 542748 33554432000 4194304 4196468 140731540075264 140117209738328 140117265460158 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12656] ppid=12648 vsize=13801768 CPUtime=3.24 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12656/stat : 12656 (java) R 12648 12648 15667 0 -1 4202560 944 0 0 0 230 94 0 0 20 0 28 0 4890364 14133010432 542748 33554432000 4194304 4196468 140731540075264 140117208685272 140117273862522 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12657] ppid=12648 vsize=13801768 CPUtime=3.22 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12657/stat : 12657 (java) R 12648 12648 15667 0 -1 4202560 957 0 0 0 225 97 0 0 20 0 28 0 4890364 14133010432 542748 33554432000 4194304 4196468 140731540075264 140117207632728 140117265460220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12658] ppid=12648 vsize=13801768 CPUtime=3.26 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12658/stat : 12658 (java) R 12648 12648 15667 0 -1 4202560 841 0 0 0 228 98 0 0 20 0 28 0 4890364 14133010432 542748 33554432000 4194304 4196468 140731540075264 140117206579360 140117265460166 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12659] ppid=12648 vsize=13801768 CPUtime=3.21 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12659/stat : 12659 (java) R 12648 12648 15667 0 -1 4202560 788 0 0 0 223 98 0 0 20 0 28 0 4890364 14133010432 542748 33554432000 4194304 4196468 140731540075264 140117205527128 140117265460176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12660] ppid=12648 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12660/stat : 12660 (java) S 12648 12648 15667 0 -1 1077944384 1987 0 0 0 16 0 0 0 20 0 28 0 4890366 14133010432 542748 33554432000 4194304 4196468 140731540075264 140115945342272 140117280769749 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 4 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12661] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12661/stat : 12661 (java) S 12648 12648 15667 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4890367 14133010432 542748 33554432000 4194304 4196468 140731540075264 140115944290016 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12662] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12662/stat : 12662 (java) S 12648 12648 15667 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4890367 14133010432 542748 33554432000 4194304 4196468 140731540075264 140115943236864 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12663] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12663/stat : 12663 (java) S 12648 12648 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4890371 14133010432 542748 33554432000 4194304 4196468 140731540075264 140115942185424 140117280778139 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0

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

/proc/12649/task/12661/stat : 12661 (java) S 12648 12648 15667 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4890367 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115944290016 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12662] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12662/stat : 12662 (java) S 12648 12648 15667 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4890367 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115943236864 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12663] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12663/stat : 12663 (java) S 12648 12648 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4890371 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115942185424 140117280778139 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12664] ppid=12648 vsize=13801768 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12664/stat : 12664 (java) R 12648 12648 15667 0 -1 4202560 6463 0 0 0 238 1 0 0 20 0 28 0 4890371 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115941122512 140117280773397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12665] ppid=12648 vsize=13801768 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12665/stat : 12665 (java) R 12648 12648 15667 0 -1 4202560 7192 0 0 0 257 2 0 0 20 0 28 0 4890371 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115940071088 140117264227578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12666] ppid=12648 vsize=13801768 CPUtime=2.61 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12666/stat : 12666 (java) R 12648 12648 15667 0 -1 4202560 6036 0 0 0 260 1 0 0 20 0 28 0 4890371 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115939013136 140117264246097 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12667] ppid=12648 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12667/stat : 12667 (java) S 12648 12648 15667 0 -1 1077944384 6659 0 0 0 119 1 0 0 20 0 28 0 4890371 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115937974384 140117280770690 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12668] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12668/stat : 12668 (java) S 12648 12648 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4890371 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115936922592 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12669] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12669/stat : 12669 (java) S 12648 12648 15667 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 4890372 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115935870128 140117280770690 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 6 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12670] ppid=12648 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12670/stat : 12670 (java) R 12648 12648 15667 0 -1 4202560 247 0 0 0 91 1 0 0 20 0 28 0 4890707 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115927853736 140116892374613 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12671] ppid=12648 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12671/stat : 12671 (java) S 12648 12648 15667 0 -1 1077944384 217 0 0 0 77 1 0 0 20 0 28 0 4890707 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115187847040 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12672] ppid=12648 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12672/stat : 12672 (java) R 12648 12648 15667 0 -1 4202560 1105 0 0 0 80 1 0 0 20 0 28 0 4890707 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115186794000 140116891950023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12673] ppid=12648 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12673/stat : 12673 (java) R 12648 12648 15667 0 -1 4202560 423 0 0 0 79 1 0 0 20 0 28 0 4890707 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115185741392 140116889705557 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12674] ppid=12648 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12674/stat : 12674 (java) R 12648 12648 15667 0 -1 4202560 239 0 0 0 91 1 0 0 20 0 28 0 4890707 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115184688192 140116891543114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12675] ppid=12648 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12675/stat : 12675 (java) S 12648 12648 15667 0 -1 1077944384 430 0 0 0 93 1 0 0 20 0 28 0 4890707 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115183635840 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12676] ppid=12648 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12676/stat : 12676 (java) R 12648 12648 15667 0 -1 1077944384 166 0 0 0 87 1 0 0 20 0 28 0 4890707 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115182583824 140117280769749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12677] ppid=12648 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12677/stat : 12677 (java) R 12648 12648 15667 0 -1 4202560 169 0 0 0 73 1 0 0 20 0 28 0 4890707 14133010432 566446 33554432000 4194304 4196468 140731540075264 140115181533952 140116886251164 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
Current children cumulated CPU time (s) 80.71
Current children cumulated vsize (KiB) 13811280

[startup+13.2016 s]
/proc/loadavg: 11.01 8.99 11.17 20/299 12677
/proc/meminfo: memFree=29363996/32770624 swapFree=5892/131960
[pid=12648] ppid=12645 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12648/stat : 12648 (xcsp3-exec) S 12645 12648 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4890362 9740288 346 33554432000 4194304 5098028 140730168378128 140730168376232 139681270960764 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31039488 140730168382606 140730168382816 140730168382816 140730168385515 0
/proc/12648/statm: 2378 346 289 221 0 87 0
[pid=12649] ppid=12648 vsize=13801768 CPUtime=83.99 cores=1,3,5,7,9,11,13,15
/proc/12649/stat : 12649 (java) S 12648 12648 15667 0 -1 1077944320 52295 0 0 0 7603 796 0 0 20 0 28 0 4890363 14133010432 566626 33554432000 4194304 4196468 140731540075264 140731540057808 140117280759543 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
/proc/12649/statm: 3450442 566626 3303 1 0 3437675 0
[pid=12649/tid=12650] ppid=12648 vsize=13801768 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12650/stat : 12650 (java) S 12648 12648 15667 0 -1 1077944384 9005 0 0 0 208 7 0 0 20 0 28 0 4890363 14133010432 566626 33554432000 4194304 4196468 140731540075264 140117285000320 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12652] ppid=12648 vsize=13801768 CPUtime=7.55 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12652/stat : 12652 (java) S 12648 12648 15667 0 -1 1077944384 922 0 0 0 665 90 0 0 20 0 28 0 4890364 14133010432 566626 33554432000 4194304 4196468 140731540075264 140117212896272 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12653] ppid=12648 vsize=13801768 CPUtime=7.7 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12653/stat : 12653 (java) S 12648 12648 15667 0 -1 1077944384 886 0 0 0 672 98 0 0 20 0 28 0 4890364 14133010432 566626 33554432000 4194304 4196468 140731540075264 140117211843728 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12654] ppid=12648 vsize=13801768 CPUtime=7.63 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12654/stat : 12654 (java) S 12648 12648 15667 0 -1 1077944384 1083 0 0 0 676 87 0 0 20 0 28 0 4890364 14133010432 566626 33554432000 4194304 4196468 140731540075264 140117210790672 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12655] ppid=12648 vsize=13801768 CPUtime=7.66 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12655/stat : 12655 (java) S 12648 12648 15667 0 -1 1077944384 1103 0 0 0 668 98 0 0 20 0 28 0 4890364 14133010432 566626 33554432000 4194304 4196468 140731540075264 140117209738128 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12656] ppid=12648 vsize=13801768 CPUtime=7.65 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12656/stat : 12656 (java) S 12648 12648 15667 0 -1 1077944384 1039 0 0 0 670 95 0 0 20 0 28 0 4890364 14133010432 566626 33554432000 4194304 4196468 140731540075264 140117208685072 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12657] ppid=12648 vsize=13801768 CPUtime=7.69 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12657/stat : 12657 (java) S 12648 12648 15667 0 -1 1077944384 1255 0 0 0 671 98 0 0 20 0 28 0 4890364 14133010432 566626 33554432000 4194304 4196468 140731540075264 140117207632528 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12658] ppid=12648 vsize=13801768 CPUtime=7.7 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12658/stat : 12658 (java) S 12648 12648 15667 0 -1 1077944384 918 0 0 0 672 98 0 0 20 0 28 0 4890364 14133010432 566626 33554432000 4194304 4196468 140731540075264 140117206579472 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12659] ppid=12648 vsize=13801768 CPUtime=7.66 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12659/stat : 12659 (java) S 12648 12648 15667 0 -1 1077944384 1020 0 0 0 666 100 0 0 20 0 28 0 4890364 14133010432 566626 33554432000 4194304 4196468 140731540075264 140117205526928 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12660] ppid=12648 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12660/stat : 12660 (java) S 12648 12648 15667 0 -1 1077944384 3880 0 0 0 150 0 0 0 20 0 28 0 4890366 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115945343728 140117280770690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12661] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12661/stat : 12661 (java) S 12648 12648 15667 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4890367 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115944290016 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12662] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12662/stat : 12662 (java) S 12648 12648 15667 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4890367 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115943236864 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12663] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12663/stat : 12663 (java) S 12648 12648 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4890371 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115942185424 140117280778139 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12664] ppid=12648 vsize=13801768 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12664/stat : 12664 (java) R 12648 12648 15667 0 -1 4202560 6516 0 0 0 266 1 0 0 20 0 28 0 4890371 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115941122016 140117264662642 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12665] ppid=12648 vsize=13801768 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12665/stat : 12665 (java) R 12648 12648 15667 0 -1 4202560 7230 0 0 0 287 2 0 0 20 0 28 0 4890371 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115940069472 140117260158867 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12666] ppid=12648 vsize=13801768 CPUtime=2.91 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12666/stat : 12666 (java) R 12648 12648 15667 0 -1 4202560 6185 0 0 0 290 1 0 0 20 0 28 0 4890371 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115939020000 140117280780890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12667] ppid=12648 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12667/stat : 12667 (java) S 12648 12648 15667 0 -1 1077944384 6750 0 0 0 126 1 0 0 20 0 28 0 4890371 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115937974384 140117280770690 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12668] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12668/stat : 12668 (java) S 12648 12648 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4890371 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115936922592 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12669] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12669/stat : 12669 (java) S 12648 12648 15667 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 4890372 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115935870128 140117280770690 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 6 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12670] ppid=12648 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12670/stat : 12670 (java) R 12648 12648 15667 0 -1 4202560 247 0 0 0 115 1 0 0 20 0 28 0 4890707 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115927853680 140116892523383 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12671] ppid=12648 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12671/stat : 12671 (java) R 12648 12648 15667 0 -1 4202560 222 0 0 0 105 1 0 0 20 0 28 0 4890707 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115187847992 140116892524274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12672] ppid=12648 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12672/stat : 12672 (java) R 12648 12648 15667 0 -1 4202560 1106 0 0 0 109 1 0 0 20 0 28 0 4890707 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115186795048 140116892152776 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12673] ppid=12648 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12673/stat : 12673 (java) R 12648 12648 15667 0 -1 4202560 432 0 0 0 113 1 0 0 20 0 28 0 4890707 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115185741656 140116893241331 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12674] ppid=12648 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12674/stat : 12674 (java) R 12648 12648 15667 0 -1 4202560 240 0 0 0 127 1 0 0 20 0 28 0 4890707 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115184688496 140116892374639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12675] ppid=12648 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12675/stat : 12675 (java) R 12648 12648 15667 0 -1 4202560 431 0 0 0 114 1 0 0 20 0 28 0 4890707 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115183636264 140116892374449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12676] ppid=12648 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12676/stat : 12676 (java) R 12648 12648 15667 0 -1 4202560 167 0 0 0 115 1 0 0 20 0 28 0 4890707 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115182583968 140116893298920 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12677] ppid=12648 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12677/stat : 12677 (java) R 12648 12648 15667 0 -1 4202560 169 0 0 0 106 1 0 0 20 0 28 0 4890707 14133010432 566626 33554432000 4194304 4196468 140731540075264 140115181531496 140116891256932 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
Current children cumulated CPU time (s) 83.99
Current children cumulated vsize (KiB) 13811280

[startup+13.3147 s]
/proc/loadavg: 11.01 8.99 11.17 20/299 12677
/proc/meminfo: memFree=29363996/32770624 swapFree=5892/131960
[pid=12648] ppid=12645 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12648/stat : 12648 (xcsp3-exec) S 12645 12648 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4890362 9740288 346 33554432000 4194304 5098028 140730168378128 140730168376232 139681270960764 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 31039488 140730168382606 140730168382816 140730168382816 140730168385515 0
/proc/12648/statm: 2378 346 289 221 0 87 0
[pid=12649] ppid=12648 vsize=13801768 CPUtime=84.79 cores=1,3,5,7,9,11,13,15
/proc/12649/stat : 12649 (java) S 12648 12648 15667 0 -1 1077944320 52449 0 0 0 7683 796 0 0 20 0 28 0 4890363 14133010432 566638 33554432000 4194304 4196468 140731540075264 140731540057808 140117280759543 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
/proc/12649/statm: 3450442 566638 3303 1 0 3437675 0
[pid=12649/tid=12650] ppid=12648 vsize=13801768 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12650/stat : 12650 (java) S 12648 12648 15667 0 -1 1077944384 9005 0 0 0 208 7 0 0 20 0 28 0 4890363 14133010432 566638 33554432000 4194304 4196468 140731540075264 140117285000320 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12652] ppid=12648 vsize=13801768 CPUtime=7.55 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12652/stat : 12652 (java) S 12648 12648 15667 0 -1 1077944384 922 0 0 0 665 90 0 0 20 0 28 0 4890364 14133010432 566638 33554432000 4194304 4196468 140731540075264 140117212896272 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12653] ppid=12648 vsize=13801768 CPUtime=7.7 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12653/stat : 12653 (java) S 12648 12648 15667 0 -1 1077944384 886 0 0 0 672 98 0 0 20 0 28 0 4890364 14133010432 566638 33554432000 4194304 4196468 140731540075264 140117211843728 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12654] ppid=12648 vsize=13801768 CPUtime=7.63 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12654/stat : 12654 (java) S 12648 12648 15667 0 -1 1077944384 1083 0 0 0 676 87 0 0 20 0 28 0 4890364 14133010432 566638 33554432000 4194304 4196468 140731540075264 140117210790672 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12655] ppid=12648 vsize=13801768 CPUtime=7.66 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12655/stat : 12655 (java) S 12648 12648 15667 0 -1 1077944384 1103 0 0 0 668 98 0 0 20 0 28 0 4890364 14133010432 566638 33554432000 4194304 4196468 140731540075264 140117209738128 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12656] ppid=12648 vsize=13801768 CPUtime=7.65 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12656/stat : 12656 (java) S 12648 12648 15667 0 -1 1077944384 1039 0 0 0 670 95 0 0 20 0 28 0 4890364 14133010432 566638 33554432000 4194304 4196468 140731540075264 140117208685072 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12657] ppid=12648 vsize=13801768 CPUtime=7.69 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12657/stat : 12657 (java) S 12648 12648 15667 0 -1 1077944384 1255 0 0 0 671 98 0 0 20 0 28 0 4890364 14133010432 566638 33554432000 4194304 4196468 140731540075264 140117207632528 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12658] ppid=12648 vsize=13801768 CPUtime=7.7 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12658/stat : 12658 (java) S 12648 12648 15667 0 -1 1077944384 918 0 0 0 672 98 0 0 20 0 28 0 4890364 14133010432 566638 33554432000 4194304 4196468 140731540075264 140117206579472 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12659] ppid=12648 vsize=13801768 CPUtime=7.66 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12659/stat : 12659 (java) S 12648 12648 15667 0 -1 1077944384 1020 0 0 0 666 100 0 0 20 0 28 0 4890364 14133010432 566638 33554432000 4194304 4196468 140731540075264 140117205526928 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12660] ppid=12648 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12660/stat : 12660 (java) S 12648 12648 15667 0 -1 1077944384 3880 0 0 0 150 0 0 0 20 0 28 0 4890366 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115945343728 140117280770690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12661] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12661/stat : 12661 (java) S 12648 12648 15667 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4890367 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115944290016 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12662] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12662/stat : 12662 (java) S 12648 12648 15667 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4890367 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115943236864 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12663] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12663/stat : 12663 (java) S 12648 12648 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4890371 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115942185424 140117280778139 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12664] ppid=12648 vsize=13801768 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12664/stat : 12664 (java) R 12648 12648 15667 0 -1 4202560 6529 0 0 0 274 1 0 0 20 0 28 0 4890371 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115941118552 140117262279222 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12665] ppid=12648 vsize=13801768 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12665/stat : 12665 (java) R 12648 12648 15667 0 -1 4202560 7240 0 0 0 295 2 0 0 20 0 28 0 4890371 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115940066080 140117258601521 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12666] ppid=12648 vsize=13801768 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12666/stat : 12666 (java) R 12648 12648 15667 0 -1 4202560 6186 0 0 0 294 1 0 0 20 0 28 0 4890371 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115939006584 140117265156244 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12667] ppid=12648 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12667/stat : 12667 (java) S 12648 12648 15667 0 -1 1077944384 6759 0 0 0 126 1 0 0 20 0 28 0 4890371 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115937974384 140117280770690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12668] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12668/stat : 12668 (java) S 12648 12648 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4890371 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115936922592 140117280769749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12669] ppid=12648 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12669/stat : 12669 (java) S 12648 12648 15667 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 4890372 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115935870128 140117280770690 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 6 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12670] ppid=12648 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12670/stat : 12670 (java) R 12648 12648 15667 0 -1 4202560 260 0 0 0 121 1 0 0 20 0 28 0 4890707 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115927856392 140116891543098 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12671] ppid=12648 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12671/stat : 12671 (java) R 12648 12648 15667 0 -1 4202560 230 0 0 0 110 1 0 0 20 0 28 0 4890707 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115187847736 140116893298741 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12672] ppid=12648 vsize=13801768 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12672/stat : 12672 (java) R 12648 12648 15667 0 -1 4202560 1107 0 0 0 118 1 0 0 20 0 28 0 4890707 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115186791088 140116893099380 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12673] ppid=12648 vsize=13801768 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12673/stat : 12673 (java) R 12648 12648 15667 0 -1 4202560 461 0 0 0 123 1 0 0 20 0 28 0 4890707 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115185743800 140116889705557 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12674] ppid=12648 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12674/stat : 12674 (java) R 12648 12648 15667 0 -1 4202560 240 0 0 0 135 1 0 0 20 0 28 0 4890707 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115184688496 140116892448151 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12675] ppid=12648 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12675/stat : 12675 (java) R 12648 12648 15667 0 -1 4202560 434 0 0 0 121 1 0 0 20 0 28 0 4890707 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115183636008 140116892870544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12676] ppid=12648 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12676/stat : 12676 (java) R 12648 12648 15667 0 -1 4202560 212 0 0 0 121 1 0 0 20 0 28 0 4890707 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115182586064 140116893190692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
[pid=12649/tid=12677] ppid=12648 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/12649/task/12677/stat : 12677 (java) R 12648 12648 15667 0 -1 4202560 191 0 0 0 114 1 0 0 20 0 28 0 4890707 14133010432 566638 33554432000 4194304 4196468 140731540075264 140115181533704 140116893238668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13402112 140731540079804 140731540079980 140731540079980 140731540082639 0
Current children cumulated CPU time (s) 84.79
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 13.3882
CPU time (s): 85.1905
CPU user time (s): 77.2146
CPU system time (s): 7.97584
CPU usage (%): 636.311
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.2146
system time used= 7.97584
maximum resident set size= 2266800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53298
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= 5300
involuntary context switches= 7170

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.168058 second user time and 0.181039 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-22 06:03:27
IDJOB=4250170
IDBENCH=139204
IDSOLVER=2625
FILE ID=node104/4250170-1500696207
RUNJOBID= node104-1500684128-16797
PBS_JOBID= 20623031
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-05-03-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-4250170-1500696207/watcher-4250170-1500696207 -o /tmp/evaluation-result-4250170-1500696207/solver-4250170-1500696207 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1370013385 HOME/instance-4250170-1500696207.xml

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

MD5SUM BENCH= ebcae7fb870db8f75b7458b98ea920fc
RANDOM SEED=1370013385

node104.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	: 5334.12
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.57
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	: 5334.12
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		: 2267.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.57
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	: 5334.12
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		: 1600.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.57
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	: 5334.12
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.57
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	: 5334.12
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		: 1600.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.57
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	: 5334.12
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		: 2133.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.57
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	: 5334.12
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		: 1600.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.57
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	: 5334.12
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31619128 kB
MemAvailable:   31718108 kB
Buffers:          173520 kB
Cached:           188852 kB
SwapCached:          252 kB
Active:           495032 kB
Inactive:         188256 kB
Active(anon):     275868 kB
Inactive(anon):    56372 kB
Active(file):     219164 kB
Inactive(file):   131884 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105472 kB
Dirty:              7784 kB
Writeback:             0 kB
AnonPages:        334520 kB
Mapped:            42728 kB
Shmem:              8772 kB
Slab:             162332 kB
SReclaimable:     127532 kB
SUnreclaim:        34800 kB
KernelStack:        5024 kB
PageTables:         6176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1248668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62000 MiB
End job on node104 at 2017-07-22 06:03:40