Trace number 4248091

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)SAT 63.7787 8.46969

General information on the benchmark

NameMarketSplit/MarketSplit-m1-gp/
MarketSplit-03.xml
MD5SUM179d2a128a53b26e9bde33d3c842c186
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 benchmark6.0598898
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 degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":30}]
Minimum constraint arity30
Maximum constraint arity30
Distribution of constraint arities[{"arity":30,"count":4}]
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-4248091-1500691316.xml"  -tl '2400s' -p 8 -x 0
0.00/0.18	c [HOME/instance-4248091-1500691316.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.23	c 8 solvers in parallel
0.00/0.30	c parse instance...
0.00/0.48	c solve instance...
63.29/8.46	s SATISFIABLE
63.29/8.46	v <instantiation>
63.29/8.46	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>
63.29/8.46	v 	<values>1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 </values>
63.29/8.46	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-4248091-1500691316/watcher-4248091-1500691316 -o /tmp/evaluation-result-4248091-1500691316/solver-4248091-1500691316 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1679326272 HOME/instance-4248091-1500691316.xml 

pid=11492
running on 8 cores: 4-7,12-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: 15.45 15.51 14.21 10/276 11495
/proc/meminfo: memFree=29851960/32770624 swapFree=5944/262608
[pid=11495] ppid=11492 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11495/stat : 11495 (xcsp3-exec) S 11492 11495 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4398778 9740288 346 33554432000 4194304 5098028 140724453692544 140724453690648 140311787283068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32768000 140724453696654 140724453696864 140724453696864 140724453699563 0
/proc/11495/statm: 2378 346 289 221 0 87 0

[startup+0.100127 s]
/proc/loadavg: 15.45 15.51 14.21 10/276 11495
/proc/meminfo: memFree=29851960/32770624 swapFree=5944/262608
[pid=11495] ppid=11492 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11495/stat : 11495 (xcsp3-exec) S 11492 11495 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4398778 9740288 346 33554432000 4194304 5098028 140724453692544 140724453690648 140311787283068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32768000 140724453696654 140724453696864 140724453696864 140724453699563 0
/proc/11495/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200322 s]
/proc/loadavg: 15.45 15.51 14.21 10/276 11495
/proc/meminfo: memFree=29851960/32770624 swapFree=5944/262608
[pid=11495] ppid=11492 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11495/stat : 11495 (xcsp3-exec) S 11492 11495 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4398778 9740288 346 33554432000 4194304 5098028 140724453692544 140724453690648 140311787283068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32768000 140724453696654 140724453696864 140724453696864 140724453699563 0
/proc/11495/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300276 s]
/proc/loadavg: 15.45 15.51 14.21 10/276 11495
/proc/meminfo: memFree=29851960/32770624 swapFree=5944/262608
[pid=11495] ppid=11492 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11495/stat : 11495 (xcsp3-exec) S 11492 11495 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4398778 9740288 346 33554432000 4194304 5098028 140724453692544 140724453690648 140311787283068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32768000 140724453696654 140724453696864 140724453696864 140724453699563 0
/proc/11495/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700231 s]
/proc/loadavg: 15.45 15.51 14.21 10/276 11495
/proc/meminfo: memFree=29851960/32770624 swapFree=5944/262608
[pid=11495] ppid=11492 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11495/stat : 11495 (xcsp3-exec) S 11492 11495 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4398778 9740288 346 33554432000 4194304 5098028 140724453692544 140724453690648 140311787283068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32768000 140724453696654 140724453696864 140724453696864 140724453699563 0
/proc/11495/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50156 s]
/proc/loadavg: 15.74 15.57 14.24 20/305 11524
/proc/meminfo: memFree=29751460/32770624 swapFree=5944/262624
[pid=11495] ppid=11492 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11495/stat : 11495 (xcsp3-exec) S 11492 11495 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4398778 9740288 346 33554432000 4194304 5098028 140724453692544 140724453690648 140311787283068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32768000 140724453696654 140724453696864 140724453696864 140724453699563 0
/proc/11495/statm: 2378 346 289 221 0 87 0
[pid=11496] ppid=11495 vsize=13803720 CPUtime=8.8 cores=4-7,12-15
/proc/11496/stat : 11496 (java) S 11495 11495 18810 0 -1 1077944320 19882 0 0 0 872 8 0 0 20 0 28 0 4398778 14135009280 41797 33554432000 4194304 4196468 140736010224784 140736010207328 139633370967799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
/proc/11496/statm: 3450930 41797 3222 1 0 3438163 0
[pid=11496/tid=11497] ppid=11495 vsize=13803720 CPUtime=0.45 cores=4-7,12-15
/proc/11496/task/11497/stat : 11497 (java) S 11495 11495 18810 0 -1 1077944384 6264 0 0 0 43 2 0 0 20 0 28 0 4398779 14135009280 41797 33554432000 4194304 4196468 140736010224784 139633375208576 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11499] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11499/stat : 11499 (java) S 11495 11495 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4398780 14135009280 41797 33554432000 4194304 4196468 140736010224784 139633289448592 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11500] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11500/stat : 11500 (java) S 11495 11495 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398780 14135009280 41797 33554432000 4194304 4196468 140736010224784 139633288395792 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11501] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11501/stat : 11501 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398780 14135009280 41797 33554432000 4194304 4196468 140736010224784 139633287342992 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11502] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11502/stat : 11502 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398780 14135009280 41797 33554432000 4194304 4196468 140736010224784 139633286290192 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11503] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11503/stat : 11503 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398780 14135009280 41797 33554432000 4194304 4196468 140736010224784 139633285237392 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11504] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11504/stat : 11504 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398780 14135009280 41797 33554432000 4194304 4196468 140736010224784 139633284184592 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11505] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11505/stat : 11505 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398780 14135009280 41797 33554432000 4194304 4196468 140736010224784 139633283131792 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11506] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11506/stat : 11506 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398780 14135009280 41797 33554432000 4194304 4196468 140736010224784 139633282078992 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11507] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11507/stat : 11507 (java) S 11495 11495 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4398782 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632699104112 139633370978946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11508] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11508/stat : 11508 (java) S 11495 11495 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4398782 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632698050080 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11509] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11509/stat : 11509 (java) S 11495 11495 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4398783 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632696997232 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11510] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11510/stat : 11510 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398786 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632695945552 139633370986395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11511] ppid=11495 vsize=13803720 CPUtime=0.75 cores=4-7,12-15
/proc/11496/task/11511/stat : 11511 (java) R 11495 11495 18810 0 -1 4202560 3917 0 0 0 74 1 0 0 20 0 28 0 4398786 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632694878416 139633352513265 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11512] ppid=11495 vsize=13803720 CPUtime=0.89 cores=4-7,12-15
/proc/11496/task/11512/stat : 11512 (java) R 11495 11495 18810 0 -1 4202560 2630 0 0 0 89 0 0 0 20 0 28 0 4398786 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632693825992 139633356082883 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11513] ppid=11495 vsize=13803720 CPUtime=0.76 cores=4-7,12-15
/proc/11496/task/11513/stat : 11513 (java) R 11495 11495 18810 0 -1 4202560 3248 0 0 0 76 0 0 0 20 0 28 0 4398786 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632692773568 139633352513384 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11514] ppid=11495 vsize=13803720 CPUtime=0.41 cores=4-7,12-15
/proc/11496/task/11514/stat : 11514 (java) S 11495 11495 18810 0 -1 1077944384 2102 0 0 0 41 0 0 0 20 0 28 0 4398786 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632691734512 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11515] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11515/stat : 11515 (java) S 11495 11495 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398786 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632690682976 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11516] ppid=11495 vsize=13803720 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11516/stat : 11516 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398786 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632689630256 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11517] ppid=11495 vsize=13803720 CPUtime=0.66 cores=4-7,12-15
/proc/11496/task/11517/stat : 11517 (java) R 11495 11495 18810 0 -1 4202560 69 0 0 0 66 0 0 0 20 0 28 0 4398827 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632681611368 139632963594172 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11518] ppid=11495 vsize=13803720 CPUtime=0.73 cores=4-7,12-15
/proc/11496/task/11518/stat : 11518 (java) R 11495 11495 18810 0 -1 4202560 54 0 0 0 73 0 0 0 20 0 28 0 4398827 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632680564104 139632963513058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11519] ppid=11495 vsize=13803720 CPUtime=0.59 cores=4-7,12-15
/proc/11496/task/11519/stat : 11519 (java) R 11495 11495 18810 0 -1 4202560 49 0 0 0 59 0 0 0 20 0 28 0 4398827 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632679506448 139632964561408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11520] ppid=11495 vsize=13803720 CPUtime=0.74 cores=4-7,12-15
/proc/11496/task/11520/stat : 11520 (java) R 11495 11495 18810 0 -1 4202560 76 0 0 0 74 0 0 0 20 0 28 0 4398827 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632678458248 139632964423539 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11521] ppid=11495 vsize=13803720 CPUtime=0.62 cores=4-7,12-15
/proc/11496/task/11521/stat : 11521 (java) R 11495 11495 18810 0 -1 4202560 52 0 0 0 62 0 0 0 20 0 28 0 4398827 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632677403648 139632964266766 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11522] ppid=11495 vsize=13803720 CPUtime=0.63 cores=4-7,12-15
/proc/11496/task/11522/stat : 11522 (java) R 11495 11495 18810 0 -1 4202560 43 0 0 0 63 0 0 0 20 0 28 0 4398827 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632676351512 139632964068447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11523] ppid=11495 vsize=13803720 CPUtime=0.68 cores=4-7,12-15
/proc/11496/task/11523/stat : 11523 (java) R 11495 11495 18810 0 -1 4202560 38 0 0 0 68 0 0 0 20 0 28 0 4398827 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632608003496 139632963482967 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11524] ppid=11495 vsize=13803720 CPUtime=0.77 cores=4-7,12-15
/proc/11496/task/11524/stat : 11524 (java) R 11495 11495 18810 0 -1 4202560 30 0 0 0 77 0 0 0 20 0 28 0 4398827 14135009280 41797 33554432000 4194304 4196468 140736010224784 139632606954456 139632963752143 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
Current children cumulated CPU time (s) 8.8
Current children cumulated vsize (KiB) 13813232

[startup+3.10164 s]
/proc/loadavg: 15.74 15.57 14.24 20/305 11524
/proc/meminfo: memFree=29647836/32770624 swapFree=5944/262624
[pid=11495] ppid=11492 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11495/stat : 11495 (xcsp3-exec) S 11492 11495 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4398778 9740288 346 33554432000 4194304 5098028 140724453692544 140724453690648 140311787283068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32768000 140724453696654 140724453696864 140724453696864 140724453699563 0
/proc/11495/statm: 2378 346 289 221 0 87 0
[pid=11496] ppid=11495 vsize=13801768 CPUtime=21.45 cores=4-7,12-15
/proc/11496/stat : 11496 (java) S 11495 11495 18810 0 -1 1077944320 34146 0 0 0 2131 14 0 0 20 0 28 0 4398778 14133010432 56366 33554432000 4194304 4196468 140736010224784 140736010207328 139633370967799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
/proc/11496/statm: 3450442 56366 3253 1 0 3437675 0
[pid=11496/tid=11497] ppid=11495 vsize=13801768 CPUtime=0.45 cores=4-7,12-15
/proc/11496/task/11497/stat : 11497 (java) S 11495 11495 18810 0 -1 1077944384 6264 0 0 0 43 2 0 0 20 0 28 0 4398779 14133010432 56366 33554432000 4194304 4196468 140736010224784 139633375208576 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11499] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11499/stat : 11499 (java) S 11495 11495 18810 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 28 0 4398780 14133010432 56366 33554432000 4194304 4196468 140736010224784 139633289448592 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11500] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11500/stat : 11500 (java) S 11495 11495 18810 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4398780 14133010432 56366 33554432000 4194304 4196468 140736010224784 139633288395792 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11501] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11501/stat : 11501 (java) S 11495 11495 18810 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 4398780 14133010432 56366 33554432000 4194304 4196468 140736010224784 139633287342992 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11502] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11502/stat : 11502 (java) S 11495 11495 18810 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4398780 14133010432 56366 33554432000 4194304 4196468 140736010224784 139633286290192 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11503] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11503/stat : 11503 (java) S 11495 11495 18810 0 -1 1077944384 368 0 0 0 0 0 0 0 20 0 28 0 4398780 14133010432 56366 33554432000 4194304 4196468 140736010224784 139633285237392 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11504] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11504/stat : 11504 (java) S 11495 11495 18810 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4398780 14133010432 56366 33554432000 4194304 4196468 140736010224784 139633284184592 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11505] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11505/stat : 11505 (java) S 11495 11495 18810 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 28 0 4398780 14133010432 56366 33554432000 4194304 4196468 140736010224784 139633283131792 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11506] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11506/stat : 11506 (java) S 11495 11495 18810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4398780 14133010432 56366 33554432000 4194304 4196468 140736010224784 139633282078992 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11507] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11507/stat : 11507 (java) S 11495 11495 18810 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 28 0 4398782 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632699104112 139633370978946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11508] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11508/stat : 11508 (java) S 11495 11495 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4398782 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632698050080 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11509] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11509/stat : 11509 (java) S 11495 11495 18810 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4398783 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632696997232 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11510] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11510/stat : 11510 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632695945552 139633370986395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11511] ppid=11495 vsize=13801768 CPUtime=1.32 cores=4-7,12-15
/proc/11496/task/11511/stat : 11511 (java) S 11495 11495 18810 0 -1 1077944384 10032 0 0 0 131 1 0 0 20 0 28 0 4398786 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632694892912 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11512] ppid=11495 vsize=13801768 CPUtime=1.47 cores=4-7,12-15
/proc/11496/task/11512/stat : 11512 (java) S 11495 11495 18810 0 -1 1077944384 4388 0 0 0 146 1 0 0 20 0 28 0 4398786 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632693840112 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11513] ppid=11495 vsize=13801768 CPUtime=1.23 cores=4-7,12-15
/proc/11496/task/11513/stat : 11513 (java) S 11495 11495 18810 0 -1 1077944384 7197 0 0 0 123 0 0 0 20 0 28 0 4398786 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632692787312 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11514] ppid=11495 vsize=13801768 CPUtime=0.46 cores=4-7,12-15
/proc/11496/task/11514/stat : 11514 (java) S 11495 11495 18810 0 -1 1077944384 2357 0 0 0 46 0 0 0 20 0 28 0 4398786 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632691734512 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11515] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11515/stat : 11515 (java) S 11495 11495 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632690682976 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11516] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11516/stat : 11516 (java) S 11495 11495 18810 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632689630256 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11517] ppid=11495 vsize=13801768 CPUtime=1.89 cores=4-7,12-15
/proc/11496/task/11517/stat : 11517 (java) R 11495 11495 18810 0 -1 4202560 241 0 0 0 189 0 0 0 20 0 28 0 4398827 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632681615304 139632963752587 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11518] ppid=11495 vsize=13801768 CPUtime=2.11 cores=4-7,12-15
/proc/11496/task/11518/stat : 11518 (java) R 11495 11495 18810 0 -1 4202560 144 0 0 0 211 0 0 0 20 0 28 0 4398827 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632680562504 139632961477420 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11519] ppid=11495 vsize=13801768 CPUtime=1.93 cores=4-7,12-15
/proc/11496/task/11519/stat : 11519 (java) R 11495 11495 18810 0 -1 4202560 135 0 0 0 193 0 0 0 20 0 28 0 4398827 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632679509264 139632964491091 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11520] ppid=11495 vsize=13801768 CPUtime=2.19 cores=4-7,12-15
/proc/11496/task/11520/stat : 11520 (java) R 11495 11495 18810 0 -1 4202560 232 0 0 0 219 0 0 0 20 0 28 0 4398827 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632678459200 139632963512921 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11521] ppid=11495 vsize=13801768 CPUtime=2 cores=4-7,12-15
/proc/11496/task/11521/stat : 11521 (java) R 11495 11495 18810 0 -1 4202560 182 0 0 0 200 0 0 0 20 0 28 0 4398827 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632677405192 139632964492384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11522] ppid=11495 vsize=13801768 CPUtime=1.88 cores=4-7,12-15
/proc/11496/task/11522/stat : 11522 (java) R 11495 11495 18810 0 -1 4202560 106 0 0 0 188 0 0 0 20 0 28 0 4398827 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632676352392 139632964491317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11523] ppid=11495 vsize=13801768 CPUtime=2.05 cores=4-7,12-15
/proc/11496/task/11523/stat : 11523 (java) R 11495 11495 18810 0 -1 4202560 107 0 0 0 205 0 0 0 20 0 28 0 4398827 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632608007432 139632963752540 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11524] ppid=11495 vsize=13801768 CPUtime=2.23 cores=4-7,12-15
/proc/11496/task/11524/stat : 11524 (java) R 11495 11495 18810 0 -1 4202560 96 0 0 0 223 0 0 0 20 0 28 0 4398827 14133010432 56366 33554432000 4194304 4196468 140736010224784 139632606954632 139632963752614 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
Current children cumulated CPU time (s) 21.45
Current children cumulated vsize (KiB) 13811280

[startup+6.3017 s]
/proc/loadavg: 15.74 15.57 14.24 17/305 11524
/proc/meminfo: memFree=29482836/32770624 swapFree=5944/262632

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

/proc/11496/task/11508/stat : 11508 (java) S 11495 11495 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4398782 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632698050080 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11509] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11509/stat : 11509 (java) S 11495 11495 18810 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4398783 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632696997232 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11510] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11510/stat : 11510 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632695945552 139633370986395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11511] ppid=11495 vsize=13801768 CPUtime=1.37 cores=4-7,12-15
/proc/11496/task/11511/stat : 11511 (java) S 11495 11495 18810 0 -1 1077944384 10108 0 0 0 136 1 0 0 20 0 28 0 4398786 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632694892912 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11512] ppid=11495 vsize=13801768 CPUtime=1.53 cores=4-7,12-15
/proc/11496/task/11512/stat : 11512 (java) S 11495 11495 18810 0 -1 1077944384 4466 0 0 0 152 1 0 0 20 0 28 0 4398786 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632693840112 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11513] ppid=11495 vsize=13801768 CPUtime=1.27 cores=4-7,12-15
/proc/11496/task/11513/stat : 11513 (java) S 11495 11495 18810 0 -1 1077944384 7232 0 0 0 127 0 0 0 20 0 28 0 4398786 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632692787312 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11514] ppid=11495 vsize=13801768 CPUtime=0.47 cores=4-7,12-15
/proc/11496/task/11514/stat : 11514 (java) S 11495 11495 18810 0 -1 1077944384 2535 0 0 0 47 0 0 0 20 0 28 0 4398786 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632691734512 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11515] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11515/stat : 11515 (java) S 11495 11495 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632690682976 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11516] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11516/stat : 11516 (java) S 11495 11495 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632689630256 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11517] ppid=11495 vsize=13801768 CPUtime=5.93 cores=4-7,12-15
/proc/11496/task/11517/stat : 11517 (java) R 11495 11495 18810 0 -1 4202560 289 0 0 0 593 0 0 0 20 0 28 0 4398827 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632681618464 139632964420675 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11518] ppid=11495 vsize=13801768 CPUtime=6.08 cores=4-7,12-15
/proc/11496/task/11518/stat : 11518 (java) R 11495 11495 18810 0 -1 4202560 174 0 0 0 608 0 0 0 20 0 28 0 4398827 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632680567320 139632964266836 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11519] ppid=11495 vsize=13801768 CPUtime=5.94 cores=4-7,12-15
/proc/11496/task/11519/stat : 11519 (java) R 11495 11495 18810 0 -1 4202560 201 0 0 0 593 1 0 0 20 0 28 0 4398827 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632679512608 139632964266761 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11520] ppid=11495 vsize=13801768 CPUtime=6.15 cores=4-7,12-15
/proc/11496/task/11520/stat : 11520 (java) R 11495 11495 18810 0 -1 4202560 529 0 0 0 615 0 0 0 20 0 28 0 4398827 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632678461152 139632963752661 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11521] ppid=11495 vsize=13801768 CPUtime=5.99 cores=4-7,12-15
/proc/11496/task/11521/stat : 11521 (java) R 11495 11495 18810 0 -1 4202560 236 0 0 0 598 1 0 0 20 0 28 0 4398827 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632677408416 139632964525377 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11522] ppid=11495 vsize=13801768 CPUtime=5.88 cores=4-7,12-15
/proc/11496/task/11522/stat : 11522 (java) R 11495 11495 18810 0 -1 4202560 161 0 0 0 587 1 0 0 20 0 28 0 4398827 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632676351632 139632964419526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11523] ppid=11495 vsize=13801768 CPUtime=6.04 cores=4-7,12-15
/proc/11496/task/11523/stat : 11523 (java) R 11495 11495 18810 0 -1 4202560 150 0 0 0 603 1 0 0 20 0 28 0 4398827 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632608010656 139632964799719 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11524] ppid=11495 vsize=13801768 CPUtime=6.2 cores=4-7,12-15
/proc/11496/task/11524/stat : 11524 (java) R 11495 11495 18810 0 -1 4202560 101 0 0 0 620 0 0 0 20 0 28 0 4398827 14133010432 137216 33554432000 4194304 4196468 140736010224784 139632606958360 139632964664076 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
Current children cumulated CPU time (s) 53.77
Current children cumulated vsize (KiB) 13811280

[startup+8.00148 s]
/proc/loadavg: 15.76 15.58 14.25 17/305 11524
/proc/meminfo: memFree=29164872/32770624 swapFree=5944/262636
[pid=11495] ppid=11492 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11495/stat : 11495 (xcsp3-exec) S 11492 11495 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4398778 9740288 346 33554432000 4194304 5098028 140724453692544 140724453690648 140311787283068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32768000 140724453696654 140724453696864 140724453696864 140724453699563 0
/proc/11495/statm: 2378 346 289 221 0 87 0
[pid=11496] ppid=11495 vsize=13801768 CPUtime=60.13 cores=4-7,12-15
/proc/11496/stat : 11496 (java) S 11495 11495 18810 0 -1 1077944320 36359 0 0 0 5974 39 0 0 20 0 28 0 4398778 14133010432 193278 33554432000 4194304 4196468 140736010224784 140736010207328 139633370967799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
/proc/11496/statm: 3450442 193278 3256 1 0 3437675 0
[pid=11496/tid=11497] ppid=11495 vsize=13801768 CPUtime=0.45 cores=4-7,12-15
/proc/11496/task/11497/stat : 11497 (java) S 11495 11495 18810 0 -1 1077944384 6264 0 0 0 43 2 0 0 20 0 28 0 4398779 14133010432 193278 33554432000 4194304 4196468 140736010224784 139633375208576 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11499] ppid=11495 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/11496/task/11499/stat : 11499 (java) S 11495 11495 18810 0 -1 1077944384 157 0 0 0 2 2 0 0 20 0 28 0 4398780 14133010432 193278 33554432000 4194304 4196468 140736010224784 139633289448592 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11500] ppid=11495 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/11496/task/11500/stat : 11500 (java) S 11495 11495 18810 0 -1 1077944384 91 0 0 0 2 2 0 0 20 0 28 0 4398780 14133010432 193278 33554432000 4194304 4196468 140736010224784 139633288395792 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11501] ppid=11495 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/11496/task/11501/stat : 11501 (java) S 11495 11495 18810 0 -1 1077944384 258 0 0 0 2 2 0 0 20 0 28 0 4398780 14133010432 193278 33554432000 4194304 4196468 140736010224784 139633287342992 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11502] ppid=11495 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/11496/task/11502/stat : 11502 (java) S 11495 11495 18810 0 -1 1077944384 73 0 0 0 2 2 0 0 20 0 28 0 4398780 14133010432 193278 33554432000 4194304 4196468 140736010224784 139633286290192 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11503] ppid=11495 vsize=13801768 CPUtime=0.03 cores=4-7,12-15
/proc/11496/task/11503/stat : 11503 (java) S 11495 11495 18810 0 -1 1077944384 392 0 0 0 1 2 0 0 20 0 28 0 4398780 14133010432 193278 33554432000 4194304 4196468 140736010224784 139633285237392 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11504] ppid=11495 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/11496/task/11504/stat : 11504 (java) S 11495 11495 18810 0 -1 1077944384 85 0 0 0 2 2 0 0 20 0 28 0 4398780 14133010432 193278 33554432000 4194304 4196468 140736010224784 139633284184592 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11505] ppid=11495 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/11496/task/11505/stat : 11505 (java) S 11495 11495 18810 0 -1 1077944384 125 0 0 0 1 1 0 0 20 0 28 0 4398780 14133010432 193278 33554432000 4194304 4196468 140736010224784 139633283131792 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11506] ppid=11495 vsize=13801768 CPUtime=0.03 cores=4-7,12-15
/proc/11496/task/11506/stat : 11506 (java) S 11495 11495 18810 0 -1 1077944384 77 0 0 0 1 2 0 0 20 0 28 0 4398780 14133010432 193278 33554432000 4194304 4196468 140736010224784 139633282078992 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11507] ppid=11495 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/11496/task/11507/stat : 11507 (java) S 11495 11495 18810 0 -1 1077944384 544 0 0 0 1 1 0 0 20 0 28 0 4398782 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632699104112 139633370978946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11508] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11508/stat : 11508 (java) S 11495 11495 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4398782 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632698050080 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11509] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11509/stat : 11509 (java) S 11495 11495 18810 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4398783 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632696997232 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11510] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11510/stat : 11510 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632695945552 139633370986395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11511] ppid=11495 vsize=13801768 CPUtime=1.37 cores=4-7,12-15
/proc/11496/task/11511/stat : 11511 (java) S 11495 11495 18810 0 -1 1077944384 10108 0 0 0 136 1 0 0 20 0 28 0 4398786 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632694892912 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11512] ppid=11495 vsize=13801768 CPUtime=1.53 cores=4-7,12-15
/proc/11496/task/11512/stat : 11512 (java) S 11495 11495 18810 0 -1 1077944384 4466 0 0 0 152 1 0 0 20 0 28 0 4398786 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632693840112 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11513] ppid=11495 vsize=13801768 CPUtime=1.27 cores=4-7,12-15
/proc/11496/task/11513/stat : 11513 (java) S 11495 11495 18810 0 -1 1077944384 7232 0 0 0 127 0 0 0 20 0 28 0 4398786 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632692787312 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11514] ppid=11495 vsize=13801768 CPUtime=0.47 cores=4-7,12-15
/proc/11496/task/11514/stat : 11514 (java) S 11495 11495 18810 0 -1 1077944384 2535 0 0 0 47 0 0 0 20 0 28 0 4398786 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632691734512 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11515] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11515/stat : 11515 (java) S 11495 11495 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632690682976 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11516] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11516/stat : 11516 (java) S 11495 11495 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632689630256 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11517] ppid=11495 vsize=13801768 CPUtime=6.71 cores=4-7,12-15
/proc/11496/task/11517/stat : 11517 (java) R 11495 11495 18810 0 -1 4202560 322 0 0 0 671 0 0 0 20 0 28 0 4398827 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632681615384 139632964419713 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11518] ppid=11495 vsize=13801768 CPUtime=6.87 cores=4-7,12-15
/proc/11496/task/11518/stat : 11518 (java) R 11495 11495 18810 0 -1 4202560 204 0 0 0 686 1 0 0 20 0 28 0 4398827 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632680563592 139632963752713 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11519] ppid=11495 vsize=13801768 CPUtime=6.73 cores=4-7,12-15
/proc/11496/task/11519/stat : 11519 (java) R 11495 11495 18810 0 -1 4202560 212 0 0 0 672 1 0 0 20 0 28 0 4398827 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632679510792 139632964525284 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11520] ppid=11495 vsize=13801768 CPUtime=6.94 cores=4-7,12-15
/proc/11496/task/11520/stat : 11520 (java) R 11495 11495 18810 0 -1 4202560 579 0 0 0 693 1 0 0 20 0 28 0 4398827 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632678458168 139632963668724 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11521] ppid=11495 vsize=13801768 CPUtime=6.78 cores=4-7,12-15
/proc/11496/task/11521/stat : 11521 (java) R 11495 11495 18810 0 -1 4202560 793 0 0 0 676 2 0 0 20 0 28 0 4398827 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632677405192 139632963752126 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11522] ppid=11495 vsize=13801768 CPUtime=6.67 cores=4-7,12-15
/proc/11496/task/11522/stat : 11522 (java) R 11495 11495 18810 0 -1 4202560 192 0 0 0 665 2 0 0 20 0 28 0 4398827 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632676355008 139632963752071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11523] ppid=11495 vsize=13801768 CPUtime=6.84 cores=4-7,12-15
/proc/11496/task/11523/stat : 11523 (java) R 11495 11495 18810 0 -1 4202560 169 0 0 0 682 2 0 0 20 0 28 0 4398827 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632608009248 139633356177780 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11524] ppid=11495 vsize=13801768 CPUtime=6.96 cores=4-7,12-15
/proc/11496/task/11524/stat : 11524 (java) R 11495 11495 18810 0 -1 4202560 101 0 0 0 696 0 0 0 20 0 28 0 4398827 14133010432 193278 33554432000 4194304 4196468 140736010224784 139632606954632 139632964587392 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
Current children cumulated CPU time (s) 60.13
Current children cumulated vsize (KiB) 13811280

[startup+8.40165 s]
/proc/loadavg: 15.76 15.58 14.25 17/305 11524
/proc/meminfo: memFree=29164872/32770624 swapFree=5944/262636
[pid=11495] ppid=11492 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11495/stat : 11495 (xcsp3-exec) S 11492 11495 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4398778 9740288 346 33554432000 4194304 5098028 140724453692544 140724453690648 140311787283068 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32768000 140724453696654 140724453696864 140724453696864 140724453699563 0
/proc/11495/statm: 2378 346 289 221 0 87 0
[pid=11496] ppid=11495 vsize=13801768 CPUtime=63.29 cores=4-7,12-15
/proc/11496/stat : 11496 (java) S 11495 11495 18810 0 -1 1077944320 36473 0 0 0 6290 39 0 0 20 0 28 0 4398778 14133010432 193036 33554432000 4194304 4196468 140736010224784 140736010207328 139633370967799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
/proc/11496/statm: 3450442 193036 3256 1 0 3437675 0
[pid=11496/tid=11497] ppid=11495 vsize=13801768 CPUtime=0.45 cores=4-7,12-15
/proc/11496/task/11497/stat : 11497 (java) S 11495 11495 18810 0 -1 1077944384 6264 0 0 0 43 2 0 0 20 0 28 0 4398779 14133010432 193036 33554432000 4194304 4196468 140736010224784 139633375208576 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11499] ppid=11495 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/11496/task/11499/stat : 11499 (java) S 11495 11495 18810 0 -1 1077944384 157 0 0 0 2 2 0 0 20 0 28 0 4398780 14133010432 193036 33554432000 4194304 4196468 140736010224784 139633289448592 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11500] ppid=11495 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/11496/task/11500/stat : 11500 (java) S 11495 11495 18810 0 -1 1077944384 91 0 0 0 2 2 0 0 20 0 28 0 4398780 14133010432 193036 33554432000 4194304 4196468 140736010224784 139633288395792 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11501] ppid=11495 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/11496/task/11501/stat : 11501 (java) S 11495 11495 18810 0 -1 1077944384 258 0 0 0 2 2 0 0 20 0 28 0 4398780 14133010432 193036 33554432000 4194304 4196468 140736010224784 139633287342992 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11502] ppid=11495 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/11496/task/11502/stat : 11502 (java) S 11495 11495 18810 0 -1 1077944384 73 0 0 0 2 2 0 0 20 0 28 0 4398780 14133010432 193036 33554432000 4194304 4196468 140736010224784 139633286290192 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11503] ppid=11495 vsize=13801768 CPUtime=0.03 cores=4-7,12-15
/proc/11496/task/11503/stat : 11503 (java) S 11495 11495 18810 0 -1 1077944384 392 0 0 0 1 2 0 0 20 0 28 0 4398780 14133010432 193036 33554432000 4194304 4196468 140736010224784 139633285237392 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11504] ppid=11495 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/11496/task/11504/stat : 11504 (java) S 11495 11495 18810 0 -1 1077944384 85 0 0 0 2 2 0 0 20 0 28 0 4398780 14133010432 193036 33554432000 4194304 4196468 140736010224784 139633284184592 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11505] ppid=11495 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/11496/task/11505/stat : 11505 (java) S 11495 11495 18810 0 -1 1077944384 125 0 0 0 1 1 0 0 20 0 28 0 4398780 14133010432 193036 33554432000 4194304 4196468 140736010224784 139633283131792 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11506] ppid=11495 vsize=13801768 CPUtime=0.03 cores=4-7,12-15
/proc/11496/task/11506/stat : 11506 (java) S 11495 11495 18810 0 -1 1077944384 77 0 0 0 1 2 0 0 20 0 28 0 4398780 14133010432 193036 33554432000 4194304 4196468 140736010224784 139633282078992 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11507] ppid=11495 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/11496/task/11507/stat : 11507 (java) S 11495 11495 18810 0 -1 1077944384 544 0 0 0 1 1 0 0 20 0 28 0 4398782 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632699104112 139633370978946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11508] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11508/stat : 11508 (java) S 11495 11495 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4398782 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632698050080 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11509] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11509/stat : 11509 (java) S 11495 11495 18810 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4398783 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632696997232 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11510] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11510/stat : 11510 (java) S 11495 11495 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632695945552 139633370986395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11511] ppid=11495 vsize=13801768 CPUtime=1.37 cores=4-7,12-15
/proc/11496/task/11511/stat : 11511 (java) S 11495 11495 18810 0 -1 1077944384 10108 0 0 0 136 1 0 0 20 0 28 0 4398786 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632694892912 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11512] ppid=11495 vsize=13801768 CPUtime=1.53 cores=4-7,12-15
/proc/11496/task/11512/stat : 11512 (java) S 11495 11495 18810 0 -1 1077944384 4502 0 0 0 152 1 0 0 20 0 28 0 4398786 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632693840112 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11513] ppid=11495 vsize=13801768 CPUtime=1.28 cores=4-7,12-15
/proc/11496/task/11513/stat : 11513 (java) S 11495 11495 18810 0 -1 1077944384 7305 0 0 0 128 0 0 0 20 0 28 0 4398786 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632692787312 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11514] ppid=11495 vsize=13801768 CPUtime=0.47 cores=4-7,12-15
/proc/11496/task/11514/stat : 11514 (java) S 11495 11495 18810 0 -1 1077944384 2535 0 0 0 47 0 0 0 20 0 28 0 4398786 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632691734512 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11515] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11515/stat : 11515 (java) S 11495 11495 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632690682976 139633370978005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11516] ppid=11495 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11496/task/11516/stat : 11516 (java) S 11495 11495 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4398786 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632689630256 139633370978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11517] ppid=11495 vsize=13801768 CPUtime=7.09 cores=4-7,12-15
/proc/11496/task/11517/stat : 11517 (java) R 11495 11495 18810 0 -1 4202560 322 0 0 0 709 0 0 0 20 0 28 0 4398827 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632681615304 139632964933363 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11518] ppid=11495 vsize=13801768 CPUtime=7.25 cores=4-7,12-15
/proc/11496/task/11518/stat : 11518 (java) R 11495 11495 18810 0 -1 4202560 205 0 0 0 724 1 0 0 20 0 28 0 4398827 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632680563008 139632963752718 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11519] ppid=11495 vsize=13801768 CPUtime=7.13 cores=4-7,12-15
/proc/11496/task/11519/stat : 11519 (java) R 11495 11495 18810 0 -1 4202560 215 0 0 0 712 1 0 0 20 0 28 0 4398827 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632679512608 139632963752587 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11520] ppid=11495 vsize=13801768 CPUtime=7.34 cores=4-7,12-15
/proc/11496/task/11520/stat : 11520 (java) R 11495 11495 18810 0 -1 4202560 580 0 0 0 733 1 0 0 20 0 28 0 4398827 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632678457992 139632964491041 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11521] ppid=11495 vsize=13801768 CPUtime=7.18 cores=4-7,12-15
/proc/11496/task/11521/stat : 11521 (java) R 11495 11495 18810 0 -1 4202560 793 0 0 0 716 2 0 0 20 0 28 0 4398827 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632677404760 139632964492398 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11522] ppid=11495 vsize=13801768 CPUtime=7.06 cores=4-7,12-15
/proc/11496/task/11522/stat : 11522 (java) R 11495 11495 18810 0 -1 4202560 192 0 0 0 704 2 0 0 20 0 28 0 4398827 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632676355784 139632964799190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11523] ppid=11495 vsize=13801768 CPUtime=7.24 cores=4-7,12-15
/proc/11496/task/11523/stat : 11523 (java) R 11495 11495 18810 0 -1 4202560 169 0 0 0 722 2 0 0 20 0 28 0 4398827 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632608010664 139632964744909 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
[pid=11496/tid=11524] ppid=11495 vsize=13801768 CPUtime=7.36 cores=4-7,12-15
/proc/11496/task/11524/stat : 11524 (java) R 11495 11495 18810 0 -1 4202560 101 0 0 0 736 0 0 0 20 0 28 0 4398827 14133010432 193036 33554432000 4194304 4196468 140736010224784 139632606957864 139633356178083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35307520 140736010228924 140736010229100 140736010229100 140736010231759 0
Current children cumulated CPU time (s) 63.29
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 8.46969
CPU time (s): 63.7787
CPU user time (s): 63.3713
CPU system time (s): 0.407404
CPU usage (%): 753.023
Max. virtual memory (cumulated for all children) (KiB): 13813236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.3713
system time used= 0.407404
maximum resident set size= 775516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37481
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= 3688
involuntary context switches= 4311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.097096 second user time and 0.135934 second system time

The end

Launcher Data 

Begin job on node132 at 2017-07-22 04:41:56
IDJOB=4248091
IDBENCH=133094
IDSOLVER=2625
FILE ID=node132/4248091-1500691316
RUNJOBID= node132-1500682387-18842
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-03.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-4248091-1500691316/watcher-4248091-1500691316 -o /tmp/evaluation-result-4248091-1500691316/solver-4248091-1500691316 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1679326272 HOME/instance-4248091-1500691316.xml

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

MD5SUM BENCH= 179d2a128a53b26e9bde33d3c842c186
RANDOM SEED=1679326272

node132.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.61
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		: 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.61
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		: 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.61
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		: 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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 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.61
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		: 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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 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.61
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		: 2400.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	: 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		: 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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 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	: 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:        29852760 kB
MemAvailable:   30025396 kB
Buffers:          114608 kB
Cached:           338392 kB
SwapCached:            0 kB
Active:          2208992 kB
Inactive:         271224 kB
Active(anon):    2030132 kB
Inactive(anon):     8616 kB
Active(file):     178860 kB
Inactive(file):   262608 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8064 kB
Writeback:             0 kB
AnonPages:       2033204 kB
Mapped:            43128 kB
Shmem:              8872 kB
Slab:             129104 kB
SReclaimable:      94004 kB
SUnreclaim:        35100 kB
KernelStack:        4736 kB
PageTables:         9276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2791004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1896448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 04:42:05