Trace number 4250026

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)SAT 78.7566 11.6408

General information on the benchmark

NameHanoi/Hanoi-m1-s1/
Hanoi-07.xml
MD5SUM7f68b5f256bf6bd8019eb0158af88fa3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.61620301
Satisfiable
(Un)Satisfiability was proved
Number of variables126
Number of constraints126
Number of domains1
Minimum domain size2187
Maximum domain size2187
Distribution of domain sizes[{"size":2187,"count":126}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":125},{"degree":2,"count":1}]
Minimum constraint arity1
Maximum constraint arity2
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":125}]
Number of extensional constraints125
Number of intensional constraints1
Distribution of constraint types[{"type":"extension","count":125},{"type":"intension","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4250026-1500696293.xml"  -tl '2400s' -p 8 -x 3
0.00/0.22	c [HOME/instance-4250026-1500696293.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.28	c 8 solvers in parallel
0.00/0.35	c parse instance...
20.97/4.21	c solve instance...
78.70/11.62	s SATISFIABLE
78.70/11.62	v <instantiation>
78.70/11.62	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] </list>
78.70/11.62	v 	<values>2 5 4 3 6 7 1 2 0 1 2 5 4 22 23 21 24 26 53 51 52 46 45 36 38 41 40 202 201 204 206 197 196 190 189 216 218 221 220 238 239 237 240 241 242 485 484 483 485 484 478 479 478 477 468 470 473 472 418 417 420 422 413 412 406 405 324 326 329 328 346 345 348 350 377 375 372 374 371 369 360 361 367 366 363 364 1822 1821 1824 1826 1817 1815 1816 1810 1809 1836 1837 1843 1844 1853 1852 1846 1852 1846 1847 1845 1854 1856 1855 1861 1862 1781 1779 1780 1774 1773 1764 1765 1766 1764 1765 1771 1772 1763 1761 1758 </values>
78.70/11.62	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4250026-1500696293/watcher-4250026-1500696293 -o /tmp/evaluation-result-4250026-1500696293/solver-4250026-1500696293 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 696579834 HOME/instance-4250026-1500696293.xml 

pid=18302
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 9.61 11.48 12.73 3/264 18305
/proc/meminfo: memFree=25509504/32770624 swapFree=5972/274824
[pid=18305] ppid=18302 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18305/stat : 18305 (xcsp3-exec) S 18302 18305 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4898829 9740288 346 33554432000 4194304 5098028 140733206700480 140733206698584 140191401566844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36319232 140733206705295 140733206705504 140733206705504 140733206708203 0
/proc/18305/statm: 2378 346 289 221 0 87 0

[startup+0.100064 s]
/proc/loadavg: 9.61 11.48 12.73 3/264 18305
/proc/meminfo: memFree=25509504/32770624 swapFree=5972/274824
[pid=18305] ppid=18302 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18305/stat : 18305 (xcsp3-exec) S 18302 18305 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4898829 9740288 346 33554432000 4194304 5098028 140733206700480 140733206698584 140191401566844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36319232 140733206705295 140733206705504 140733206705504 140733206708203 0
/proc/18305/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200372 s]
/proc/loadavg: 9.61 11.48 12.73 3/264 18305
/proc/meminfo: memFree=25509504/32770624 swapFree=5972/274824
[pid=18305] ppid=18302 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18305/stat : 18305 (xcsp3-exec) S 18302 18305 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4898829 9740288 346 33554432000 4194304 5098028 140733206700480 140733206698584 140191401566844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36319232 140733206705295 140733206705504 140733206705504 140733206708203 0
/proc/18305/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300422 s]
/proc/loadavg: 9.61 11.48 12.73 3/264 18305
/proc/meminfo: memFree=25509504/32770624 swapFree=5972/274824
[pid=18305] ppid=18302 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18305/stat : 18305 (xcsp3-exec) S 18302 18305 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4898829 9740288 346 33554432000 4194304 5098028 140733206700480 140733206698584 140191401566844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36319232 140733206705295 140733206705504 140733206705504 140733206708203 0
/proc/18305/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700206 s]
/proc/loadavg: 9.61 11.48 12.73 3/264 18305
/proc/meminfo: memFree=25509504/32770624 swapFree=5972/274824
[pid=18305] ppid=18302 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18305/stat : 18305 (xcsp3-exec) S 18302 18305 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4898829 9740288 346 33554432000 4194304 5098028 140733206700480 140733206698584 140191401566844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36319232 140733206705295 140733206705504 140733206705504 140733206708203 0
/proc/18305/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50122 s]
/proc/loadavg: 9.61 11.48 12.73 6/285 18326
/proc/meminfo: memFree=25236580/32770624 swapFree=5972/275024
[pid=18305] ppid=18302 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18305/stat : 18305 (xcsp3-exec) S 18302 18305 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4898829 9740288 346 33554432000 4194304 5098028 140733206700480 140733206698584 140191401566844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36319232 140733206705295 140733206705504 140733206705504 140733206708203 0
/proc/18305/statm: 2378 346 289 221 0 87 0
[pid=18306] ppid=18305 vsize=13269256 CPUtime=5.22 cores=1,3,5,7,9,11,13,15
/proc/18306/stat : 18306 (java) S 18305 18305 14626 0 -1 1077944320 16560 0 0 0 385 137 0 0 20 0 20 0 4898829 13587718144 134470 33554432000 4194304 4196468 140727398410640 140727398393184 140699441503991 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
/proc/18306/statm: 3317314 134470 3231 1 0 3304547 0
[pid=18306/tid=18307] ppid=18305 vsize=13269256 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18307/stat : 18307 (java) S 18305 18305 14626 0 -1 1077944384 6811 0 0 0 115 7 0 0 20 0 20 0 4898829 13587718144 134470 33554432000 4194304 4196468 140727398410640 140699445741504 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18309] ppid=18305 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18309/stat : 18309 (java) R 18305 18305 14626 0 -1 4202560 111 0 0 0 5 17 0 0 20 0 20 0 4898830 13587718144 134470 33554432000 4194304 4196468 140727398410640 140699373640792 140699434603691 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18310] ppid=18305 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18310/stat : 18310 (java) R 18305 18305 14626 0 -1 4202560 114 0 0 0 6 14 0 0 20 0 20 0 4898830 13587718144 134470 33554432000 4194304 4196468 140727398410640 140699372587992 140699426532051 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18311] ppid=18305 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18311/stat : 18311 (java) R 18305 18305 14626 0 -1 4202560 114 0 0 0 5 15 0 0 20 0 20 0 4898830 13587718144 134470 33554432000 4194304 4196468 140727398410640 140699038092320 140699434606708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18312] ppid=18305 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18312/stat : 18312 (java) R 18305 18305 14626 0 -1 4202560 100 0 0 0 5 12 0 0 20 0 20 0 4898830 13587718144 134470 33554432000 4194304 4196468 140727398410640 140699037039832 140699434600692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18313] ppid=18305 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18313/stat : 18313 (java) R 18305 18305 14626 0 -1 4202560 107 0 0 0 5 15 0 0 20 0 20 0 4898830 13587718144 134470 33554432000 4194304 4196468 140727398410640 140699035986520 140699434600692 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18314] ppid=18305 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18314/stat : 18314 (java) R 18305 18305 14626 0 -1 4202560 122 0 0 0 9 14 0 0 20 0 20 0 4898830 13587718144 134470 33554432000 4194304 4196468 140727398410640 140699034933720 140699434603691 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18315] ppid=18305 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18315/stat : 18315 (java) R 18305 18305 14626 0 -1 4202560 117 0 0 0 6 17 0 0 20 0 20 0 4898830 13587718144 134470 33554432000 4194304 4196468 140727398410640 140699033881432 140699434603691 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18316] ppid=18305 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18316/stat : 18316 (java) R 18305 18305 14626 0 -1 4202560 150 0 0 0 7 16 0 0 20 0 20 0 4898830 13587718144 134470 33554432000 4194304 4196468 140727398410640 140699032828632 140699434603691 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18317] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18317/stat : 18317 (java) S 18305 18305 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4898833 13587718144 134982 33554432000 4194304 4196468 140727398410640 140698971006112 140699441514197 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18318] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18318/stat : 18318 (java) S 18305 18305 14626 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4898833 13587718144 134982 33554432000 4194304 4196468 140727398410640 140698969953632 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18319] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18319/stat : 18319 (java) S 18305 18305 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4898834 13587718144 134982 33554432000 4194304 4196468 140727398410640 140698900752000 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18320] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18320/stat : 18320 (java) S 18305 18305 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4898838 13587718144 134982 33554432000 4194304 4196468 140727398410640 140698899700304 140699441522587 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18321] ppid=18305 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18321/stat : 18321 (java) S 18305 18305 14626 0 -1 1077944384 2224 0 0 0 65 0 0 0 20 0 20 0 4898838 13587718144 134982 33554432000 4194304 4196468 140727398410640 140698898647152 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18322] ppid=18305 vsize=13269256 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18322/stat : 18322 (java) S 18305 18305 14626 0 -1 1077944384 1498 0 0 0 51 0 0 0 20 0 20 0 4898838 13587718144 134982 33554432000 4194304 4196468 140727398410640 140698897594352 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18323] ppid=18305 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18323/stat : 18323 (java) S 18305 18305 14626 0 -1 1077944384 1588 0 0 0 57 1 0 0 20 0 20 0 4898838 13587718144 134982 33554432000 4194304 4196468 140727398410640 140698896542064 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18324] ppid=18305 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18324/stat : 18324 (java) S 18305 18305 14626 0 -1 1077944384 2125 0 0 0 43 0 0 0 20 0 20 0 4898838 13587718144 134982 33554432000 4194304 4196468 140727398410640 140698895489264 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18325] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18325/stat : 18325 (java) S 18305 18305 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4898838 13587718144 134982 33554432000 4194304 4196468 140727398410640 140698894437216 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18326] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18326/stat : 18326 (java) S 18305 18305 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4898838 13587718144 134982 33554432000 4194304 4196468 140727398410640 140698893384496 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 13278768

[startup+3.10083 s]
/proc/loadavg: 9.56 11.44 12.71 10/285 18326
/proc/meminfo: memFree=24662060/32770624 swapFree=5972/275024
[pid=18305] ppid=18302 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18305/stat : 18305 (xcsp3-exec) S 18302 18305 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4898829 9740288 346 33554432000 4194304 5098028 140733206700480 140733206698584 140191401566844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36319232 140733206705295 140733206705504 140733206705504 140733206708203 0
/proc/18305/statm: 2378 346 289 221 0 87 0
[pid=18306] ppid=18305 vsize=13269256 CPUtime=14.36 cores=1,3,5,7,9,11,13,15
/proc/18306/stat : 18306 (java) S 18305 18305 14626 0 -1 1077944320 36285 0 0 0 1025 411 0 0 20 0 20 0 4898829 13587718144 311131 33554432000 4194304 4196468 140727398410640 140727398393184 140699441503991 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
/proc/18306/statm: 3317314 311131 3251 1 0 3304547 0
[pid=18306/tid=18307] ppid=18305 vsize=13269256 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18307/stat : 18307 (java) S 18305 18305 14626 0 -1 1077944384 6892 0 0 0 164 9 0 0 20 0 20 0 4898829 13587718144 311131 33554432000 4194304 4196468 140727398410640 140699445740736 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18309] ppid=18305 vsize=13269256 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18309/stat : 18309 (java) R 18305 18305 14626 0 -1 4202560 1979 0 0 0 75 49 0 0 20 0 20 0 4898830 13587718144 311131 33554432000 4194304 4196468 140727398410640 140699373640792 140699434603691 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18310] ppid=18305 vsize=13269256 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18310/stat : 18310 (java) R 18305 18305 14626 0 -1 4202560 3075 0 0 0 77 49 0 0 20 0 20 0 4898830 13587718144 311131 33554432000 4194304 4196468 140727398410640 140699372587992 140699434600716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18311] ppid=18305 vsize=13269256 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18311/stat : 18311 (java) R 18305 18305 14626 0 -1 4202560 2996 0 0 0 76 50 0 0 20 0 20 0 4898830 13587718144 311131 33554432000 4194304 4196468 140727398410640 140699038092320 140699434600692 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18312] ppid=18305 vsize=13269256 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18312/stat : 18312 (java) R 18305 18305 14626 0 -1 4202560 2348 0 0 0 76 47 0 0 20 0 20 0 4898830 13587718144 311131 33554432000 4194304 4196468 140727398410640 140699037039832 140699434600692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18313] ppid=18305 vsize=13269256 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18313/stat : 18313 (java) R 18305 18305 14626 0 -1 4202560 2464 0 0 0 75 50 0 0 20 0 20 0 4898830 13587718144 311131 33554432000 4194304 4196468 140727398410640 140699035986520 140699426526112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18314] ppid=18305 vsize=13269256 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18314/stat : 18314 (java) R 18305 18305 14626 0 -1 4202560 2062 0 0 0 80 47 0 0 20 0 20 0 4898830 13587718144 311131 33554432000 4194304 4196468 140727398410640 140699034933720 140699434600692 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18315] ppid=18305 vsize=13269256 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18315/stat : 18315 (java) R 18305 18305 14626 0 -1 4202560 2508 0 0 0 78 50 0 0 20 0 20 0 4898830 13587718144 311131 33554432000 4194304 4196468 140727398410640 140699033881432 140699434603691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18316] ppid=18305 vsize=13269256 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18316/stat : 18316 (java) R 18305 18305 14626 0 -1 4202560 2114 0 0 0 79 50 0 0 20 0 20 0 4898830 13587718144 311131 33554432000 4194304 4196468 140727398410640 140699032828632 140699434600692 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18317] ppid=18305 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18317/stat : 18317 (java) S 18305 18305 14626 0 -1 1077944384 977 0 0 0 3 0 0 0 20 0 20 0 4898833 13587718144 311131 33554432000 4194304 4196468 140727398410640 140698971006112 140699441514197 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18318] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18318/stat : 18318 (java) S 18305 18305 14626 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4898833 13587718144 311131 33554432000 4194304 4196468 140727398410640 140698969953632 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18319] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18319/stat : 18319 (java) S 18305 18305 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4898834 13587718144 311131 33554432000 4194304 4196468 140727398410640 140698900752000 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18320] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18320/stat : 18320 (java) S 18305 18305 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4898838 13587718144 311131 33554432000 4194304 4196468 140727398410640 140698899700304 140699441522587 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18321] ppid=18305 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18321/stat : 18321 (java) S 18305 18305 14626 0 -1 1077944384 2243 0 0 0 74 0 0 0 20 0 20 0 4898838 13587718144 311131 33554432000 4194304 4196468 140727398410640 140698898647152 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18322] ppid=18305 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18322/stat : 18322 (java) S 18305 18305 14626 0 -1 1077944384 1514 0 0 0 54 0 0 0 20 0 20 0 4898838 13587718144 311131 33554432000 4194304 4196468 140727398410640 140698897594352 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18323] ppid=18305 vsize=13269256 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18323/stat : 18323 (java) S 18305 18305 14626 0 -1 1077944384 1601 0 0 0 61 1 0 0 20 0 20 0 4898838 13587718144 311643 33554432000 4194304 4196468 140727398410640 140698896542064 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18324] ppid=18305 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18324/stat : 18324 (java) S 18305 18305 14626 0 -1 1077944384 2221 0 0 0 49 0 0 0 20 0 20 0 4898838 13587718144 311643 33554432000 4194304 4196468 140727398410640 140698895489264 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18325] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18325/stat : 18325 (java) S 18305 18305 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4898838 13587718144 311643 33554432000 4194304 4196468 140727398410640 140698894437216 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18326] ppid=18305 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18326/stat : 18326 (java) S 18305 18305 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4898838 13587718144 311643 33554432000 4194304 4196468 140727398410640 140698893384496 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
Current children cumulated CPU time (s) 14.36
Current children cumulated vsize (KiB) 13278768

[startup+6.30146 s]
/proc/loadavg: 9.56 11.44 12.71 10/292 18334
/proc/meminfo: memFree=23856044/32770624 swapFree=5972/274908
[pid=18305] ppid=18302 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18305/stat : 18305 (xcsp3-exec) S 18302 18305 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4898829 9740288 346 33554432000 4194304 5098028 140733206700480 140733206698584 140191401566844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36319232 140733206705295 140733206705504 140733206705504 140733206708203 0
/proc/18305/statm: 2378 346 289 221 0 87 0
[pid=18306] ppid=18305 vsize=13801768 CPUtime=37.48 cores=1,3,5,7,9,11,13,15
/proc/18306/stat : 18306 (java) S 18305 18305 14626 0 -1 1077944320 46231 0 0 0 3113 635 0 0 20 0 28 0 4898829 14133010432 415304 33554432000 4194304 4196468 140727398410640 140727398393184 140699441503991 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
/proc/18306/statm: 3450442 415304 3262 1 0 3437675 0
[pid=18306/tid=18307] ppid=18305 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18307/stat : 18307 (java) S 18305 18305 14626 0 -1 1077944384 9332 0 0 0 195 9 0 0 20 0 28 0 4898829 14133010432 415304 33554432000 4194304 4196468 140727398410640 140699445744768 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18309] ppid=18305 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18309/stat : 18309 (java) S 18305 18305 14626 0 -1 1077944384 2262 0 0 0 124 75 0 0 20 0 28 0 4898830 14133010432 415304 33554432000 4194304 4196468 140727398410640 140699373640592 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18310] ppid=18305 vsize=13801768 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18310/stat : 18310 (java) S 18305 18305 14626 0 -1 1077944384 3267 0 0 0 126 77 0 0 20 0 28 0 4898830 14133010432 415304 33554432000 4194304 4196468 140727398410640 140699372587792 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18311] ppid=18305 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18311/stat : 18311 (java) S 18305 18305 14626 0 -1 1077944384 3239 0 0 0 126 78 0 0 20 0 28 0 4898830 14133010432 415304 33554432000 4194304 4196468 140727398410640 140699038092432 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18312] ppid=18305 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18312/stat : 18312 (java) S 18305 18305 14626 0 -1 1077944384 2610 0 0 0 125 76 0 0 20 0 28 0 4898830 14133010432 415304 33554432000 4194304 4196468 140727398410640 140699037039632 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18313] ppid=18305 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18313/stat : 18313 (java) S 18305 18305 14626 0 -1 1077944384 2705 0 0 0 128 76 0 0 20 0 28 0 4898830 14133010432 415304 33554432000 4194304 4196468 140727398410640 140699035986320 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18314] ppid=18305 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18314/stat : 18314 (java) S 18305 18305 14626 0 -1 1077944384 2302 0 0 0 130 75 0 0 20 0 28 0 4898830 14133010432 415304 33554432000 4194304 4196468 140727398410640 140699034933520 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18315] ppid=18305 vsize=13801768 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18315/stat : 18315 (java) S 18305 18305 14626 0 -1 1077944384 2778 0 0 0 128 79 0 0 20 0 28 0 4898830 14133010432 415304 33554432000 4194304 4196468 140727398410640 140699033881232 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18316] ppid=18305 vsize=13801768 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18316/stat : 18316 (java) S 18305 18305 14626 0 -1 1077944384 2370 0 0 0 129 79 0 0 20 0 28 0 4898830 14133010432 415304 33554432000 4194304 4196468 140727398410640 140699032828432 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18317] ppid=18305 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18317/stat : 18317 (java) S 18305 18305 14626 0 -1 1077944384 2286 0 0 0 4 0 0 0 20 0 28 0 4898833 14133010432 415304 33554432000 4194304 4196468 140727398410640 140698971007600 140699441515138 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18318] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18318/stat : 18318 (java) S 18305 18305 14626 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4898833 14133010432 415304 33554432000 4194304 4196468 140727398410640 140698969953632 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18319] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18319/stat : 18319 (java) S 18305 18305 14626 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4898834 14133010432 415304 33554432000 4194304 4196468 140727398410640 140698900752000 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18320] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18320/stat : 18320 (java) S 18305 18305 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4898838 14133010432 415304 33554432000 4194304 4196468 140727398410640 140698899700304 140699441522587 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0

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

/proc/18306/task/18318/stat : 18318 (java) S 18305 18305 14626 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4898833 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698969953632 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18319] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18319/stat : 18319 (java) S 18305 18305 14626 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4898834 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698900752000 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18320] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18320/stat : 18320 (java) S 18305 18305 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4898838 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698899700304 140699441522587 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18321] ppid=18305 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18321/stat : 18321 (java) S 18305 18305 14626 0 -1 1077944384 3012 0 0 0 85 0 0 0 20 0 28 0 4898838 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698898647152 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18322] ppid=18305 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18322/stat : 18322 (java) S 18305 18305 14626 0 -1 1077944384 2516 0 0 0 72 1 0 0 20 0 28 0 4898838 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698897594352 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18323] ppid=18305 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18323/stat : 18323 (java) S 18305 18305 14626 0 -1 1077944384 2520 0 0 0 72 1 0 0 20 0 28 0 4898838 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698896542064 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18324] ppid=18305 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18324/stat : 18324 (java) S 18305 18305 14626 0 -1 1077944384 2896 0 0 0 54 0 0 0 20 0 28 0 4898838 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698895489264 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18325] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18325/stat : 18325 (java) S 18305 18305 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4898838 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698894437216 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18326] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18326/stat : 18326 (java) S 18305 18305 14626 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 28 0 4898838 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698893384496 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18327] ppid=18305 vsize=13801768 CPUtime=5.98 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18327/stat : 18327 (java) R 18305 18305 14626 0 -1 4202560 583 0 0 0 598 0 0 0 20 0 28 0 4899251 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698885868856 140699057064797 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18328] ppid=18305 vsize=13801768 CPUtime=6.13 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18328/stat : 18328 (java) R 18305 18305 14626 0 -1 4202560 350 0 0 0 613 0 0 0 20 0 28 0 4899251 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698884817192 140699057064807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18329] ppid=18305 vsize=13801768 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18329/stat : 18329 (java) R 18305 18305 14626 0 -1 4202560 174 0 0 0 612 0 0 0 20 0 28 0 4899251 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698883763632 140699057064886 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18330] ppid=18305 vsize=13801768 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18330/stat : 18330 (java) R 18305 18305 14626 0 -1 4202560 235 0 0 0 615 0 0 0 20 0 28 0 4899251 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698882711080 140699057064777 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18331] ppid=18305 vsize=13801768 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18331/stat : 18331 (java) R 18305 18305 14626 0 -1 4202560 322 0 0 0 610 0 0 0 20 0 28 0 4899252 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698881658792 140699057064951 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18332] ppid=18305 vsize=13801768 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18332/stat : 18332 (java) R 18305 18305 14626 0 -1 4202560 172 0 0 0 610 0 0 0 20 0 28 0 4899252 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698880605880 140699057201625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18333] ppid=18305 vsize=13801768 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18333/stat : 18333 (java) R 18305 18305 14626 0 -1 4202560 289 0 0 0 602 0 0 0 20 0 28 0 4899252 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698879553704 140699057158619 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18334] ppid=18305 vsize=13801768 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18334/stat : 18334 (java) R 18305 18305 14626 0 -1 4202560 194 0 0 0 610 0 0 0 20 0 28 0 4899252 14133010432 415312 33554432000 4194304 4196468 140727398410640 140698878500792 140699057201530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
Current children cumulated CPU time (s) 70.14
Current children cumulated vsize (KiB) 13811280

[startup+11.2015 s]
/proc/loadavg: 9.51 11.40 12.69 19/300 18342
/proc/meminfo: memFree=23690920/32770624 swapFree=5972/274928
[pid=18305] ppid=18302 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18305/stat : 18305 (xcsp3-exec) S 18302 18305 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4898829 9740288 346 33554432000 4194304 5098028 140733206700480 140733206698584 140191401566844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36319232 140733206705295 140733206705504 140733206705504 140733206708203 0
/proc/18305/statm: 2378 346 289 221 0 87 0
[pid=18306] ppid=18305 vsize=13801768 CPUtime=76.5 cores=1,3,5,7,9,11,13,15
/proc/18306/stat : 18306 (java) S 18305 18305 14626 0 -1 1077944320 57149 0 0 0 7015 635 0 0 20 0 28 0 4898829 14133010432 415971 33554432000 4194304 4196468 140727398410640 140727398393184 140699441503991 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
/proc/18306/statm: 3450442 415971 3265 1 0 3437675 0
[pid=18306/tid=18307] ppid=18305 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18307/stat : 18307 (java) S 18305 18305 14626 0 -1 1077944384 9332 0 0 0 195 9 0 0 20 0 28 0 4898829 14133010432 415971 33554432000 4194304 4196468 140727398410640 140699445744768 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18309] ppid=18305 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18309/stat : 18309 (java) S 18305 18305 14626 0 -1 1077944384 2262 0 0 0 124 75 0 0 20 0 28 0 4898830 14133010432 415971 33554432000 4194304 4196468 140727398410640 140699373640592 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18310] ppid=18305 vsize=13801768 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18310/stat : 18310 (java) S 18305 18305 14626 0 -1 1077944384 3267 0 0 0 126 77 0 0 20 0 28 0 4898830 14133010432 415971 33554432000 4194304 4196468 140727398410640 140699372587792 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18311] ppid=18305 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18311/stat : 18311 (java) S 18305 18305 14626 0 -1 1077944384 3239 0 0 0 126 78 0 0 20 0 28 0 4898830 14133010432 415971 33554432000 4194304 4196468 140727398410640 140699038092432 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18312] ppid=18305 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18312/stat : 18312 (java) S 18305 18305 14626 0 -1 1077944384 2610 0 0 0 125 76 0 0 20 0 28 0 4898830 14133010432 415971 33554432000 4194304 4196468 140727398410640 140699037039632 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18313] ppid=18305 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18313/stat : 18313 (java) S 18305 18305 14626 0 -1 1077944384 2705 0 0 0 128 76 0 0 20 0 28 0 4898830 14133010432 415971 33554432000 4194304 4196468 140727398410640 140699035986320 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18314] ppid=18305 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18314/stat : 18314 (java) S 18305 18305 14626 0 -1 1077944384 2302 0 0 0 130 75 0 0 20 0 28 0 4898830 14133010432 415971 33554432000 4194304 4196468 140727398410640 140699034933520 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18315] ppid=18305 vsize=13801768 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18315/stat : 18315 (java) S 18305 18305 14626 0 -1 1077944384 2778 0 0 0 128 79 0 0 20 0 28 0 4898830 14133010432 415971 33554432000 4194304 4196468 140727398410640 140699033881232 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18316] ppid=18305 vsize=13801768 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18316/stat : 18316 (java) S 18305 18305 14626 0 -1 1077944384 2370 0 0 0 129 79 0 0 20 0 28 0 4898830 14133010432 415971 33554432000 4194304 4196468 140727398410640 140699032828432 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18317] ppid=18305 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18317/stat : 18317 (java) S 18305 18305 14626 0 -1 1077944384 2395 0 0 0 4 0 0 0 20 0 28 0 4898833 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698971007600 140699441515138 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18318] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18318/stat : 18318 (java) S 18305 18305 14626 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4898833 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698969953632 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18319] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18319/stat : 18319 (java) S 18305 18305 14626 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4898834 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698900752000 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18320] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18320/stat : 18320 (java) S 18305 18305 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4898838 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698899700304 140699441522587 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18321] ppid=18305 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18321/stat : 18321 (java) S 18305 18305 14626 0 -1 1077944384 5451 0 0 0 108 1 0 0 20 0 28 0 4898838 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698898647152 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18322] ppid=18305 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18322/stat : 18322 (java) S 18305 18305 14626 0 -1 1077944384 4527 0 0 0 87 1 0 0 20 0 28 0 4898838 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698897594352 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18323] ppid=18305 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18323/stat : 18323 (java) S 18305 18305 14626 0 -1 1077944384 3348 0 0 0 82 1 0 0 20 0 28 0 4898838 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698896542064 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18324] ppid=18305 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18324/stat : 18324 (java) S 18305 18305 14626 0 -1 1077944384 3493 0 0 0 56 1 0 0 20 0 28 0 4898838 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698895489264 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18325] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18325/stat : 18325 (java) S 18305 18305 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4898838 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698894437216 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18326] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18326/stat : 18326 (java) S 18305 18305 14626 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 28 0 4898838 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698893384496 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18327] ppid=18305 vsize=13801768 CPUtime=6.71 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18327/stat : 18327 (java) R 18305 18305 14626 0 -1 4202560 647 0 0 0 671 0 0 0 20 0 28 0 4899251 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698885868856 140699057431666 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18328] ppid=18305 vsize=13801768 CPUtime=6.91 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18328/stat : 18328 (java) R 18305 18305 14626 0 -1 4202560 1372 0 0 0 691 0 0 0 20 0 28 0 4899251 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698884818944 140699057431645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18329] ppid=18305 vsize=13801768 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18329/stat : 18329 (java) R 18305 18305 14626 0 -1 4202560 853 0 0 0 692 0 0 0 20 0 28 0 4899251 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698883764232 140699057431654 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18330] ppid=18305 vsize=13801768 CPUtime=6.89 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18330/stat : 18330 (java) R 18305 18305 14626 0 -1 4202560 1030 0 0 0 689 0 0 0 20 0 28 0 4899251 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698882713368 140699057423998 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18331] ppid=18305 vsize=13801768 CPUtime=6.77 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18331/stat : 18331 (java) R 18305 18305 14626 0 -1 4202560 484 0 0 0 677 0 0 0 20 0 28 0 4899252 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698881658792 140699057431682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18332] ppid=18305 vsize=13801768 CPUtime=6.79 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18332/stat : 18332 (java) R 18305 18305 14626 0 -1 4202560 316 0 0 0 679 0 0 0 20 0 28 0 4899252 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698880605720 140699057431723 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18333] ppid=18305 vsize=13801768 CPUtime=6.73 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18333/stat : 18333 (java) R 18305 18305 14626 0 -1 4202560 396 0 0 0 673 0 0 0 20 0 28 0 4899252 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698879554088 140699057431723 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18334] ppid=18305 vsize=13801768 CPUtime=6.85 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18334/stat : 18334 (java) R 18305 18305 14626 0 -1 4202560 313 0 0 0 685 0 0 0 20 0 28 0 4899252 14133010432 415971 33554432000 4194304 4196468 140727398410640 140698878502920 140699057431660 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
Current children cumulated CPU time (s) 76.5
Current children cumulated vsize (KiB) 13811280

[startup+11.6014 s]
/proc/loadavg: 9.51 11.40 12.69 19/300 18342
/proc/meminfo: memFree=23690920/32770624 swapFree=5972/274928
[pid=18305] ppid=18302 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18305/stat : 18305 (xcsp3-exec) S 18302 18305 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4898829 9740288 346 33554432000 4194304 5098028 140733206700480 140733206698584 140191401566844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36319232 140733206705295 140733206705504 140733206705504 140733206708203 0
/proc/18305/statm: 2378 346 289 221 0 87 0
[pid=18306] ppid=18305 vsize=13801768 CPUtime=78.7 cores=1,3,5,7,9,11,13,15
/proc/18306/stat : 18306 (java) S 18305 18305 14626 0 -1 1077944320 58016 0 0 0 7235 635 0 0 20 0 28 0 4898829 14133010432 415975 33554432000 4194304 4196468 140727398410640 140727398393184 140699441503991 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
/proc/18306/statm: 3450442 415975 3265 1 0 3437675 0
[pid=18306/tid=18307] ppid=18305 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18307/stat : 18307 (java) S 18305 18305 14626 0 -1 1077944384 9332 0 0 0 195 9 0 0 20 0 28 0 4898829 14133010432 415975 33554432000 4194304 4196468 140727398410640 140699445744768 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18309] ppid=18305 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18309/stat : 18309 (java) S 18305 18305 14626 0 -1 1077944384 2262 0 0 0 124 75 0 0 20 0 28 0 4898830 14133010432 415975 33554432000 4194304 4196468 140727398410640 140699373640592 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18310] ppid=18305 vsize=13801768 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18310/stat : 18310 (java) S 18305 18305 14626 0 -1 1077944384 3267 0 0 0 126 77 0 0 20 0 28 0 4898830 14133010432 415975 33554432000 4194304 4196468 140727398410640 140699372587792 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18311] ppid=18305 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18311/stat : 18311 (java) S 18305 18305 14626 0 -1 1077944384 3239 0 0 0 126 78 0 0 20 0 28 0 4898830 14133010432 415975 33554432000 4194304 4196468 140727398410640 140699038092432 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18312] ppid=18305 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18312/stat : 18312 (java) S 18305 18305 14626 0 -1 1077944384 2610 0 0 0 125 76 0 0 20 0 28 0 4898830 14133010432 415975 33554432000 4194304 4196468 140727398410640 140699037039632 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18313] ppid=18305 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18313/stat : 18313 (java) S 18305 18305 14626 0 -1 1077944384 2705 0 0 0 128 76 0 0 20 0 28 0 4898830 14133010432 415975 33554432000 4194304 4196468 140727398410640 140699035986320 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18314] ppid=18305 vsize=13801768 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18314/stat : 18314 (java) S 18305 18305 14626 0 -1 1077944384 2302 0 0 0 130 75 0 0 20 0 28 0 4898830 14133010432 415975 33554432000 4194304 4196468 140727398410640 140699034933520 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18315] ppid=18305 vsize=13801768 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18315/stat : 18315 (java) S 18305 18305 14626 0 -1 1077944384 2778 0 0 0 128 79 0 0 20 0 28 0 4898830 14133010432 415975 33554432000 4194304 4196468 140727398410640 140699033881232 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18316] ppid=18305 vsize=13801768 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18316/stat : 18316 (java) S 18305 18305 14626 0 -1 1077944384 2370 0 0 0 129 79 0 0 20 0 28 0 4898830 14133010432 415975 33554432000 4194304 4196468 140727398410640 140699032828432 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18317] ppid=18305 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18317/stat : 18317 (java) S 18305 18305 14626 0 -1 1077944384 2460 0 0 0 4 0 0 0 20 0 28 0 4898833 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698971007600 140699441515138 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18318] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18318/stat : 18318 (java) S 18305 18305 14626 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4898833 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698969953632 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18319] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18319/stat : 18319 (java) S 18305 18305 14626 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4898834 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698900752000 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18320] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18320/stat : 18320 (java) S 18305 18305 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4898838 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698899700304 140699441522587 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18321] ppid=18305 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18321/stat : 18321 (java) S 18305 18305 14626 0 -1 1077944384 5454 0 0 0 108 1 0 0 20 0 28 0 4898838 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698898647152 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18322] ppid=18305 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18322/stat : 18322 (java) S 18305 18305 14626 0 -1 1077944384 4728 0 0 0 91 1 0 0 20 0 28 0 4898838 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698897594352 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18323] ppid=18305 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18323/stat : 18323 (java) S 18305 18305 14626 0 -1 1077944384 3348 0 0 0 82 1 0 0 20 0 28 0 4898838 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698896542064 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18324] ppid=18305 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18324/stat : 18324 (java) S 18305 18305 14626 0 -1 1077944384 3611 0 0 0 57 1 0 0 20 0 28 0 4898838 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698895489264 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18325] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18325/stat : 18325 (java) S 18305 18305 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4898838 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698894437216 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18326] ppid=18305 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18326/stat : 18326 (java) S 18305 18305 14626 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 28 0 4898838 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698893384496 140699441515138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18327] ppid=18305 vsize=13801768 CPUtime=7.08 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18327/stat : 18327 (java) R 18305 18305 14626 0 -1 4202560 773 0 0 0 708 0 0 0 20 0 28 0 4899251 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698885868840 140699057431777 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18328] ppid=18305 vsize=13801768 CPUtime=7.12 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18328/stat : 18328 (java) S 18305 18305 14626 0 -1 1077944384 1394 0 0 0 712 0 0 0 20 0 28 0 4899251 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698884822480 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18329] ppid=18305 vsize=13801768 CPUtime=7.03 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18329/stat : 18329 (java) S 18305 18305 14626 0 -1 1077944384 956 0 0 0 703 0 0 0 20 0 28 0 4899251 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698883769168 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18330] ppid=18305 vsize=13801768 CPUtime=6.99 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18330/stat : 18330 (java) S 18305 18305 14626 0 -1 1077944384 1110 0 0 0 699 0 0 0 20 0 28 0 4899251 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698882716368 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18331] ppid=18305 vsize=13801768 CPUtime=7.12 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18331/stat : 18331 (java) S 18305 18305 14626 0 -1 1077944384 486 0 0 0 712 0 0 0 20 0 28 0 4899252 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698881664080 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18332] ppid=18305 vsize=13801768 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18332/stat : 18332 (java) S 18305 18305 14626 0 -1 1077944384 327 0 0 0 713 0 0 0 20 0 28 0 4899252 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698880611280 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18333] ppid=18305 vsize=13801768 CPUtime=7.06 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18333/stat : 18333 (java) S 18305 18305 14626 0 -1 1077944384 412 0 0 0 706 0 0 0 20 0 28 0 4899252 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698879558992 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
[pid=18306/tid=18334] ppid=18305 vsize=13801768 CPUtime=7.17 cores=1,3,5,7,9,11,13,15
/proc/18306/task/18334/stat : 18334 (java) S 18305 18305 14626 0 -1 1077944384 433 0 0 0 717 0 0 0 20 0 28 0 4899252 14133010432 415975 33554432000 4194304 4196468 140727398410640 140698878506192 140699441514197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140727398417596 140727398417772 140727398417772 140727398420431 0
Current children cumulated CPU time (s) 78.7
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 11.6408
CPU time (s): 78.7566
CPU user time (s): 72.38
CPU system time (s): 6.37664
CPU usage (%): 676.555
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.38
system time used= 6.37664
maximum resident set size= 1666296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4714
involuntary context switches= 5204

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.132126 second user time and 0.191319 second system time

The end

Launcher Data 

Begin job on node105 at 2017-07-22 06:04:53
IDJOB=4250026
IDBENCH=138763
IDSOLVER=2626
FILE ID=node105/4250026-1500696293
RUNJOBID= node105-1500682495-14658
PBS_JOBID= 20623326
Free space on /tmp= 62004 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-07.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-4250026-1500696293/watcher-4250026-1500696293 -o /tmp/evaluation-result-4250026-1500696293/solver-4250026-1500696293 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 696579834 HOME/instance-4250026-1500696293.xml

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

MD5SUM BENCH= 7f68b5f256bf6bd8019eb0158af88fa3
RANDOM SEED=696579834

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25510192 kB
MemAvailable:   25690412 kB
Buffers:          122016 kB
Cached:           338236 kB
SwapCached:            0 kB
Active:          6534032 kB
Inactive:         283452 kB
Active(anon):    6360084 kB
Inactive(anon):     8628 kB
Active(file):     173948 kB
Inactive(file):   274824 kB
Unevictable:        5972 kB
Mlocked:            6004 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8124 kB
Writeback:             0 kB
AnonPages:       6362652 kB
Mapped:            43156 kB
Shmem:              8852 kB
Slab:             128688 kB
SReclaimable:      94568 kB
SUnreclaim:        34120 kB
KernelStack:        4592 kB
PageTables:        17864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7851624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6115328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61996 MiB
End job on node105 at 2017-07-22 06:05:05