Trace number 4262280

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
Concrete 3.4SAT 9.8203201 4.7164898

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-03-04.xml
MD5SUMe392c7560140b23868857a81f76e8c8d
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.187627
Satisfiable
(Un)Satisfiability was proved
Number of variables408
Number of constraints327
Number of domains3
Minimum domain size3
Maximum domain size82
Distribution of domain sizes[{"size":3,"count":324},{"size":81,"count":81},{"size":82,"count":3}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":81},{"degree":3,"count":324}]
Minimum constraint arity2
Maximum constraint arity84
Distribution of constraint arities[{"arity":2,"count":243},{"arity":5,"count":81},{"arity":81,"count":2},{"arity":84,"count":1}]
Number of extensional constraints0
Number of intensional constraints243
Distribution of constraint types[{"type":"intension","count":243},{"type":"allDifferent","count":1},{"type":"sum","count":81},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data 

3.33/2.14	c Concrete v3.4 running
9.57/4.65	v <instantiation>
9.57/4.65	v       <list>
9.57/4.65	v         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] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[80][0] bi[80][1] bi[80][2] bi[80][3] g[0] g[1] g[2]
9.57/4.65	v       </list>
9.57/4.65	v       <values>
9.57/4.65	v         0 2 6 20 61 23 70 48 63 29 7 21 64 30 9 28 5 15 47 60 19 57 10 31 13 40 39 37 32 17 53 80 79 77 71 52 76 68 44 51 74 62 25 75 65 35 26 78 73 58 14 43 50 69 46 59 16 49 67 41 42 45 55 3 11 34 22 66 36 27 1 4 12 38 33 18 56 8 24 72 54 0 0 0 0 0 0 0 2 0 0 2 0 0 2 0 2 2 0 2 1 0 2 1 2 2 1 2 1 1 2 1 0 2 1 0 0 1 0 0 2 0 0 2 1 0 2 1 0 2 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 2 0 1 2 0 1 2 0 2 2 0 2 0 0 2 0 1 2 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 2 0 1 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 1 2 2 1 2 2 1 2 2 1 2 2 1 1 2 1 1 2 1 1 2 2 1 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 2 2 1 0 2 1 0 2 1 0 2 2 0 2 2 2 2 2 2 0 2 2 0 1 2 0 1 1 0 1 1 2 1 1 2 1 1 2 1 2 2 1 2 0 1 2 0 1 2 0 1 2 0 1 2 1 1 2 1 1 2 1 1 1 1 1 1 2 1 1 2 0 1 2 0 0 2 0 0 1 0 0 1 0 0 1 0 2 1 0 2 1 0 2 1 1 2 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 2 1 0 2 0 0 2 0 0 2 0 0 2 0 0 2 2 0 2 2 0 2 2 0 0 2 0 0 0 27 27 27
9.57/4.65	v       </values>
9.57/4.65	v     </instantiation>
9.57/4.65	s SATISFIABLE

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-4262280-1502440135/watcher-4262280-1502440135 -o /tmp/evaluation-result-4262280-1502440135/solver-4262280-1502440135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580 bin/concrete HOME/instance-4262280-1502440135.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 2.80 1.86 1.61 3/194 17485
/proc/meminfo: memFree=27289524/32770624 swapFree=0/386368
[pid=17485] ppid=17482 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17485/stat : 17485 (runsolver) D 17482 17485 7434 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 32354165 24240128 108 18446744073709551615 4194304 4338465 140737159614048 140737159611688 140142557074135 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 29536256 140737159622865 140737159623241 140737159623241 140737159626698 0
/proc/17485/statm: 5918 108 54 36 0 2156 0

[startup+0.10017 s]
/proc/loadavg: 2.80 1.86 1.61 3/194 17485
/proc/meminfo: memFree=27289524/32770624 swapFree=0/386368
[pid=17485] ppid=17482 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/17485/stat : 17485 (bash) S 17482 17485 7434 0 -1 4202496 896 6476 0 0 0 0 0 1 20 0 1 0 32354165 9867264 377 18446744073709551615 4194304 5098028 140736698746112 140736698740120 139669452819456 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 4 0 0 7196144 7232144 32100352 140736698749460 140736698749545 140736698749545 140736698753002 0
/proc/17485/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200266 s]
/proc/loadavg: 2.80 1.86 1.61 3/194 17485
/proc/meminfo: memFree=27289524/32770624 swapFree=0/386368
[pid=17485] ppid=17482 vsize=13574488 CPUtime=0.1 cores=0,2,4,6
/proc/17485/stat : 17485 (java) S 17482 17485 7434 0 -1 1077944320 4655 12468 0 0 1 1 5 3 20 0 9 0 32354165 13900275712 4435 18446744073709551615 4194304 4196468 140728961062352 140728961044896 139687461969655 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
/proc/17485/statm: 3393622 4435 2086 1 0 3383119 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13574488

[startup+0.300274 s]
/proc/loadavg: 2.80 1.86 1.61 3/194 17485
/proc/meminfo: memFree=27289524/32770624 swapFree=0/386368
[pid=17485] ppid=17482 vsize=13974356 CPUtime=0.22 cores=0,2,4,6
/proc/17485/stat : 17485 (java) S 17482 17485 7434 0 -1 1077944320 6639 12468 0 0 12 2 5 3 20 0 15 0 32354165 14309740544 8349 18446744073709551615 4194304 4196468 140728961062352 140728961044896 139687461969655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
/proc/17485/statm: 3493589 8349 2940 1 0 3482965 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 13974356

[startup+0.70115 s]
/proc/loadavg: 2.80 1.86 1.61 3/194 17485
/proc/meminfo: memFree=27289524/32770624 swapFree=0/386368
[pid=17485] ppid=17482 vsize=13974784 CPUtime=0.75 cores=0,2,4,6
/proc/17485/stat : 17485 (java) S 17482 17485 7434 0 -1 1077944320 13742 12468 0 0 62 5 5 3 20 0 15 0 32354165 14310178816 15199 18446744073709551615 4194304 4196468 140728961062352 140728961044896 139687461969655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
/proc/17485/statm: 3493696 15199 3126 1 0 3482965 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 13974784

[startup+1.50054 s]
/proc/loadavg: 2.80 1.86 1.61 4/209 17548
/proc/meminfo: memFree=27187552/32770624 swapFree=0/386700
[pid=17485] ppid=17482 vsize=13985408 CPUtime=2.01 cores=0,2,4,6
/proc/17485/stat : 17485 (java) S 17482 17485 7434 0 -1 1077944320 29768 12468 0 0 183 10 5 3 20 0 15 0 32354165 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 140728961044896 139687461969655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
/proc/17485/statm: 3496352 43364 3382 1 0 3485525 0
[pid=17485/tid=17535] ppid=17482 vsize=13985408 CPUtime=1.33 cores=0,2,4,6
/proc/17485/task/17535/stat : 17535 (java) R 17482 17485 7434 0 -1 4202560 22861 12468 0 0 119 6 5 3 20 0 15 0 32354182 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139687466198048 139687461981590 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17536] ppid=17482 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17536/stat : 17536 (java) S 17482 17485 7434 0 -1 1077944384 210 12468 0 0 0 0 5 3 20 0 15 0 32354182 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139687381383696 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17537] ppid=17482 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17537/stat : 17537 (java) S 17482 17485 7434 0 -1 1077944384 49 12468 0 0 1 0 5 3 20 0 15 0 32354182 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139687380331152 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17538] ppid=17482 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17538/stat : 17538 (java) S 17482 17485 7434 0 -1 1077944384 37 12468 0 0 1 0 5 3 20 0 15 0 32354182 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139687379278096 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17539] ppid=17482 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17539/stat : 17539 (java) S 17482 17485 7434 0 -1 1077944384 69 12468 0 0 1 0 5 3 20 0 15 0 32354182 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139687378225552 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17540] ppid=17482 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17540/stat : 17540 (java) S 17482 17485 7434 0 -1 1077944384 1393 12468 0 0 1 0 5 3 20 0 15 0 32354184 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139686939454192 139687461980802 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17541] ppid=17482 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17541/stat : 17541 (java) S 17482 17485 7434 0 -1 1077944384 55 12468 0 0 0 0 5 3 20 0 15 0 32354184 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139686938400480 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17542] ppid=17482 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17542/stat : 17542 (java) S 17482 17485 7434 0 -1 1077944384 44 12468 0 0 0 0 5 3 20 0 15 0 32354184 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139686937347328 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17543] ppid=17482 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17543/stat : 17543 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139686936295888 139687461988251 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17544] ppid=17482 vsize=13985408 CPUtime=0.26 cores=0,2,4,6
/proc/17485/task/17544/stat : 17544 (java) R 17482 17485 7434 0 -1 1077944384 1157 12468 0 0 18 0 5 3 20 0 15 0 32354187 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139686935242992 139687461980802 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17545] ppid=17482 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/17485/task/17545/stat : 17545 (java) R 17482 17485 7434 0 -1 4202560 686 12468 0 0 14 0 5 3 20 0 15 0 32354187 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139686934189632 139687441391030 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17546] ppid=17482 vsize=13985408 CPUtime=0.32 cores=0,2,4,6
/proc/17485/task/17546/stat : 17546 (java) S 17482 17485 7434 0 -1 1077944384 1040 12468 0 0 24 0 5 3 20 0 15 0 32354187 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139686933137392 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17547] ppid=17482 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17547/stat : 17547 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139686932085088 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17548] ppid=17482 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17548/stat : 17548 (java) S 17482 17485 7434 0 -1 1077944384 8 12468 0 0 0 0 5 3 20 0 15 0 32354191 14321057792 43364 18446744073709551615 4194304 4196468 140728961062352 139686931033136 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 13985408

[startup+3.10062 s]
/proc/loadavg: 2.80 1.86 1.61 4/209 17548
/proc/meminfo: memFree=27114404/32770624 swapFree=0/386700
[pid=17485] ppid=17482 vsize=13999932 CPUtime=6.22 cores=0,2,4,6
/proc/17485/stat : 17485 (java) S 17482 17485 7434 0 -1 1077944320 42805 12468 0 0 599 15 5 3 20 0 15 0 32354165 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 140728961044896 139687461969655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
/proc/17485/statm: 3499983 56146 3453 1 0 3488597 0
[pid=17485/tid=17535] ppid=17482 vsize=13999932 CPUtime=2.92 cores=0,2,4,6
/proc/17485/task/17535/stat : 17535 (java) R 17482 17485 7434 0 -1 4202560 29817 12468 0 0 275 9 5 3 20 0 15 0 32354182 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139687466201184 139687051205030 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17536] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17536/stat : 17536 (java) S 17482 17485 7434 0 -1 1077944384 210 12468 0 0 0 0 5 3 20 0 15 0 32354182 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139687381383696 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17537] ppid=17482 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17537/stat : 17537 (java) S 17482 17485 7434 0 -1 1077944384 49 12468 0 0 1 0 5 3 20 0 15 0 32354182 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139687380331152 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17538] ppid=17482 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17538/stat : 17538 (java) S 17482 17485 7434 0 -1 1077944384 37 12468 0 0 1 0 5 3 20 0 15 0 32354182 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139687379278096 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17539] ppid=17482 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17539/stat : 17539 (java) S 17482 17485 7434 0 -1 1077944384 69 12468 0 0 1 0 5 3 20 0 15 0 32354182 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139687378225552 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17540] ppid=17482 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17540/stat : 17540 (java) S 17482 17485 7434 0 -1 1077944384 1409 12468 0 0 1 0 5 3 20 0 15 0 32354184 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139686939454192 139687461980802 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17541] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17541/stat : 17541 (java) S 17482 17485 7434 0 -1 1077944384 55 12468 0 0 0 0 5 3 20 0 15 0 32354184 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139686938400480 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17542] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17542/stat : 17542 (java) S 17482 17485 7434 0 -1 1077944384 44 12468 0 0 0 0 5 3 20 0 15 0 32354184 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139686937347328 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17543] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17543/stat : 17543 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139686936295888 139687461988251 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17544] ppid=17482 vsize=13999932 CPUtime=0.99 cores=0,2,4,6
/proc/17485/task/17544/stat : 17544 (java) R 17482 17485 7434 0 -1 4202560 2142 12468 0 0 90 1 5 3 20 0 15 0 32354187 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139686935242880 139687461991002 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17545] ppid=17482 vsize=13999932 CPUtime=1.24 cores=0,2,4,6
/proc/17485/task/17545/stat : 17545 (java) R 17482 17485 7434 0 -1 4202560 3366 12468 0 0 116 0 5 3 20 0 15 0 32354187 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139686934179664 139687443490943 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17546] ppid=17482 vsize=13999932 CPUtime=1.2 cores=0,2,4,6
/proc/17485/task/17546/stat : 17546 (java) S 17482 17485 7434 0 -1 1077944384 3436 12468 0 0 111 1 5 3 20 0 15 0 32354187 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139686933137392 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17547] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17547/stat : 17547 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139686932085088 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17548] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17548/stat : 17548 (java) S 17482 17485 7434 0 -1 1077944384 10 12468 0 0 0 0 5 3 20 0 15 0 32354191 14335930368 56146 18446744073709551615 4194304 4196468 140728961062352 139686931033136 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 13999932

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

[startup+3.20075 s]
/proc/loadavg: 2.80 1.86 1.61 4/209 17548
/proc/meminfo: memFree=27114404/32770624 swapFree=0/386700
[pid=17485] ppid=17482 vsize=13999932 CPUtime=6.56 cores=0,2,4,6
/proc/17485/stat : 17485 (java) S 17482 17485 7434 0 -1 1077944320 42921 12468 0 0 633 15 5 3 20 0 15 0 32354165 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 140728961044896 139687461969655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
/proc/17485/statm: 3499983 58787 3453 1 0 3488597 0
[pid=17485/tid=17535] ppid=17482 vsize=13999932 CPUtime=3.02 cores=0,2,4,6
/proc/17485/task/17535/stat : 17535 (java) R 17482 17485 7434 0 -1 4202560 29828 12468 0 0 285 9 5 3 20 0 15 0 32354182 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139687466198720 139687441694768 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17536] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17536/stat : 17536 (java) S 17482 17485 7434 0 -1 1077944384 210 12468 0 0 0 0 5 3 20 0 15 0 32354182 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139687381383696 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17537] ppid=17482 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17537/stat : 17537 (java) S 17482 17485 7434 0 -1 1077944384 49 12468 0 0 1 0 5 3 20 0 15 0 32354182 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139687380331152 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17538] ppid=17482 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17538/stat : 17538 (java) S 17482 17485 7434 0 -1 1077944384 37 12468 0 0 1 0 5 3 20 0 15 0 32354182 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139687379278096 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17539] ppid=17482 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17539/stat : 17539 (java) S 17482 17485 7434 0 -1 1077944384 69 12468 0 0 1 0 5 3 20 0 15 0 32354182 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139687378225552 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17540] ppid=17482 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17485/task/17540/stat : 17540 (java) S 17482 17485 7434 0 -1 1077944384 1409 12468 0 0 1 0 5 3 20 0 15 0 32354184 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139686939454192 139687461980802 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17541] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17541/stat : 17541 (java) S 17482 17485 7434 0 -1 1077944384 55 12468 0 0 0 0 5 3 20 0 15 0 32354184 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139686938400480 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17542] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17542/stat : 17542 (java) S 17482 17485 7434 0 -1 1077944384 44 12468 0 0 0 0 5 3 20 0 15 0 32354184 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139686937347328 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17543] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17543/stat : 17543 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139686936295888 139687461988251 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17544] ppid=17482 vsize=13999932 CPUtime=1.09 cores=0,2,4,6
/proc/17485/task/17544/stat : 17544 (java) R 17482 17485 7434 0 -1 4202560 2162 12468 0 0 100 1 5 3 20 0 15 0 32354187 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139686935229840 139687443513750 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17545] ppid=17482 vsize=13999932 CPUtime=1.34 cores=0,2,4,6
/proc/17485/task/17545/stat : 17545 (java) R 17482 17485 7434 0 -1 4202560 3387 12468 0 0 126 0 5 3 20 0 15 0 32354187 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139686934179184 139687445470226 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17546] ppid=17482 vsize=13999932 CPUtime=1.24 cores=0,2,4,6
/proc/17485/task/17546/stat : 17546 (java) S 17482 17485 7434 0 -1 1077944384 3500 12468 0 0 115 1 5 3 20 0 15 0 32354187 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139686933137392 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17547] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17547/stat : 17547 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139686932085088 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17548] ppid=17482 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17548/stat : 17548 (java) S 17482 17485 7434 0 -1 1077944384 10 12468 0 0 0 0 5 3 20 0 15 0 32354191 14335930368 58787 18446744073709551615 4194304 4196468 140728961062352 139686931033136 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 13999932

[startup+4.00067 s]
/proc/loadavg: 2.82 1.88 1.61 3/209 17548
/proc/meminfo: memFree=27055524/32770624 swapFree=0/386700
[pid=17485] ppid=17482 vsize=14067516 CPUtime=8.64 cores=0,2,4,6
/proc/17485/stat : 17485 (java) S 17482 17485 7434 0 -1 1077944320 61710 12468 0 0 837 19 5 3 20 0 15 0 32354165 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 140728961044896 139687461969655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
/proc/17485/statm: 3516879 81524 3460 1 0 3505493 0
[pid=17485/tid=17535] ppid=17482 vsize=14067516 CPUtime=3.77 cores=0,2,4,6
/proc/17485/task/17535/stat : 17535 (java) R 17482 17485 7434 0 -1 4202560 43883 12468 0 0 358 11 5 3 20 0 15 0 32354182 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139687466200464 139687063969220 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17536] ppid=17482 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/17485/task/17536/stat : 17536 (java) S 17482 17485 7434 0 -1 1077944384 257 12468 0 0 2 0 5 3 20 0 15 0 32354182 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139687381383696 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17537] ppid=17482 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/17485/task/17537/stat : 17537 (java) S 17482 17485 7434 0 -1 1077944384 66 12468 0 0 3 0 5 3 20 0 15 0 32354182 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139687380331152 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17538] ppid=17482 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/17485/task/17538/stat : 17538 (java) S 17482 17485 7434 0 -1 1077944384 55 12468 0 0 3 0 5 3 20 0 15 0 32354182 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139687379278096 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17539] ppid=17482 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/17485/task/17539/stat : 17539 (java) S 17482 17485 7434 0 -1 1077944384 124 12468 0 0 3 0 5 3 20 0 15 0 32354182 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139687378225552 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17540] ppid=17482 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/17485/task/17540/stat : 17540 (java) S 17482 17485 7434 0 -1 1077944384 2266 12468 0 0 3 0 5 3 20 0 15 0 32354184 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139686939454192 139687461980802 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17541] ppid=17482 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17541/stat : 17541 (java) S 17482 17485 7434 0 -1 1077944384 55 12468 0 0 0 0 5 3 20 0 15 0 32354184 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139686938400480 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17542] ppid=17482 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17542/stat : 17542 (java) S 17482 17485 7434 0 -1 1077944384 44 12468 0 0 0 0 5 3 20 0 15 0 32354184 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139686937347328 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17543] ppid=17482 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17543/stat : 17543 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139686936295888 139687461988251 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17544] ppid=17482 vsize=14067516 CPUtime=1.41 cores=0,2,4,6
/proc/17485/task/17544/stat : 17544 (java) R 17482 17485 7434 0 -1 4202560 2353 12468 0 0 132 1 5 3 20 0 15 0 32354187 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139686935236016 139687461981590 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17545] ppid=17482 vsize=14067516 CPUtime=1.95 cores=0,2,4,6
/proc/17485/task/17545/stat : 17545 (java) R 17482 17485 7434 0 -1 4202560 6320 12468 0 0 186 1 5 3 20 0 15 0 32354187 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139686934176632 139687445354509 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17546] ppid=17482 vsize=14067516 CPUtime=1.53 cores=0,2,4,6
/proc/17485/task/17546/stat : 17546 (java) R 17482 17485 7434 0 -1 1077944384 4116 12468 0 0 143 2 5 3 20 0 15 0 32354187 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139686933135792 139687461979861 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17547] ppid=17482 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17547/stat : 17547 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139686932085088 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17548] ppid=17482 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17548/stat : 17548 (java) S 17482 17485 7434 0 -1 1077944384 10 12468 0 0 0 0 5 3 20 0 15 0 32354191 14405136384 81524 18446744073709551615 4194304 4196468 140728961062352 139686931033136 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
Current children cumulated CPU time (s) 8.64
Current children cumulated vsize (KiB) 14067516

[startup+4.40916 s]
/proc/loadavg: 2.82 1.88 1.61 4/209 17548
/proc/meminfo: memFree=26962940/32770624 swapFree=0/386700
[pid=17485] ppid=17482 vsize=14071800 CPUtime=9 cores=0,2,4,6
/proc/17485/stat : 17485 (java) S 17482 17485 7434 0 -1 1077944320 62591 12468 0 0 872 20 5 3 20 0 15 0 32354165 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 140728961044896 139687461969655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
/proc/17485/statm: 3517950 82426 3462 1 0 3506564 0
[pid=17485/tid=17535] ppid=17482 vsize=14071800 CPUtime=3.83 cores=0,2,4,6
/proc/17485/task/17535/stat : 17535 (java) S 17482 17485 7434 0 -1 1077944384 43927 12468 0 0 364 11 5 3 20 0 15 0 32354182 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139687466207200 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17536] ppid=17482 vsize=14071800 CPUtime=0.12 cores=0,2,4,6
/proc/17485/task/17536/stat : 17536 (java) S 17482 17485 7434 0 -1 1077944384 268 12468 0 0 4 0 5 3 20 0 15 0 32354182 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139687381383696 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17537] ppid=17482 vsize=14071800 CPUtime=0.11 cores=0,2,4,6
/proc/17485/task/17537/stat : 17537 (java) S 17482 17485 7434 0 -1 1077944384 69 12468 0 0 3 0 5 3 20 0 15 0 32354182 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139687380331152 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17538] ppid=17482 vsize=14071800 CPUtime=0.12 cores=0,2,4,6
/proc/17485/task/17538/stat : 17538 (java) S 17482 17485 7434 0 -1 1077944384 62 12468 0 0 4 0 5 3 20 0 15 0 32354182 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139687379278096 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17539] ppid=17482 vsize=14071800 CPUtime=0.11 cores=0,2,4,6
/proc/17485/task/17539/stat : 17539 (java) S 17482 17485 7434 0 -1 1077944384 124 12468 0 0 3 0 5 3 20 0 15 0 32354182 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139687378225552 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17540] ppid=17482 vsize=14071800 CPUtime=0.13 cores=0,2,4,6
/proc/17485/task/17540/stat : 17540 (java) R 17482 17485 7434 0 -1 4202560 2270 12468 0 0 5 0 5 3 20 0 15 0 32354184 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139686939452480 139687446325827 0 0 1 16800974 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17541] ppid=17482 vsize=14071800 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17541/stat : 17541 (java) S 17482 17485 7434 0 -1 1077944384 55 12468 0 0 0 0 5 3 20 0 15 0 32354184 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139686938400480 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17542] ppid=17482 vsize=14071800 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17542/stat : 17542 (java) S 17482 17485 7434 0 -1 1077944384 44 12468 0 0 0 0 5 3 20 0 15 0 32354184 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139686937347328 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17543] ppid=17482 vsize=14071800 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17543/stat : 17543 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139686936295888 139687461988251 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17544] ppid=17482 vsize=14071800 CPUtime=1.47 cores=0,2,4,6
/proc/17485/task/17544/stat : 17544 (java) S 17482 17485 7434 0 -1 1077944384 2379 12468 0 0 138 1 5 3 20 0 15 0 32354187 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139686935227984 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17545] ppid=17482 vsize=14071800 CPUtime=2.11 cores=0,2,4,6
/proc/17485/task/17545/stat : 17545 (java) R 17482 17485 7434 0 -1 4202560 7053 12468 0 0 201 2 5 3 20 0 15 0 32354187 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139686934176472 139687443491055 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17546] ppid=17482 vsize=14071800 CPUtime=1.55 cores=0,2,4,6
/proc/17485/task/17546/stat : 17546 (java) S 17482 17485 7434 0 -1 1077944384 4167 12468 0 0 145 2 5 3 20 0 15 0 32354187 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139686933137392 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17547] ppid=17482 vsize=14071800 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17547/stat : 17547 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139686932085088 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17548] ppid=17482 vsize=14071800 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17548/stat : 17548 (java) S 17482 17485 7434 0 -1 1077944384 12 12468 0 0 0 0 5 3 20 0 15 0 32354191 14409523200 82426 18446744073709551615 4194304 4196468 140728961062352 139686931033136 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
Current children cumulated CPU time (s) 9
Current children cumulated vsize (KiB) 14071800

[startup+4.60064 s]
/proc/loadavg: 2.82 1.88 1.61 4/209 17548
/proc/meminfo: memFree=26962940/32770624 swapFree=0/386700
[pid=17485] ppid=17482 vsize=14072276 CPUtime=9.57 cores=0,2,4,6
/proc/17485/stat : 17485 (java) S 17482 17485 7434 0 -1 1077944320 67550 12468 0 0 928 21 5 3 20 0 15 0 32354165 14410010624 82793 18446744073709551615 4194304 4196468 140728961062352 140728961044896 139687461969655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
/proc/17485/statm: 3518069 82798 3470 1 0 3506683 0
[pid=17485/tid=17535] ppid=17482 vsize=14072276 CPUtime=3.84 cores=0,2,4,6
/proc/17485/task/17535/stat : 17535 (java) R 17482 17485 7434 0 -1 4202560 44378 12468 0 0 365 11 5 3 20 0 15 0 32354182 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139687466166000 139687050421022 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17536] ppid=17482 vsize=14072276 CPUtime=0.17 cores=0,2,4,6
/proc/17485/task/17536/stat : 17536 (java) S 17482 17485 7434 0 -1 1077944384 268 12468 0 0 9 0 5 3 20 0 15 0 32354182 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139687381383696 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17537] ppid=17482 vsize=14072276 CPUtime=0.17 cores=0,2,4,6
/proc/17485/task/17537/stat : 17537 (java) S 17482 17485 7434 0 -1 1077944384 74 12468 0 0 9 0 5 3 20 0 15 0 32354182 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139687380331152 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17538] ppid=17482 vsize=14072276 CPUtime=0.2 cores=0,2,4,6
/proc/17485/task/17538/stat : 17538 (java) S 17482 17485 7434 0 -1 1077944384 67 12468 0 0 12 0 5 3 20 0 15 0 32354182 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139687379278096 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17539] ppid=17482 vsize=14072276 CPUtime=0.19 cores=0,2,4,6
/proc/17485/task/17539/stat : 17539 (java) S 17482 17485 7434 0 -1 1077944384 131 12468 0 0 11 0 5 3 20 0 15 0 32354182 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139687378225552 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17540] ppid=17482 vsize=14072276 CPUtime=0.2 cores=0,2,4,6
/proc/17485/task/17540/stat : 17540 (java) S 17482 17485 7434 0 -1 1077944384 3173 12468 0 0 12 0 5 3 20 0 15 0 32354184 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139686939454192 139687461980802 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17541] ppid=17482 vsize=14072276 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17541/stat : 17541 (java) S 17482 17485 7434 0 -1 1077944384 62 12468 0 0 0 0 5 3 20 0 15 0 32354184 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139686938400544 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17542] ppid=17482 vsize=14072276 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17542/stat : 17542 (java) S 17482 17485 7434 0 -1 1077944384 47 12468 0 0 0 0 5 3 20 0 15 0 32354184 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139686937347328 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17543] ppid=17482 vsize=14072276 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17543/stat : 17543 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139686936295888 139687461988251 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17544] ppid=17482 vsize=14072276 CPUtime=1.49 cores=0,2,4,6
/proc/17485/task/17544/stat : 17544 (java) S 17482 17485 7434 0 -1 1077944384 2883 12468 0 0 140 1 5 3 20 0 15 0 32354187 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139686935242992 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17545] ppid=17482 vsize=14072276 CPUtime=2.29 cores=0,2,4,6
/proc/17485/task/17545/stat : 17545 (java) R 17482 17485 7434 0 -1 4202560 10185 12468 0 0 219 2 5 3 20 0 15 0 32354187 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139686934176472 139687443491051 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17546] ppid=17482 vsize=14072276 CPUtime=1.55 cores=0,2,4,6
/proc/17485/task/17546/stat : 17546 (java) S 17482 17485 7434 0 -1 1077944384 4167 12468 0 0 145 2 5 3 20 0 15 0 32354187 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139686933137392 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17547] ppid=17482 vsize=14072276 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17547/stat : 17547 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 32354187 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139686932085088 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17548] ppid=17482 vsize=14072276 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17548/stat : 17548 (java) S 17482 17485 7434 0 -1 1077944384 13 12468 0 0 0 0 5 3 20 0 15 0 32354191 14410010624 82798 18446744073709551615 4194304 4196468 140728961062352 139686931033136 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
Current children cumulated CPU time (s) 9.57
Current children cumulated vsize (KiB) 14072276

[startup+4.70066 s]
/proc/loadavg: 2.82 1.88 1.61 4/209 17548
/proc/meminfo: memFree=26962940/32770624 swapFree=0/386700
[pid=17485] ppid=17482 vsize=14138844 CPUtime=9.8 cores=0,2,4,6
/proc/17485/stat : 17485 (java) S 17482 17485 7434 0 -1 1077944320 69970 12468 0 0 950 22 5 3 20 0 13 0 32354165 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 140728961044896 139687461969655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
/proc/17485/statm: 3534711 82946 3472 1 0 3523325 0
[pid=17485/tid=17535] ppid=17482 vsize=14138844 CPUtime=3.89 cores=0,2,4,6
/proc/17485/task/17535/stat : 17535 (java) S 17482 17485 7434 0 -1 1077944384 44704 12468 0 0 370 11 5 3 20 0 13 0 32354182 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139687466212496 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17536] ppid=17482 vsize=14138844 CPUtime=0.17 cores=0,2,4,6
/proc/17485/task/17536/stat : 17536 (java) S 17482 17485 7434 0 -1 1077944384 268 12468 0 0 9 0 5 3 20 0 13 0 32354182 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139687381383696 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17537] ppid=17482 vsize=14138844 CPUtime=0.17 cores=0,2,4,6
/proc/17485/task/17537/stat : 17537 (java) S 17482 17485 7434 0 -1 1077944384 74 12468 0 0 9 0 5 3 20 0 13 0 32354182 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139687380331152 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17538] ppid=17482 vsize=14138844 CPUtime=0.2 cores=0,2,4,6
/proc/17485/task/17538/stat : 17538 (java) S 17482 17485 7434 0 -1 1077944384 67 12468 0 0 12 0 5 3 20 0 13 0 32354182 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139687379278096 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17539] ppid=17482 vsize=14138844 CPUtime=0.19 cores=0,2,4,6
/proc/17485/task/17539/stat : 17539 (java) S 17482 17485 7434 0 -1 1077944384 131 12468 0 0 11 0 5 3 20 0 13 0 32354182 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139687378225552 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17540] ppid=17482 vsize=14138844 CPUtime=0.2 cores=0,2,4,6
/proc/17485/task/17540/stat : 17540 (java) S 17482 17485 7434 0 -1 1077944384 3180 12468 0 0 12 0 5 3 20 0 13 0 32354184 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139686939454400 139687461980802 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17541] ppid=17482 vsize=14138844 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17541/stat : 17541 (java) S 17482 17485 7434 0 -1 1077944384 62 12468 0 0 0 0 5 3 20 0 13 0 32354184 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139686938400544 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17542] ppid=17482 vsize=14138844 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17542/stat : 17542 (java) S 17482 17485 7434 0 -1 1077944384 47 12468 0 0 0 0 5 3 20 0 13 0 32354184 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139686937347328 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17544] ppid=17482 vsize=14138844 CPUtime=1.53 cores=0,2,4,6
/proc/17485/task/17544/stat : 17544 (java) S 17482 17485 7434 0 -1 1077944384 2946 12468 0 0 144 1 5 3 20 0 13 0 32354187 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139686935232208 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17545] ppid=17482 vsize=14138844 CPUtime=2.39 cores=0,2,4,6
/proc/17485/task/17545/stat : 17545 (java) S 17482 17485 7434 0 -1 1077944384 11964 12468 0 0 229 2 5 3 20 0 13 0 32354187 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139686934174960 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17546] ppid=17482 vsize=14138844 CPUtime=1.57 cores=0,2,4,6
/proc/17485/task/17546/stat : 17546 (java) S 17482 17485 7434 0 -1 1077944384 4297 12468 0 0 147 2 5 3 20 0 13 0 32354187 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139686933137392 139687461980802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
[pid=17485/tid=17547] ppid=17482 vsize=14138844 CPUtime=0.08 cores=0,2,4,6
/proc/17485/task/17547/stat : 17547 (java) S 17482 17485 7434 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 13 0 32354187 14478176256 82946 18446744073709551615 4194304 4196468 140728961062352 139686932085088 139687461979861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140728961071056 140728961073841 140728961073841 140728961077199 0
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (KiB) 14138844

Child status: 0
Real time (s): 4.71649
CPU time (s): 9.82032
CPU user time (s): 9.55381
CPU system time (s): 0.266513
CPU usage (%): 208.213
Max. virtual memory (cumulated for all children) (KiB): 14138844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.55381
system time used= 0.266513
maximum resident set size= 332152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6720
involuntary context switches= 833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025243 second user time and 0.02945 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-11 10:14:39
IDJOB=4262280
IDBENCH=125579
IDSOLVER=2650
FILE ID=node124/4262280-1502440135
RUNJOBID= node124-1502411387-7497
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-04.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262280-1502440135/watcher-4262280-1502440135 -o /tmp/evaluation-result-4262280-1502440135/solver-4262280-1502440135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580  bin/concrete HOME/instance-4262280-1502440135.xml

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

MD5SUM BENCH= e392c7560140b23868857a81f76e8c8d
RANDOM SEED=511320671

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27290052 kB
MemAvailable:   27703324 kB
Buffers:          201952 kB
Cached:           498928 kB
SwapCached:            0 kB
Active:          4657784 kB
Inactive:         403136 kB
Active(anon):    4360684 kB
Inactive(anon):    16768 kB
Active(file):     297100 kB
Inactive(file):   386368 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24648 kB
Writeback:            24 kB
AnonPages:       4370688 kB
Mapped:            50584 kB
Shmem:             17128 kB
Slab:             117344 kB
SReclaimable:      91276 kB
SUnreclaim:        26068 kB
KernelStack:        3696 kB
PageTables:        13332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5050584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4243456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61984 MiB
End job on node124 at 2017-08-11 10:14:44