Trace number 4244590

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 NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)SAT (TO)646 2400.1899 632.63501

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-9.xml
MD5SUM61a67ae858673343e351cd0fcc1d1459
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark615
Best CPU time to get the best result obtained on this benchmark19946.6
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size704
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":704,"count":210}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}]
Number of extensional constraints100
Number of intensional constraints110
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.05	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244590-1501978257.xml"  -tl '2400s' -p 4 -x 0
0.00/0.61	c [HOME/instance-4244590-1501978257.xml, -tl, 2400s, -p, 4, -x, 0]
0.00/0.73	c 4 solvers in parallel
0.00/0.83	c parse instance...
1.73/1.54	c solve instance...
84.37/22.65	o 703 
98.51/26.25	o 702 
113.01/29.91	o 701 
170.28/44.77	o 699 
174.63/46.50	o 698 
187.32/49.92	o 695 
216.20/57.51	o 694 
254.90/67.43	o 693 
269.34/71.91	o 692 
294.04/78.17	o 691 
316.60/84.56	o 690 
327.63/87.77	o 688 
341.54/92.26	o 687 
451.18/119.94	o 686 
480.83/128.21	o 685 
529.38/141.17	o 684 
540.79/145.24	o 683 
561.95/150.61	o 682 
570.55/152.92	o 677 
570.55/152.94	o 676 
581.24/156.16	o 675 
704.16/188.53	o 674 
711.48/191.50	o 673 
720.76/194.46	o 669 
720.76/194.50	o 668 
721.06/194.51	o 667 
735.23/198.73	o 665 
828.68/222.95	o 664 
1060.46/281.37	o 663 
1077.66/285.70	o 662 
1090.00/290.27	o 658 
1290.17/342.18	o 657 
1305.91/346.89	o 656 
1316.77/350.34	o 655 
1464.83/389.00	o 654 
1929.68/508.98	o 653 
1946.49/513.78	o 652 
2087.40/550.03	o 651 
2093.17/551.57	o 649 
2110.49/556.85	o 648 
2123.89/561.63	o 647 
2213.68/585.54	o 646 
2400.19/632.67	s SATISFIABLE
2400.19/632.67	v <instantiation>
2400.19/632.67	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[0][7] sd[0][8] sd[0][9] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[1][7] sd[1][8] sd[1][9] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[2][7] sd[2][8] sd[2][9] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[3][7] sd[3][8] sd[3][9] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[4][7] sd[4][8] sd[4][9] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[5][7] sd[5][8] sd[5][9] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] sd[6][7] sd[6][8] sd[6][9] sd[7][0] sd[7][1] sd[7][2] sd[7][3] sd[7][4] sd[7][5] sd[7][6] sd[7][7] sd[7][8] sd[7][9] sd[8][0] sd[8][1] sd[8][2] sd[8][3] sd[8][4] sd[8][5] sd[8][6] sd[8][7] sd[8][8] sd[8][9] sd[9][0] sd[9][1] sd[9][2] sd[9][3] sd[9][4] sd[9][5] sd[9][6] sd[9][7] sd[9][8] sd[9][9] </list>
2400.19/632.67	v 	<values>0 92 162 167 233 316 430 540 557 636 1 130 228 274 331 426 441 450 517 607 27 51 83 210 265 295 328 441 514 540 9 14 50 85 88 168 228 253 346 545 1 26 124 164 247 318 387 388 420 497 40 124 218 287 363 422 511 527 600 622 2 11 78 125 163 257 337 381 422 513 8 58 134 228 277 350 452 544 604 637 0 72 88 156 242 346 413 441 509 562 8 72 85 154 164 243 289 403 523 601 646 646 635 623 562 646 604 646 646 643 8 35 1 51 48 64 76 4 34 10 71 98 46 44 93 12 9 67 90 39 13 32 50 32 30 33 97 73 26 95 2 36 34 3 64 22 19 63 47 78 20 95 40 64 67 69 1 25 77 65 64 85 66 45 19 88 14 73 22 24 2 65 46 38 93 79 44 39 91 91 29 72 94 37 69 91 87 60 33 9 70 16 68 84 47 67 28 68 53 84 50 7 67 10 64 41 42 89 34 42 1 4 8 7 0 6 5 2 9 3 4 1 2 8 5 3 7 9 6 0 7 8 6 5 4 0 9 1 2 3 5 8 3 9 7 0 1 6 4 2 3 5 2 4 9 8 0 1 6 7 0 5 7 3 1 2 8 4 9 6 7 9 2 0 8 1 3 6 4 5 0 1 6 4 2 7 3 8 5 9 6 4 9 3 5 2 1 8 0 7 1 6 8 7 2 3 5 0 9 4 233 0 540 636 92 430 316 167 162 557 607 130 228 426 1 331 517 441 274 450 295 441 514 540 265 210 83 27 51 328 168 228 545 50 346 9 253 88 14 85 387 388 124 1 164 26 420 497 318 247 40 363 422 287 527 124 622 218 511 600 125 257 78 337 422 513 381 2 163 11 8 58 277 452 228 604 134 350 544 637 509 413 346 156 72 242 0 562 441 88 403 8 164 243 601 289 72 154 85 523 </values>
2400.19/632.67	v </instantiation>
2400.19/632.67	c Unexpected resolution interruption!

Verifier Data 

OK	646

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-4244590-1501978257/watcher-4244590-1501978257 -o /tmp/evaluation-result-4244590-1501978257/solver-4244590-1501978257 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501977413-2506 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1067821071 HOME/instance-4244590-1501978257.xml 

pid=2528
running on 4 cores: 1,3,5,7

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: 0.29 0.30 0.14 3/193 2531
/proc/meminfo: memFree=32080888/32770624 swapFree=0/198088
[pid=2531] ppid=2528 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (runsolver) D 2528 2531 2450 34816 2450 4202560 107 0 0 0 0 0 0 0 20 0 1 0 19520 24240128 107 18446744073709551615 4194304 4338465 140723820987248 140723820984888 140205756060375 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 10186752 140723820990554 140723820991052 140723820991052 140723820994506 0
/proc/2531/statm: 5918 107 54 36 0 2156 0

[startup+0.100159 s]
/proc/loadavg: 0.29 0.30 0.14 3/193 2531
/proc/meminfo: memFree=32080888/32770624 swapFree=0/198088
[pid=2531] ppid=2528 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (xcsp3-exec) S 2528 2531 2450 34816 2450 4202496 508 0 0 0 0 0 0 0 20 0 1 0 19520 9740288 345 18446744073709551615 4194304 5098028 140730133237776 140730133235880 140370810151548 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 33845248 140730133246363 140730133246573 140730133246573 140730133250027 0
/proc/2531/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200314 s]
/proc/loadavg: 0.29 0.30 0.14 3/193 2531
/proc/meminfo: memFree=32080888/32770624 swapFree=0/198088
[pid=2531] ppid=2528 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (xcsp3-exec) S 2528 2531 2450 34816 2450 4202496 508 0 0 0 0 0 0 0 20 0 1 0 19520 9740288 345 18446744073709551615 4194304 5098028 140730133237776 140730133235880 140370810151548 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 33845248 140730133246363 140730133246573 140730133246573 140730133250027 0
/proc/2531/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300316 s]
/proc/loadavg: 0.29 0.30 0.14 3/193 2531
/proc/meminfo: memFree=32080888/32770624 swapFree=0/198088
[pid=2531] ppid=2528 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (xcsp3-exec) S 2528 2531 2450 34816 2450 4202496 508 0 0 0 0 0 0 0 20 0 1 0 19520 9740288 345 18446744073709551615 4194304 5098028 140730133237776 140730133235880 140370810151548 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 33845248 140730133246363 140730133246573 140730133246573 140730133250027 0
/proc/2531/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700504 s]
/proc/loadavg: 0.29 0.30 0.14 3/193 2531
/proc/meminfo: memFree=32080888/32770624 swapFree=0/198088
[pid=2531] ppid=2528 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (xcsp3-exec) S 2528 2531 2450 34816 2450 4202496 508 0 0 0 0 0 0 0 20 0 1 0 19520 9740288 345 18446744073709551615 4194304 5098028 140730133237776 140730133235880 140370810151548 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 33845248 140730133246363 140730133246573 140730133246573 140730133250027 0
/proc/2531/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50159 s]
/proc/loadavg: 0.29 0.30 0.14 2/228 2566
/proc/meminfo: memFree=31949040/32770624 swapFree=0/246052
[pid=2531] ppid=2528 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (xcsp3-exec) S 2528 2531 2450 34816 2450 4202496 508 0 0 0 0 0 0 0 20 0 1 0 19520 9740288 345 18446744073709551615 4194304 5098028 140730133237776 140730133235880 140370810151548 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 33845248 140730133246363 140730133246573 140730133246573 140730133250027 0
/proc/2531/statm: 2378 345 289 221 0 87 0
[pid=2538] ppid=2531 vsize=12919328 CPUtime=1.73 cores=1,3,5,7
/proc/2538/stat : 2538 (java) S 2531 2531 2450 34816 2450 1077944320 15155 0 4 0 166 7 0 0 20 0 15 0 19525 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140723530339600 140547247845111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
/proc/2538/statm: 3229832 21289 3171 1 0 3218132 0
[pid=2538/tid=2539] ppid=2531 vsize=12919328 CPUtime=0.7 cores=1,3,5,7
/proc/2538/task/2539/stat : 2539 (java) R 2531 2531 2450 34816 2450 4202560 9043 0 3 0 66 4 0 0 20 0 15 0 19541 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140547252080592 140546851253048 0 4 1 16800974 0 0 0 -1 3 0 0 53 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2541] ppid=2531 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2541/stat : 2541 (java) S 2531 2531 2450 34816 2450 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19546 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140547170671504 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2543] ppid=2531 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2543/stat : 2543 (java) S 2531 2531 2450 34816 2450 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19546 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140547169618704 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2545] ppid=2531 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2545/stat : 2545 (java) S 2531 2531 2450 34816 2450 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19546 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546848844944 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2547] ppid=2531 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2547/stat : 2547 (java) S 2531 2531 2450 34816 2450 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19546 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546847792144 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2549] ppid=2531 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2549/stat : 2549 (java) S 2531 2531 2450 34816 2450 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19556 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546269948016 140547247856258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2551] ppid=2531 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2551/stat : 2551 (java) S 2531 2531 2450 34816 2450 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19557 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546268893984 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2554] ppid=2531 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2554/stat : 2554 (java) S 2531 2531 2450 34816 2450 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19557 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546267841648 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2555] ppid=2531 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2555/stat : 2555 (java) S 2531 2531 2450 34816 2450 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19563 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546266789968 140547247863707 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2556] ppid=2531 vsize=12919328 CPUtime=0.27 cores=1,3,5,7
/proc/2538/task/2556/stat : 2556 (java) R 2531 2531 2450 34816 2450 4202560 1490 0 0 0 27 0 0 0 20 0 15 0 19563 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546265718856 140547231345317 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2557] ppid=2531 vsize=12919328 CPUtime=0.28 cores=1,3,5,7
/proc/2538/task/2557/stat : 2557 (java) R 2531 2531 2450 34816 2450 4202560 1067 0 0 0 28 0 0 0 20 0 15 0 19563 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546264666448 140547227498624 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2559] ppid=2531 vsize=12919328 CPUtime=0.44 cores=1,3,5,7
/proc/2538/task/2559/stat : 2559 (java) R 2531 2531 2450 34816 2450 4202560 2250 0 0 0 44 0 0 0 20 0 15 0 19563 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546263630712 140547226822840 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2563] ppid=2531 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2563/stat : 2563 (java) S 2531 2531 2450 34816 2450 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19564 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546262580192 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2565] ppid=2531 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2565/stat : 2565 (java) S 2531 2531 2450 34816 2450 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19568 13229391872 21289 18446744073709551615 4194304 4196468 140723530357056 140546261526960 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 12928840

[startup+3.10659 s]
/proc/loadavg: 0.29 0.30 0.14 16/236 2574
/proc/meminfo: memFree=31686824/32770624 swapFree=0/256024
[pid=2531] ppid=2528 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (xcsp3-exec) S 2528 2531 2450 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 19520 9740288 345 18446744073709551615 4194304 5098028 140730133237776 140730133235880 140370810151548 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 33845248 140730133246363 140730133246573 140730133246573 140730133250027 0
/proc/2531/statm: 2378 345 289 221 0 87 0
[pid=2538] ppid=2531 vsize=13187632 CPUtime=7.9 cores=1,3,5,7
/proc/2538/stat : 2538 (java) S 2531 2531 2450 0 -1 1077944320 39971 0 4 0 779 11 0 0 20 0 19 0 19525 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140723530339600 140547247845111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
/proc/2538/statm: 3296908 40512 3187 1 0 3285208 0
[pid=2538/tid=2539] ppid=2531 vsize=13187632 CPUtime=0.76 cores=1,3,5,7
/proc/2538/task/2539/stat : 2539 (java) S 2531 2531 2450 0 -1 1077944384 9105 0 3 0 71 5 0 0 20 0 19 0 19541 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140547252085888 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 53 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2541] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2541/stat : 2541 (java) S 2531 2531 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 19546 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140547170671504 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2543] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2543/stat : 2543 (java) S 2531 2531 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 19546 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140547169618704 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2545] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2545/stat : 2545 (java) S 2531 2531 2450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 19546 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546848844944 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2547] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2547/stat : 2547 (java) S 2531 2531 2450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 19546 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546847792144 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2549] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2549/stat : 2549 (java) S 2531 2531 2450 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 19556 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546269948016 140547247856258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2551] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2551/stat : 2551 (java) S 2531 2531 2450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 19557 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546268893984 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2554] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2554/stat : 2554 (java) S 2531 2531 2450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 19557 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546267841648 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2555] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2555/stat : 2555 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19563 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546266789968 140547247863707 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2556] ppid=2531 vsize=13187632 CPUtime=1.33 cores=1,3,5,7
/proc/2538/task/2556/stat : 2556 (java) R 2531 2531 2450 0 -1 4202560 11914 0 0 0 131 2 0 0 20 0 19 0 19563 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546265723864 140547232769251 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2557] ppid=2531 vsize=13187632 CPUtime=1.24 cores=1,3,5,7
/proc/2538/task/2557/stat : 2557 (java) R 2531 2531 2450 0 -1 4202560 12524 0 0 0 123 1 0 0 20 0 19 0 19563 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546264671608 140547228081236 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2559] ppid=2531 vsize=13187632 CPUtime=0.69 cores=1,3,5,7
/proc/2538/task/2559/stat : 2559 (java) S 2531 2531 2450 0 -1 1077944384 3914 0 0 0 68 1 0 0 20 0 19 0 19563 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546263632752 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2563] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2563/stat : 2563 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19564 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546262580192 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2565] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2565/stat : 2565 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19568 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546261526960 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2567] ppid=2531 vsize=13187632 CPUtime=0.9 cores=1,3,5,7
/proc/2538/task/2567/stat : 2567 (java) R 2531 2531 2450 0 -1 4202560 103 0 0 0 90 0 0 0 20 0 19 0 19675 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546253510416 140546856011661 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2568] ppid=2531 vsize=13187632 CPUtime=0.91 cores=1,3,5,7
/proc/2538/task/2568/stat : 2568 (java) R 2531 2531 2450 0 -1 4202560 520 0 0 0 91 0 0 0 20 0 19 0 19675 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546252459912 140546849000769 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2569] ppid=2531 vsize=13187632 CPUtime=0.81 cores=1,3,5,7
/proc/2538/task/2569/stat : 2569 (java) R 2531 2531 2450 0 -1 4202560 127 0 0 0 81 0 0 0 20 0 19 0 19675 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546251408104 140546856010404 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2570] ppid=2531 vsize=13187632 CPUtime=1.21 cores=1,3,5,7
/proc/2538/task/2570/stat : 2570 (java) R 2531 2531 2450 0 -1 4202560 439 0 0 0 121 0 0 0 20 0 19 0 19675 13504135168 40512 18446744073709551615 4194304 4196468 140723530357056 140546250354160 140546854361015 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 13197144

[startup+6.30159 s]
/proc/loadavg: 0.66 0.38 0.16 14/233 2576
/proc/meminfo: memFree=31517500/32770624 swapFree=0/255316
[pid=2531] ppid=2528 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (xcsp3-exec) S 2528 2531 2450 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 19520 9740288 345 18446744073709551615 4194304 5098028 140730133237776 140730133235880 140370810151548 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 33845248 140730133246363 140730133246573 140730133246573 140730133250027 0
/proc/2531/statm: 2378 345 289 221 0 87 0
[pid=2538] ppid=2531 vsize=13187632 CPUtime=20.64 cores=1,3,5,7
/proc/2538/stat : 2538 (java) S 2531 2531 2450 0 -1 1077944320 54194 0 4 0 2049 15 0 0 20 0 19 0 19525 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140723530339600 140547247845111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
/proc/2538/statm: 3296908 61230 3236 1 0 3285208 0
[pid=2538/tid=2539] ppid=2531 vsize=13187632 CPUtime=0.76 cores=1,3,5,7
/proc/2538/task/2539/stat : 2539 (java) S 2531 2531 2450 0 -1 1077944384 9105 0 3 0 71 5 0 0 20 0 19 0 19541 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140547252085888 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 53 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2541] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2541/stat : 2541 (java) S 2531 2531 2450 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 19 0 19546 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140547170671504 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2543] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2543/stat : 2543 (java) S 2531 2531 2450 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 19 0 19546 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140547169618704 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2545] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2545/stat : 2545 (java) S 2531 2531 2450 0 -1 1077944384 864 0 0 0 0 0 0 0 20 0 19 0 19546 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546848844944 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2547] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2547/stat : 2547 (java) S 2531 2531 2450 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 19546 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546847792144 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2549] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2549/stat : 2549 (java) S 2531 2531 2450 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 19 0 19556 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546269948016 140547247856258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2551] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2551/stat : 2551 (java) S 2531 2531 2450 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 19557 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546268894048 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2554] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2554/stat : 2554 (java) S 2531 2531 2450 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 19557 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546267841648 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2555] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2555/stat : 2555 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19563 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546266789968 140547247863707 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2556] ppid=2531 vsize=13187632 CPUtime=3.24 cores=1,3,5,7
/proc/2538/task/2556/stat : 2556 (java) R 2531 2531 2450 0 -1 4202560 16578 0 0 0 322 2 0 0 20 0 19 0 19563 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546265727520 140547232954082 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2557] ppid=2531 vsize=13187632 CPUtime=3.2 cores=1,3,5,7
/proc/2538/task/2557/stat : 2557 (java) R 2531 2531 2450 0 -1 4202560 16934 0 0 0 319 1 0 0 20 0 19 0 19563 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546264677528 140547232766893 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2559] ppid=2531 vsize=13187632 CPUtime=0.81 cores=1,3,5,7
/proc/2538/task/2559/stat : 2559 (java) S 2531 2531 2450 0 -1 1077944384 5391 0 0 0 80 1 0 0 20 0 19 0 19563 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546263632752 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2563] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2563/stat : 2563 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19564 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546262580192 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2565] ppid=2531 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2565/stat : 2565 (java) S 2531 2531 2450 0 -1 1077944384 694 0 0 0 0 0 0 0 20 0 19 0 19568 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546261526960 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2567] ppid=2531 vsize=13187632 CPUtime=3.33 cores=1,3,5,7
/proc/2538/task/2567/stat : 2567 (java) R 2531 2531 2450 0 -1 4202560 510 0 0 0 333 0 0 0 20 0 19 0 19675 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546253513504 140546854382211 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2568] ppid=2531 vsize=13187632 CPUtime=3.02 cores=1,3,5,7
/proc/2538/task/2568/stat : 2568 (java) R 2531 2531 2450 0 -1 4202560 766 0 0 0 302 0 0 0 20 0 19 0 19675 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546252459976 140546852671196 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2569] ppid=2531 vsize=13187632 CPUtime=3.05 cores=1,3,5,7
/proc/2538/task/2569/stat : 2569 (java) R 2531 2531 2450 0 -1 4202560 396 0 0 0 305 0 0 0 20 0 19 0 19675 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546251405280 140546848985136 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2570] ppid=2531 vsize=13187632 CPUtime=3.1 cores=1,3,5,7
/proc/2538/task/2570/stat : 2570 (java) R 2531 2531 2450 0 -1 4202560 684 0 0 0 310 0 0 0 20 0 19 0 19675 13504135168 61230 18446744073709551615 4194304 4196468 140723530357056 140546250354664 140546858491372 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
Current children cumulated CPU time (s) 20.64
Current children cumulated vsize (KiB) 13197144

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

/proc/2531/statm: 2378 345 289 221 0 87 0
[pid=2538] ppid=2531 vsize=13321788 CPUtime=1980.41 cores=1,3,5,7
/proc/2538/stat : 2538 (java) S 2531 2531 2450 0 -1 1077944320 250647 0 4 0 197809 232 0 0 20 0 19 0 19525 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140723530339600 140547247845111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
/proc/2538/statm: 3330447 94789 3262 1 0 3318747 0
[pid=2538/tid=2539] ppid=2531 vsize=13321788 CPUtime=0.79 cores=1,3,5,7
/proc/2538/task/2539/stat : 2539 (java) S 2531 2531 2450 0 -1 1077944384 15115 0 3 0 74 5 0 0 20 0 19 0 19541 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140547252085888 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 53 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2541] ppid=2531 vsize=13321788 CPUtime=0.99 cores=1,3,5,7
/proc/2538/task/2541/stat : 2541 (java) S 2531 2531 2450 0 -1 1077944384 10461 0 0 0 80 19 0 0 20 0 19 0 19546 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140547170671504 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2543] ppid=2531 vsize=13321788 CPUtime=1 cores=1,3,5,7
/proc/2538/task/2543/stat : 2543 (java) S 2531 2531 2450 0 -1 1077944384 10130 0 0 0 81 19 0 0 20 0 19 0 19546 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140547169618704 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2545] ppid=2531 vsize=13321788 CPUtime=0.98 cores=1,3,5,7
/proc/2538/task/2545/stat : 2545 (java) S 2531 2531 2450 0 -1 1077944384 11088 0 0 0 80 18 0 0 20 0 19 0 19546 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546848844944 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2547] ppid=2531 vsize=13321788 CPUtime=0.98 cores=1,3,5,7
/proc/2538/task/2547/stat : 2547 (java) S 2531 2531 2450 0 -1 1077944384 11254 0 0 0 79 19 0 0 20 0 19 0 19546 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546847792144 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2549] ppid=2531 vsize=13321788 CPUtime=1.87 cores=1,3,5,7
/proc/2538/task/2549/stat : 2549 (java) S 2531 2531 2450 0 -1 1077944384 19982 0 0 0 61 126 0 0 20 0 19 0 19556 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546269948016 140547247856258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2551] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2551/stat : 2551 (java) S 2531 2531 2450 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 19557 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546268894048 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2554] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2554/stat : 2554 (java) S 2531 2531 2450 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 19557 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546267841664 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2555] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2555/stat : 2555 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19563 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546266789968 140547247863707 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2556] ppid=2531 vsize=13321788 CPUtime=4.66 cores=1,3,5,7
/proc/2538/task/2556/stat : 2556 (java) S 2531 2531 2450 0 -1 1077944384 34776 0 0 0 462 4 0 0 20 0 19 0 19563 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546265737840 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2557] ppid=2531 vsize=13321788 CPUtime=4.54 cores=1,3,5,7
/proc/2538/task/2557/stat : 2557 (java) S 2531 2531 2450 0 -1 1077944384 28414 0 0 0 452 2 0 0 20 0 19 0 19563 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546264685040 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2559] ppid=2531 vsize=13321788 CPUtime=0.97 cores=1,3,5,7
/proc/2538/task/2559/stat : 2559 (java) S 2531 2531 2450 0 -1 1077944384 21155 0 0 0 95 2 0 0 20 0 19 0 19563 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546263632752 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2563] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2563/stat : 2563 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19564 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546262580192 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2565] ppid=2531 vsize=13321788 CPUtime=0.22 cores=1,3,5,7
/proc/2538/task/2565/stat : 2565 (java) S 2531 2531 2450 0 -1 1077944384 3494 0 0 0 10 12 0 0 20 0 19 0 19568 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546261526960 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2782] ppid=2531 vsize=13321788 CPUtime=8.41 cores=1,3,5,7
/proc/2538/task/2782/stat : 2782 (java) R 2531 2531 2450 0 -1 4202560 20 0 0 0 841 0 0 0 20 0 19 0 70898 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546246150928 140546859728339 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2783] ppid=2531 vsize=13321788 CPUtime=8.38 cores=1,3,5,7
/proc/2538/task/2783/stat : 2783 (java) R 2531 2531 2450 0 -1 4202560 24 0 0 0 838 0 0 0 20 0 19 0 70898 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546252463344 140546856571184 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2784] ppid=2531 vsize=13321788 CPUtime=8.44 cores=1,3,5,7
/proc/2538/task/2784/stat : 2784 (java) R 2531 2531 2450 0 -1 4202560 19 0 0 0 844 0 0 0 20 0 19 0 70898 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546250354944 140546859728244 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2785] ppid=2531 vsize=13321788 CPUtime=8.36 cores=1,3,5,7
/proc/2538/task/2785/stat : 2785 (java) R 2531 2531 2450 0 -1 4202560 20 0 0 0 836 0 0 0 20 0 19 0 70898 13641510912 94789 18446744073709551615 4194304 4196468 140723530357056 140546245098464 140546858491947 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
Current children cumulated CPU time (s) 1980.41
Current children cumulated vsize (KiB) 13331300

[startup+582.302 s]
/proc/loadavg: 7.78 6.95 3.81 10/219 2803
/proc/meminfo: memFree=31134916/32770624 swapFree=0/257736
[pid=2531] ppid=2528 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (xcsp3-exec) S 2528 2531 2450 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 19520 9740288 345 18446744073709551615 4194304 5098028 140730133237776 140730133235880 140370810151548 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 33845248 140730133246363 140730133246573 140730133246573 140730133250027 0
/proc/2531/statm: 2378 345 289 221 0 87 0
[pid=2538] ppid=2531 vsize=13321788 CPUtime=2205.88 cores=1,3,5,7
/proc/2538/stat : 2538 (java) S 2531 2531 2450 0 -1 1077944320 282112 0 4 0 220307 281 0 0 20 0 19 0 19525 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140723530339600 140547247845111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
/proc/2538/statm: 3330447 94498 3265 1 0 3318747 0
[pid=2538/tid=2539] ppid=2531 vsize=13321788 CPUtime=0.8 cores=1,3,5,7
/proc/2538/task/2539/stat : 2539 (java) S 2531 2531 2450 0 -1 1077944384 15950 0 3 0 75 5 0 0 20 0 19 0 19541 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140547252085888 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 53 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2541] ppid=2531 vsize=13321788 CPUtime=1.19 cores=1,3,5,7
/proc/2538/task/2541/stat : 2541 (java) S 2531 2531 2450 0 -1 1077944384 12674 0 0 0 99 20 0 0 20 0 19 0 19546 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140547170671504 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2543] ppid=2531 vsize=13321788 CPUtime=1.2 cores=1,3,5,7
/proc/2538/task/2543/stat : 2543 (java) S 2531 2531 2450 0 -1 1077944384 13752 0 0 0 101 19 0 0 20 0 19 0 19546 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140547169618704 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2545] ppid=2531 vsize=13321788 CPUtime=1.18 cores=1,3,5,7
/proc/2538/task/2545/stat : 2545 (java) S 2531 2531 2450 0 -1 1077944384 13916 0 0 0 99 19 0 0 20 0 19 0 19546 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546848844944 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2547] ppid=2531 vsize=13321788 CPUtime=1.19 cores=1,3,5,7
/proc/2538/task/2547/stat : 2547 (java) S 2531 2531 2450 0 -1 1077944384 13975 0 0 0 99 20 0 0 20 0 19 0 19546 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546847792144 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2549] ppid=2531 vsize=13321788 CPUtime=2.55 cores=1,3,5,7
/proc/2538/task/2549/stat : 2549 (java) S 2531 2531 2450 0 -1 1077944384 26309 0 0 0 83 172 0 0 20 0 19 0 19556 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546269948016 140547247856258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2551] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2551/stat : 2551 (java) S 2531 2531 2450 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 19557 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546268894048 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2554] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2554/stat : 2554 (java) S 2531 2531 2450 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 19557 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546267841664 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2555] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2555/stat : 2555 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19563 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546266789968 140547247863707 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2556] ppid=2531 vsize=13321788 CPUtime=4.66 cores=1,3,5,7
/proc/2538/task/2556/stat : 2556 (java) S 2531 2531 2450 0 -1 1077944384 34803 0 0 0 462 4 0 0 20 0 19 0 19563 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546265737840 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2557] ppid=2531 vsize=13321788 CPUtime=4.54 cores=1,3,5,7
/proc/2538/task/2557/stat : 2557 (java) S 2531 2531 2450 0 -1 1077944384 28447 0 0 0 452 2 0 0 20 0 19 0 19563 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546264685040 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2559] ppid=2531 vsize=13321788 CPUtime=0.98 cores=1,3,5,7
/proc/2538/task/2559/stat : 2559 (java) S 2531 2531 2450 0 -1 1077944384 22683 0 0 0 95 3 0 0 20 0 19 0 19563 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546263632752 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2563] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2563/stat : 2563 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19564 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546262580192 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2565] ppid=2531 vsize=13321788 CPUtime=0.25 cores=1,3,5,7
/proc/2538/task/2565/stat : 2565 (java) S 2531 2531 2450 0 -1 1077944384 3783 0 0 0 11 14 0 0 20 0 19 0 19568 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546261526960 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2800] ppid=2531 vsize=13321788 CPUtime=20.4 cores=1,3,5,7
/proc/2538/task/2800/stat : 2800 (java) R 2531 2531 2450 0 -1 4202560 507 0 0 0 2040 0 0 0 20 0 19 0 75683 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546250353424 140546859728251 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2801] ppid=2531 vsize=13321788 CPUtime=20.36 cores=1,3,5,7
/proc/2538/task/2801/stat : 2801 (java) R 2531 2531 2450 0 -1 4202560 1409 0 0 0 2036 0 0 0 20 0 19 0 75683 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546245099832 140546849983235 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2802] ppid=2531 vsize=13321788 CPUtime=20.46 cores=1,3,5,7
/proc/2538/task/2802/stat : 2802 (java) R 2531 2531 2450 0 -1 4202560 380 0 0 0 2046 0 0 0 20 0 19 0 75683 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546247205120 140546859728234 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2803] ppid=2531 vsize=13321788 CPUtime=20.35 cores=1,3,5,7
/proc/2538/task/2803/stat : 2803 (java) R 2531 2531 2450 0 -1 4202560 1908 0 0 0 2035 0 0 0 20 0 19 0 75683 13641510912 94498 18446744073709551615 4194304 4196468 140723530357056 140546253514976 140546856580533 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
Current children cumulated CPU time (s) 2205.88
Current children cumulated vsize (KiB) 13331300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+632.608 s]
/proc/loadavg: 6.38 6.73 3.90 5/193 2857
/proc/meminfo: memFree=31667952/32770624 swapFree=0/250692
[pid=2531] ppid=2528 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (xcsp3-exec) S 2528 2531 2450 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 19520 9740288 345 18446744073709551615 4194304 5098028 140730133237776 140730133235880 140370810151548 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 33845248 140730133246363 140730133246573 140730133246573 140730133250027 0
/proc/2531/statm: 2378 345 289 221 0 87 0
[pid=2538] ppid=2531 vsize=13321788 CPUtime=2400.19 cores=1,3,5,7
/proc/2538/stat : 2538 (java) S 2531 2531 2450 0 -1 1077944320 297950 0 4 0 239704 315 0 0 20 0 19 0 19525 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140723530339600 140547247845111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 11 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
/proc/2538/statm: 3330447 90401 3265 1 0 3318747 0
[pid=2538/tid=2539] ppid=2531 vsize=13321788 CPUtime=0.8 cores=1,3,5,7
/proc/2538/task/2539/stat : 2539 (java) S 2531 2531 2450 0 -1 1077944384 16141 0 3 0 75 5 0 0 20 0 19 0 19541 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140547252085888 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 53 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2541] ppid=2531 vsize=13321788 CPUtime=1.4 cores=1,3,5,7
/proc/2538/task/2541/stat : 2541 (java) S 2531 2531 2450 0 -1 1077944384 13590 0 0 0 120 20 0 0 20 0 19 0 19546 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140547170671504 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2543] ppid=2531 vsize=13321788 CPUtime=1.42 cores=1,3,5,7
/proc/2538/task/2543/stat : 2543 (java) S 2531 2531 2450 0 -1 1077944384 15621 0 0 0 122 20 0 0 20 0 19 0 19546 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140547169618704 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2545] ppid=2531 vsize=13321788 CPUtime=1.4 cores=1,3,5,7
/proc/2538/task/2545/stat : 2545 (java) S 2531 2531 2450 0 -1 1077944384 15469 0 0 0 121 19 0 0 20 0 19 0 19546 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546848844944 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2547] ppid=2531 vsize=13321788 CPUtime=1.4 cores=1,3,5,7
/proc/2538/task/2547/stat : 2547 (java) S 2531 2531 2450 0 -1 1077944384 15397 0 0 0 120 20 0 0 20 0 19 0 19546 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546847792144 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2549] ppid=2531 vsize=13321788 CPUtime=3.03 cores=1,3,5,7
/proc/2538/task/2549/stat : 2549 (java) S 2531 2531 2450 0 -1 1077944384 30885 0 0 0 101 202 0 0 20 0 19 0 19556 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546269948016 140547247856258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2551] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2551/stat : 2551 (java) S 2531 2531 2450 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 19557 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546268894048 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2554] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2554/stat : 2554 (java) S 2531 2531 2450 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 19557 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546267841664 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2555] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2555/stat : 2555 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19563 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546266789968 140547247863707 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2556] ppid=2531 vsize=13321788 CPUtime=4.66 cores=1,3,5,7
/proc/2538/task/2556/stat : 2556 (java) S 2531 2531 2450 0 -1 1077944384 34819 0 0 0 462 4 0 0 20 0 19 0 19563 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546265737840 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2557] ppid=2531 vsize=13321788 CPUtime=4.54 cores=1,3,5,7
/proc/2538/task/2557/stat : 2557 (java) S 2531 2531 2450 0 -1 1077944384 28466 0 0 0 452 2 0 0 20 0 19 0 19563 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546264685040 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2559] ppid=2531 vsize=13321788 CPUtime=0.98 cores=1,3,5,7
/proc/2538/task/2559/stat : 2559 (java) S 2531 2531 2450 0 -1 1077944384 23022 0 0 0 95 3 0 0 20 0 19 0 19563 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546263632752 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2563] ppid=2531 vsize=13321788 CPUtime=0 cores=1,3,5,7
/proc/2538/task/2563/stat : 2563 (java) S 2531 2531 2450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 19564 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546262580192 140547247855317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2565] ppid=2531 vsize=13321788 CPUtime=0.29 cores=1,3,5,7
/proc/2538/task/2565/stat : 2565 (java) S 2531 2531 2450 0 -1 1077944384 3885 0 0 0 12 17 0 0 20 0 19 0 19568 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546261526960 140547247856258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2804] ppid=2531 vsize=13321788 CPUtime=46.45 cores=1,3,5,7
/proc/2538/task/2804/stat : 2804 (java) R 2531 2531 2450 0 -1 4202560 535 0 0 0 4645 0 0 0 20 0 19 0 78074 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546250352912 140546859728265 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2805] ppid=2531 vsize=13321788 CPUtime=46.22 cores=1,3,5,7
/proc/2538/task/2805/stat : 2805 (java) R 2531 2531 2450 0 -1 4202560 2302 0 0 0 4622 0 0 0 20 0 19 0 78074 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546253512648 140546855315125 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2806] ppid=2531 vsize=13321788 CPUtime=46.29 cores=1,3,5,7
/proc/2538/task/2806/stat : 2806 (java) R 2531 2531 2450 0 -1 4202560 297 0 0 0 4629 0 0 0 20 0 19 0 78074 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546247207440 140546859728136 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
[pid=2538/tid=2807] ppid=2531 vsize=13321788 CPUtime=46.12 cores=1,3,5,7
/proc/2538/task/2807/stat : 2807 (java) R 2531 2531 2450 0 -1 4202560 1385 0 0 0 4612 0 0 0 20 0 19 0 78074 13641510912 90401 18446744073709551615 4194304 4196468 140723530357056 140546245098960 140546854837787 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22663168 140723530359257 140723530359433 140723530359433 140723530362831 0
Current children cumulated CPU time (s) 2400.19
Current children cumulated vsize (KiB) 13331300

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 632.635
CPU time (s): 2400.19
CPU user time (s): 2397.04
CPU system time (s): 3.15
CPU usage (%): 379.396
Max. virtual memory (cumulated for all children) (KiB): 13331300

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.34654 second user time and 4.63775 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-06 01:56:53
IDJOB=4244590
IDBENCH=115805
IDSOLVER=2625
FILE ID=node127/4244590-1501978257
RUNJOBID= node127-1501977413-2506
PBS_JOBID= 
Free space on /tmp= 61776 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-9.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-4244590-1501978257/watcher-4244590-1501978257 -o /tmp/evaluation-result-4244590-1501978257/solver-4244590-1501978257 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501977413-2506 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1067821071 HOME/instance-4244590-1501978257.xml

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

MD5SUM BENCH= 61a67ae858673343e351cd0fcc1d1459
RANDOM SEED=1067821071

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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	: 4
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.92
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	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32081976 kB
MemAvailable:   32051696 kB
Buffers:           26504 kB
Cached:           255428 kB
SwapCached:            0 kB
Active:           134824 kB
Inactive:         206108 kB
Active(anon):      59768 kB
Inactive(anon):     8540 kB
Active(file):      75056 kB
Inactive(file):   197568 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             15496 kB
Writeback:             0 kB
AnonPages:         59008 kB
Mapped:            28128 kB
Shmem:              8872 kB
Slab:              48704 kB
SReclaimable:      25864 kB
SUnreclaim:        22840 kB
KernelStack:        3344 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     316576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61768 MiB
End job on node127 at 2017-08-06 02:07:26