Trace number 4245494

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)SAT 375.006 243.279

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-124.xml
MD5SUM0b191f89e8c533aa19cec6ff372cdf5f
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 benchmark1.3578
Satisfiable
(Un)Satisfiability was proved
Number of variables248
Number of constraints132
Number of domains2
Minimum domain size124
Maximum domain size15376
Distribution of domain sizes[{"size":124,"count":124},{"size":15376,"count":124}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":124},{"degree":4,"count":123},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity124
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":124},{"arity":62,"count":6},{"arity":124,"count":1}]
Number of extensional constraints0
Number of intensional constraints125
Distribution of constraint types[{"type":"intension","count":125},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
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-4245494-1500685784.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4245494-1500685784.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
291.27/232.70	c solve instance...
374.76/243.24	s SATISFIABLE
374.76/243.24	v <instantiation>
374.76/243.24	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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] y[58] y[59] y[60] y[61] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cx[32] cx[33] cx[34] cx[35] cx[36] cx[37] cx[38] cx[39] cx[40] cx[41] cx[42] cx[43] cx[44] cx[45] cx[46] cx[47] cx[48] cx[49] cx[50] cx[51] cx[52] cx[53] cx[54] cx[55] cx[56] cx[57] cx[58] cx[59] cx[60] cx[61] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] cy[32] cy[33] cy[34] cy[35] cy[36] cy[37] cy[38] cy[39] cy[40] cy[41] cy[42] cy[43] cy[44] cy[45] cy[46] cy[47] cy[48] cy[49] cy[50] cy[51] cy[52] cy[53] cy[54] cy[55] cy[56] cy[57] cy[58] cy[59] cy[60] cy[61] </list>
374.76/243.24	v 	<values>1 3 4 5 6 7 9 10 12 13 14 20 23 27 28 31 44 49 50 51 52 53 54 55 56 57 59 61 62 63 64 65 66 67 68 69 70 71 72 73 74 76 77 78 79 81 91 96 98 99 104 105 106 108 109 113 114 117 120 121 122 123 2 8 11 15 16 17 18 19 21 22 24 25 26 29 30 32 33 34 35 36 37 38 39 40 41 42 43 45 46 47 48 58 60 75 80 82 83 84 85 86 87 88 89 90 92 93 94 95 97 100 101 102 103 107 110 111 112 115 116 118 119 124 1 9 16 25 36 49 81 100 144 169 196 400 529 729 784 961 1936 2401 2500 2601 2704 2809 2916 3025 3136 3249 3481 3721 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 5329 5476 5776 5929 6084 6241 6561 8281 9216 9604 9801 10816 11025 11236 11664 11881 12769 12996 13689 14400 14641 14884 15129 4 64 121 225 256 289 324 361 441 484 576 625 676 841 900 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 2025 2116 2209 2304 3364 3600 5625 6400 6724 6889 7056 7225 7396 7569 7744 7921 8100 8464 8649 8836 9025 9409 10000 10201 10404 10609 11449 12100 12321 12544 13225 13456 13924 14161 15376 </values>
374.76/243.24	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-4245494-1500685784/watcher-4245494-1500685784 -o /tmp/evaluation-result-4245494-1500685784/solver-4245494-1500685784 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 975563429 HOME/instance-4245494-1500685784.xml 

pid=23481
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: 12.01 14.22 12.94 11/271 23484
/proc/meminfo: memFree=31251956/32770624 swapFree=5892/112628
[pid=23484] ppid=23481 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23484/stat : 23484 (xcsp3-exec) S 23481 23484 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3848112 9740288 346 33554432000 4194304 5098028 140735956915376 140735956913480 140678985732732 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 35688448 140735956919439 140735956919648 140735956919648 140735956922347 0
/proc/23484/statm: 2378 346 289 221 0 87 0

[startup+0.100102 s]
/proc/loadavg: 12.01 14.22 12.94 11/271 23484
/proc/meminfo: memFree=31251956/32770624 swapFree=5892/112628
[pid=23484] ppid=23481 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23484/stat : 23484 (xcsp3-exec) S 23481 23484 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3848112 9740288 346 33554432000 4194304 5098028 140735956915376 140735956913480 140678985732732 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 35688448 140735956919439 140735956919648 140735956919648 140735956922347 0
/proc/23484/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200312 s]
/proc/loadavg: 12.01 14.22 12.94 11/271 23484
/proc/meminfo: memFree=31251956/32770624 swapFree=5892/112628
[pid=23484] ppid=23481 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23484/stat : 23484 (xcsp3-exec) S 23481 23484 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3848112 9740288 346 33554432000 4194304 5098028 140735956915376 140735956913480 140678985732732 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 35688448 140735956919439 140735956919648 140735956919648 140735956922347 0
/proc/23484/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300285 s]
/proc/loadavg: 12.01 14.22 12.94 11/271 23484
/proc/meminfo: memFree=31251956/32770624 swapFree=5892/112628
[pid=23484] ppid=23481 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23484/stat : 23484 (xcsp3-exec) S 23481 23484 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3848112 9740288 346 33554432000 4194304 5098028 140735956915376 140735956913480 140678985732732 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 35688448 140735956919439 140735956919648 140735956919648 140735956922347 0
/proc/23484/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700282 s]
/proc/loadavg: 12.01 14.22 12.94 11/271 23484
/proc/meminfo: memFree=31251956/32770624 swapFree=5892/112628
[pid=23484] ppid=23481 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23484/stat : 23484 (xcsp3-exec) S 23481 23484 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3848112 9740288 346 33554432000 4194304 5098028 140735956915376 140735956913480 140678985732732 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 35688448 140735956919439 140735956919648 140735956919648 140735956922347 0
/proc/23484/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50084 s]
/proc/loadavg: 12.01 14.22 12.94 18/292 23505
/proc/meminfo: memFree=30940776/32770624 swapFree=5892/112684
[pid=23484] ppid=23481 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23484/stat : 23484 (xcsp3-exec) S 23481 23484 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3848112 9740288 346 33554432000 4194304 5098028 140735956915376 140735956913480 140678985732732 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 35688448 140735956919439 140735956919648 140735956919648 140735956922347 0
/proc/23484/statm: 2378 346 289 221 0 87 0
[pid=23485] ppid=23484 vsize=13269256 CPUtime=2.34 cores=1,3,5,7,9,11,13,15
/proc/23485/stat : 23485 (java) S 23484 23484 15667 0 -1 1077944320 12234 0 0 0 210 24 0 0 20 0 20 0 3848112 13587718144 143510 33554432000 4194304 4196468 140734048660032 140734048642576 140406367756023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
/proc/23485/statm: 3317314 143510 3220 1 0 3304547 0
[pid=23485/tid=23486] ppid=23484 vsize=13269256 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23486/stat : 23486 (java) R 23484 23484 15667 0 -1 4202560 6974 0 0 0 132 11 0 0 20 0 20 0 3848112 13587718144 143510 33554432000 4194304 4196468 140734048660032 140406371994096 140405990509932 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23488] ppid=23484 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23488/stat : 23488 (java) S 23484 23484 15667 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 3848113 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405966854672 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23489] ppid=23484 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23489/stat : 23489 (java) S 23484 23484 15667 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 20 0 3848113 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405965802128 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23490] ppid=23484 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23490/stat : 23490 (java) S 23484 23484 15667 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 3848113 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405964749072 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23491] ppid=23484 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23491/stat : 23491 (java) S 23484 23484 15667 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 20 0 3848113 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405963696528 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23492] ppid=23484 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23492/stat : 23492 (java) S 23484 23484 15667 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 3848113 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405962644496 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23493] ppid=23484 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23493/stat : 23493 (java) S 23484 23484 15667 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 3848113 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405961591952 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23494] ppid=23484 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23494/stat : 23494 (java) S 23484 23484 15667 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 20 0 3848113 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405960538896 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23495] ppid=23484 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23495/stat : 23495 (java) S 23484 23484 15667 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 3848113 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405959486352 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23496] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23496/stat : 23496 (java) S 23484 23484 15667 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 20 0 3848116 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405695809776 140406367767170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23497] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23497/stat : 23497 (java) S 23484 23484 15667 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3848116 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405694756064 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23498] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23498/stat : 23498 (java) S 23484 23484 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3848117 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405693702912 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23499] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23499/stat : 23499 (java) S 23484 23484 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3848120 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405692651472 140406367774619 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23500] ppid=23484 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23500/stat : 23500 (java) S 23484 23484 15667 0 -1 1077944384 715 0 0 0 15 0 0 0 20 0 20 0 3848121 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405691599600 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23501] ppid=23484 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23501/stat : 23501 (java) S 23484 23484 15667 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 3848121 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405690547056 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23502] ppid=23484 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23502/stat : 23502 (java) S 23484 23484 15667 0 -1 1077944384 562 0 0 0 13 0 0 0 20 0 20 0 3848121 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405689494000 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23503] ppid=23484 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23503/stat : 23503 (java) S 23484 23484 15667 0 -1 1077944384 1230 0 0 0 25 0 0 0 20 0 20 0 3848121 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405688441456 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23504] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23504/stat : 23504 (java) S 23484 23484 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3848121 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405687388640 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23505] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23505/stat : 23505 (java) S 23484 23484 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3848121 13587718144 143510 33554432000 4194304 4196468 140734048660032 140405686336176 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 13278768

[startup+3.10096 s]
/proc/loadavg: 11.77 14.13 12.92 10/292 23505
/proc/meminfo: memFree=30094948/32770624 swapFree=5892/112684
[pid=23484] ppid=23481 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23484/stat : 23484 (xcsp3-exec) S 23481 23484 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3848112 9740288 346 33554432000 4194304 5098028 140735956915376 140735956913480 140678985732732 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 35688448 140735956919439 140735956919648 140735956919648 140735956922347 0
/proc/23484/statm: 2378 346 289 221 0 87 0
[pid=23485] ppid=23484 vsize=13269256 CPUtime=4.13 cores=1,3,5,7,9,11,13,15
/proc/23485/stat : 23485 (java) S 23484 23484 15667 0 -1 1077944320 13635 0 0 0 373 40 0 0 20 0 20 0 3848112 13587718144 275584 33554432000 4194304 4196468 140734048660032 140734048642576 140406367756023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
/proc/23485/statm: 3317314 275584 3220 1 0 3304547 0
[pid=23485/tid=23486] ppid=23484 vsize=13269256 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23486/stat : 23486 (java) R 23484 23484 15667 0 -1 4202560 7845 0 0 0 283 18 0 0 20 0 20 0 3848112 13587718144 275584 33554432000 4194304 4196468 140734048660032 140406371993672 140405990453240 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23488] ppid=23484 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23488/stat : 23488 (java) S 23484 23484 15667 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 20 0 3848113 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405966854672 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23489] ppid=23484 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23489/stat : 23489 (java) S 23484 23484 15667 0 -1 1077944384 39 0 0 0 1 2 0 0 20 0 20 0 3848113 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405965802128 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23490] ppid=23484 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23490/stat : 23490 (java) S 23484 23484 15667 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 20 0 3848113 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405964749072 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23491] ppid=23484 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23491/stat : 23491 (java) S 23484 23484 15667 0 -1 1077944384 33 0 0 0 1 3 0 0 20 0 20 0 3848113 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405963696528 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23492] ppid=23484 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23492/stat : 23492 (java) S 23484 23484 15667 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 20 0 3848113 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405962644496 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23493] ppid=23484 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23493/stat : 23493 (java) S 23484 23484 15667 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 20 0 3848113 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405961591952 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23494] ppid=23484 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23494/stat : 23494 (java) S 23484 23484 15667 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 20 0 3848113 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405960538896 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23495] ppid=23484 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23495/stat : 23495 (java) S 23484 23484 15667 0 -1 1077944384 30 0 0 0 1 2 0 0 20 0 20 0 3848113 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405959486352 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23496] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23496/stat : 23496 (java) S 23484 23484 15667 0 -1 1077944384 750 0 0 0 0 0 0 0 20 0 20 0 3848116 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405695809776 140406367767170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23497] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23497/stat : 23497 (java) S 23484 23484 15667 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3848116 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405694756064 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23498] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23498/stat : 23498 (java) S 23484 23484 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3848117 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405693702912 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23499] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23499/stat : 23499 (java) S 23484 23484 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3848120 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405692651472 140406367774619 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23500] ppid=23484 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23500/stat : 23500 (java) S 23484 23484 15667 0 -1 1077944384 718 0 0 0 15 0 0 0 20 0 20 0 3848121 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405691599600 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23501] ppid=23484 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23501/stat : 23501 (java) S 23484 23484 15667 0 -1 1077944384 913 0 0 0 15 0 0 0 20 0 20 0 3848121 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405690547056 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23502] ppid=23484 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23502/stat : 23502 (java) S 23484 23484 15667 0 -1 1077944384 600 0 0 0 15 0 0 0 20 0 20 0 3848121 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405689494000 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23503] ppid=23484 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23503/stat : 23503 (java) S 23484 23484 15667 0 -1 1077944384 1248 0 0 0 26 0 0 0 20 0 20 0 3848121 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405688441456 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23504] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23504/stat : 23504 (java) S 23484 23484 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3848121 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405687388640 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23505] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23505/stat : 23505 (java) S 23484 23484 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3848121 13587718144 275584 33554432000 4194304 4196468 140734048660032 140405686336176 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 13278768

[startup+6.30093 s]
/proc/loadavg: 11.77 14.13 12.92 3/284 23598
/proc/meminfo: memFree=28899104/32770624 swapFree=5892/112720
[pid=23484] ppid=23481 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23484/stat : 23484 (xcsp3-exec) S 23481 23484 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3848112 9740288 346 33554432000 4194304 5098028 140735956915376 140735956913480 140678985732732 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 35688448 140735956919439 140735956919648 140735956919648 140735956922347 0
/proc/23484/statm: 2378 346 289 221 0 87 0
[pid=23485] ppid=23484 vsize=13269256 CPUtime=7.49 cores=1,3,5,7,9,11,13,15
/proc/23485/stat : 23485 (java) S 23484 23484 15667 0 -1 1077944320 18930 0 0 0 677 72 0 0 20 0 20 0 3848112 13587718144 681042 33554432000 4194304 4196468 140734048660032 140734048642576 140406367756023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
/proc/23485/statm: 3317314 681042 3227 1 0 3304547 0
[pid=23485/tid=23486] ppid=23484 vsize=13269256 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23486/stat : 23486 (java) R 23484 23484 15667 0 -1 4202560 10757 0 0 0 576 41 0 0 20 0 20 0 3848112 13587718144 681042 33554432000 4194304 4196468 140734048660032 140406371993928 140405990454057 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23488] ppid=23484 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23488/stat : 23488 (java) S 23484 23484 15667 0 -1 1077944384 74 0 0 0 2 4 0 0 20 0 20 0 3848113 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405966854672 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23489] ppid=23484 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23489/stat : 23489 (java) S 23484 23484 15667 0 -1 1077944384 66 0 0 0 2 4 0 0 20 0 20 0 3848113 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405965802128 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23490] ppid=23484 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23490/stat : 23490 (java) S 23484 23484 15667 0 -1 1077944384 52 0 0 0 2 2 0 0 20 0 20 0 3848113 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405964749072 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23491] ppid=23484 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23491/stat : 23491 (java) S 23484 23484 15667 0 -1 1077944384 47 0 0 0 2 4 0 0 20 0 20 0 3848113 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405963696528 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23492] ppid=23484 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23492/stat : 23492 (java) S 23484 23484 15667 0 -1 1077944384 66 0 0 0 3 2 0 0 20 0 20 0 3848113 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405962644496 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23493] ppid=23484 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23493/stat : 23493 (java) S 23484 23484 15667 0 -1 1077944384 56 0 0 0 3 3 0 0 20 0 20 0 3848113 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405961591952 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23494] ppid=23484 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23494/stat : 23494 (java) S 23484 23484 15667 0 -1 1077944384 37 0 0 0 2 3 0 0 20 0 20 0 3848113 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405960538896 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23495] ppid=23484 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23495/stat : 23495 (java) S 23484 23484 15667 0 -1 1077944384 310 0 0 0 3 3 0 0 20 0 20 0 3848113 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405959486352 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23496] ppid=23484 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23496/stat : 23496 (java) S 23484 23484 15667 0 -1 1077944384 1829 0 0 0 1 0 0 0 20 0 20 0 3848116 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405695809776 140406367767170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23497] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23497/stat : 23497 (java) S 23484 23484 15667 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3848116 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405694756064 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23498] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23498/stat : 23498 (java) S 23484 23484 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3848117 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405693702912 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23499] ppid=23484 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23499/stat : 23499 (java) S 23484 23484 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3848120 13587718144 681042 33554432000 4194304 4196468 140734048660032 140405692651472 140406367774619 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0

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

/proc/23485/task/23497/stat : 23497 (java) S 23484 23484 15667 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 3848116 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405694756064 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23498] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23498/stat : 23498 (java) S 23484 23484 15667 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 3848117 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405693702912 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23499] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23499/stat : 23499 (java) S 23484 23484 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3848120 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405692651472 140406367774619 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23500] ppid=23484 vsize=13801768 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23500/stat : 23500 (java) R 23484 23484 15667 0 -1 1077944384 7482 0 0 0 237 2 0 0 20 0 28 0 3848121 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405691599600 140406367767170 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23501] ppid=23484 vsize=13801768 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23501/stat : 23501 (java) R 23484 23484 15667 0 -1 4202560 7134 0 0 0 216 1 0 0 20 0 28 0 3848121 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405690547056 140406345350880 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23502] ppid=23484 vsize=13801768 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23502/stat : 23502 (java) S 23484 23484 15667 0 -1 1077944384 5628 0 0 0 240 2 0 0 20 0 28 0 3848121 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405689494000 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23503] ppid=23484 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23503/stat : 23503 (java) S 23484 23484 15667 0 -1 1077944384 12927 0 0 0 99 3 0 0 20 0 28 0 3848121 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405688441456 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23504] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23504/stat : 23504 (java) S 23484 23484 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3848121 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405687388640 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23505] ppid=23484 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23505/stat : 23505 (java) S 23484 23484 15667 0 -1 1077944384 625 0 0 0 7 8 0 0 20 0 28 0 3848121 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405686336176 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24079] ppid=23484 vsize=13801768 CPUtime=8.75 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24079/stat : 24079 (java) R 23484 23484 15667 0 -1 4202560 338 0 0 0 875 0 0 0 20 0 28 0 3871383 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405678320728 140405993608001 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24080] ppid=23484 vsize=13801768 CPUtime=8.86 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24080/stat : 24080 (java) R 23484 23484 15667 0 -1 4202560 1010 0 0 0 886 0 0 0 20 0 28 0 3871383 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405677269272 140405993842051 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24081] ppid=23484 vsize=13801768 CPUtime=8.6 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24081/stat : 24081 (java) R 23484 23484 15667 0 -1 4202560 1050 0 0 0 860 0 0 0 20 0 28 0 3871383 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405676217064 140405993045669 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24082] ppid=23484 vsize=13801768 CPUtime=8.62 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24082/stat : 24082 (java) R 23484 23484 15667 0 -1 4202560 529 0 0 0 862 0 0 0 20 0 28 0 3871383 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405675164024 140405993607765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24083] ppid=23484 vsize=13801768 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24083/stat : 24083 (java) R 23484 23484 15667 0 -1 4202560 369 0 0 0 867 0 0 0 20 0 28 0 3871383 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405674110864 140405993608148 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24084] ppid=23484 vsize=13801768 CPUtime=8.81 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24084/stat : 24084 (java) R 23484 23484 15667 0 -1 4202560 1440 0 0 0 881 0 0 0 20 0 28 0 3871383 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405673059160 140405993607859 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24085] ppid=23484 vsize=13801768 CPUtime=9.21 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24085/stat : 24085 (java) R 23484 23484 15667 0 -1 4202560 926 0 0 0 921 0 0 0 20 0 28 0 3871383 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405672005416 140405993045669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24086] ppid=23484 vsize=13801768 CPUtime=9.12 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24086/stat : 24086 (java) R 23484 23484 15667 0 -1 4202560 250 0 0 0 912 0 0 0 20 0 28 0 3871383 14133010432 1151966 33554432000 4194304 4196468 140734048660032 140405670952888 140405994753931 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
Current children cumulated CPU time (s) 368.31
Current children cumulated vsize (KiB) 13811280

[startup+242.801 s]
/proc/loadavg: 9.84 10.69 11.68 17/302 24086
/proc/meminfo: memFree=18251672/32770624 swapFree=5892/113144
[pid=23484] ppid=23481 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23484/stat : 23484 (xcsp3-exec) S 23481 23484 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3848112 9740288 346 33554432000 4194304 5098028 140735956915376 140735956913480 140678985732732 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 35688448 140735956919439 140735956919648 140735956919648 140735956922347 0
/proc/23484/statm: 2378 346 289 221 0 87 0
[pid=23485] ppid=23484 vsize=13801768 CPUtime=371.49 cores=1,3,5,7,9,11,13,15
/proc/23485/stat : 23485 (java) S 23484 23484 15667 0 -1 1077944320 103080 0 0 0 36694 455 0 0 20 0 28 0 3848112 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140734048642576 140406367756023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
/proc/23485/statm: 3450442 1152051 3293 1 0 3437675 0
[pid=23485/tid=23486] ppid=23484 vsize=13801768 CPUtime=223.59 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23486/stat : 23486 (java) S 23484 23484 15667 0 -1 1077944384 34548 0 0 0 22301 58 0 0 20 0 28 0 3848112 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140406371996800 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23488] ppid=23484 vsize=13801768 CPUtime=8.17 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23488/stat : 23488 (java) S 23484 23484 15667 0 -1 1077944384 2098 0 0 0 772 45 0 0 20 0 28 0 3848113 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405966854672 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23489] ppid=23484 vsize=13801768 CPUtime=8.17 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23489/stat : 23489 (java) S 23484 23484 15667 0 -1 1077944384 3119 0 0 0 771 46 0 0 20 0 28 0 3848113 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405965802128 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23490] ppid=23484 vsize=13801768 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23490/stat : 23490 (java) S 23484 23484 15667 0 -1 1077944384 2191 0 0 0 761 46 0 0 20 0 28 0 3848113 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405964749072 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23491] ppid=23484 vsize=13801768 CPUtime=8.16 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23491/stat : 23491 (java) S 23484 23484 15667 0 -1 1077944384 2900 0 0 0 770 46 0 0 20 0 28 0 3848113 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405963696528 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23492] ppid=23484 vsize=13801768 CPUtime=8.22 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23492/stat : 23492 (java) S 23484 23484 15667 0 -1 1077944384 2387 0 0 0 776 46 0 0 20 0 28 0 3848113 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405962644496 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23493] ppid=23484 vsize=13801768 CPUtime=8.21 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23493/stat : 23493 (java) S 23484 23484 15667 0 -1 1077944384 1593 0 0 0 774 47 0 0 20 0 28 0 3848113 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405961591952 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23494] ppid=23484 vsize=13801768 CPUtime=8.15 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23494/stat : 23494 (java) S 23484 23484 15667 0 -1 1077944384 2198 0 0 0 766 49 0 0 20 0 28 0 3848113 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405960538896 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23495] ppid=23484 vsize=13801768 CPUtime=8.18 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23495/stat : 23495 (java) S 23484 23484 15667 0 -1 1077944384 3810 0 0 0 773 45 0 0 20 0 28 0 3848113 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405959486352 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23496] ppid=23484 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23496/stat : 23496 (java) S 23484 23484 15667 0 -1 1077944384 6764 0 0 0 36 4 0 0 20 0 28 0 3848116 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405695809776 140406367767170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23497] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23497/stat : 23497 (java) S 23484 23484 15667 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 3848116 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405694756064 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23498] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23498/stat : 23498 (java) S 23484 23484 15667 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 3848117 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405693702912 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23499] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23499/stat : 23499 (java) S 23484 23484 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3848120 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405692651472 140406367774619 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23500] ppid=23484 vsize=13801768 CPUtime=2.48 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23500/stat : 23500 (java) S 23484 23484 15667 0 -1 1077944384 7495 0 0 0 246 2 0 0 20 0 28 0 3848121 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405691599600 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23501] ppid=23484 vsize=13801768 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23501/stat : 23501 (java) S 23484 23484 15667 0 -1 1077944384 7159 0 0 0 230 1 0 0 20 0 28 0 3848121 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405690547056 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23502] ppid=23484 vsize=13801768 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23502/stat : 23502 (java) R 23484 23484 15667 0 -1 4202560 5707 0 0 0 248 2 0 0 20 0 28 0 3848121 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405689494296 140406351250424 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23503] ppid=23484 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23503/stat : 23503 (java) S 23484 23484 15667 0 -1 1077944384 12941 0 0 0 101 3 0 0 20 0 28 0 3848121 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405688441456 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23504] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23504/stat : 23504 (java) S 23484 23484 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3848121 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405687388640 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23505] ppid=23484 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23505/stat : 23505 (java) S 23484 23484 15667 0 -1 1077944384 625 0 0 0 7 8 0 0 20 0 28 0 3848121 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405686336176 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24079] ppid=23484 vsize=13801768 CPUtime=9.15 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24079/stat : 24079 (java) R 23484 23484 15667 0 -1 4202560 342 0 0 0 915 0 0 0 20 0 28 0 3871383 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405678320696 140405996134191 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24080] ppid=23484 vsize=13801768 CPUtime=9.17 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24080/stat : 24080 (java) R 23484 23484 15667 0 -1 4202560 1026 0 0 0 917 0 0 0 20 0 28 0 3871383 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405677271392 140405996133803 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24081] ppid=23484 vsize=13801768 CPUtime=8.94 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24081/stat : 24081 (java) R 23484 23484 15667 0 -1 4202560 1182 0 0 0 894 0 0 0 20 0 28 0 3871383 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405676215832 140405996134286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24082] ppid=23484 vsize=13801768 CPUtime=8.98 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24082/stat : 24082 (java) R 23484 23484 15667 0 -1 4202560 548 0 0 0 898 0 0 0 20 0 28 0 3871383 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405675164264 140405994854320 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24083] ppid=23484 vsize=13801768 CPUtime=9.03 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24083/stat : 24083 (java) R 23484 23484 15667 0 -1 4202560 380 0 0 0 903 0 0 0 20 0 28 0 3871383 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405674111880 140405994156868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24084] ppid=23484 vsize=13801768 CPUtime=9.2 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24084/stat : 24084 (java) R 23484 23484 15667 0 -1 4202560 1445 0 0 0 920 0 0 0 20 0 28 0 3871383 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405673058000 140405996134543 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24085] ppid=23484 vsize=13801768 CPUtime=9.55 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24085/stat : 24085 (java) R 23484 23484 15667 0 -1 4202560 938 0 0 0 955 0 0 0 20 0 28 0 3871383 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405672005480 140405996134191 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24086] ppid=23484 vsize=13801768 CPUtime=9.47 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24086/stat : 24086 (java) R 23484 23484 15667 0 -1 4202560 279 0 0 0 947 0 0 0 20 0 28 0 3871383 14133010432 1152051 33554432000 4194304 4196468 140734048660032 140405670952936 140405996134286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
Current children cumulated CPU time (s) 371.49
Current children cumulated vsize (KiB) 13811280

[startup+243.215 s]
/proc/loadavg: 9.84 10.69 11.68 17/302 24086
/proc/meminfo: memFree=18244908/32770624 swapFree=5892/113144
[pid=23484] ppid=23481 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23484/stat : 23484 (xcsp3-exec) S 23481 23484 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3848112 9740288 346 33554432000 4194304 5098028 140735956915376 140735956913480 140678985732732 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 35688448 140735956919439 140735956919648 140735956919648 140735956922347 0
/proc/23484/statm: 2378 346 289 221 0 87 0
[pid=23485] ppid=23484 vsize=13801768 CPUtime=374.76 cores=1,3,5,7,9,11,13,15
/proc/23485/stat : 23485 (java) S 23484 23484 15667 0 -1 1077944320 105745 0 0 0 37021 455 0 0 20 0 28 0 3848112 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140734048642576 140406367756023 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
/proc/23485/statm: 3450442 1152118 3293 1 0 3437675 0
[pid=23485/tid=23486] ppid=23484 vsize=13801768 CPUtime=223.59 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23486/stat : 23486 (java) S 23484 23484 15667 0 -1 1077944384 34548 0 0 0 22301 58 0 0 20 0 28 0 3848112 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140406371996800 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23488] ppid=23484 vsize=13801768 CPUtime=8.17 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23488/stat : 23488 (java) S 23484 23484 15667 0 -1 1077944384 2098 0 0 0 772 45 0 0 20 0 28 0 3848113 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405966854672 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23489] ppid=23484 vsize=13801768 CPUtime=8.17 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23489/stat : 23489 (java) S 23484 23484 15667 0 -1 1077944384 3119 0 0 0 771 46 0 0 20 0 28 0 3848113 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405965802128 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23490] ppid=23484 vsize=13801768 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23490/stat : 23490 (java) S 23484 23484 15667 0 -1 1077944384 2191 0 0 0 761 46 0 0 20 0 28 0 3848113 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405964749072 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23491] ppid=23484 vsize=13801768 CPUtime=8.16 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23491/stat : 23491 (java) S 23484 23484 15667 0 -1 1077944384 2900 0 0 0 770 46 0 0 20 0 28 0 3848113 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405963696528 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23492] ppid=23484 vsize=13801768 CPUtime=8.22 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23492/stat : 23492 (java) S 23484 23484 15667 0 -1 1077944384 2387 0 0 0 776 46 0 0 20 0 28 0 3848113 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405962644496 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23493] ppid=23484 vsize=13801768 CPUtime=8.21 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23493/stat : 23493 (java) S 23484 23484 15667 0 -1 1077944384 1593 0 0 0 774 47 0 0 20 0 28 0 3848113 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405961591952 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23494] ppid=23484 vsize=13801768 CPUtime=8.15 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23494/stat : 23494 (java) S 23484 23484 15667 0 -1 1077944384 2198 0 0 0 766 49 0 0 20 0 28 0 3848113 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405960538896 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23495] ppid=23484 vsize=13801768 CPUtime=8.18 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23495/stat : 23495 (java) S 23484 23484 15667 0 -1 1077944384 3810 0 0 0 773 45 0 0 20 0 28 0 3848113 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405959486352 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23496] ppid=23484 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23496/stat : 23496 (java) S 23484 23484 15667 0 -1 1077944384 6845 0 0 0 36 4 0 0 20 0 28 0 3848116 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405695809776 140406367767170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23497] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23497/stat : 23497 (java) S 23484 23484 15667 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 3848116 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405694756064 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23498] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23498/stat : 23498 (java) S 23484 23484 15667 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 3848117 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405693702912 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23499] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23499/stat : 23499 (java) S 23484 23484 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3848120 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405692651472 140406367774619 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23500] ppid=23484 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23500/stat : 23500 (java) R 23484 23484 15667 0 -1 4202560 8300 0 0 0 252 2 0 0 20 0 28 0 3848121 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405691599896 140406359997465 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23501] ppid=23484 vsize=13801768 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23501/stat : 23501 (java) S 23484 23484 15667 0 -1 1077944384 7658 0 0 0 234 1 0 0 20 0 28 0 3848121 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405690547056 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23502] ppid=23484 vsize=13801768 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23502/stat : 23502 (java) S 23484 23484 15667 0 -1 1077944384 6087 0 0 0 253 2 0 0 20 0 28 0 3848121 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405689494000 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23503] ppid=23484 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23503/stat : 23503 (java) S 23484 23484 15667 0 -1 1077944384 13049 0 0 0 103 3 0 0 20 0 28 0 3848121 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405688441456 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23504] ppid=23484 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23504/stat : 23504 (java) S 23484 23484 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3848121 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405687388640 140406367766229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=23505] ppid=23484 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23485/task/23505/stat : 23505 (java) S 23484 23484 15667 0 -1 1077944384 635 0 0 0 7 8 0 0 20 0 28 0 3848121 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405686336176 140406367767170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24079] ppid=23484 vsize=13801768 CPUtime=9.56 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24079/stat : 24079 (java) R 23484 23484 15667 0 -1 1077944384 451 0 0 0 956 0 0 0 20 0 28 0 3871383 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405678319872 140406367766229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24080] ppid=23484 vsize=13801768 CPUtime=9.58 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24080/stat : 24080 (java) R 23484 23484 15667 0 -1 4202560 1068 0 0 0 958 0 0 0 20 0 28 0 3871383 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405677268368 140405996134309 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24081] ppid=23484 vsize=13801768 CPUtime=9.35 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24081/stat : 24081 (java) R 23484 23484 15667 0 -1 4202560 1372 0 0 0 935 0 0 0 20 0 28 0 3871383 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405676216416 140405996134191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24082] ppid=23484 vsize=13801768 CPUtime=9.33 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24082/stat : 24082 (java) R 23484 23484 15667 0 -1 4202560 707 0 0 0 933 0 0 0 20 0 28 0 3871383 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405675163872 140405987629869 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24083] ppid=23484 vsize=13801768 CPUtime=9.41 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24083/stat : 24083 (java) R 23484 23484 15667 0 -1 4202560 442 0 0 0 941 0 0 0 20 0 28 0 3871383 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405674110528 140405996134196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24084] ppid=23484 vsize=13801768 CPUtime=9.6 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24084/stat : 24084 (java) R 23484 23484 15667 0 -1 4202560 1501 0 0 0 960 0 0 0 20 0 28 0 3871383 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405673058408 140405996134481 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24085] ppid=23484 vsize=13801768 CPUtime=9.9 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24085/stat : 24085 (java) R 23484 23484 15667 0 -1 4202560 1042 0 0 0 990 0 0 0 20 0 28 0 3871383 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405672005216 140405996134060 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
[pid=23485/tid=24086] ppid=23484 vsize=13801768 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/23485/task/24086/stat : 24086 (java) R 23484 23484 15667 0 -1 4202560 340 0 0 0 988 0 0 0 20 0 28 0 3871383 14133010432 1152118 33554432000 4194304 4196468 140734048660032 140405670952672 140405996134364 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140734048666812 140734048666988 140734048666988 140734048669647 0
Current children cumulated CPU time (s) 374.76
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 243.279
CPU time (s): 375.006
CPU user time (s): 370.421
CPU system time (s): 4.58562
CPU usage (%): 154.147
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.42
system time used= 4.58562
maximum resident set size= 4608524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18625
involuntary context switches= 24737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66463 second user time and 2.42186 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-22 03:09:44
IDJOB=4245494
IDBENCH=122903
IDSOLVER=2625
FILE ID=node104/4245494-1500685784
RUNJOBID= node104-1500684128-16797
PBS_JOBID= 20623031
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-124.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-4245494-1500685784/watcher-4245494-1500685784 -o /tmp/evaluation-result-4245494-1500685784/solver-4245494-1500685784 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 975563429 HOME/instance-4245494-1500685784.xml

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

MD5SUM BENCH= 0b191f89e8c533aa19cec6ff372cdf5f
RANDOM SEED=975563429

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31252020 kB
MemAvailable:   31327368 kB
Buffers:          161104 kB
Cached:           178500 kB
SwapCached:          256 kB
Active:           884908 kB
Inactive:         169000 kB
Active(anon):     669240 kB
Inactive(anon):    56372 kB
Active(file):     215668 kB
Inactive(file):   112628 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105468 kB
Dirty:              7892 kB
Writeback:             0 kB
AnonPages:        719512 kB
Mapped:            42340 kB
Shmem:              8772 kB
Slab:             160232 kB
SReclaimable:     125772 kB
SUnreclaim:        34460 kB
KernelStack:        4704 kB
PageTables:         6712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2189376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    602112 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= 62000 MiB
End job on node104 at 2017-07-22 03:13:48