Trace number 4246424

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 45.3655 29.1238

General information on the benchmark

NameKakuro/Kakuro-ext-medium/
Kakuro-medium-162-ext.xml
MD5SUM9eb44364195c6f7bb137f76b47648058
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 benchmark3.1229801
Satisfiable
(Un)Satisfiability was proved
Number of variables256
Number of constraints92
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":164}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":92},{"degree":2,"count":164}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":28},{"arity":3,"count":32},{"arity":4,"count":12},{"arity":5,"count":8},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":9,"count":4}]
Number of extensional constraints92
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":92}]
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-4246424-1500687448.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4246424-1500687448.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
44.31/28.94	c solve instance...
44.63/29.09	s SATISFIABLE
44.63/29.09	v <instantiation>
44.63/29.09	v 	<list>x[1][3] x[1][4] x[1][6] x[1][7] x[1][11] x[1][12] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][2] x[3][3] x[3][4] x[3][5] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][13] x[3][14] x[3][15] x[4][1] x[4][2] x[4][4] x[4][5] x[4][6] x[4][8] x[4][9] x[4][10] x[4][12] x[4][13] x[4][14] x[4][15] x[5][1] x[5][2] x[5][3] x[5][5] x[5][6] x[5][7] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][2] x[6][3] x[6][4] x[6][5] x[6][7] x[6][8] x[6][9] x[6][11] x[6][12] x[6][14] x[6][15] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][13] x[7][14] x[7][15] x[8][2] x[8][3] x[8][4] x[8][6] x[8][7] x[8][9] x[8][10] x[8][12] x[8][13] x[8][14] x[9][1] x[9][2] x[9][3] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[10][1] x[10][2] x[10][4] x[10][5] x[10][7] x[10][8] x[10][9] x[10][11] x[10][12] x[10][13] x[10][14] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][9] x[11][10] x[11][11] x[11][13] x[11][14] x[11][15] x[12][1] x[12][2] x[12][3] x[12][4] x[12][6] x[12][7] x[12][8] x[12][10] x[12][11] x[12][12] x[12][14] x[12][15] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][11] x[13][12] x[13][13] x[13][14] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[15][4] x[15][5] x[15][9] x[15][10] x[15][12] x[15][13] </list>
44.63/29.09	v 	<values>1 3 1 7 1 9 7 4 2 6 3 5 1 9 3 7 8 4 8 7 5 9 4 3 1 5 2 7 8 9 7 9 1 4 2 9 7 8 7 9 5 8 9 6 8 8 7 9 2 7 4 1 5 3 5 9 8 7 6 9 8 1 3 2 1 4 6 5 8 1 7 3 9 2 9 6 8 8 7 9 9 8 9 7 2 5 1 5 4 6 9 7 3 2 5 8 4 1 6 1 2 9 6 2 1 6 5 4 7 6 5 9 6 8 3 7 4 1 2 8 9 6 7 1 2 8 2 4 1 3 1 8 3 1 9 3 1 6 1 5 3 9 7 9 6 8 6 7 8 9 5 2 6 8 3 5 1 4 1 8 8 9 7 9 </values>
44.63/29.09	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-4246424-1500687448/watcher-4246424-1500687448 -o /tmp/evaluation-result-4246424-1500687448/solver-4246424-1500687448 -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 1155304364 HOME/instance-4246424-1500687448.xml 

pid=3637
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.35 15.55 15.08 10/274 3640
/proc/meminfo: memFree=28302568/32770624 swapFree=5944/246016
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0

[startup+0.100102 s]
/proc/loadavg: 15.35 15.55 15.08 10/274 3640
/proc/meminfo: memFree=28302568/32770624 swapFree=5944/246016
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.2003 s]
/proc/loadavg: 15.35 15.55 15.08 10/274 3640
/proc/meminfo: memFree=28302568/32770624 swapFree=5944/246016
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300293 s]
/proc/loadavg: 15.35 15.55 15.08 10/274 3640
/proc/meminfo: memFree=28302568/32770624 swapFree=5944/246016
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700199 s]
/proc/loadavg: 15.35 15.55 15.08 10/274 3640
/proc/meminfo: memFree=28302568/32770624 swapFree=5944/246016
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50105 s]
/proc/loadavg: 15.35 15.55 15.08 10/295 3661
/proc/meminfo: memFree=27902568/32770624 swapFree=5944/246000
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0
[pid=3641] ppid=3640 vsize=13267208 CPUtime=3.29 cores=4-7,12-15
/proc/3641/stat : 3641 (java) S 3640 3640 18810 0 -1 1077944320 12931 0 0 0 291 38 0 0 20 0 20 0 4011968 13585620992 114010 33554432000 4194304 4196468 140726386992704 140726386975248 139675234385655 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
/proc/3641/statm: 3316802 114010 3214 1 0 3304035 0
[pid=3641/tid=3642] ppid=3640 vsize=13267208 CPUtime=1.37 cores=4-7,12-15
/proc/3641/task/3642/stat : 3642 (java) R 3640 3640 18810 0 -1 4202560 6059 0 0 0 131 6 0 0 20 0 20 0 4011969 13585620992 114010 33554432000 4194304 4196468 140726386992704 139675238623368 139674839743463 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3644] ppid=3640 vsize=13267208 CPUtime=0.06 cores=4-7,12-15
/proc/3641/task/3644/stat : 3644 (java) S 3640 3640 18810 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 20 0 4011969 13585620992 114010 33554432000 4194304 4196468 140726386992704 139675166522384 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3645] ppid=3640 vsize=13267208 CPUtime=0.07 cores=4-7,12-15
/proc/3641/task/3645/stat : 3645 (java) S 3640 3640 18810 0 -1 1077944384 47 0 0 0 3 4 0 0 20 0 20 0 4011969 13585620992 114010 33554432000 4194304 4196468 140726386992704 139675165469840 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3646] ppid=3640 vsize=13267208 CPUtime=0.07 cores=4-7,12-15
/proc/3641/task/3646/stat : 3646 (java) S 3640 3640 18810 0 -1 1077944384 43 0 0 0 5 2 0 0 20 0 20 0 4011969 13585620992 114010 33554432000 4194304 4196468 140726386992704 139675164416784 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3647] ppid=3640 vsize=13267208 CPUtime=0.07 cores=4-7,12-15
/proc/3641/task/3647/stat : 3647 (java) S 3640 3640 18810 0 -1 1077944384 60 0 0 0 3 4 0 0 20 0 20 0 4011969 13585620992 114010 33554432000 4194304 4196468 140726386992704 139675163364240 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3648] ppid=3640 vsize=13267208 CPUtime=0.07 cores=4-7,12-15
/proc/3641/task/3648/stat : 3648 (java) S 3640 3640 18810 0 -1 1077944384 45 0 0 0 4 3 0 0 20 0 20 0 4011969 13585620992 114010 33554432000 4194304 4196468 140726386992704 139675162311184 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3649] ppid=3640 vsize=13267208 CPUtime=0.06 cores=4-7,12-15
/proc/3641/task/3649/stat : 3649 (java) S 3640 3640 18810 0 -1 1077944384 38 0 0 0 4 2 0 0 20 0 20 0 4011969 13585620992 114010 33554432000 4194304 4196468 140726386992704 139675161258640 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3650] ppid=3640 vsize=13267208 CPUtime=0.06 cores=4-7,12-15
/proc/3641/task/3650/stat : 3650 (java) S 3640 3640 18810 0 -1 1077944384 54 0 0 0 3 3 0 0 20 0 20 0 4011969 13585620992 114010 33554432000 4194304 4196468 140726386992704 139675160205584 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3651] ppid=3640 vsize=13267208 CPUtime=0.06 cores=4-7,12-15
/proc/3641/task/3651/stat : 3651 (java) S 3640 3640 18810 0 -1 1077944384 44 0 0 0 3 3 0 0 20 0 20 0 4011969 13585620992 114010 33554432000 4194304 4196468 140726386992704 139675159153040 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3652] ppid=3640 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3652/stat : 3652 (java) S 3640 3640 18810 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4011972 13585620992 114010 33554432000 4194304 4196468 140726386992704 139673919601392 139675234396802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3653] ppid=3640 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3653/stat : 3653 (java) S 3640 3640 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4011972 13585620992 114010 33554432000 4194304 4196468 140726386992704 139673918547680 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3654] ppid=3640 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3654/stat : 3654 (java) S 3640 3640 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4011973 13585620992 114010 33554432000 4194304 4196468 140726386992704 139673917494528 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3655] ppid=3640 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3655/stat : 3655 (java) S 3640 3640 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4011977 13585620992 114010 33554432000 4194304 4196468 140726386992704 139673916443088 139675234404251 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3656] ppid=3640 vsize=13267208 CPUtime=0.35 cores=4-7,12-15
/proc/3641/task/3656/stat : 3656 (java) S 3640 3640 18810 0 -1 1077944384 1509 0 0 0 34 1 0 0 20 0 20 0 4011977 13585620992 114010 33554432000 4194304 4196468 140726386992704 139673915390192 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3657] ppid=3640 vsize=13267208 CPUtime=0.31 cores=4-7,12-15
/proc/3641/task/3657/stat : 3657 (java) S 3640 3640 18810 0 -1 1077944384 1024 0 0 0 31 0 0 0 20 0 20 0 4011977 13585620992 114010 33554432000 4194304 4196468 140726386992704 139673914337648 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3658] ppid=3640 vsize=13267208 CPUtime=0.34 cores=4-7,12-15
/proc/3641/task/3658/stat : 3658 (java) S 3640 3640 18810 0 -1 1077944384 1033 0 0 0 34 0 0 0 20 0 20 0 4011977 13585620992 114010 33554432000 4194304 4196468 140726386992704 139673913284592 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3659] ppid=3640 vsize=13267208 CPUtime=0.27 cores=4-7,12-15
/proc/3641/task/3659/stat : 3659 (java) S 3640 3640 18810 0 -1 1077944384 1422 0 0 0 27 0 0 0 20 0 20 0 4011977 13585620992 114010 33554432000 4194304 4196468 140726386992704 139673912232048 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3660] ppid=3640 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3660/stat : 3660 (java) S 3640 3640 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4011977 13585620992 114010 33554432000 4194304 4196468 140726386992704 139673911180256 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3661] ppid=3640 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3661/stat : 3661 (java) S 3640 3640 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4011977 13585620992 114010 33554432000 4194304 4196468 140726386992704 139673910127792 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 13276720

[startup+3.10086 s]
/proc/loadavg: 15.35 15.55 15.08 17/295 3661
/proc/meminfo: memFree=27606108/32770624 swapFree=5944/246000
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0
[pid=3641] ppid=3640 vsize=13269256 CPUtime=5.55 cores=4-7,12-15
/proc/3641/stat : 3641 (java) S 3640 3640 18810 0 -1 1077944320 14316 0 0 0 498 57 0 0 20 0 20 0 4011968 13587718144 176810 33554432000 4194304 4196468 140726386992704 140726386975248 139675234385655 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
/proc/3641/statm: 3317314 176810 3228 1 0 3304547 0
[pid=3641/tid=3642] ppid=3640 vsize=13269256 CPUtime=2.93 cores=4-7,12-15
/proc/3641/task/3642/stat : 3642 (java) R 3640 3640 18810 0 -1 4202560 6673 0 0 0 284 9 0 0 20 0 20 0 4011969 13587718144 176810 33554432000 4194304 4196468 140726386992704 139675238623448 139674840252997 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3644] ppid=3640 vsize=13269256 CPUtime=0.09 cores=4-7,12-15
/proc/3641/task/3644/stat : 3644 (java) S 3640 3640 18810 0 -1 1077944384 73 0 0 0 4 5 0 0 20 0 20 0 4011969 13587718144 176810 33554432000 4194304 4196468 140726386992704 139675166522384 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3645] ppid=3640 vsize=13269256 CPUtime=0.11 cores=4-7,12-15
/proc/3641/task/3645/stat : 3645 (java) S 3640 3640 18810 0 -1 1077944384 82 0 0 0 5 6 0 0 20 0 20 0 4011969 13587718144 176810 33554432000 4194304 4196468 140726386992704 139675165469840 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3646] ppid=3640 vsize=13269256 CPUtime=0.11 cores=4-7,12-15
/proc/3641/task/3646/stat : 3646 (java) S 3640 3640 18810 0 -1 1077944384 77 0 0 0 6 5 0 0 20 0 20 0 4011969 13587718144 176810 33554432000 4194304 4196468 140726386992704 139675164416784 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3647] ppid=3640 vsize=13269256 CPUtime=0.11 cores=4-7,12-15
/proc/3641/task/3647/stat : 3647 (java) S 3640 3640 18810 0 -1 1077944384 99 0 0 0 5 6 0 0 20 0 20 0 4011969 13587718144 176810 33554432000 4194304 4196468 140726386992704 139675163364240 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3648] ppid=3640 vsize=13269256 CPUtime=0.11 cores=4-7,12-15
/proc/3641/task/3648/stat : 3648 (java) S 3640 3640 18810 0 -1 1077944384 81 0 0 0 6 5 0 0 20 0 20 0 4011969 13587718144 176810 33554432000 4194304 4196468 140726386992704 139675162311184 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3649] ppid=3640 vsize=13269256 CPUtime=0.1 cores=4-7,12-15
/proc/3641/task/3649/stat : 3649 (java) S 3640 3640 18810 0 -1 1077944384 79 0 0 0 6 4 0 0 20 0 20 0 4011969 13587718144 176810 33554432000 4194304 4196468 140726386992704 139675161258640 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3650] ppid=3640 vsize=13269256 CPUtime=0.11 cores=4-7,12-15
/proc/3641/task/3650/stat : 3650 (java) S 3640 3640 18810 0 -1 1077944384 88 0 0 0 5 6 0 0 20 0 20 0 4011969 13587718144 176810 33554432000 4194304 4196468 140726386992704 139675160205584 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3651] ppid=3640 vsize=13269256 CPUtime=0.1 cores=4-7,12-15
/proc/3641/task/3651/stat : 3651 (java) S 3640 3640 18810 0 -1 1077944384 85 0 0 0 5 5 0 0 20 0 20 0 4011969 13587718144 176810 33554432000 4194304 4196468 140726386992704 139675159153040 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3652] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3652/stat : 3652 (java) S 3640 3640 18810 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 20 0 4011972 13587718144 176810 33554432000 4194304 4196468 140726386992704 139673919601392 139675234396802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3653] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3653/stat : 3653 (java) S 3640 3640 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4011972 13587718144 176810 33554432000 4194304 4196468 140726386992704 139673918547680 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3654] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3654/stat : 3654 (java) S 3640 3640 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4011973 13587718144 176810 33554432000 4194304 4196468 140726386992704 139673917494528 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3655] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3655/stat : 3655 (java) S 3640 3640 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4011977 13587718144 176810 33554432000 4194304 4196468 140726386992704 139673916443088 139675234404251 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3656] ppid=3640 vsize=13269256 CPUtime=0.48 cores=4-7,12-15
/proc/3641/task/3656/stat : 3656 (java) S 3640 3640 18810 0 -1 1077944384 1525 0 0 0 47 1 0 0 20 0 20 0 4011977 13587718144 176810 33554432000 4194304 4196468 140726386992704 139673915390192 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3657] ppid=3640 vsize=13269256 CPUtime=0.42 cores=4-7,12-15
/proc/3641/task/3657/stat : 3657 (java) S 3640 3640 18810 0 -1 1077944384 1059 0 0 0 42 0 0 0 20 0 20 0 4011977 13587718144 176810 33554432000 4194304 4196468 140726386992704 139673914337648 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3658] ppid=3640 vsize=13269256 CPUtime=0.43 cores=4-7,12-15
/proc/3641/task/3658/stat : 3658 (java) S 3640 3640 18810 0 -1 1077944384 1068 0 0 0 43 0 0 0 20 0 20 0 4011977 13587718144 176810 33554432000 4194304 4196468 140726386992704 139673913284592 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3659] ppid=3640 vsize=13269256 CPUtime=0.32 cores=4-7,12-15
/proc/3641/task/3659/stat : 3659 (java) S 3640 3640 18810 0 -1 1077944384 1523 0 0 0 32 0 0 0 20 0 20 0 4011977 13587718144 176810 33554432000 4194304 4196468 140726386992704 139673912232048 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3660] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3660/stat : 3660 (java) S 3640 3640 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4011977 13587718144 176810 33554432000 4194304 4196468 140726386992704 139673911180256 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3661] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3661/stat : 3661 (java) S 3640 3640 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4011977 13587718144 176810 33554432000 4194304 4196468 140726386992704 139673910127792 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 13278768

[startup+6.30089 s]
/proc/loadavg: 14.84 15.44 15.04 17/295 3661
/proc/meminfo: memFree=26973296/32770624 swapFree=5944/246008
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0
[pid=3641] ppid=3640 vsize=13269256 CPUtime=9.92 cores=4-7,12-15
/proc/3641/stat : 3641 (java) S 3640 3640 18810 0 -1 1077944320 20850 0 0 0 849 143 0 0 20 0 20 0 4011968 13587718144 343886 33554432000 4194304 4196468 140726386992704 140726386975248 139675234385655 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
/proc/3641/statm: 3317314 343886 3231 1 0 3304547 0
[pid=3641/tid=3642] ppid=3640 vsize=13269256 CPUtime=5.66 cores=4-7,12-15
/proc/3641/task/3642/stat : 3642 (java) R 3640 3640 18810 0 -1 4202560 8844 0 0 0 550 16 0 0 20 0 20 0 4011969 13587718144 343886 33554432000 4194304 4196468 140726386992704 139675238623224 139674840148949 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3644] ppid=3640 vsize=13269256 CPUtime=0.27 cores=4-7,12-15
/proc/3641/task/3644/stat : 3644 (java) S 3640 3640 18810 0 -1 1077944384 166 0 0 0 13 14 0 0 20 0 20 0 4011969 13587718144 343886 33554432000 4194304 4196468 140726386992704 139675166522384 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3645] ppid=3640 vsize=13269256 CPUtime=0.3 cores=4-7,12-15
/proc/3641/task/3645/stat : 3645 (java) S 3640 3640 18810 0 -1 1077944384 320 0 0 0 15 15 0 0 20 0 20 0 4011969 13587718144 343886 33554432000 4194304 4196468 140726386992704 139675165469840 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3646] ppid=3640 vsize=13269256 CPUtime=0.3 cores=4-7,12-15
/proc/3641/task/3646/stat : 3646 (java) S 3640 3640 18810 0 -1 1077944384 278 0 0 0 16 14 0 0 20 0 20 0 4011969 13587718144 343886 33554432000 4194304 4196468 140726386992704 139675164416784 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3647] ppid=3640 vsize=13269256 CPUtime=0.3 cores=4-7,12-15
/proc/3641/task/3647/stat : 3647 (java) S 3640 3640 18810 0 -1 1077944384 271 0 0 0 13 17 0 0 20 0 20 0 4011969 13587718144 343886 33554432000 4194304 4196468 140726386992704 139675163364240 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3648] ppid=3640 vsize=13269256 CPUtime=0.31 cores=4-7,12-15
/proc/3641/task/3648/stat : 3648 (java) S 3640 3640 18810 0 -1 1077944384 319 0 0 0 14 17 0 0 20 0 20 0 4011969 13587718144 343886 33554432000 4194304 4196468 140726386992704 139675162311184 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3649] ppid=3640 vsize=13269256 CPUtime=0.25 cores=4-7,12-15
/proc/3641/task/3649/stat : 3649 (java) S 3640 3640 18810 0 -1 1077944384 253 0 0 0 13 12 0 0 20 0 20 0 4011969 13587718144 343886 33554432000 4194304 4196468 140726386992704 139675161258640 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3650] ppid=3640 vsize=13269256 CPUtime=0.3 cores=4-7,12-15
/proc/3641/task/3650/stat : 3650 (java) S 3640 3640 18810 0 -1 1077944384 269 0 0 0 15 15 0 0 20 0 20 0 4011969 13587718144 343886 33554432000 4194304 4196468 140726386992704 139675160205584 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3651] ppid=3640 vsize=13269256 CPUtime=0.28 cores=4-7,12-15
/proc/3641/task/3651/stat : 3651 (java) S 3640 3640 18810 0 -1 1077944384 185 0 0 0 14 14 0 0 20 0 20 0 4011969 13587718144 343886 33554432000 4194304 4196468 140726386992704 139675159153040 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3652] ppid=3640 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/3641/task/3652/stat : 3652 (java) S 3640 3640 18810 0 -1 1077944384 1209 0 0 0 1 0 0 0 20 0 20 0 4011972 13587718144 343886 33554432000 4194304 4196468 140726386992704 139673919601392 139675234396802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3653] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3653/stat : 3653 (java) S 3640 3640 18810 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 4011972 13587718144 343886 33554432000 4194304 4196468 140726386992704 139673918547680 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3654] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3654/stat : 3654 (java) S 3640 3640 18810 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4011973 13587718144 343886 33554432000 4194304 4196468 140726386992704 139673917494528 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3655] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3655/stat : 3655 (java) S 3640 3640 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4011977 13587718144 343886 33554432000 4194304 4196468 140726386992704 139673916443088 139675234404251 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0

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

/proc/3641/task/3653/stat : 3653 (java) S 3640 3640 18810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4011972 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673918547680 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3654] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3654/stat : 3654 (java) S 3640 3640 18810 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 4011973 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673917494528 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3655] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3655/stat : 3655 (java) S 3640 3640 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673916443088 139675234404251 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3656] ppid=3640 vsize=13269256 CPUtime=0.71 cores=4-7,12-15
/proc/3641/task/3656/stat : 3656 (java) S 3640 3640 18810 0 -1 1077944384 3284 0 0 0 69 2 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673915390192 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3657] ppid=3640 vsize=13269256 CPUtime=0.57 cores=4-7,12-15
/proc/3641/task/3657/stat : 3657 (java) S 3640 3640 18810 0 -1 1077944384 2005 0 0 0 56 1 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673914337648 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3658] ppid=3640 vsize=13269256 CPUtime=0.53 cores=4-7,12-15
/proc/3641/task/3658/stat : 3658 (java) S 3640 3640 18810 0 -1 1077944384 1692 0 0 0 53 0 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673913284592 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3659] ppid=3640 vsize=13269256 CPUtime=0.54 cores=4-7,12-15
/proc/3641/task/3659/stat : 3659 (java) S 3640 3640 18810 0 -1 1077944384 5427 0 0 0 54 0 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673912232048 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3660] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3660/stat : 3660 (java) S 3640 3640 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673911180256 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3661] ppid=3640 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/3641/task/3661/stat : 3661 (java) S 3640 3640 18810 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673910127792 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
Current children cumulated CPU time (s) 43.4
Current children cumulated vsize (KiB) 13278768

[startup+28.8009 s]
/proc/loadavg: 12.85 14.92 14.88 10/295 3661
/proc/meminfo: memFree=24665276/32770624 swapFree=5944/246028
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0
[pid=3641] ppid=3640 vsize=13269256 CPUtime=44.21 cores=4-7,12-15
/proc/3641/stat : 3641 (java) S 3640 3640 18810 0 -1 1077944320 45240 0 0 0 3909 512 0 0 20 0 20 0 4011968 13587718144 906688 33554432000 4194304 4196468 140726386992704 140726386975248 139675234385655 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
/proc/3641/statm: 3317314 906688 3256 1 0 3304547 0
[pid=3641/tid=3642] ppid=3640 vsize=13269256 CPUtime=24.58 cores=4-7,12-15
/proc/3641/task/3642/stat : 3642 (java) R 3640 3640 18810 0 -1 4202560 13596 0 0 0 2425 33 0 0 20 0 20 0 4011969 13587718144 906688 33554432000 4194304 4196468 140726386992704 139675238621832 139674840252960 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3644] ppid=3640 vsize=13269256 CPUtime=1.82 cores=4-7,12-15
/proc/3641/task/3644/stat : 3644 (java) S 3640 3640 18810 0 -1 1077944384 2180 0 0 0 127 55 0 0 20 0 20 0 4011969 13587718144 906688 33554432000 4194304 4196468 140726386992704 139675166522384 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3645] ppid=3640 vsize=13269256 CPUtime=1.92 cores=4-7,12-15
/proc/3641/task/3645/stat : 3645 (java) S 3640 3640 18810 0 -1 1077944384 1699 0 0 0 130 62 0 0 20 0 20 0 4011969 13587718144 906688 33554432000 4194304 4196468 140726386992704 139675165469840 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3646] ppid=3640 vsize=13269256 CPUtime=1.91 cores=4-7,12-15
/proc/3641/task/3646/stat : 3646 (java) S 3640 3640 18810 0 -1 1077944384 1972 0 0 0 135 56 0 0 20 0 20 0 4011969 13587718144 906688 33554432000 4194304 4196468 140726386992704 139675164416784 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3647] ppid=3640 vsize=13269256 CPUtime=1.91 cores=4-7,12-15
/proc/3641/task/3647/stat : 3647 (java) S 3640 3640 18810 0 -1 1077944384 1397 0 0 0 132 59 0 0 20 0 20 0 4011969 13587718144 906688 33554432000 4194304 4196468 140726386992704 139675163364240 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3648] ppid=3640 vsize=13269256 CPUtime=1.92 cores=4-7,12-15
/proc/3641/task/3648/stat : 3648 (java) S 3640 3640 18810 0 -1 1077944384 1872 0 0 0 129 63 0 0 20 0 20 0 4011969 13587718144 906688 33554432000 4194304 4196468 140726386992704 139675162311184 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3649] ppid=3640 vsize=13269256 CPUtime=1.88 cores=4-7,12-15
/proc/3641/task/3649/stat : 3649 (java) S 3640 3640 18810 0 -1 1077944384 1202 0 0 0 130 58 0 0 20 0 20 0 4011969 13587718144 906688 33554432000 4194304 4196468 140726386992704 139675161258640 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3650] ppid=3640 vsize=13269256 CPUtime=1.93 cores=4-7,12-15
/proc/3641/task/3650/stat : 3650 (java) S 3640 3640 18810 0 -1 1077944384 1630 0 0 0 132 61 0 0 20 0 20 0 4011969 13587718144 906688 33554432000 4194304 4196468 140726386992704 139675160205584 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3651] ppid=3640 vsize=13269256 CPUtime=1.88 cores=4-7,12-15
/proc/3641/task/3651/stat : 3651 (java) S 3640 3640 18810 0 -1 1077944384 1300 0 0 0 133 55 0 0 20 0 20 0 4011969 13587718144 906688 33554432000 4194304 4196468 140726386992704 139675159153040 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3652] ppid=3640 vsize=13269256 CPUtime=1.96 cores=4-7,12-15
/proc/3641/task/3652/stat : 3652 (java) S 3640 3640 18810 0 -1 1077944384 4257 0 0 0 195 1 0 0 20 0 20 0 4011972 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673919601392 139675234396802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3653] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3653/stat : 3653 (java) S 3640 3640 18810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4011972 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673918547680 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3654] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3654/stat : 3654 (java) S 3640 3640 18810 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 4011973 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673917494528 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3655] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3655/stat : 3655 (java) S 3640 3640 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673916443088 139675234404251 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3656] ppid=3640 vsize=13269256 CPUtime=0.71 cores=4-7,12-15
/proc/3641/task/3656/stat : 3656 (java) S 3640 3640 18810 0 -1 1077944384 3284 0 0 0 69 2 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673915390192 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3657] ppid=3640 vsize=13269256 CPUtime=0.57 cores=4-7,12-15
/proc/3641/task/3657/stat : 3657 (java) S 3640 3640 18810 0 -1 1077944384 2006 0 0 0 56 1 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673914337648 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3658] ppid=3640 vsize=13269256 CPUtime=0.53 cores=4-7,12-15
/proc/3641/task/3658/stat : 3658 (java) S 3640 3640 18810 0 -1 1077944384 1692 0 0 0 53 0 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673913284592 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3659] ppid=3640 vsize=13269256 CPUtime=0.55 cores=4-7,12-15
/proc/3641/task/3659/stat : 3659 (java) S 3640 3640 18810 0 -1 1077944384 5429 0 0 0 55 0 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673912232048 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3660] ppid=3640 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3660/stat : 3660 (java) S 3640 3640 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673911180256 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3661] ppid=3640 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/3641/task/3661/stat : 3661 (java) S 3640 3640 18810 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 4011977 13587718144 906688 33554432000 4194304 4196468 140726386992704 139673910127792 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
Current children cumulated CPU time (s) 44.21
Current children cumulated vsize (KiB) 13278768

[startup+29.0008 s]
/proc/loadavg: 12.85 14.92 14.88 10/295 3661
/proc/meminfo: memFree=24665276/32770624 swapFree=5944/246028
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0
[pid=3641] ppid=3640 vsize=13801768 CPUtime=44.63 cores=4-7,12-15
/proc/3641/stat : 3641 (java) S 3640 3640 18810 0 -1 1077944320 45863 0 0 0 3950 513 0 0 20 0 28 0 4011968 14133010432 911423 33554432000 4194304 4196468 140726386992704 140726386975248 139675234385655 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
/proc/3641/statm: 3450442 911423 3256 1 0 3437675 0
[pid=3641/tid=3642] ppid=3640 vsize=13801768 CPUtime=24.74 cores=4-7,12-15
/proc/3641/task/3642/stat : 3642 (java) S 3640 3640 18810 0 -1 1077944384 13751 0 0 0 2441 33 0 0 20 0 28 0 4011969 14133010432 911423 33554432000 4194304 4196468 140726386992704 139675238626432 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3644] ppid=3640 vsize=13801768 CPUtime=1.82 cores=4-7,12-15
/proc/3641/task/3644/stat : 3644 (java) S 3640 3640 18810 0 -1 1077944384 2180 0 0 0 127 55 0 0 20 0 28 0 4011969 14133010432 911423 33554432000 4194304 4196468 140726386992704 139675166522384 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3645] ppid=3640 vsize=13801768 CPUtime=1.92 cores=4-7,12-15
/proc/3641/task/3645/stat : 3645 (java) S 3640 3640 18810 0 -1 1077944384 1699 0 0 0 130 62 0 0 20 0 28 0 4011969 14133010432 911423 33554432000 4194304 4196468 140726386992704 139675165469840 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3646] ppid=3640 vsize=13801768 CPUtime=1.91 cores=4-7,12-15
/proc/3641/task/3646/stat : 3646 (java) S 3640 3640 18810 0 -1 1077944384 1972 0 0 0 135 56 0 0 20 0 28 0 4011969 14133010432 911423 33554432000 4194304 4196468 140726386992704 139675164416784 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3647] ppid=3640 vsize=13801768 CPUtime=1.91 cores=4-7,12-15
/proc/3641/task/3647/stat : 3647 (java) S 3640 3640 18810 0 -1 1077944384 1397 0 0 0 132 59 0 0 20 0 28 0 4011969 14133010432 911423 33554432000 4194304 4196468 140726386992704 139675163364240 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3648] ppid=3640 vsize=13801768 CPUtime=1.92 cores=4-7,12-15
/proc/3641/task/3648/stat : 3648 (java) S 3640 3640 18810 0 -1 1077944384 1872 0 0 0 129 63 0 0 20 0 28 0 4011969 14133010432 911423 33554432000 4194304 4196468 140726386992704 139675162311184 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3649] ppid=3640 vsize=13801768 CPUtime=1.88 cores=4-7,12-15
/proc/3641/task/3649/stat : 3649 (java) S 3640 3640 18810 0 -1 1077944384 1202 0 0 0 130 58 0 0 20 0 28 0 4011969 14133010432 911423 33554432000 4194304 4196468 140726386992704 139675161258640 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3650] ppid=3640 vsize=13801768 CPUtime=1.93 cores=4-7,12-15
/proc/3641/task/3650/stat : 3650 (java) S 3640 3640 18810 0 -1 1077944384 1630 0 0 0 132 61 0 0 20 0 28 0 4011969 14133010432 911423 33554432000 4194304 4196468 140726386992704 139675160205584 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3651] ppid=3640 vsize=13801768 CPUtime=1.88 cores=4-7,12-15
/proc/3641/task/3651/stat : 3651 (java) S 3640 3640 18810 0 -1 1077944384 1300 0 0 0 133 55 0 0 20 0 28 0 4011969 14133010432 911423 33554432000 4194304 4196468 140726386992704 139675159153040 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3652] ppid=3640 vsize=13801768 CPUtime=1.96 cores=4-7,12-15
/proc/3641/task/3652/stat : 3652 (java) S 3640 3640 18810 0 -1 1077944384 4264 0 0 0 195 1 0 0 20 0 28 0 4011972 14133010432 911423 33554432000 4194304 4196468 140726386992704 139673919601392 139675234396802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3653] ppid=3640 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3653/stat : 3653 (java) S 3640 3640 18810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 4011972 14133010432 911423 33554432000 4194304 4196468 140726386992704 139673918547680 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3654] ppid=3640 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3654/stat : 3654 (java) S 3640 3640 18810 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4011973 14133010432 911423 33554432000 4194304 4196468 140726386992704 139673917494528 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3655] ppid=3640 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3655/stat : 3655 (java) S 3640 3640 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4011977 14133010432 911423 33554432000 4194304 4196468 140726386992704 139673916443088 139675234404251 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3656] ppid=3640 vsize=13801768 CPUtime=0.73 cores=4-7,12-15
/proc/3641/task/3656/stat : 3656 (java) S 3640 3640 18810 0 -1 1077944384 3302 0 0 0 71 2 0 0 20 0 28 0 4011977 14133010432 911423 33554432000 4194304 4196468 140726386992704 139673915390192 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3657] ppid=3640 vsize=13801768 CPUtime=0.59 cores=4-7,12-15
/proc/3641/task/3657/stat : 3657 (java) R 3640 3640 18810 0 -1 4202560 2046 0 0 0 58 1 0 0 20 0 28 0 4011977 14133010432 911423 33554432000 4194304 4196468 140726386992704 139673914326208 139675217879847 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3658] ppid=3640 vsize=13801768 CPUtime=0.55 cores=4-7,12-15
/proc/3641/task/3658/stat : 3658 (java) R 3640 3640 18810 0 -1 1077944384 1706 0 0 0 55 0 0 0 20 0 28 0 4011977 14133010432 911423 33554432000 4194304 4196468 140726386992704 139673913284592 139675234396802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3659] ppid=3640 vsize=13801768 CPUtime=0.57 cores=4-7,12-15
/proc/3641/task/3659/stat : 3659 (java) R 3640 3640 18810 0 -1 4202560 5485 0 0 0 57 0 0 0 20 0 28 0 4011977 14133010432 911423 33554432000 4194304 4196468 140726386992704 139673912227008 139675218697697 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3660] ppid=3640 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3660/stat : 3660 (java) S 3640 3640 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4011977 14133010432 911423 33554432000 4194304 4196468 140726386992704 139673911180256 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3661] ppid=3640 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/3641/task/3661/stat : 3661 (java) S 3640 3640 18810 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 28 0 4011977 14133010432 911423 33554432000 4194304 4196468 140726386992704 139673910127792 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
Current children cumulated CPU time (s) 44.63
Current children cumulated vsize (KiB) 13811280

[startup+29.1012 s]
/proc/loadavg: 12.85 14.92 14.88 10/295 3661
/proc/meminfo: memFree=24665276/32770624 swapFree=5944/246028
[pid=3640] ppid=3637 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3640/stat : 3640 (xcsp3-exec) S 3637 3640 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4011968 9740288 345 33554432000 4194304 5098028 140727608032352 140727608030456 140295367320188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15978496 140727608034446 140727608034656 140727608034656 140727608037355 0
/proc/3640/statm: 2378 345 289 221 0 87 0
[pid=3641] ppid=3640 vsize=13801768 CPUtime=45.33 cores=4-7,12-15
/proc/3641/stat : 3641 (java) S 3640 3640 18810 0 -1 1077944320 46965 0 0 0 4020 513 0 0 20 0 19 0 4011968 14133010432 913691 33554432000 4194304 4196468 140726386992704 140726386975248 139675234385655 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
/proc/3641/statm: 3450442 913691 3262 1 0 3437675 0
[pid=3641/tid=3642] ppid=3640 vsize=13801768 CPUtime=24.74 cores=4-7,12-15
/proc/3641/task/3642/stat : 3642 (java) S 3640 3640 18810 0 -1 1077944384 13758 0 0 0 2441 33 0 0 20 0 19 0 4011969 14133010432 913691 33554432000 4194304 4196468 140726386992704 139675238628496 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3644] ppid=3640 vsize=13801768 CPUtime=1.82 cores=4-7,12-15
/proc/3641/task/3644/stat : 3644 (java) S 3640 3640 18810 0 -1 1077944384 2180 0 0 0 127 55 0 0 20 0 19 0 4011969 14133010432 913691 33554432000 4194304 4196468 140726386992704 139675166522384 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3645] ppid=3640 vsize=13801768 CPUtime=1.92 cores=4-7,12-15
/proc/3641/task/3645/stat : 3645 (java) S 3640 3640 18810 0 -1 1077944384 1699 0 0 0 130 62 0 0 20 0 19 0 4011969 14133010432 913691 33554432000 4194304 4196468 140726386992704 139675165469840 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3646] ppid=3640 vsize=13801768 CPUtime=1.91 cores=4-7,12-15
/proc/3641/task/3646/stat : 3646 (java) S 3640 3640 18810 0 -1 1077944384 1972 0 0 0 135 56 0 0 20 0 19 0 4011969 14133010432 913691 33554432000 4194304 4196468 140726386992704 139675164416784 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3647] ppid=3640 vsize=13801768 CPUtime=1.91 cores=4-7,12-15
/proc/3641/task/3647/stat : 3647 (java) S 3640 3640 18810 0 -1 1077944384 1397 0 0 0 132 59 0 0 20 0 19 0 4011969 14133010432 913691 33554432000 4194304 4196468 140726386992704 139675163364240 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3648] ppid=3640 vsize=13801768 CPUtime=1.92 cores=4-7,12-15
/proc/3641/task/3648/stat : 3648 (java) S 3640 3640 18810 0 -1 1077944384 1872 0 0 0 129 63 0 0 20 0 19 0 4011969 14133010432 913691 33554432000 4194304 4196468 140726386992704 139675162311184 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3649] ppid=3640 vsize=13801768 CPUtime=1.88 cores=4-7,12-15
/proc/3641/task/3649/stat : 3649 (java) S 3640 3640 18810 0 -1 1077944384 1202 0 0 0 130 58 0 0 20 0 19 0 4011969 14133010432 913691 33554432000 4194304 4196468 140726386992704 139675161258640 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3650] ppid=3640 vsize=13801768 CPUtime=1.93 cores=4-7,12-15
/proc/3641/task/3650/stat : 3650 (java) S 3640 3640 18810 0 -1 1077944384 1630 0 0 0 132 61 0 0 20 0 19 0 4011969 14133010432 913691 33554432000 4194304 4196468 140726386992704 139675160205584 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3651] ppid=3640 vsize=13801768 CPUtime=1.88 cores=4-7,12-15
/proc/3641/task/3651/stat : 3651 (java) S 3640 3640 18810 0 -1 1077944384 1300 0 0 0 133 55 0 0 20 0 19 0 4011969 14133010432 913691 33554432000 4194304 4196468 140726386992704 139675159153040 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3652] ppid=3640 vsize=13801768 CPUtime=1.96 cores=4-7,12-15
/proc/3641/task/3652/stat : 3652 (java) S 3640 3640 18810 0 -1 1077944384 4264 0 0 0 195 1 0 0 20 0 19 0 4011972 14133010432 913691 33554432000 4194304 4196468 140726386992704 139673919601600 139675234396802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3653] ppid=3640 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3653/stat : 3653 (java) S 3640 3640 18810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 4011972 14133010432 913691 33554432000 4194304 4196468 140726386992704 139673918547680 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3654] ppid=3640 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3654/stat : 3654 (java) S 3640 3640 18810 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 4011973 14133010432 913691 33554432000 4194304 4196468 140726386992704 139673917494528 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3655] ppid=3640 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3655/stat : 3655 (java) S 3640 3640 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 4011977 14133010432 913691 33554432000 4194304 4196468 140726386992704 139673916442800 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3656] ppid=3640 vsize=13801768 CPUtime=0.8 cores=4-7,12-15
/proc/3641/task/3656/stat : 3656 (java) S 3640 3640 18810 0 -1 1077944384 3735 0 0 0 78 2 0 0 20 0 19 0 4011977 14133010432 913691 33554432000 4194304 4196468 140726386992704 139673915375248 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3657] ppid=3640 vsize=13801768 CPUtime=0.63 cores=4-7,12-15
/proc/3641/task/3657/stat : 3657 (java) S 3640 3640 18810 0 -1 1077944384 2269 0 0 0 62 1 0 0 20 0 19 0 4011977 14133010432 913691 33554432000 4194304 4196468 140726386992704 139673914337648 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3658] ppid=3640 vsize=13801768 CPUtime=0.58 cores=4-7,12-15
/proc/3641/task/3658/stat : 3658 (java) S 3640 3640 18810 0 -1 1077944384 1783 0 0 0 58 0 0 0 20 0 19 0 4011977 14133010432 913691 33554432000 4194304 4196468 140726386992704 139673913284592 139675234396802 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3659] ppid=3640 vsize=13801768 CPUtime=0.61 cores=4-7,12-15
/proc/3641/task/3659/stat : 3659 (java) S 3640 3640 18810 0 -1 1077944384 5580 0 0 0 61 0 0 0 20 0 19 0 4011977 14133010432 913691 33554432000 4194304 4196468 140726386992704 139673912227424 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
[pid=3641/tid=3660] ppid=3640 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3641/task/3660/stat : 3660 (java) S 3640 3640 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 4011977 14133010432 913691 33554432000 4194304 4196468 140726386992704 139673911180256 139675234395861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33390592 140726387000508 140726387000684 140726387000684 140726387003343 0
Current children cumulated CPU time (s) 45.33
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 29.1238
CPU time (s): 45.3655
CPU user time (s): 40.2093
CPU system time (s): 5.15627
CPU usage (%): 155.768
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.2093
system time used= 5.15627
maximum resident set size= 3655472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47521
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= 5186
involuntary context switches= 3021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.228075 second user time and 0.278607 second system time

The end

Launcher Data 

Begin job on node132 at 2017-07-22 03:37:28
IDJOB=4246424
IDBENCH=124898
IDSOLVER=2625
FILE ID=node132/4246424-1500687448
RUNJOBID= node132-1500682387-18842
PBS_JOBID= 20623322
Free space on /tmp= 61748 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Kakuro/Kakuro-ext-medium/Kakuro-medium-162-ext.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-4246424-1500687448/watcher-4246424-1500687448 -o /tmp/evaluation-result-4246424-1500687448/solver-4246424-1500687448 -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 1155304364 HOME/instance-4246424-1500687448.xml

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

MD5SUM BENCH= 9eb44364195c6f7bb137f76b47648058
RANDOM SEED=1155304364

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		: 1867.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		: 2000.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		: 1867.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		: 1733.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		: 2267.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:        28302988 kB
MemAvailable:   28469844 kB
Buffers:          109236 kB
Cached:           338460 kB
SwapCached:            0 kB
Active:          3773008 kB
Inactive:         254640 kB
Active(anon):    3582516 kB
Inactive(anon):     8616 kB
Active(file):     190492 kB
Inactive(file):   246024 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             21332 kB
Writeback:             0 kB
AnonPages:       3648524 kB
Mapped:            43088 kB
Shmem:              8872 kB
Slab:             127452 kB
SReclaimable:      92348 kB
SUnreclaim:        35104 kB
KernelStack:        5104 kB
PageTables:        11988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4449568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3516416 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= 61740 MiB
End job on node132 at 2017-07-22 03:37:57