Trace number 4244674

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)741 2400.1499 608.633

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-0.xml
MD5SUMd2a9d5f7f2311440d16f3c3017ccc9f9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark689
Best CPU time to get the best result obtained on this benchmark2520.0701
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size752
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":752,"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.08	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244674-1502045041.xml"  -tl '2400s' -p 4 -x 0
0.00/0.31	c [HOME/instance-4244674-1502045041.xml, -tl, 2400s, -p, 4, -x, 0]
0.00/0.37	c 4 solvers in parallel
0.00/0.43	c parse instance...
0.00/0.93	c solve instance...
207.85/52.88	o 751 
213.02/54.45	o 749 
348.54/88.67	o 748 
377.40/96.56	o 747 
564.04/143.82	o 746 
622.63/159.16	o 745 
627.97/160.56	o 744 
1649.39/417.79	o 743 
1761.14/446.08	o 742 
2304.86/584.61	o 741 
2400.15/608.66	s SATISFIABLE
2400.15/608.66	v <instantiation>
2400.15/608.66	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.15/608.66	v 	<values>35 104 189 259 360 464 512 576 648 680 25 48 136 167 256 272 372 468 554 588 21 45 120 221 322 342 462 500 590 654 0 37 107 201 273 339 408 442 460 607 4 207 253 282 302 409 424 454 475 669 68 135 206 271 368 456 553 595 644 728 51 162 215 291 324 435 475 519 614 656 0 81 134 138 159 261 290 370 534 643 76 126 189 217 260 336 414 522 576 646 4 68 102 139 223 325 438 511 595 646 731 645 741 669 741 739 741 736 740 741 69 83 67 96 48 47 52 68 2 51 16 60 22 26 12 92 96 86 29 57 24 70 86 65 6 96 38 90 64 87 37 69 89 71 66 67 31 17 91 62 52 46 29 20 56 12 12 8 46 72 67 62 55 60 86 97 37 46 83 11 93 53 25 33 44 40 44 95 42 85 67 49 3 18 97 29 80 86 55 93 28 6 18 39 38 72 97 53 38 94 41 34 34 82 31 83 73 84 50 95 8 7 3 2 0 5 6 4 1 9 3 4 6 9 7 8 2 0 1 5 0 2 5 4 3 6 8 9 7 1 4 5 1 8 6 3 0 9 7 2 6 7 1 3 0 5 9 8 4 2 6 2 5 9 8 1 7 3 4 0 3 0 9 5 1 4 2 8 6 7 7 0 8 9 6 5 4 1 2 3 1 8 7 2 0 9 3 4 6 5 2 7 9 4 0 5 6 3 1 8 360 648 259 189 576 464 512 104 35 680 468 554 372 25 48 588 136 256 272 167 21 654 45 322 221 120 342 590 462 500 408 107 607 339 0 37 273 460 201 442 302 253 669 282 475 409 4 207 454 424 728 456 135 595 644 206 68 553 368 271 162 324 475 51 435 291 614 656 519 215 81 370 534 643 290 261 159 0 134 138 260 76 217 414 522 646 576 189 126 336 223 595 4 511 139 325 438 68 646 102 </values>
2400.15/608.66	v </instantiation>
2400.15/608.66	c Unexpected resolution interruption!

Verifier Data 

OK	741

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

pid=1563
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: 8.87 8.48 7.59 6/203 1566
/proc/meminfo: memFree=30818704/32770624 swapFree=0/319448
[pid=1566] ppid=1563 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (runsolver) D 1563 1566 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 52319368 24240128 106 18446744073709551615 4194304 4338465 140737314485728 140737314483368 139624016577239 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 10231808 140737314492502 140737314493001 140737314493001 140737314496458 0
/proc/1566/statm: 5918 106 53 36 0 2156 0

[startup+0.100078 s]
/proc/loadavg: 8.87 8.48 7.59 6/203 1566
/proc/meminfo: memFree=30818704/32770624 swapFree=0/319448
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52319368 9740288 344 18446744073709551615 4194304 5098028 140734307384816 140734307382920 140480522105468 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27353088 140734307385752 140734307385962 140734307385962 140734307389419 0
/proc/1566/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200235 s]
/proc/loadavg: 8.87 8.48 7.59 6/203 1566
/proc/meminfo: memFree=30818704/32770624 swapFree=0/319448
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52319368 9740288 344 18446744073709551615 4194304 5098028 140734307384816 140734307382920 140480522105468 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27353088 140734307385752 140734307385962 140734307385962 140734307389419 0
/proc/1566/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300288 s]
/proc/loadavg: 8.87 8.48 7.59 6/203 1566
/proc/meminfo: memFree=30818704/32770624 swapFree=0/319448
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52319368 9740288 344 18446744073709551615 4194304 5098028 140734307384816 140734307382920 140480522105468 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27353088 140734307385752 140734307385962 140734307385962 140734307389419 0
/proc/1566/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700267 s]
/proc/loadavg: 8.87 8.48 7.59 6/203 1566
/proc/meminfo: memFree=30818704/32770624 swapFree=0/319448
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52319368 9740288 344 18446744073709551615 4194304 5098028 140734307384816 140734307382920 140480522105468 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27353088 140734307385752 140734307385962 140734307385962 140734307389419 0
/proc/1566/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50827 s]
/proc/loadavg: 8.88 8.49 7.60 12/223 1586
/proc/meminfo: memFree=30724720/32770624 swapFree=0/319448
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52319368 9740288 344 18446744073709551615 4194304 5098028 140734307384816 140734307382920 140480522105468 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27353088 140734307385752 140734307385962 140734307385962 140734307389419 0
/proc/1566/statm: 2378 344 289 221 0 87 0
[pid=1568] ppid=1566 vsize=13185584 CPUtime=4.13 cores=1,3,5,7
/proc/1568/stat : 1568 (java) S 1566 1566 25100 0 -1 1077944320 18750 0 0 0 405 8 0 0 20 0 19 0 52319377 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140725471954992 140452652203767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
/proc/1568/statm: 3296396 31098 3194 1 0 3284688 0
[pid=1568/tid=1569] ppid=1566 vsize=13185584 CPUtime=0.74 cores=1,3,5,7
/proc/1568/task/1569/stat : 1569 (java) S 1566 1566 25100 0 -1 1077944384 9073 0 0 0 70 4 0 0 20 0 19 0 52319377 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452656444544 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1570] ppid=1566 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52319378 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452613102736 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1571] ppid=1566 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52319378 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452254383120 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1572] ppid=1566 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52319378 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452253330320 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1573] ppid=1566 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52319378 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452252277520 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1574] ppid=1566 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52319379 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452136196464 140452652214914 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1575] ppid=1566 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 52319380 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452135142432 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1576] ppid=1566 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52319380 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452134089584 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1577] ppid=1566 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319382 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452133037904 140452652222363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1578] ppid=1566 vsize=13185584 CPUtime=0.65 cores=1,3,5,7
/proc/1568/task/1578/stat : 1578 (java) R 1566 1566 25100 0 -1 4202560 2336 0 0 0 64 1 0 0 20 0 19 0 52319382 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452131972312 140452633748432 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1579] ppid=1566 vsize=13185584 CPUtime=0.72 cores=1,3,5,7
/proc/1568/task/1579/stat : 1579 (java) R 1566 1566 25100 0 -1 4202560 1928 0 0 0 72 0 0 0 20 0 19 0 52319382 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452130919888 140452635590672 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1580] ppid=1566 vsize=13185584 CPUtime=0.69 cores=1,3,5,7
/proc/1568/task/1580/stat : 1580 (java) R 1566 1566 25100 0 -1 4202560 3366 0 0 0 68 1 0 0 20 0 19 0 52319382 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452129880688 140452652225114 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1581] ppid=1566 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319383 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452128828128 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1582] ppid=1566 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1582/stat : 1582 (java) S 1566 1566 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52319391 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452127775408 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1583] ppid=1566 vsize=13185584 CPUtime=0.32 cores=1,3,5,7
/proc/1568/task/1583/stat : 1583 (java) R 1566 1566 25100 0 -1 4202560 309 0 0 0 32 0 0 0 20 0 19 0 52319462 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452119760072 140452298442968 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1584] ppid=1566 vsize=13185584 CPUtime=0.3 cores=1,3,5,7
/proc/1568/task/1584/stat : 1584 (java) R 1566 1566 25100 0 -1 4202560 102 0 0 0 30 0 0 0 20 0 19 0 52319462 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452118706720 140452298444290 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1585] ppid=1566 vsize=13185584 CPUtime=0.35 cores=1,3,5,7
/proc/1568/task/1585/stat : 1585 (java) R 1566 1566 25100 0 -1 4202560 284 0 0 0 35 0 0 0 20 0 19 0 52319462 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452117654312 140452298444653 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1586] ppid=1566 vsize=13185584 CPUtime=0.3 cores=1,3,5,7
/proc/1568/task/1586/stat : 1586 (java) R 1566 1566 25100 0 -1 4202560 45 0 0 0 30 0 0 0 20 0 19 0 52319462 13502038016 31098 18446744073709551615 4194304 4196468 140725471972448 140452116603128 140452298318588 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 13195096

[startup+3.10127 s]
/proc/loadavg: 8.88 8.49 7.60 13/223 1586
/proc/meminfo: memFree=30670200/32770624 swapFree=0/319448
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52319368 9740288 344 18446744073709551615 4194304 5098028 140734307384816 140734307382920 140480522105468 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27353088 140734307385752 140734307385962 140734307385962 140734307389419 0
/proc/1566/statm: 2378 344 289 221 0 87 0
[pid=1568] ppid=1566 vsize=13187632 CPUtime=10.45 cores=1,3,5,7
/proc/1568/stat : 1568 (java) S 1566 1566 25100 0 -1 1077944320 37536 0 0 0 1035 10 0 0 20 0 19 0 52319377 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140725471954992 140452652203767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
/proc/1568/statm: 3296908 49118 3204 1 0 3285200 0
[pid=1568/tid=1569] ppid=1566 vsize=13187632 CPUtime=0.74 cores=1,3,5,7
/proc/1568/task/1569/stat : 1569 (java) S 1566 1566 25100 0 -1 1077944384 9073 0 0 0 70 4 0 0 20 0 19 0 52319377 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452656444544 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1570] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52319378 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452613102736 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1571] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52319378 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452254383120 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1572] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52319378 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452253330320 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1573] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52319378 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452252277520 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1574] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52319379 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452136196464 140452652214914 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1575] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 52319380 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452135142432 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1576] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52319380 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452134089584 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1577] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319382 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452133037904 140452652222363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1578] ppid=1566 vsize=13187632 CPUtime=1.44 cores=1,3,5,7
/proc/1568/task/1578/stat : 1578 (java) R 1566 1566 25100 0 -1 4202560 11407 0 0 0 142 2 0 0 20 0 19 0 52319382 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452131967304 140452631460360 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1579] ppid=1566 vsize=13187632 CPUtime=1.37 cores=1,3,5,7
/proc/1568/task/1579/stat : 1579 (java) R 1566 1566 25100 0 -1 4202560 9770 0 0 0 136 1 0 0 20 0 19 0 52319382 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452130925976 140452633727200 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1580] ppid=1566 vsize=13187632 CPUtime=0.73 cores=1,3,5,7
/proc/1568/task/1580/stat : 1580 (java) S 1566 1566 25100 0 -1 1077944384 4597 0 0 0 72 1 0 0 20 0 19 0 52319382 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452129880688 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1581] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319383 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452128828128 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1582] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1582/stat : 1582 (java) S 1566 1566 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52319391 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452127775408 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1583] ppid=1566 vsize=13187632 CPUtime=1.6 cores=1,3,5,7
/proc/1568/task/1583/stat : 1583 (java) R 1566 1566 25100 0 -1 4202560 372 0 0 0 160 0 0 0 20 0 19 0 52319462 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452119759976 140452299308263 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1584] ppid=1566 vsize=13187632 CPUtime=1.31 cores=1,3,5,7
/proc/1568/task/1584/stat : 1584 (java) R 1566 1566 25100 0 -1 4202560 406 0 0 0 131 0 0 0 20 0 19 0 52319462 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452118707736 140452298441064 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1585] ppid=1566 vsize=13187632 CPUtime=1.59 cores=1,3,5,7
/proc/1568/task/1585/stat : 1585 (java) R 1566 1566 25100 0 -1 4202560 385 0 0 0 159 0 0 0 20 0 19 0 52319462 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452117655496 140452297994567 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1586] ppid=1566 vsize=13187632 CPUtime=1.6 cores=1,3,5,7
/proc/1568/task/1586/stat : 1586 (java) R 1566 1566 25100 0 -1 4202560 197 0 0 0 160 0 0 0 20 0 19 0 52319462 13504135168 49118 18446744073709551615 4194304 4196468 140725471972448 140452116602488 140452298148408 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
Current children cumulated CPU time (s) 10.45
Current children cumulated vsize (KiB) 13197144

[startup+6.30727 s]
/proc/loadavg: 8.88 8.49 7.60 12/223 1587
/proc/meminfo: memFree=30568940/32770624 swapFree=0/319456
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52319368 9740288 344 18446744073709551615 4194304 5098028 140734307384816 140734307382920 140480522105468 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27353088 140734307385752 140734307385962 140734307385962 140734307389419 0
/proc/1566/statm: 2378 344 289 221 0 87 0
[pid=1568] ppid=1566 vsize=13187632 CPUtime=23.18 cores=1,3,5,7
/proc/1568/stat : 1568 (java) S 1566 1566 25100 0 -1 1077944320 43603 0 0 0 2303 15 0 0 20 0 19 0 52319377 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140725471954992 140452652203767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
/proc/1568/statm: 3296908 64331 3249 1 0 3285200 0
[pid=1568/tid=1569] ppid=1566 vsize=13187632 CPUtime=0.74 cores=1,3,5,7
/proc/1568/task/1569/stat : 1569 (java) S 1566 1566 25100 0 -1 1077944384 9073 0 0 0 70 4 0 0 20 0 19 0 52319377 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452656444544 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1570] ppid=1566 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 25100 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 19 0 52319378 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452613102736 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1571] ppid=1566 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 25100 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 19 0 52319378 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452254383120 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1572] ppid=1566 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 25100 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 19 0 52319378 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452253330320 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1573] ppid=1566 vsize=13187632 CPUtime=0.02 cores=1,3,5,7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 25100 0 -1 1077944384 777 0 0 0 2 0 0 0 20 0 19 0 52319378 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452252277520 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1574] ppid=1566 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 25100 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 19 0 52319379 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452136196464 140452652214914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1575] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 25100 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 52319380 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452135142432 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1576] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 25100 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 52319380 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452134089584 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1577] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319382 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452133037904 140452652222363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1578] ppid=1566 vsize=13187632 CPUtime=3.24 cores=1,3,5,7
/proc/1568/task/1578/stat : 1578 (java) R 1566 1566 25100 0 -1 4202560 12705 0 0 0 322 2 0 0 20 0 19 0 52319382 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452131986584 140452637327362 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1579] ppid=1566 vsize=13187632 CPUtime=3.21 cores=1,3,5,7
/proc/1568/task/1579/stat : 1579 (java) R 1566 1566 25100 0 -1 4202560 11284 0 0 0 320 1 0 0 20 0 19 0 52319382 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452130933408 140452635703973 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1580] ppid=1566 vsize=13187632 CPUtime=0.84 cores=1,3,5,7
/proc/1568/task/1580/stat : 1580 (java) S 1566 1566 25100 0 -1 1077944384 5545 0 0 0 83 1 0 0 20 0 19 0 52319382 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452129880688 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1581] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319383 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452128828128 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1582] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1582/stat : 1582 (java) S 1566 1566 25100 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 52319391 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452127775408 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1583] ppid=1566 vsize=13187632 CPUtime=3.75 cores=1,3,5,7
/proc/1568/task/1583/stat : 1583 (java) R 1566 1566 25100 0 -1 4202560 721 0 0 0 375 0 0 0 20 0 19 0 52319462 13504135168 64331 18446744073709551615 4194304 4196468 140725471972448 140452119760360 140452301915442 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0

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

/proc/1566/statm: 2378 344 289 221 0 87 0
[pid=1568] ppid=1566 vsize=13187632 CPUtime=2064.21 cores=1,3,5,7
/proc/1568/stat : 1568 (java) S 1566 1566 25100 0 -1 1077944320 170354 0 0 0 206292 129 0 0 20 0 19 0 52319377 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140725471954992 140452652203767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
/proc/1568/statm: 3296908 88166 3276 1 0 3285200 0
[pid=1568/tid=1569] ppid=1566 vsize=13187632 CPUtime=0.75 cores=1,3,5,7
/proc/1568/task/1569/stat : 1569 (java) S 1566 1566 25100 0 -1 1077944384 10388 0 0 0 71 4 0 0 20 0 19 0 52319377 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452656444544 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1570] ppid=1566 vsize=13187632 CPUtime=0.67 cores=1,3,5,7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 25100 0 -1 1077944384 6635 0 0 0 57 10 0 0 20 0 19 0 52319378 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452613102736 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1571] ppid=1566 vsize=13187632 CPUtime=0.68 cores=1,3,5,7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 25100 0 -1 1077944384 4686 0 0 0 58 10 0 0 20 0 19 0 52319378 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452254383120 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1572] ppid=1566 vsize=13187632 CPUtime=0.67 cores=1,3,5,7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 25100 0 -1 1077944384 8562 0 0 0 56 11 0 0 20 0 19 0 52319378 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452253330320 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1573] ppid=1566 vsize=13187632 CPUtime=0.67 cores=1,3,5,7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 25100 0 -1 1077944384 8430 0 0 0 56 11 0 0 20 0 19 0 52319378 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452252277520 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1574] ppid=1566 vsize=13187632 CPUtime=0.9 cores=1,3,5,7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 25100 0 -1 1077944384 13741 0 0 0 30 60 0 0 20 0 19 0 52319379 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452136196464 140452652214914 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1575] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 25100 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 52319380 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452135142496 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1576] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 25100 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 52319380 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452134089600 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1577] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319382 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452133037904 140452652222363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1578] ppid=1566 vsize=13187632 CPUtime=4.16 cores=1,3,5,7
/proc/1568/task/1578/stat : 1578 (java) S 1566 1566 25100 0 -1 1077944384 24137 0 0 0 413 3 0 0 20 0 19 0 52319382 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452131986288 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1579] ppid=1566 vsize=13187632 CPUtime=4.45 cores=1,3,5,7
/proc/1568/task/1579/stat : 1579 (java) S 1566 1566 25100 0 -1 1077944384 22695 0 0 0 443 2 0 0 20 0 19 0 52319382 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452130933488 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1580] ppid=1566 vsize=13187632 CPUtime=0.95 cores=1,3,5,7
/proc/1568/task/1580/stat : 1580 (java) S 1566 1566 25100 0 -1 1077944384 15171 0 0 0 93 2 0 0 20 0 19 0 52319382 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452129880688 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1581] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319383 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452128828128 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1582] ppid=1566 vsize=13187632 CPUtime=0.19 cores=1,3,5,7
/proc/1568/task/1582/stat : 1582 (java) S 1566 1566 25100 0 -1 1077944384 1751 0 0 0 0 19 0 0 20 0 19 0 52319391 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452127775408 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1652] ppid=1566 vsize=13187632 CPUtime=75.56 cores=1,3,5,7
/proc/1568/task/1652/stat : 1652 (java) R 1566 1566 25100 0 -1 4202560 867 0 0 0 7556 0 0 0 20 0 19 0 52363977 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452118707280 140452303126134 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1653] ppid=1566 vsize=13187632 CPUtime=75.41 cores=1,3,5,7
/proc/1568/task/1653/stat : 1653 (java) R 1566 1566 25100 0 -1 4202560 2523 0 0 0 7541 0 0 0 20 0 19 0 52363977 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452117658640 140452294475000 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1654] ppid=1566 vsize=13187632 CPUtime=75.49 cores=1,3,5,7
/proc/1568/task/1654/stat : 1654 (java) R 1566 1566 25100 0 -1 4202560 1020 0 0 0 7549 0 0 0 20 0 19 0 52363977 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452116602952 140452303125982 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1655] ppid=1566 vsize=13187632 CPUtime=75.3 cores=1,3,5,7
/proc/1568/task/1655/stat : 1655 (java) R 1566 1566 25100 0 -1 4202560 2145 0 0 0 7530 0 0 0 20 0 19 0 52363977 13504135168 88166 18446744073709551615 4194304 4196468 140725471972448 140452119760504 140452300964480 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
Current children cumulated CPU time (s) 2064.21
Current children cumulated vsize (KiB) 13197144

[startup+582.301 s]
/proc/loadavg: 8.70 8.68 8.06 6/224 1870
/proc/meminfo: memFree=30936380/32770624 swapFree=0/319716
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52319368 9740288 344 18446744073709551615 4194304 5098028 140734307384816 140734307382920 140480522105468 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27353088 140734307385752 140734307385962 140734307385962 140734307389419 0
/proc/1566/statm: 2378 344 289 221 0 87 0
[pid=1568] ppid=1566 vsize=13187632 CPUtime=2302.34 cores=1,3,5,7
/proc/1568/stat : 1568 (java) S 1566 1566 25100 0 -1 1077944320 178048 0 0 0 230083 151 0 0 20 0 19 0 52319377 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140725471954992 140452652203767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
/proc/1568/statm: 3296908 88222 3278 1 0 3285200 0
[pid=1568/tid=1569] ppid=1566 vsize=13187632 CPUtime=0.75 cores=1,3,5,7
/proc/1568/task/1569/stat : 1569 (java) S 1566 1566 25100 0 -1 1077944384 10388 0 0 0 71 4 0 0 20 0 19 0 52319377 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452656444544 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1570] ppid=1566 vsize=13187632 CPUtime=0.81 cores=1,3,5,7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 25100 0 -1 1077944384 7161 0 0 0 71 10 0 0 20 0 19 0 52319378 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452613102736 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1571] ppid=1566 vsize=13187632 CPUtime=0.82 cores=1,3,5,7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 25100 0 -1 1077944384 5006 0 0 0 72 10 0 0 20 0 19 0 52319378 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452254383120 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1572] ppid=1566 vsize=13187632 CPUtime=0.81 cores=1,3,5,7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 25100 0 -1 1077944384 8705 0 0 0 70 11 0 0 20 0 19 0 52319378 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452253330320 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1573] ppid=1566 vsize=13187632 CPUtime=0.82 cores=1,3,5,7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 25100 0 -1 1077944384 8793 0 0 0 71 11 0 0 20 0 19 0 52319378 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452252277520 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1574] ppid=1566 vsize=13187632 CPUtime=1.22 cores=1,3,5,7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 25100 0 -1 1077944384 17895 0 0 0 41 81 0 0 20 0 19 0 52319379 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452136196464 140452652214914 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1575] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 25100 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 52319380 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452135142496 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1576] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 25100 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 52319380 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452134089600 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1577] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319382 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452133037904 140452652222363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1578] ppid=1566 vsize=13187632 CPUtime=4.16 cores=1,3,5,7
/proc/1568/task/1578/stat : 1578 (java) S 1566 1566 25100 0 -1 1077944384 24140 0 0 0 413 3 0 0 20 0 19 0 52319382 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452131986288 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1579] ppid=1566 vsize=13187632 CPUtime=4.49 cores=1,3,5,7
/proc/1568/task/1579/stat : 1579 (java) S 1566 1566 25100 0 -1 1077944384 23799 0 0 0 447 2 0 0 20 0 19 0 52319382 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452130933488 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1580] ppid=1566 vsize=13187632 CPUtime=0.95 cores=1,3,5,7
/proc/1568/task/1580/stat : 1580 (java) S 1566 1566 25100 0 -1 1077944384 15217 0 0 0 93 2 0 0 20 0 19 0 52319382 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452129880688 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1581] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319383 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452128828128 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1582] ppid=1566 vsize=13187632 CPUtime=0.22 cores=1,3,5,7
/proc/1568/task/1582/stat : 1582 (java) S 1566 1566 25100 0 -1 1077944384 1786 0 0 0 0 22 0 0 20 0 19 0 52319391 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452127775408 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1652] ppid=1566 vsize=13187632 CPUtime=134.96 cores=1,3,5,7
/proc/1568/task/1652/stat : 1652 (java) R 1566 1566 25100 0 -1 4202560 1179 0 0 0 13496 0 0 0 20 0 19 0 52363977 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452118707416 140452303126117 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1653] ppid=1566 vsize=13187632 CPUtime=134.67 cores=1,3,5,7
/proc/1568/task/1653/stat : 1653 (java) S 1566 1566 25100 0 -1 1077944384 2816 0 0 0 13467 0 0 0 20 0 19 0 52363977 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452117661008 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1654] ppid=1566 vsize=13187632 CPUtime=134.85 cores=1,3,5,7
/proc/1568/task/1654/stat : 1654 (java) R 1566 1566 25100 0 -1 4202560 1091 0 0 0 13485 0 0 0 20 0 19 0 52363977 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452116602952 140452303125995 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1655] ppid=1566 vsize=13187632 CPUtime=134.44 cores=1,3,5,7
/proc/1568/task/1655/stat : 1655 (java) S 1566 1566 25100 0 -1 1077944384 2469 0 0 0 13444 0 0 0 20 0 19 0 52363977 13504135168 88222 18446744073709551615 4194304 4196468 140725471972448 140452119766096 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
Current children cumulated CPU time (s) 2302.34
Current children cumulated vsize (KiB) 13197144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+608.601 s]
/proc/loadavg: 8.13 8.55 8.04 7/228 1954
/proc/meminfo: memFree=30969492/32770624 swapFree=0/319748
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52319368 9740288 344 18446744073709551615 4194304 5098028 140734307384816 140734307382920 140480522105468 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27353088 140734307385752 140734307385962 140734307385962 140734307389419 0
/proc/1566/statm: 2378 344 289 221 0 87 0
[pid=1568] ppid=1566 vsize=13187632 CPUtime=2400.15 cores=1,3,5,7
/proc/1568/stat : 1568 (java) S 1566 1566 25100 0 -1 1077944320 186337 0 0 0 239853 162 0 0 20 0 19 0 52319377 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140725471954992 140452652203767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
/proc/1568/statm: 3296908 87939 3278 1 0 3285200 0
[pid=1568/tid=1569] ppid=1566 vsize=13187632 CPUtime=0.75 cores=1,3,5,7
/proc/1568/task/1569/stat : 1569 (java) S 1566 1566 25100 0 -1 1077944384 10426 0 0 0 71 4 0 0 20 0 19 0 52319377 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452656444544 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1570] ppid=1566 vsize=13187632 CPUtime=0.87 cores=1,3,5,7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 25100 0 -1 1077944384 8490 0 0 0 77 10 0 0 20 0 19 0 52319378 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452613102736 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1571] ppid=1566 vsize=13187632 CPUtime=0.88 cores=1,3,5,7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 25100 0 -1 1077944384 5559 0 0 0 78 10 0 0 20 0 19 0 52319378 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452254383120 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1572] ppid=1566 vsize=13187632 CPUtime=0.87 cores=1,3,5,7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 25100 0 -1 1077944384 9491 0 0 0 76 11 0 0 20 0 19 0 52319378 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452253330320 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1573] ppid=1566 vsize=13187632 CPUtime=0.87 cores=1,3,5,7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 25100 0 -1 1077944384 9743 0 0 0 76 11 0 0 20 0 19 0 52319378 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452252277520 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1574] ppid=1566 vsize=13187632 CPUtime=1.36 cores=1,3,5,7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 25100 0 -1 1077944384 19068 0 0 0 46 90 0 0 20 0 19 0 52319379 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452136196464 140452652214914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1575] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 25100 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 52319380 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452135142496 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1576] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 25100 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 52319380 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452134089600 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1577] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319382 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452133037904 140452652222363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1578] ppid=1566 vsize=13187632 CPUtime=4.16 cores=1,3,5,7
/proc/1568/task/1578/stat : 1578 (java) S 1566 1566 25100 0 -1 1077944384 24149 0 0 0 413 3 0 0 20 0 19 0 52319382 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452131986288 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1579] ppid=1566 vsize=13187632 CPUtime=4.49 cores=1,3,5,7
/proc/1568/task/1579/stat : 1579 (java) S 1566 1566 25100 0 -1 1077944384 23805 0 0 0 447 2 0 0 20 0 19 0 52319382 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452130933488 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1580] ppid=1566 vsize=13187632 CPUtime=0.95 cores=1,3,5,7
/proc/1568/task/1580/stat : 1580 (java) S 1566 1566 25100 0 -1 1077944384 15223 0 0 0 93 2 0 0 20 0 19 0 52319382 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452129880688 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1581] ppid=1566 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52319383 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452128828128 140452652213973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1582] ppid=1566 vsize=13187632 CPUtime=0.23 cores=1,3,5,7
/proc/1568/task/1582/stat : 1582 (java) S 1566 1566 25100 0 -1 1077944384 1866 0 0 0 0 23 0 0 20 0 19 0 52319391 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452127775408 140452652214914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1891] ppid=1566 vsize=13187632 CPUtime=23.78 cores=1,3,5,7
/proc/1568/task/1891/stat : 1891 (java) R 1566 1566 25100 0 -1 4202560 562 0 0 0 2378 0 0 0 20 0 19 0 52377830 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452119759328 140452303126056 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1892] ppid=1566 vsize=13187632 CPUtime=23.69 cores=1,3,5,7
/proc/1568/task/1892/stat : 1892 (java) R 1566 1566 25100 0 -1 4202560 1095 0 0 0 2369 0 0 0 20 0 19 0 52377830 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452117657952 140452303125788 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1893] ppid=1566 vsize=13187632 CPUtime=23.72 cores=1,3,5,7
/proc/1568/task/1893/stat : 1893 (java) R 1566 1566 25100 0 -1 4202560 652 0 0 0 2372 0 0 0 20 0 19 0 52377830 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452116602440 140452303126103 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
[pid=1568/tid=1894] ppid=1566 vsize=13187632 CPUtime=23.68 cores=1,3,5,7
/proc/1568/task/1894/stat : 1894 (java) R 1566 1566 25100 0 -1 4202560 1025 0 0 0 2368 0 0 0 20 0 19 0 52377830 13504135168 87939 18446744073709551615 4194304 4196468 140725471972448 140452118708440 140452296157438 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12685312 140725471977942 140725471978118 140725471978118 140725471981519 0
Current children cumulated CPU time (s) 2400.15
Current children cumulated vsize (KiB) 13197144

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

Real time (s): 608.633
CPU time (s): 2400.15
CPU user time (s): 2398.53
CPU system time (s): 1.62
CPU usage (%): 394.351
Max. virtual memory (cumulated for all children) (KiB): 13199864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001828
system time used= 0.000118
maximum resident set size= 1380
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= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.26077 second user time and 4.56585 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-06 20:29:54
IDJOB=4244674
IDBENCH=115851
IDSOLVER=2625
FILE ID=node133/4244674-1502045041
RUNJOBID= node133-1502042263-31899
PBS_JOBID= 
Free space on /tmp= 62024 MiB

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

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

MD5SUM BENCH= d2a9d5f7f2311440d16f3c3017ccc9f9
RANDOM SEED=1720725272

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:        30818920 kB
MemAvailable:   31298332 kB
Buffers:          198320 kB
Cached:           572596 kB
SwapCached:            0 kB
Active:          1182964 kB
Inactive:         344340 kB
Active(anon):     756608 kB
Inactive(anon):    24920 kB
Active(file):     426356 kB
Inactive(file):   319420 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7944 kB
Writeback:             0 kB
AnonPages:        766088 kB
Mapped:            51872 kB
Shmem:             25276 kB
Slab:             125792 kB
SReclaimable:      98940 kB
SUnreclaim:        26852 kB
KernelStack:        3840 kB
PageTables:         6444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1761704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    620544 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:40:03