Trace number 4244604

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)647 2400.3401 633.01703

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-1.xml
MD5SUM133cdadaee2e697c51b4261ec7f2679b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark601
Best CPU time to get the best result obtained on this benchmark2520.0901
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size696
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":10},{"size":10,"count":180},{"size":696,"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.09	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244604-1502043110.xml"  -tl '2400s' -p 4 -x 0
0.00/0.28	c [HOME/instance-4244604-1502043110.xml, -tl, 2400s, -p, 4, -x, 0]
0.00/0.34	c 4 solvers in parallel
0.00/0.40	c parse instance...
0.00/0.90	c solve instance...
87.91/22.80	o 695 
105.44/27.24	o 691 
108.48/28.60	o 689 
143.82/37.78	o 688 
193.07/51.30	o 687 
201.79/53.64	o 685 
225.48/59.74	o 684 
294.53/77.45	o 683 
325.26/85.43	o 680 
380.97/99.44	o 679 
389.59/102.16	o 678 
403.09/106.91	o 677 
409.96/109.26	o 676 
503.06/132.63	o 675 
545.58/144.48	o 674 
615.36/162.32	o 672 
630.81/167.26	o 671 
640.01/170.45	o 670 
685.30/182.17	o 669 
820.12/216.27	o 668 
851.12/224.89	o 667 
876.36/232.41	o 665 
1007.75/266.20	o 664 
1059.20/279.70	o 663 
1198.71/314.82	o 662 
1208.29/318.43	o 660 
1286.49/338.21	o 659 
1504.82/394.98	o 658 
1616.47/424.14	o 657 
1875.01/489.79	o 656 
1904.09/497.33	o 655 
1905.22/497.84	o 654 
1927.59/505.93	o 653 
2127.18/558.80	o 652 
2184.27/575.14	o 651 
2235.96/588.26	o 650 
2253.10/592.89	o 649 
2263.27/596.01	o 648 
2376.42/626.97	o 647 
2400.34/633.06	s SATISFIABLE
2400.34/633.06	v <instantiation>
2400.34/633.06	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.34/633.06	v 	<values>0 30 128 164 182 289 353 421 471 570 6 182 272 353 417 429 432 520 597 640 10 100 153 184 281 331 456 512 521 574 12 89 104 130 236 336 351 426 521 644 31 60 86 155 169 234 360 428 529 566 1 5 43 80 206 255 348 408 488 567 18 71 189 198 236 326 337 504 529 566 16 31 125 223 310 333 421 433 526 565 0 2 58 113 136 177 331 431 504 562 24 53 72 217 272 338 436 458 529 566 647 646 647 646 624 618 642 647 645 639 30 97 36 18 97 36 51 50 95 77 98 90 81 64 12 3 88 45 26 6 46 51 31 39 49 87 53 9 43 73 57 4 21 75 95 13 66 93 71 2 22 15 55 14 65 91 67 88 29 58 4 38 32 96 45 59 46 36 76 51 51 93 6 33 84 10 89 3 28 76 14 68 91 87 23 86 10 87 33 82 2 16 54 23 17 59 4 50 18 83 19 14 46 55 61 88 18 53 29 73 1 2 3 8 4 5 6 9 7 0 6 8 0 1 2 7 3 4 5 9 3 1 5 7 4 9 2 8 0 6 8 7 6 0 9 3 2 4 5 1 9 7 4 1 3 6 0 5 8 2 5 7 4 9 0 2 8 6 1 3 0 8 5 2 1 6 4 9 3 7 9 1 6 7 8 5 3 0 2 4 2 0 3 7 5 9 4 1 6 8 4 9 0 5 3 7 2 8 6 1 570 0 30 128 182 289 353 471 164 421 272 353 417 432 520 597 6 429 182 640 521 100 456 10 281 153 574 184 512 331 130 644 351 336 426 521 104 89 12 236 360 155 566 169 86 428 234 60 529 31 206 488 255 567 43 1 408 5 348 80 18 236 198 529 337 189 326 566 71 504 433 31 526 421 565 333 125 223 310 16 2 431 0 58 331 136 504 113 562 177 72 566 436 272 24 217 529 338 458 53 </values>
2400.34/633.06	v </instantiation>
2400.34/633.06	c Unexpected resolution interruption!

Verifier Data 

OK	647

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-4244604-1502043110/watcher-4244604-1502043110 -o /tmp/evaluation-result-4244604-1502043110/solver-4244604-1502043110 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1067722295 HOME/instance-4244604-1502043110.xml 

pid=31921
running on 4 cores: 0,2,4,6

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: 1.01 1.10 1.48 3/184 31927
/proc/meminfo: memFree=31518628/32770624 swapFree=0/318512
[pid=31927] ppid=31921 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (runsolver) D 31921 31927 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 52126295 24240128 107 18446744073709551615 4194304 4338465 140733383311744 140733383309384 139978802000599 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 39919616 140733383319638 140733383320137 140733383320137 140733383323594 0
/proc/31927/statm: 5918 107 54 36 0 2156 0

[startup+0.100893 s]
/proc/loadavg: 1.01 1.10 1.48 3/184 31927
/proc/meminfo: memFree=31518628/32770624 swapFree=0/318512
[pid=31927] ppid=31921 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (xcsp3-exec) S 31921 31927 25100 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 52126295 9740288 344 18446744073709551615 4194304 5098028 140720971066208 140720971064312 140443231818364 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 28028928 140720971067800 140720971068010 140720971068010 140720971071467 0
/proc/31927/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200275 s]
/proc/loadavg: 1.01 1.10 1.48 3/184 31927
/proc/meminfo: memFree=31518628/32770624 swapFree=0/318512
[pid=31927] ppid=31921 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (xcsp3-exec) S 31921 31927 25100 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 52126295 9740288 344 18446744073709551615 4194304 5098028 140720971066208 140720971064312 140443231818364 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 28028928 140720971067800 140720971068010 140720971068010 140720971071467 0
/proc/31927/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.308182 s]
/proc/loadavg: 1.01 1.10 1.48 3/184 31927
/proc/meminfo: memFree=31518628/32770624 swapFree=0/318512
[pid=31927] ppid=31921 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (xcsp3-exec) S 31921 31927 25100 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 52126295 9740288 344 18446744073709551615 4194304 5098028 140720971066208 140720971064312 140443231818364 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 28028928 140720971067800 140720971068010 140720971068010 140720971071467 0
/proc/31927/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700239 s]
/proc/loadavg: 1.01 1.10 1.48 3/184 31927
/proc/meminfo: memFree=31518628/32770624 swapFree=0/318512
[pid=31927] ppid=31921 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (xcsp3-exec) S 31921 31927 25100 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 52126295 9740288 344 18446744073709551615 4194304 5098028 140720971066208 140720971064312 140443231818364 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 28028928 140720971067800 140720971068010 140720971068010 140720971071467 0
/proc/31927/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50118 s]
/proc/loadavg: 1.01 1.10 1.48 17/224 31991
/proc/meminfo: memFree=31286180/32770624 swapFree=0/318324
[pid=31927] ppid=31921 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (xcsp3-exec) S 31921 31927 25100 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 52126295 9740288 344 18446744073709551615 4194304 5098028 140720971066208 140720971064312 140443231818364 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 28028928 140720971067800 140720971068010 140720971068010 140720971071467 0
/proc/31927/statm: 2378 344 289 221 0 87 0
[pid=31930] ppid=31927 vsize=13187632 CPUtime=4.22 cores=0,2,4,6
/proc/31930/stat : 31930 (java) S 31927 31927 25100 0 -1 1077944320 19880 0 0 0 415 7 0 0 20 0 19 0 52126304 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140732933005200 140639992418039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
/proc/31930/statm: 3296908 30134 3199 1 0 3285200 0
[pid=31930/tid=31933] ppid=31927 vsize=13187632 CPUtime=0.74 cores=0,2,4,6
/proc/31930/task/31933/stat : 31933 (java) S 31927 31927 25100 0 -1 1077944384 8614 0 0 0 70 4 0 0 20 0 19 0 52126304 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639996658816 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31935] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31935/stat : 31935 (java) S 31927 31927 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639915244432 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31937] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31937/stat : 31937 (java) S 31927 31927 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639914191632 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31939] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31939/stat : 31939 (java) S 31927 31927 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639913139344 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31941] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31941/stat : 31941 (java) S 31927 31927 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639593294864 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31943] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31943/stat : 31943 (java) S 31927 31927 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52126306 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639148820592 140639992429186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31945] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31945/stat : 31945 (java) S 31927 31927 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 52126307 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639147766560 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31947] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31947/stat : 31947 (java) S 31927 31927 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52126307 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639146714224 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31948] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31948/stat : 31948 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639145662544 140639992436635 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31950] ppid=31927 vsize=13187632 CPUtime=0.64 cores=0,2,4,6
/proc/31930/task/31950/stat : 31950 (java) D 31927 31927 25100 0 -1 4202560 3401 0 0 0 64 0 0 0 20 0 19 0 52126309 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639144594824 140639970165534 0 4 1 16800974 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31952] ppid=31927 vsize=13187632 CPUtime=0.7 cores=0,2,4,6
/proc/31930/task/31952/stat : 31952 (java) D 31927 31927 25100 0 -1 4202560 2822 0 0 0 70 0 0 0 20 0 19 0 52126309 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639143550104 140639973963000 0 4 1 16800974 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31954] ppid=31927 vsize=13187632 CPUtime=0.61 cores=0,2,4,6
/proc/31930/task/31954/stat : 31954 (java) R 31927 31927 25100 0 -1 4202560 2979 0 0 0 60 1 0 0 20 0 19 0 52126309 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639142502008 140639985135191 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31956] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31956/stat : 31956 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639141452768 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31958] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31958/stat : 31958 (java) S 31927 31927 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52126314 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639140399536 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31972] ppid=31927 vsize=13187632 CPUtime=0.33 cores=0,2,4,6
/proc/31930/task/31972/stat : 31972 (java) R 31927 31927 25100 0 -1 4202560 311 0 0 0 33 0 0 0 20 0 19 0 52126385 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639132384424 140639593421611 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31973] ppid=31927 vsize=13187632 CPUtime=0.39 cores=0,2,4,6
/proc/31930/task/31973/stat : 31973 (java) R 31927 31927 25100 0 -1 4202560 100 0 0 0 39 0 0 0 20 0 19 0 52126386 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639131335048 140639593396271 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31974] ppid=31927 vsize=13187632 CPUtime=0.42 cores=0,2,4,6
/proc/31930/task/31974/stat : 31974 (java) D 31927 31927 25100 0 -1 4202560 307 0 0 0 42 0 0 0 20 0 19 0 52126386 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639130275112 140639985135191 0 4 1 16800974 18446744071582151463 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31975] ppid=31927 vsize=13187632 CPUtime=0.34 cores=0,2,4,6
/proc/31930/task/31975/stat : 31975 (java) R 31927 31927 25100 0 -1 4202560 38 0 0 0 34 0 0 0 20 0 19 0 52126386 13504135168 30134 18446744073709551615 4194304 4196468 140732933022656 140639129229176 140639593418635 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 13197144

[startup+3.10118 s]
/proc/loadavg: 1.65 1.23 1.52 14/224 32011
/proc/meminfo: memFree=31171200/32770624 swapFree=0/318324
[pid=31927] ppid=31921 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (xcsp3-exec) S 31921 31927 25100 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 52126295 9740288 344 18446744073709551615 4194304 5098028 140720971066208 140720971064312 140443231818364 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 28028928 140720971067800 140720971068010 140720971068010 140720971071467 0
/proc/31927/statm: 2378 344 289 221 0 87 0
[pid=31930] ppid=31927 vsize=13187632 CPUtime=10.52 cores=0,2,4,6
/proc/31930/stat : 31930 (java) S 31927 31927 25100 0 -1 1077944320 36864 0 0 0 1042 10 0 0 20 0 19 0 52126304 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140732933005200 140639992418039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
/proc/31930/statm: 3296908 40458 3207 1 0 3285200 0
[pid=31930/tid=31933] ppid=31927 vsize=13187632 CPUtime=0.74 cores=0,2,4,6
/proc/31930/task/31933/stat : 31933 (java) S 31927 31927 25100 0 -1 1077944384 8614 0 0 0 70 4 0 0 20 0 19 0 52126304 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639996658816 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31935] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31935/stat : 31935 (java) S 31927 31927 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639915244432 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31937] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31937/stat : 31937 (java) S 31927 31927 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639914191632 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31939] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31939/stat : 31939 (java) S 31927 31927 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639913139344 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31941] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31941/stat : 31941 (java) S 31927 31927 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639593294864 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31943] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31943/stat : 31943 (java) S 31927 31927 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52126306 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639148820592 140639992429186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31945] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31945/stat : 31945 (java) S 31927 31927 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 52126307 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639147766560 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31947] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31947/stat : 31947 (java) S 31927 31927 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52126307 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639146714224 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31948] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31948/stat : 31948 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639145662544 140639992436635 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31950] ppid=31927 vsize=13187632 CPUtime=1.51 cores=0,2,4,6
/proc/31930/task/31950/stat : 31950 (java) R 31927 31927 25100 0 -1 4202560 12569 0 0 0 150 1 0 0 20 0 19 0 52126309 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639144596768 140639978432369 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31952] ppid=31927 vsize=13187632 CPUtime=1.49 cores=0,2,4,6
/proc/31930/task/31952/stat : 31952 (java) R 31927 31927 25100 0 -1 4202560 8944 0 0 0 148 1 0 0 20 0 19 0 52126309 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639143544160 140639973946145 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31954] ppid=31927 vsize=13187632 CPUtime=0.68 cores=0,2,4,6
/proc/31930/task/31954/stat : 31954 (java) R 31927 31927 25100 0 -1 1077944384 4037 0 0 0 67 1 0 0 20 0 19 0 52126309 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639142505328 140639992429186 0 4 1 16800974 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31956] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31956/stat : 31956 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639141452768 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31958] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31958/stat : 31958 (java) R 31927 31927 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52126314 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639140399536 140639992429186 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31972] ppid=31927 vsize=13187632 CPUtime=1.6 cores=0,2,4,6
/proc/31930/task/31972/stat : 31972 (java) R 31927 31927 25100 0 -1 4202560 528 0 0 0 160 0 0 0 20 0 19 0 52126385 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639132384072 140639599939426 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31973] ppid=31927 vsize=13187632 CPUtime=1.57 cores=0,2,4,6
/proc/31930/task/31973/stat : 31973 (java) R 31927 31927 25100 0 -1 4202560 241 0 0 0 157 0 0 0 20 0 19 0 52126386 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639131334680 140639599309088 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31974] ppid=31927 vsize=13187632 CPUtime=1.58 cores=0,2,4,6
/proc/31930/task/31974/stat : 31974 (java) R 31927 31927 25100 0 -1 4202560 406 0 0 0 158 0 0 0 20 0 19 0 52126386 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639130279928 140639593399795 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31975] ppid=31927 vsize=13187632 CPUtime=1.28 cores=0,2,4,6
/proc/31930/task/31975/stat : 31975 (java) R 31927 31927 25100 0 -1 4202560 195 0 0 0 128 0 0 0 20 0 19 0 52126386 13504135168 40458 18446744073709551615 4194304 4196468 140732933022656 140639129227160 140639593332069 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 13197144

[startup+6.30518 s]
/proc/loadavg: 1.65 1.23 1.52 15/224 32110
/proc/meminfo: memFree=31232740/32770624 swapFree=0/318340
[pid=31927] ppid=31921 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (xcsp3-exec) S 31921 31927 25100 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 52126295 9740288 344 18446744073709551615 4194304 5098028 140720971066208 140720971064312 140443231818364 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 28028928 140720971067800 140720971068010 140720971068010 140720971071467 0
/proc/31927/statm: 2378 344 289 221 0 87 0
[pid=31930] ppid=31927 vsize=13187632 CPUtime=23.28 cores=0,2,4,6
/proc/31930/stat : 31930 (java) S 31927 31927 25100 0 -1 1077944320 58246 0 0 0 2314 14 0 0 20 0 19 0 52126304 13504135168 62181 18446744073709551615 4194304 4196468 140732933022656 140732933005200 140639992418039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
/proc/31930/statm: 3296908 62181 3247 1 0 3285200 0
[pid=31930/tid=31933] ppid=31927 vsize=13187632 CPUtime=0.74 cores=0,2,4,6
/proc/31930/task/31933/stat : 31933 (java) S 31927 31927 25100 0 -1 1077944384 8614 0 0 0 70 4 0 0 20 0 19 0 52126304 13504135168 62181 18446744073709551615 4194304 4196468 140732933022656 140639996658816 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31935] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31935/stat : 31935 (java) S 31927 31927 25100 0 -1 1077944384 717 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 62181 18446744073709551615 4194304 4196468 140732933022656 140639915244432 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31937] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31937/stat : 31937 (java) S 31927 31927 25100 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 62181 18446744073709551615 4194304 4196468 140732933022656 140639914191632 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31939] ppid=31927 vsize=13187568 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31939/stat : 31939 (java) S 31927 31927 25100 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 52126305 13504069632 62196 18446744073709551615 4194304 4196468 140732933022656 140639913139344 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31941] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31941/stat : 31941 (java) S 31927 31927 25100 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 52126305 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639593294864 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31943] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31943/stat : 31943 (java) S 31927 31927 25100 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 19 0 52126306 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639148820592 140639992429186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31945] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31945/stat : 31945 (java) S 31927 31927 25100 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 52126307 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639147766560 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31947] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31947/stat : 31947 (java) S 31927 31927 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 52126307 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639146714224 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31948] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31948/stat : 31948 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639145662544 140639992436635 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31950] ppid=31927 vsize=13187632 CPUtime=3.62 cores=0,2,4,6
/proc/31930/task/31950/stat : 31950 (java) R 31927 31927 25100 0 -1 4202560 16839 0 0 0 361 1 0 0 20 0 19 0 52126309 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639144596960 140639973936395 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31952] ppid=31927 vsize=13187632 CPUtime=3.65 cores=0,2,4,6
/proc/31930/task/31952/stat : 31952 (java) R 31927 31927 25100 0 -1 4202560 22144 0 0 0 363 2 0 0 20 0 19 0 52126309 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639143547328 140639970568579 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31954] ppid=31927 vsize=13187632 CPUtime=0.73 cores=0,2,4,6
/proc/31930/task/31954/stat : 31954 (java) S 31927 31927 25100 0 -1 1077944384 5104 0 0 0 72 1 0 0 20 0 19 0 52126309 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639142505328 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31956] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31956/stat : 31956 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639141452768 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31958] ppid=31927 vsize=13187632 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31958/stat : 31958 (java) S 31927 31927 25100 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 19 0 52126314 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639140399536 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31972] ppid=31927 vsize=13187632 CPUtime=3.5 cores=0,2,4,6
/proc/31930/task/31972/stat : 31972 (java) R 31927 31927 25100 0 -1 4202560 620 0 0 0 350 0 0 0 20 0 19 0 52126385 13504135168 62196 18446744073709551615 4194304 4196468 140732933022656 140639132383440 140639599529574 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0

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

/proc/31927/statm: 2378 344 289 221 0 87 0
[pid=31930] ppid=31927 vsize=13255224 CPUtime=1992.54 cores=0,2,4,6
/proc/31930/stat : 31930 (java) S 31927 31927 25100 0 -1 1077944320 271896 0 0 0 199044 210 0 0 20 0 19 0 52126304 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140732933005200 140639992418039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
/proc/31930/statm: 3313806 96424 3275 1 0 3302098 0
[pid=31930/tid=31933] ppid=31927 vsize=13255224 CPUtime=0.79 cores=0,2,4,6
/proc/31930/task/31933/stat : 31933 (java) S 31927 31927 25100 0 -1 1077944384 12613 0 0 0 74 5 0 0 20 0 19 0 52126304 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639996658816 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31935] ppid=31927 vsize=13255224 CPUtime=0.9 cores=0,2,4,6
/proc/31930/task/31935/stat : 31935 (java) R 31927 31927 25100 0 -1 1077944384 13321 0 0 0 69 21 0 0 20 0 19 0 52126305 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639915244432 140639992428245 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31937] ppid=31927 vsize=13255224 CPUtime=0.91 cores=0,2,4,6
/proc/31930/task/31937/stat : 31937 (java) S 31927 31927 25100 0 -1 1077944384 14286 0 0 0 70 21 0 0 20 0 19 0 52126305 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639914191632 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31939] ppid=31927 vsize=13255224 CPUtime=0.9 cores=0,2,4,6
/proc/31930/task/31939/stat : 31939 (java) S 31927 31927 25100 0 -1 1077944384 12412 0 0 0 68 22 0 0 20 0 19 0 52126305 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639913139344 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31941] ppid=31927 vsize=13255224 CPUtime=0.91 cores=0,2,4,6
/proc/31930/task/31941/stat : 31941 (java) S 31927 31927 25100 0 -1 1077944384 11759 0 0 0 69 22 0 0 20 0 19 0 52126305 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639593294864 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31943] ppid=31927 vsize=13255224 CPUtime=1.38 cores=0,2,4,6
/proc/31930/task/31943/stat : 31943 (java) S 31927 31927 25100 0 -1 1077944384 23445 0 0 0 44 94 0 0 20 0 19 0 52126306 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639148820592 140639992429186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31945] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31945/stat : 31945 (java) S 31927 31927 25100 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 52126307 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639147766624 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31947] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31947/stat : 31947 (java) S 31927 31927 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 52126307 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639146714240 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31948] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31948/stat : 31948 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639145662544 140639992436635 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31950] ppid=31927 vsize=13255224 CPUtime=4.81 cores=0,2,4,6
/proc/31930/task/31950/stat : 31950 (java) S 31927 31927 25100 0 -1 1077944384 29227 0 0 0 479 2 0 0 20 0 19 0 52126309 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639144610416 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31952] ppid=31927 vsize=13255224 CPUtime=4.81 cores=0,2,4,6
/proc/31930/task/31952/stat : 31952 (java) S 31927 31927 25100 0 -1 1077944384 35181 0 0 0 479 2 0 0 20 0 19 0 52126309 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639143557616 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31954] ppid=31927 vsize=13255224 CPUtime=0.9 cores=0,2,4,6
/proc/31930/task/31954/stat : 31954 (java) S 31927 31927 25100 0 -1 1077944384 19103 0 0 0 88 2 0 0 20 0 19 0 52126309 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639142505328 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31956] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31956/stat : 31956 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639141452768 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31958] ppid=31927 vsize=13255224 CPUtime=0.19 cores=0,2,4,6
/proc/31930/task/31958/stat : 31958 (java) S 31927 31927 25100 0 -1 1077944384 3263 0 0 0 12 7 0 0 20 0 19 0 52126314 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639140399536 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32501] ppid=31927 vsize=13255224 CPUtime=16.22 cores=0,2,4,6
/proc/31930/task/32501/stat : 32501 (java) R 31927 31927 25100 0 -1 4202560 395 0 0 0 1622 0 0 0 20 0 19 0 52176889 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639131331656 140639601270203 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32502] ppid=31927 vsize=13255224 CPUtime=16.14 cores=0,2,4,6
/proc/31930/task/32502/stat : 32502 (java) R 31927 31927 25100 0 -1 4202560 1623 0 0 0 1614 0 0 0 20 0 19 0 52176889 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639132388560 140639604074845 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32503] ppid=31927 vsize=13255224 CPUtime=16.14 cores=0,2,4,6
/proc/31930/task/32503/stat : 32503 (java) R 31927 31927 25100 0 -1 4202560 287 0 0 0 1614 0 0 0 20 0 19 0 52176889 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639126077712 140639601270210 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32504] ppid=31927 vsize=13255224 CPUtime=16.16 cores=0,2,4,6
/proc/31930/task/32504/stat : 32504 (java) R 31927 31927 25100 0 -1 4202560 1465 0 0 0 1616 0 0 0 20 0 19 0 52176889 13573349376 96424 18446744073709551615 4194304 4196468 140732933022656 140639125023984 140639599263879 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
Current children cumulated CPU time (s) 1992.54
Current children cumulated vsize (KiB) 13264736

[startup+582.301 s]
/proc/loadavg: 7.68 7.12 4.62 9/224 32514
/proc/meminfo: memFree=30659476/32770624 swapFree=0/318644
[pid=31927] ppid=31921 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (xcsp3-exec) S 31921 31927 25100 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 52126295 9740288 344 18446744073709551615 4194304 5098028 140720971066208 140720971064312 140443231818364 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 28028928 140720971067800 140720971068010 140720971068010 140720971071467 0
/proc/31927/statm: 2378 344 289 221 0 87 0
[pid=31930] ppid=31927 vsize=13255224 CPUtime=2212.67 cores=0,2,4,6
/proc/31930/stat : 31930 (java) S 31927 31927 25100 0 -1 1077944320 289947 0 0 0 221020 247 0 0 20 0 19 0 52126304 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140732933005200 140639992418039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
/proc/31930/statm: 3313806 96694 3276 1 0 3302098 0
[pid=31930/tid=31933] ppid=31927 vsize=13255224 CPUtime=0.79 cores=0,2,4,6
/proc/31930/task/31933/stat : 31933 (java) S 31927 31927 25100 0 -1 1077944384 12886 0 0 0 74 5 0 0 20 0 19 0 52126304 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639996658816 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31935] ppid=31927 vsize=13255224 CPUtime=1.06 cores=0,2,4,6
/proc/31930/task/31935/stat : 31935 (java) S 31927 31927 25100 0 -1 1077944384 14477 0 0 0 85 21 0 0 20 0 19 0 52126305 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639915244432 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31937] ppid=31927 vsize=13255224 CPUtime=1.07 cores=0,2,4,6
/proc/31930/task/31937/stat : 31937 (java) S 31927 31927 25100 0 -1 1077944384 16706 0 0 0 85 22 0 0 20 0 19 0 52126305 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639914191632 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31939] ppid=31927 vsize=13255224 CPUtime=1.07 cores=0,2,4,6
/proc/31930/task/31939/stat : 31939 (java) S 31927 31927 25100 0 -1 1077944384 13496 0 0 0 84 23 0 0 20 0 19 0 52126305 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639913139344 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31941] ppid=31927 vsize=13255224 CPUtime=1.07 cores=0,2,4,6
/proc/31930/task/31941/stat : 31941 (java) S 31927 31927 25100 0 -1 1077944384 12885 0 0 0 85 22 0 0 20 0 19 0 52126305 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639593294864 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31943] ppid=31927 vsize=13255224 CPUtime=1.85 cores=0,2,4,6
/proc/31930/task/31943/stat : 31943 (java) S 31927 31927 25100 0 -1 1077944384 26603 0 0 0 57 128 0 0 20 0 19 0 52126306 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639148820592 140639992429186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31945] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31945/stat : 31945 (java) S 31927 31927 25100 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 52126307 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639147766624 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31947] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31947/stat : 31947 (java) S 31927 31927 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 52126307 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639146714240 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31948] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31948/stat : 31948 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639145662544 140639992436635 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31950] ppid=31927 vsize=13255224 CPUtime=4.82 cores=0,2,4,6
/proc/31930/task/31950/stat : 31950 (java) S 31927 31927 25100 0 -1 1077944384 29952 0 0 0 480 2 0 0 20 0 19 0 52126309 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639144610416 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31952] ppid=31927 vsize=13255224 CPUtime=4.81 cores=0,2,4,6
/proc/31930/task/31952/stat : 31952 (java) S 31927 31927 25100 0 -1 1077944384 35201 0 0 0 479 2 0 0 20 0 19 0 52126309 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639143557616 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31954] ppid=31927 vsize=13255224 CPUtime=0.91 cores=0,2,4,6
/proc/31930/task/31954/stat : 31954 (java) S 31927 31927 25100 0 -1 1077944384 19823 0 0 0 88 3 0 0 20 0 19 0 52126309 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639142505328 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31956] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31956/stat : 31956 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639141452768 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31958] ppid=31927 vsize=13255224 CPUtime=0.22 cores=0,2,4,6
/proc/31930/task/31958/stat : 31958 (java) S 31927 31927 25100 0 -1 1077944384 3422 0 0 0 13 9 0 0 20 0 19 0 52126314 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639140399536 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32511] ppid=31927 vsize=13255224 CPUtime=7.05 cores=0,2,4,6
/proc/31930/task/32511/stat : 32511 (java) R 31927 31927 25100 0 -1 4202560 239 0 0 0 705 0 0 0 20 0 19 0 52183809 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639131331656 140639601270244 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32512] ppid=31927 vsize=13255224 CPUtime=7.05 cores=0,2,4,6
/proc/31930/task/32512/stat : 32512 (java) R 31927 31927 25100 0 -1 4202560 487 0 0 0 705 0 0 0 20 0 19 0 52183809 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639132385568 140639601270189 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32513] ppid=31927 vsize=13255224 CPUtime=7.02 cores=0,2,4,6
/proc/31930/task/32513/stat : 32513 (java) R 31927 31927 25100 0 -1 4202560 157 0 0 0 702 0 0 0 20 0 19 0 52183809 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639126077712 140639601270375 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32514] ppid=31927 vsize=13255224 CPUtime=7.02 cores=0,2,4,6
/proc/31930/task/32514/stat : 32514 (java) R 31927 31927 25100 0 -1 4202560 1092 0 0 0 702 0 0 0 20 0 19 0 52183809 13573349376 96694 18446744073709551615 4194304 4196468 140732933022656 140639125026960 140639602608763 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
Current children cumulated CPU time (s) 2212.67
Current children cumulated vsize (KiB) 13264736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+633.001 s]
/proc/loadavg: 8.32 7.38 4.84 11/224 32617
/proc/meminfo: memFree=30483016/32770624 swapFree=0/318688
[pid=31927] ppid=31921 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (xcsp3-exec) S 31921 31927 25100 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 52126295 9740288 344 18446744073709551615 4194304 5098028 140720971066208 140720971064312 140443231818364 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 28028928 140720971067800 140720971068010 140720971068010 140720971071467 0
/proc/31927/statm: 2378 344 289 221 0 87 0
[pid=31930] ppid=31927 vsize=13255224 CPUtime=2400.34 cores=0,2,4,6
/proc/31930/stat : 31930 (java) S 31927 31927 25100 0 -1 1077944320 310259 0 0 0 239756 278 0 0 20 0 19 0 52126304 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140732933005200 140639992418039 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
/proc/31930/statm: 3313806 95439 3276 1 0 3302098 0
[pid=31930/tid=31933] ppid=31927 vsize=13255224 CPUtime=0.79 cores=0,2,4,6
/proc/31930/task/31933/stat : 31933 (java) S 31927 31927 25100 0 -1 1077944384 13428 0 0 0 74 5 0 0 20 0 19 0 52126304 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639996658816 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31935] ppid=31927 vsize=13255224 CPUtime=1.18 cores=0,2,4,6
/proc/31930/task/31935/stat : 31935 (java) S 31927 31927 25100 0 -1 1077944384 16306 0 0 0 97 21 0 0 20 0 19 0 52126305 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639915244432 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31937] ppid=31927 vsize=13255224 CPUtime=1.19 cores=0,2,4,6
/proc/31930/task/31937/stat : 31937 (java) S 31927 31927 25100 0 -1 1077944384 18664 0 0 0 97 22 0 0 20 0 19 0 52126305 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639914191632 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31939] ppid=31927 vsize=13255224 CPUtime=1.19 cores=0,2,4,6
/proc/31930/task/31939/stat : 31939 (java) S 31927 31927 25100 0 -1 1077944384 15130 0 0 0 95 24 0 0 20 0 19 0 52126305 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639913139344 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31941] ppid=31927 vsize=13255224 CPUtime=1.19 cores=0,2,4,6
/proc/31930/task/31941/stat : 31941 (java) S 31927 31927 25100 0 -1 1077944384 15159 0 0 0 97 22 0 0 20 0 19 0 52126305 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639593294864 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31943] ppid=31927 vsize=13255224 CPUtime=2.26 cores=0,2,4,6
/proc/31930/task/31943/stat : 31943 (java) S 31927 31927 25100 0 -1 1077944384 27853 0 0 0 69 157 0 0 20 0 19 0 52126306 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639148820592 140639992429186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31945] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31945/stat : 31945 (java) S 31927 31927 25100 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 52126307 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639147766624 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31947] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31947/stat : 31947 (java) S 31927 31927 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 52126307 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639146714240 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31948] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31948/stat : 31948 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639145662544 140639992436635 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31950] ppid=31927 vsize=13255224 CPUtime=4.82 cores=0,2,4,6
/proc/31930/task/31950/stat : 31950 (java) S 31927 31927 25100 0 -1 1077944384 29967 0 0 0 480 2 0 0 20 0 19 0 52126309 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639144610416 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31952] ppid=31927 vsize=13255224 CPUtime=4.81 cores=0,2,4,6
/proc/31930/task/31952/stat : 31952 (java) S 31927 31927 25100 0 -1 1077944384 35225 0 0 0 479 2 0 0 20 0 19 0 52126309 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639143557616 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31954] ppid=31927 vsize=13255224 CPUtime=0.91 cores=0,2,4,6
/proc/31930/task/31954/stat : 31954 (java) S 31927 31927 25100 0 -1 1077944384 21894 0 0 0 88 3 0 0 20 0 19 0 52126309 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639142505328 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31956] ppid=31927 vsize=13255224 CPUtime=0 cores=0,2,4,6
/proc/31930/task/31956/stat : 31956 (java) S 31927 31927 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52126309 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639141452768 140639992428245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=31958] ppid=31927 vsize=13255224 CPUtime=0.23 cores=0,2,4,6
/proc/31930/task/31958/stat : 31958 (java) S 31927 31927 25100 0 -1 1077944384 3619 0 0 0 13 10 0 0 20 0 19 0 52126314 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639140399536 140639992429186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32614] ppid=31927 vsize=13255224 CPUtime=5.89 cores=0,2,4,6
/proc/31930/task/32614/stat : 32614 (java) R 31927 31927 25100 0 -1 4202560 36 0 0 0 589 0 0 0 20 0 19 0 52188992 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639132384328 140639601270176 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32615] ppid=31927 vsize=13255224 CPUtime=5.92 cores=0,2,4,6
/proc/31930/task/32615/stat : 32615 (java) R 31927 31927 25100 0 -1 4202560 291 0 0 0 592 0 0 0 20 0 19 0 52188992 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639126077728 140639601270216 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32616] ppid=31927 vsize=13255224 CPUtime=5.92 cores=0,2,4,6
/proc/31930/task/32616/stat : 32616 (java) R 31927 31927 25100 0 -1 4202560 22 0 0 0 592 0 0 0 20 0 19 0 52188992 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639125025176 140639601270203 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
[pid=31930/tid=32617] ppid=31927 vsize=13255224 CPUtime=5.88 cores=0,2,4,6
/proc/31930/task/32617/stat : 32617 (java) R 31927 31927 25100 0 -1 4202560 45 0 0 0 588 0 0 0 20 0 19 0 52188992 13573349376 95439 18446744073709551615 4194304 4196468 140732933022656 140639130282352 140639602300821 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140732933026262 140732933026438 140732933026438 140732933029839 0
Current children cumulated CPU time (s) 2400.34
Current children cumulated vsize (KiB) 13264736

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 31930 sig 9
??? kill 31927 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 31927 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=964
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=964
# CPU time returned by wait4() is 0.001928
# while last known CPU time is 2400.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 633.017
CPU time (s): 2400.34
CPU user time (s): 2397.56
CPU system time (s): 2.78
CPU usage (%): 379.19
Max. virtual memory (cumulated for all children) (KiB): 13264736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000964
system time used= 0.000964
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507
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= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.05042 second user time and 4.79134 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-06 19:57:43
IDJOB=4244604
IDBENCH=115817
IDSOLVER=2625
FILE ID=node133/4244604-1502043110
RUNJOBID= node133-1502042263-31898
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-1.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-4244604-1502043110/watcher-4244604-1502043110 -o /tmp/evaluation-result-4244604-1502043110/solver-4244604-1502043110 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1067722295 HOME/instance-4244604-1502043110.xml

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

MD5SUM BENCH= 133cdadaee2e697c51b4261ec7f2679b
RANDOM SEED=1067722295

node133.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.17
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.17
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.17
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.17
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:        31518492 kB
MemAvailable:   31995584 kB
Buffers:          197220 kB
Cached:           571544 kB
SwapCached:            0 kB
Active:           486944 kB
Inactive:         343432 kB
Active(anon):      62004 kB
Inactive(anon):    24920 kB
Active(file):     424940 kB
Inactive(file):   318512 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             15820 kB
Writeback:             8 kB
AnonPages:         61488 kB
Mapped:            39248 kB
Shmem:             25276 kB
Slab:             125032 kB
SReclaimable:      98952 kB
SUnreclaim:        26080 kB
KernelStack:        3184 kB
PageTables:         4212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     298264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62016 MiB
End job on node133 at 2017-08-06 20:08:16