Trace number 4262527

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 35.320702 28.802

General information on the benchmark

NameQRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-73.xml
MD5SUM97112bc138fd6681517478d594a2a525
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 benchmark3.32967
Satisfiable
(Un)Satisfiability was proved
Number of variables130
Number of constraints100
Number of domains23
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}]
Minimum variable degree1
Maximum variable degree13
Distribution of variable degrees[{"degree":1,"count":40},{"degree":2,"count":80},{"degree":7,"count":1},{"degree":8,"count":1},{"degree":9,"count":2},{"degree":10,"count":2},{"degree":11,"count":2},{"degree":12,"count":1},{"degree":13,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
Optimization problemNO
Type of objective

Solver Data 

3.16/3.40	c Concrete v3.4 running
35.11/28.78	v <instantiation>
35.11/28.78	v       <list>
35.11/28.78	v         w3 w4 w5 w6 w7 w8 w9 w10 w11 w12 w13 w14 w15 w16 w17 w18 w19 w20 w21 w22 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] 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] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] z[19] z[20] z[21] z[22] z[23] z[24] z[25] z[26] z[27] z[28] z[29] z[30] z[31] z[32] z[33] z[34] z[35] z[36] z[37] z[38] z[39] z[40] z[41] z[42] z[43] z[44] z[45] z[46] z[47] z[48] z[49] z[50] z[51] z[52] z[53] z[54] z[55] z[56] z[57] z[58] z[59] z[60] z[61] z[62] z[63] z[64] z[65] z[66] z[67] z[68] z[69] z[70] z[71] z[72] z[73] z[74] z[75] z[76] z[77] z[78] z[79]
35.11/28.78	v       </list>
35.11/28.78	v       <values>
35.11/28.78	v         12 17 5 9 1 10 4 6 18 17 9 10 2 18 14 5 18 9 0 18 1 7 1 5 5 5 5 9 6 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 5 14 10 6 12 9 7 2 18 10 4 13 16 2 4 7 18 17 16 11 1 14 2 9 3 13 12 6 5 0 6 12 7 7 7 5 19 15 15 7 19 18 5 6 3 3 17 1 6 2 6 6 4 0 17 16 7 3 3 7 5 11 18 3 8 0 1 14 11 2 7 10 7 16 12 17 4 17 5
35.11/28.78	v       </values>
35.11/28.78	v     </instantiation>
35.11/28.78	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-4262527-1502440607/watcher-4262527-1502440607 -o /tmp/evaluation-result-4262527-1502440607/solver-4262527-1502440607 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580 bin/concrete HOME/instance-4262527-1502440607.xml 

pid=26717
running on 4 cores: 1,3,5,7

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: 1.67 1.70 1.55 2/194 26720
/proc/meminfo: memFree=30698840/32770624 swapFree=0/541924
[pid=26720] ppid=26717 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26720/stat : 26720 (runsolver) D 26717 26720 19618 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46254128 24240128 107 18446744073709551615 4194304 4338465 140737258762736 140737258760376 140454844285655 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 11284480 140737258770640 140737258771017 140737258771017 140737258774474 0
/proc/26720/statm: 5918 107 54 36 0 2156 0

[startup+0.100094 s]
/proc/loadavg: 1.67 1.70 1.55 2/194 26720
/proc/meminfo: memFree=30698840/32770624 swapFree=0/541924
[pid=26720] ppid=26717 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/26720/stat : 26720 (bash) S 26717 26720 19618 0 -1 4202496 896 6478 0 0 0 0 0 1 20 0 1 0 46254128 9867264 377 18446744073709551615 4194304 5098028 140737481384976 140737481378984 140113073945600 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 6 0 0 7196144 7232144 30126080 140737481388564 140737481388649 140737481388649 140737481392106 0
/proc/26720/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.20034 s]
/proc/loadavg: 1.67 1.70 1.55 2/194 26720
/proc/meminfo: memFree=30698840/32770624 swapFree=0/541924
[pid=26720] ppid=26717 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/26720/stat : 26720 (bash) S 26717 26720 19618 0 -1 4202496 896 6478 0 0 0 0 0 1 20 0 1 0 46254128 9867264 377 18446744073709551615 4194304 5098028 140737481384976 140737481378984 140113073945600 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 6 0 0 7196144 7232144 30126080 140737481388564 140737481388649 140737481388649 140737481392106 0
/proc/26720/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300351 s]
/proc/loadavg: 1.67 1.70 1.55 2/194 26720
/proc/meminfo: memFree=30698840/32770624 swapFree=0/541924
[pid=26720] ppid=26717 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/26720/stat : 26720 (bash) S 26717 26720 19618 0 -1 4202496 896 6478 0 0 0 0 0 1 20 0 1 0 46254128 9867264 377 18446744073709551615 4194304 5098028 140737481384976 140737481378984 140113073945600 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 6 0 0 7196144 7232144 30126080 140737481388564 140737481388649 140737481388649 140737481392106 0
/proc/26720/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.70026 s]
/proc/loadavg: 1.67 1.70 1.55 2/194 26720
/proc/meminfo: memFree=30698840/32770624 swapFree=0/541924
[pid=26720] ppid=26717 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/26720/stat : 26720 (bash) S 26717 26720 19618 0 -1 4202496 896 6478 0 0 0 0 0 1 20 0 1 0 46254128 9867264 377 18446744073709551615 4194304 5098028 140737481384976 140737481378984 140113073945600 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 6 0 0 7196144 7232144 30126080 140737481388564 140737481388649 140737481388649 140737481392106 0
/proc/26720/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+1.50033 s]
/proc/loadavg: 1.67 1.70 1.55 2/211 26765
/proc/meminfo: memFree=30679652/32770624 swapFree=0/541864
[pid=26720] ppid=26717 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/26720/stat : 26720 (java) S 26717 26720 19618 0 -1 1077944320 5983 12732 0 0 5 1 5 2 20 0 14 0 46254128 14241083392 5159 18446744073709551615 4194304 4196468 140734613150864 140734613133408 140667891379959 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
/proc/26720/statm: 3476827 5159 2564 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+3.10203 s]
/proc/loadavg: 1.78 1.72 1.56 3/209 26783
/proc/meminfo: memFree=30614928/32770624 swapFree=0/541988
[pid=26720] ppid=26717 vsize=13989524 CPUtime=2.67 cores=1,3,5,7
/proc/26720/stat : 26720 (java) S 26717 26720 19618 0 -1 1077944320 31260 12732 0 0 248 12 5 2 20 0 15 0 46254128 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140734613133408 140667891379959 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
/proc/26720/statm: 3497381 44769 3392 1 0 3486549 0
[pid=26720/tid=26770] ppid=26717 vsize=13989524 CPUtime=1.67 cores=1,3,5,7
/proc/26720/task/26770/stat : 26770 (java) R 26717 26720 19618 0 -1 4202560 23247 12732 0 0 152 8 5 2 20 0 15 0 46254267 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667895614768 140667891391894 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26771] ppid=26717 vsize=13989524 CPUtime=0.08 cores=1,3,5,7
/proc/26720/task/26771/stat : 26771 (java) S 26717 26720 19618 0 -1 1077944384 200 12732 0 0 1 0 5 2 20 0 15 0 46254268 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667833326736 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26772] ppid=26717 vsize=13989524 CPUtime=0.08 cores=1,3,5,7
/proc/26720/task/26772/stat : 26772 (java) S 26717 26720 19618 0 -1 1077944384 38 12732 0 0 1 0 5 2 20 0 15 0 46254268 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667832273936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26773] ppid=26717 vsize=13989524 CPUtime=0.08 cores=1,3,5,7
/proc/26720/task/26773/stat : 26773 (java) S 26717 26720 19618 0 -1 1077944384 53 12732 0 0 1 0 5 2 20 0 15 0 46254268 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667831221136 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26774] ppid=26717 vsize=13989524 CPUtime=0.08 cores=1,3,5,7
/proc/26720/task/26774/stat : 26774 (java) S 26717 26720 19618 0 -1 1077944384 71 12732 0 0 1 0 5 2 20 0 15 0 46254268 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667488049936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26775] ppid=26717 vsize=13989524 CPUtime=0.08 cores=1,3,5,7
/proc/26720/task/26775/stat : 26775 (java) S 26717 26720 19618 0 -1 1077944384 1474 12732 0 0 1 0 5 2 20 0 15 0 46254269 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667437140336 140667891391106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26776] ppid=26717 vsize=13989524 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26776/stat : 26776 (java) S 26717 26720 19618 0 -1 1077944384 54 12732 0 0 0 0 5 2 20 0 15 0 46254270 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667436086368 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26777] ppid=26717 vsize=13989524 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26777/stat : 26777 (java) S 26717 26720 19618 0 -1 1077944384 44 12732 0 0 0 0 5 2 20 0 15 0 46254270 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667435033472 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26778] ppid=26717 vsize=13989524 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26778/stat : 26778 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254272 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667433981776 140667891398555 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26779] ppid=26717 vsize=13989524 CPUtime=0.31 cores=1,3,5,7
/proc/26720/task/26779/stat : 26779 (java) R 26717 26720 19618 0 -1 1077944384 1102 12732 0 0 24 0 5 2 20 0 15 0 46254272 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667432930160 140667891391106 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26780] ppid=26717 vsize=13989524 CPUtime=0.26 cores=1,3,5,7
/proc/26720/task/26780/stat : 26780 (java) R 26717 26720 19618 0 -1 4202560 744 12732 0 0 19 0 5 2 20 0 15 0 46254273 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667431866624 140667877061398 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26781] ppid=26717 vsize=13989524 CPUtime=0.53 cores=1,3,5,7
/proc/26720/task/26781/stat : 26781 (java) R 26717 26720 19618 0 -1 4202560 2066 12732 0 0 45 1 5 2 20 0 15 0 46254273 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667430824560 140667891391894 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26782] ppid=26717 vsize=13989524 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26782/stat : 26782 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254273 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667429772000 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26783] ppid=26717 vsize=13989524 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26783/stat : 26783 (java) S 26717 26720 19618 0 -1 1077944384 6 12732 0 0 0 0 5 2 20 0 15 0 46254279 14325272576 44769 18446744073709551615 4194304 4196468 140734613150864 140667428719280 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 13989524

[startup+6.30097 s]
/proc/loadavg: 1.78 1.72 1.56 5/209 26783
/proc/meminfo: memFree=30366464/32770624 swapFree=0/541980
[pid=26720] ppid=26717 vsize=14067516 CPUtime=11.42 cores=1,3,5,7
/proc/26720/stat : 26720 (java) S 26717 26720 19618 0 -1 1077944320 67667 12732 0 0 1114 21 5 2 20 0 15 0 46254128 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140734613133408 140667891379959 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
/proc/26720/statm: 3516879 87816 3472 1 0 3505493 0
[pid=26720/tid=26770] ppid=26717 vsize=14067516 CPUtime=4.8 cores=1,3,5,7
/proc/26720/task/26770/stat : 26770 (java) R 26717 26720 19618 0 -1 4202560 42790 12732 0 0 461 12 5 2 20 0 15 0 46254267 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667895610760 140667523692795 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26771] ppid=26717 vsize=14067516 CPUtime=0.09 cores=1,3,5,7
/proc/26720/task/26771/stat : 26771 (java) S 26717 26720 19618 0 -1 1077944384 225 12732 0 0 2 0 5 2 20 0 15 0 46254268 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667833326736 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26772] ppid=26717 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/26720/task/26772/stat : 26772 (java) S 26717 26720 19618 0 -1 1077944384 157 12732 0 0 3 0 5 2 20 0 15 0 46254268 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667832273936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26773] ppid=26717 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/26720/task/26773/stat : 26773 (java) S 26717 26720 19618 0 -1 1077944384 198 12732 0 0 3 0 5 2 20 0 15 0 46254268 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667831221136 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26774] ppid=26717 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/26720/task/26774/stat : 26774 (java) S 26717 26720 19618 0 -1 1077944384 846 12732 0 0 3 0 5 2 20 0 15 0 46254268 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667488049936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26775] ppid=26717 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/26720/task/26775/stat : 26775 (java) S 26717 26720 19618 0 -1 1077944384 2321 12732 0 0 3 0 5 2 20 0 15 0 46254269 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667437140336 140667891391106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26776] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26776/stat : 26776 (java) S 26717 26720 19618 0 -1 1077944384 54 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667436086432 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26777] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26777/stat : 26777 (java) S 26717 26720 19618 0 -1 1077944384 44 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667435033472 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26778] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26778/stat : 26778 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254272 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667433981776 140667891398555 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26779] ppid=26717 vsize=14067516 CPUtime=2.64 cores=1,3,5,7
/proc/26720/task/26779/stat : 26779 (java) S 26717 26720 19618 0 -1 1077944384 8704 12732 0 0 256 1 5 2 20 0 15 0 46254272 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667432930160 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26780] ppid=26717 vsize=14067516 CPUtime=2.42 cores=1,3,5,7
/proc/26720/task/26780/stat : 26780 (java) S 26717 26720 19618 0 -1 1077944384 5272 12732 0 0 235 0 5 2 20 0 15 0 46254273 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667431877360 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26781] ppid=26717 vsize=14067516 CPUtime=1.52 cores=1,3,5,7
/proc/26720/task/26781/stat : 26781 (java) S 26717 26720 19618 0 -1 1077944384 4886 12732 0 0 143 2 5 2 20 0 15 0 46254273 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667430824560 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26782] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26782/stat : 26782 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254273 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667429772000 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26783] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26783/stat : 26783 (java) S 26717 26720 19618 0 -1 1077944384 9 12732 0 0 0 0 5 2 20 0 15 0 46254279 14405136384 87816 18446744073709551615 4194304 4196468 140734613150864 140667428719280 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
Current children cumulated CPU time (s) 11.42
Current children cumulated vsize (KiB) 14067516

[startup+12.7007 s]
/proc/loadavg: 1.81 1.73 1.56 3/209 26783
/proc/meminfo: memFree=29981144/32770624 swapFree=0/541984
[pid=26720] ppid=26717 vsize=14067516 CPUtime=18.75 cores=1,3,5,7
/proc/26720/stat : 26720 (java) S 26717 26720 19618 0 -1 1077944320 75881 12732 0 0 1836 32 5 2 20 0 15 0 46254128 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140734613133408 140667891379959 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
/proc/26720/statm: 3516879 181550 3474 1 0 3505493 0
[pid=26720/tid=26770] ppid=26717 vsize=14067516 CPUtime=11.16 cores=1,3,5,7
/proc/26720/task/26770/stat : 26770 (java) R 26717 26720 19618 0 -1 4202560 44035 12732 0 0 1092 17 5 2 20 0 15 0 46254267 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667895613568 140667523691007 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26771] ppid=26717 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/26720/task/26771/stat : 26771 (java) S 26717 26720 19618 0 -1 1077944384 498 12732 0 0 4 2 5 2 20 0 15 0 46254268 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667833326736 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26772] ppid=26717 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/26720/task/26772/stat : 26772 (java) S 26717 26720 19618 0 -1 1077944384 555 12732 0 0 4 1 5 2 20 0 15 0 46254268 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667832273936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26773] ppid=26717 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/26720/task/26773/stat : 26773 (java) S 26717 26720 19618 0 -1 1077944384 220 12732 0 0 5 1 5 2 20 0 15 0 46254268 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667831221136 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26774] ppid=26717 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/26720/task/26774/stat : 26774 (java) S 26717 26720 19618 0 -1 1077944384 873 12732 0 0 4 1 5 2 20 0 15 0 46254268 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667488049936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26775] ppid=26717 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/26720/task/26775/stat : 26775 (java) S 26717 26720 19618 0 -1 1077944384 2743 12732 0 0 5 0 5 2 20 0 15 0 46254269 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667437140336 140667891391106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26776] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26776/stat : 26776 (java) S 26717 26720 19618 0 -1 1077944384 54 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667436086432 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26777] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26777/stat : 26777 (java) S 26717 26720 19618 0 -1 1077944384 44 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667435033472 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26778] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26778/stat : 26778 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254272 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667433981776 140667891398555 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26779] ppid=26717 vsize=14067516 CPUtime=2.97 cores=1,3,5,7
/proc/26720/task/26779/stat : 26779 (java) S 26717 26720 19618 0 -1 1077944384 11801 12732 0 0 288 2 5 2 20 0 15 0 46254272 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667432930160 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26780] ppid=26717 vsize=14067516 CPUtime=2.92 cores=1,3,5,7
/proc/26720/task/26780/stat : 26780 (java) S 26717 26720 19618 0 -1 1077944384 7612 12732 0 0 284 1 5 2 20 0 15 0 46254273 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667431877360 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26781] ppid=26717 vsize=14067516 CPUtime=1.53 cores=1,3,5,7
/proc/26720/task/26781/stat : 26781 (java) S 26717 26720 19618 0 -1 1077944384 5015 12732 0 0 144 2 5 2 20 0 15 0 46254273 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667430824560 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26782] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26782/stat : 26782 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254273 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667429772000 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26783] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26783/stat : 26783 (java) S 26717 26720 19618 0 -1 1077944384 270 12732 0 0 0 0 5 2 20 0 15 0 46254279 14405136384 181550 18446744073709551615 4194304 4196468 140734613150864 140667428719280 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
Current children cumulated CPU time (s) 18.75
Current children cumulated vsize (KiB) 14067516

[startup+25.5009 s]
/proc/loadavg: 1.77 1.72 1.56 3/209 26783
/proc/meminfo: memFree=29660988/32770624 swapFree=0/542000
[pid=26720] ppid=26717 vsize=14067516 CPUtime=31.65 cores=1,3,5,7
/proc/26720/stat : 26720 (java) S 26717 26720 19618 0 -1 1077944320 81860 12732 0 0 3119 39 5 2 20 0 15 0 46254128 14405136384 258372 18446744073709551615 4194304 4196468 140734613150864 140734613133408 140667891379959 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
/proc/26720/statm: 3516879 258372 3474 1 0 3505493 0
[pid=26720/tid=26770] ppid=26717 vsize=14067516 CPUtime=23.92 cores=1,3,5,7
/proc/26720/task/26770/stat : 26770 (java) R 26717 26720 19618 0 -1 4202560 45989 12732 0 0 2364 21 5 2 20 0 15 0 46254267 14405136384 258372 18446744073709551615 4194304 4196468 140734613150864 140667895613344 140667523908247 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26771] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26771/stat : 26771 (java) S 26717 26720 19618 0 -1 1077944384 540 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 258372 18446744073709551615 4194304 4196468 140734613150864 140667833326736 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26772] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26772/stat : 26772 (java) S 26717 26720 19618 0 -1 1077944384 1961 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 258372 18446744073709551615 4194304 4196468 140734613150864 140667832273936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26773] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26773/stat : 26773 (java) S 26717 26720 19618 0 -1 1077944384 259 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 258372 18446744073709551615 4194304 4196468 140734613150864 140667831221136 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26774] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7

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

Current children cumulated vsize (KiB) 14067516

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

[startup+25.6009 s]
/proc/loadavg: 1.77 1.72 1.56 3/209 26783
/proc/meminfo: memFree=29660988/32770624 swapFree=0/542000
[pid=26720] ppid=26717 vsize=14067516 CPUtime=31.76 cores=1,3,5,7
/proc/26720/stat : 26720 (java) S 26717 26720 19618 0 -1 1077944320 81967 12732 0 0 3129 40 5 2 20 0 15 0 46254128 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140734613133408 140667891379959 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
/proc/26720/statm: 3516879 266564 3474 1 0 3505493 0
[pid=26720/tid=26770] ppid=26717 vsize=14067516 CPUtime=24.02 cores=1,3,5,7
/proc/26720/task/26770/stat : 26770 (java) R 26717 26720 19618 0 -1 4202560 46016 12732 0 0 2373 22 5 2 20 0 15 0 46254267 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667895613664 140667511706281 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26771] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26771/stat : 26771 (java) S 26717 26720 19618 0 -1 1077944384 548 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667833326736 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26772] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26772/stat : 26772 (java) S 26717 26720 19618 0 -1 1077944384 1964 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667832273936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26773] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26773/stat : 26773 (java) S 26717 26720 19618 0 -1 1077944384 262 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667831221136 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26774] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26774/stat : 26774 (java) S 26717 26720 19618 0 -1 1077944384 995 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667488049936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26775] ppid=26717 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/26720/task/26775/stat : 26775 (java) S 26717 26720 19618 0 -1 1077944384 3168 12732 0 0 6 0 5 2 20 0 15 0 46254269 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667437140336 140667891391106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26776] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26776/stat : 26776 (java) S 26717 26720 19618 0 -1 1077944384 54 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667436086432 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26777] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26777/stat : 26777 (java) S 26717 26720 19618 0 -1 1077944384 44 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667435033472 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26778] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26778/stat : 26778 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254272 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667433981776 140667891398555 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26779] ppid=26717 vsize=14067516 CPUtime=2.98 cores=1,3,5,7
/proc/26720/task/26779/stat : 26779 (java) S 26717 26720 19618 0 -1 1077944384 11808 12732 0 0 289 2 5 2 20 0 15 0 46254272 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667432930160 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26780] ppid=26717 vsize=14067516 CPUtime=2.92 cores=1,3,5,7
/proc/26720/task/26780/stat : 26780 (java) S 26717 26720 19618 0 -1 1077944384 7615 12732 0 0 284 1 5 2 20 0 15 0 46254273 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667431877360 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26781] ppid=26717 vsize=14067516 CPUtime=1.55 cores=1,3,5,7
/proc/26720/task/26781/stat : 26781 (java) S 26717 26720 19618 0 -1 1077944384 7034 12732 0 0 146 2 5 2 20 0 15 0 46254273 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667430824560 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26782] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26782/stat : 26782 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254273 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667429772000 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26783] ppid=26717 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/26720/task/26783/stat : 26783 (java) S 26717 26720 19618 0 -1 1077944384 298 12732 0 0 1 0 5 2 20 0 15 0 46254279 14405136384 266564 18446744073709551615 4194304 4196468 140734613150864 140667428719280 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
Current children cumulated CPU time (s) 31.76
Current children cumulated vsize (KiB) 14067516

[startup+27.2007 s]
/proc/loadavg: 1.87 1.74 1.57 3/209 26783
/proc/meminfo: memFree=29628220/32770624 swapFree=0/542000
[pid=26720] ppid=26717 vsize=14067516 CPUtime=33.37 cores=1,3,5,7
/proc/26720/stat : 26720 (java) S 26717 26720 19618 0 -1 1077944320 83051 12732 0 0 3289 41 5 2 20 0 15 0 46254128 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140734613133408 140667891379959 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
/proc/26720/statm: 3516879 267603 3474 1 0 3505493 0
[pid=26720/tid=26770] ppid=26717 vsize=14067516 CPUtime=25.61 cores=1,3,5,7
/proc/26720/task/26770/stat : 26770 (java) R 26717 26720 19618 0 -1 4202560 46068 12732 0 0 2532 22 5 2 20 0 15 0 46254267 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667895612928 140667524940780 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26771] ppid=26717 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/26720/task/26771/stat : 26771 (java) S 26717 26720 19618 0 -1 1077944384 551 12732 0 0 6 3 5 2 20 0 15 0 46254268 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667833326736 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26772] ppid=26717 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/26720/task/26772/stat : 26772 (java) S 26717 26720 19618 0 -1 1077944384 1966 12732 0 0 6 3 5 2 20 0 15 0 46254268 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667832273936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26773] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26773/stat : 26773 (java) S 26717 26720 19618 0 -1 1077944384 264 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667831221136 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26774] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26774/stat : 26774 (java) S 26717 26720 19618 0 -1 1077944384 997 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667488049936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26775] ppid=26717 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/26720/task/26775/stat : 26775 (java) S 26717 26720 19618 0 -1 1077944384 3170 12732 0 0 6 0 5 2 20 0 15 0 46254269 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667437140336 140667891391106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26776] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26776/stat : 26776 (java) S 26717 26720 19618 0 -1 1077944384 54 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667436086432 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26777] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26777/stat : 26777 (java) S 26717 26720 19618 0 -1 1077944384 44 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667435033472 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26778] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26778/stat : 26778 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254272 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667433981776 140667891398555 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26779] ppid=26717 vsize=14067516 CPUtime=2.99 cores=1,3,5,7
/proc/26720/task/26779/stat : 26779 (java) S 26717 26720 19618 0 -1 1077944384 11808 12732 0 0 290 2 5 2 20 0 15 0 46254272 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667432930160 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26780] ppid=26717 vsize=14067516 CPUtime=2.92 cores=1,3,5,7
/proc/26720/task/26780/stat : 26780 (java) S 26717 26720 19618 0 -1 1077944384 8255 12732 0 0 284 1 5 2 20 0 15 0 46254273 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667431877360 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26781] ppid=26717 vsize=14067516 CPUtime=1.55 cores=1,3,5,7
/proc/26720/task/26781/stat : 26781 (java) S 26717 26720 19618 0 -1 1077944384 7343 12732 0 0 146 2 5 2 20 0 15 0 46254273 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667430824560 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26782] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26782/stat : 26782 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254273 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667429772000 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26783] ppid=26717 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/26720/task/26783/stat : 26783 (java) S 26717 26720 19618 0 -1 1077944384 370 12732 0 0 1 0 5 2 20 0 15 0 46254279 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667428719280 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
Current children cumulated CPU time (s) 33.37
Current children cumulated vsize (KiB) 14067516

[startup+28.0007 s]
/proc/loadavg: 1.87 1.74 1.57 3/209 26783
/proc/meminfo: memFree=29624000/32770624 swapFree=0/542000
[pid=26720] ppid=26717 vsize=14067516 CPUtime=34.17 cores=1,3,5,7
/proc/26720/stat : 26720 (java) S 26717 26720 19618 0 -1 1077944320 83051 12732 0 0 3369 41 5 2 20 0 15 0 46254128 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140734613133408 140667891379959 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
/proc/26720/statm: 3516879 267603 3474 1 0 3505493 0
[pid=26720/tid=26770] ppid=26717 vsize=14067516 CPUtime=26.41 cores=1,3,5,7
/proc/26720/task/26770/stat : 26770 (java) R 26717 26720 19618 0 -1 4202560 46068 12732 0 0 2612 22 5 2 20 0 15 0 46254267 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667895612928 140667523693787 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26771] ppid=26717 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/26720/task/26771/stat : 26771 (java) S 26717 26720 19618 0 -1 1077944384 551 12732 0 0 6 3 5 2 20 0 15 0 46254268 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667833326736 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26772] ppid=26717 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/26720/task/26772/stat : 26772 (java) S 26717 26720 19618 0 -1 1077944384 1966 12732 0 0 6 3 5 2 20 0 15 0 46254268 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667832273936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26773] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26773/stat : 26773 (java) S 26717 26720 19618 0 -1 1077944384 264 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667831221136 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26774] ppid=26717 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/26720/task/26774/stat : 26774 (java) S 26717 26720 19618 0 -1 1077944384 997 12732 0 0 6 2 5 2 20 0 15 0 46254268 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667488049936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26775] ppid=26717 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/26720/task/26775/stat : 26775 (java) S 26717 26720 19618 0 -1 1077944384 3170 12732 0 0 6 0 5 2 20 0 15 0 46254269 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667437140336 140667891391106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26776] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26776/stat : 26776 (java) S 26717 26720 19618 0 -1 1077944384 54 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667436086432 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26777] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26777/stat : 26777 (java) S 26717 26720 19618 0 -1 1077944384 44 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667435033472 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26778] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26778/stat : 26778 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254272 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667433981776 140667891398555 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26779] ppid=26717 vsize=14067516 CPUtime=2.99 cores=1,3,5,7
/proc/26720/task/26779/stat : 26779 (java) S 26717 26720 19618 0 -1 1077944384 11808 12732 0 0 290 2 5 2 20 0 15 0 46254272 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667432930160 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26780] ppid=26717 vsize=14067516 CPUtime=2.92 cores=1,3,5,7
/proc/26720/task/26780/stat : 26780 (java) S 26717 26720 19618 0 -1 1077944384 8255 12732 0 0 284 1 5 2 20 0 15 0 46254273 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667431877360 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26781] ppid=26717 vsize=14067516 CPUtime=1.55 cores=1,3,5,7
/proc/26720/task/26781/stat : 26781 (java) S 26717 26720 19618 0 -1 1077944384 7343 12732 0 0 146 2 5 2 20 0 15 0 46254273 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667430824560 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26782] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26782/stat : 26782 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254273 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667429772000 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26783] ppid=26717 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/26720/task/26783/stat : 26783 (java) S 26717 26720 19618 0 -1 1077944384 370 12732 0 0 1 0 5 2 20 0 15 0 46254279 14405136384 267603 18446744073709551615 4194304 4196468 140734613150864 140667428719280 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
Current children cumulated CPU time (s) 34.17
Current children cumulated vsize (KiB) 14067516

[startup+28.4007 s]
/proc/loadavg: 1.87 1.74 1.57 3/209 26783
/proc/meminfo: memFree=29624000/32770624 swapFree=0/542000
[pid=26720] ppid=26717 vsize=14067516 CPUtime=34.57 cores=1,3,5,7
/proc/26720/stat : 26720 (java) S 26717 26720 19618 0 -1 1077944320 83088 12732 0 0 3409 41 5 2 20 0 15 0 46254128 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140734613133408 140667891379959 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
/proc/26720/statm: 3516879 275299 3474 1 0 3505493 0
[pid=26720/tid=26770] ppid=26717 vsize=14067516 CPUtime=26.81 cores=1,3,5,7
/proc/26720/task/26770/stat : 26770 (java) R 26717 26720 19618 0 -1 4202560 46084 12732 0 0 2652 22 5 2 20 0 15 0 46254267 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667895613760 140667525177792 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26771] ppid=26717 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/26720/task/26771/stat : 26771 (java) S 26717 26720 19618 0 -1 1077944384 551 12732 0 0 6 3 5 2 20 0 15 0 46254268 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667833326736 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26772] ppid=26717 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/26720/task/26772/stat : 26772 (java) S 26717 26720 19618 0 -1 1077944384 1966 12732 0 0 6 3 5 2 20 0 15 0 46254268 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667832273936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26773] ppid=26717 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/26720/task/26773/stat : 26773 (java) S 26717 26720 19618 0 -1 1077944384 264 12732 0 0 7 2 5 2 20 0 15 0 46254268 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667831221136 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26774] ppid=26717 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/26720/task/26774/stat : 26774 (java) S 26717 26720 19618 0 -1 1077944384 998 12732 0 0 7 2 5 2 20 0 15 0 46254268 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667488049936 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26775] ppid=26717 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/26720/task/26775/stat : 26775 (java) S 26717 26720 19618 0 -1 1077944384 3190 12732 0 0 6 0 5 2 20 0 15 0 46254269 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667437140336 140667891391106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26776] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26776/stat : 26776 (java) S 26717 26720 19618 0 -1 1077944384 54 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667436086432 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26777] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26777/stat : 26777 (java) S 26717 26720 19618 0 -1 1077944384 44 12732 0 0 0 0 5 2 20 0 15 0 46254270 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667435033472 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26778] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26778/stat : 26778 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254272 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667433981776 140667891398555 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26779] ppid=26717 vsize=14067516 CPUtime=2.99 cores=1,3,5,7
/proc/26720/task/26779/stat : 26779 (java) S 26717 26720 19618 0 -1 1077944384 11808 12732 0 0 290 2 5 2 20 0 15 0 46254272 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667432930160 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26780] ppid=26717 vsize=14067516 CPUtime=2.92 cores=1,3,5,7
/proc/26720/task/26780/stat : 26780 (java) S 26717 26720 19618 0 -1 1077944384 8255 12732 0 0 284 1 5 2 20 0 15 0 46254273 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667431877360 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26781] ppid=26717 vsize=14067516 CPUtime=1.55 cores=1,3,5,7
/proc/26720/task/26781/stat : 26781 (java) S 26717 26720 19618 0 -1 1077944384 7343 12732 0 0 146 2 5 2 20 0 15 0 46254273 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667430824560 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26782] ppid=26717 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/26720/task/26782/stat : 26782 (java) S 26717 26720 19618 0 -1 1077944384 3 12732 0 0 0 0 5 2 20 0 15 0 46254273 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667429772000 140667891390165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
[pid=26720/tid=26783] ppid=26717 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/26720/task/26783/stat : 26783 (java) S 26717 26720 19618 0 -1 1077944384 370 12732 0 0 1 0 5 2 20 0 15 0 46254279 14405136384 275299 18446744073709551615 4194304 4196468 140734613150864 140667428719280 140667891391106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140734613157840 140734613160625 140734613160625 140734613163983 0
Current children cumulated CPU time (s) 34.57
Current children cumulated vsize (KiB) 14067516

[startup+28.801 s]
/proc/loadavg: 1.87 1.74 1.57 6/209 26783
/proc/meminfo: memFree=29584468/32770624 swapFree=0/542000
[pid=26720] ppid=26717 vsize=0 CPUtime=35.3 cores=1,3,5,7
/proc/26720/stat : 26720 (java) Z 26717 26720 19618 0 -1 4227084 94807 12732 0 0 3478 45 5 2 20 0 2 0 46254128 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 0 0 0 0 0 0 0 0
/proc/26720/statm: 0 0 0 0 0 0 0
[pid=26720/tid=26781] ppid=26717 vsize=0 CPUtime=1.58 cores=1,3,5,7
/proc/26720/task/26781/stat : 26781 (java) R 26717 26720 19618 0 -1 4203588 8213 12732 0 0 147 4 5 2 20 0 2 0 46254273 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 35.3
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 28.802
CPU time (s): 35.3207
CPU user time (s): 34.8412
CPU system time (s): 0.47947
CPU usage (%): 122.633
Max. virtual memory (cumulated for all children) (KiB): 14067516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.8412
system time used= 0.47947
maximum resident set size= 1110884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7645
involuntary context switches= 121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.141885 second user time and 0.169266 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-11 10:22:40
IDJOB=4262527
IDBENCH=125746
IDSOLVER=2650
FILE ID=node127/4262527-1502440607
RUNJOBID= node127-1502411410-19682
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/QRandom/QRandom-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-73.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262527-1502440607/watcher-4262527-1502440607 -o /tmp/evaluation-result-4262527-1502440607/solver-4262527-1502440607 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580  bin/concrete HOME/instance-4262527-1502440607.xml

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

MD5SUM BENCH= 97112bc138fd6681517478d594a2a525
RANDOM SEED=2011123438

node127.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.92
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.92
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.92
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.92
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:        30700276 kB
MemAvailable:   31487396 kB
Buffers:          248804 kB
Cached:           828980 kB
SwapCached:            0 kB
Active:          1081320 kB
Inactive:         566832 kB
Active(anon):     570964 kB
Inactive(anon):    24908 kB
Active(file):     510356 kB
Inactive(file):   541924 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24632 kB
Writeback:             8 kB
AnonPages:        570212 kB
Mapped:            54460 kB
Shmem:             25252 kB
Slab:             127088 kB
SReclaimable:     101352 kB
SUnreclaim:        25736 kB
KernelStack:        3424 kB
PageTables:         7112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1258068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    389120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node127 at 2017-08-11 10:23:09