Trace number 4396042

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2OPT347 9.94088 4.0898

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-factor/
Pb-factor-S9-P347-Q487.xml
MD5SUM80380e658be8322d68ef398155d216ec
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark347
Best CPU time to get the best result obtained on this benchmark0.076223
Satisfiable
(Un)Satisfiability was proved
Number of variables99
Number of constraints244
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":99}]
Minimum variable degree4
Maximum variable degree19
Distribution of variable degrees[{"degree":4,"count":81},{"degree":18,"count":9},{"degree":19,"count":9}]
Minimum constraint arity2
Maximum constraint arity81
Distribution of constraint arities[{"arity":2,"count":162},{"arity":3,"count":81},{"arity":81,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":244}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.78/0.55	c Concrete v3.12.2.1568380929293 running
9.38/3.97	o 347
9.73/4.06	v <instantiation
9.73/4.06	v         cost = '347'>
9.73/4.06	v       <list>
9.73/4.06	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] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98]
9.73/4.06	v       </list>
9.73/4.06	v       <values>
9.73/4.06	v         1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1
9.73/4.06	v       </values>
9.73/4.06	v     </instantiation>
9.73/4.06	s OPTIMUM FOUND

Verifier Data 

OK	347

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12163 MiB free)
  memory of node 1: 16384 MiB (15685 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396042-1568408127/watcher-4396042-1568408127 -o /tmp/evaluation-result-4396042-1568408127/solver-4396042-1568408127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568399035-29407 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1897470809 HOME/instance-4396042-1568408127.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32051, runsolver pid=32048
Current StackSize limit: 8192 KiB


[startup+0.101373 s]*
/proc/loadavg: 1.39 1.42 1.44 3/218 32108
/proc/meminfo: memFree=28509752/32770624 swapFree=66999920/67108860
[pid=32051] ppid=32048 vsize=9972712 memory=18596 CPUtime=0.09 cores=1,3,5,7
/proc/32051/stat : 32051 (java) S 32048 32051 29375 0 -1 1077944320 4418 13152 0 0 1 0 5 3 20 0 6 0 417077534 10212057088 4649 33554432000 4194304 4196468 140725833464192 140725833446736 140236153954039 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
/proc/32051/statm: 2493178 4649 1933 1 0 2481616 0
[pid=32051/tid=32104] ppid=32048 vsize=9972712 memory=4279135704014094991 CPUtime=0.09 cores=1,3,5,7
/proc/32051/task/32104/stat : 32104 (java) R 32048 32051 29375 0 -1 4202560 2211 13152 0 0 1 0 5 3 20 0 6 0 417077543 10212057088 4715 33554432000 4194304 4196468 140725833464192 140236125790800 140236153975965 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32105] ppid=32048 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32105/stat : 32105 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 6 0 417077544 10212057088 4715 33554432000 4194304 4196468 140725833464192 140236158196496 140236153964245 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32106] ppid=32048 vsize=9972712 memory=139983984129664 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32106/stat : 32106 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 6 0 417077544 10212057088 4715 33554432000 4194304 4196468 140725833464192 140236057086864 140236153964245 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32107] ppid=32048 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32107/stat : 32107 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 6 0 417077544 10212057088 4715 33554432000 4194304 4196468 140725833464192 140236056034320 140236153964245 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32108] ppid=32048 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32108/stat : 32108 (java) S 32048 32051 29375 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 6 0 417077544 10212057088 4715 33554432000 4194304 4196468 140725833464192 140236054981776 140236153964245 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB

[startup+0.210367 s]*
/proc/loadavg: 1.39 1.42 1.44 3/227 32117
/proc/meminfo: memFree=28494148/32770624 swapFree=66999920/67108860
[pid=32051] ppid=32048 vsize=10819664 memory=36760 CPUtime=0.26 cores=1,3,5,7
/proc/32051/stat : 32051 (java) S 32048 32051 29375 0 -1 1077944320 7061 13152 0 0 17 1 5 3 20 0 15 0 417077534 11079335936 9190 33554432000 4194304 4196468 140725833464192 140725833446736 140236153954039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
/proc/32051/statm: 2704916 9190 3173 1 0 2667149 0
[pid=32051/tid=32104] ppid=32048 vsize=10819664 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/32051/task/32104/stat : 32104 (java) R 32048 32051 29375 0 -1 4202560 3520 13152 0 0 11 0 5 3 20 0 15 0 417077543 11079335936 9190 33554432000 4194304 4196468 140725833464192 140236125762112 140236138034526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32105] ppid=32048 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32105/stat : 32105 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077544 11079335936 9190 33554432000 4194304 4196468 140725833464192 140236158196496 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32106] ppid=32048 vsize=10819664 memory=139983984129664 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32106/stat : 32106 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077544 11079335936 9190 33554432000 4194304 4196468 140725833464192 140236057086864 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32107] ppid=32048 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32107/stat : 32107 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077544 11079335936 9190 33554432000 4194304 4196468 140725833464192 140236056034320 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32108] ppid=32048 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32108/stat : 32108 (java) S 32048 32051 29375 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 417077544 11079335936 9190 33554432000 4194304 4196468 140725833464192 140236054981776 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32109] ppid=32048 vsize=10819664 memory=139983984129664 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32109/stat : 32109 (java) S 32048 32051 29375 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 417077545 11079335936 9190 33554432000 4194304 4196468 140725833464192 140235157293040 140236153965186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32110] ppid=32048 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32110/stat : 32110 (java) S 32048 32051 29375 0 -1 1077944384 33 13152 0 0 0 0 5 3 20 0 15 0 417077546 11079335936 9190 33554432000 4194304 4196468 140725833464192 140235156239264 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32111] ppid=32048 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32111/stat : 32111 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077546 11079335936 9190 33554432000 4194304 4196468 140725833464192 140235044283376 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32112] ppid=32048 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32112/stat : 32112 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11079335936 9190 33554432000 4194304 4196468 140725833464192 140234736883920 140236153972635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32113] ppid=32048 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32051/task/32113/stat : 32113 (java) S 32048 32051 29375 0 -1 1077944384 601 13152 0 0 1 0 5 3 20 0 15 0 417077549 11079335936 9190 33554432000 4194304 4196468 140725833464192 140235122682352 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32114] ppid=32048 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32114/stat : 32114 (java) S 32048 32051 29375 0 -1 1077944384 44 13152 0 0 0 0 5 3 20 0 15 0 417077549 11079335936 9190 33554432000 4194304 4196468 140725833464192 140235121629808 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32115] ppid=32048 vsize=10819664 memory=139983984129664 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32115/stat : 32115 (java) R 32048 32051 29375 0 -1 4202560 643 13152 0 0 3 0 5 3 20 0 15 0 417077549 11079335936 9190 33554432000 4194304 4196468 140725833464192 140235120577264 140236153975386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32116] ppid=32048 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32116/stat : 32116 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11079335936 9190 33554432000 4194304 4196468 140725833464192 140234703326304 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32117] ppid=32048 vsize=10819664 memory=139983984129664 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32117/stat : 32117 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077549 11079335936 9190 33554432000 4194304 4196468 140725833464192 140235119524144 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 36760 KiB

[startup+0.310281 s]*
/proc/loadavg: 1.39 1.42 1.44 3/227 32117
/proc/meminfo: memFree=28481092/32770624 swapFree=66999920/67108860
[pid=32051] ppid=32048 vsize=10820148 memory=48136 CPUtime=0.4 cores=1,3,5,7
/proc/32051/stat : 32051 (java) S 32048 32051 29375 0 -1 1077944320 10778 13152 0 0 30 2 5 3 20 0 15 0 417077534 11079831552 12034 33554432000 4194304 4196468 140725833464192 140725833446736 140236153954039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
/proc/32051/statm: 2705037 12034 3309 1 0 2667149 0
[pid=32051/tid=32104] ppid=32048 vsize=10820148 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/32051/task/32104/stat : 32104 (java) R 32048 32051 29375 0 -1 4202560 7201 13152 0 0 20 2 5 3 20 0 15 0 417077543 11079831552 12034 33554432000 4194304 4196468 140725833464192 140236125753952 140236138034526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32105] ppid=32048 vsize=10820148 memory=7228928657774891088 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32105/stat : 32105 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077544 11079831552 12034 33554432000 4194304 4196468 140725833464192 140236158196496 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32106] ppid=32048 vsize=10820148 memory=2080 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32106/stat : 32106 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077544 11079831552 12034 33554432000 4194304 4196468 140725833464192 140236057086864 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32107] ppid=32048 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32107/stat : 32107 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077544 11079831552 12034 33554432000 4194304 4196468 140725833464192 140236056034320 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32108] ppid=32048 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32108/stat : 32108 (java) S 32048 32051 29375 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 417077544 11079831552 12034 33554432000 4194304 4196468 140725833464192 140236054981776 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32109] ppid=32048 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32109/stat : 32109 (java) S 32048 32051 29375 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 417077545 11079831552 12034 33554432000 4194304 4196468 140725833464192 140235157293040 140236153965186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32110] ppid=32048 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32110/stat : 32110 (java) S 32048 32051 29375 0 -1 1077944384 33 13152 0 0 0 0 5 3 20 0 15 0 417077546 11079831552 12034 33554432000 4194304 4196468 140725833464192 140235156239264 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32111] ppid=32048 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32111/stat : 32111 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077546 11079831552 12034 33554432000 4194304 4196468 140725833464192 140235044283376 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32112] ppid=32048 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32112/stat : 32112 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11079831552 12034 33554432000 4194304 4196468 140725833464192 140234736883920 140236153972635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32113] ppid=32048 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/32051/task/32113/stat : 32113 (java) S 32048 32051 29375 0 -1 1077944384 602 13152 0 0 2 0 5 3 20 0 15 0 417077549 11079831552 12034 33554432000 4194304 4196468 140725833464192 140235122682352 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32114] ppid=32048 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/32051/task/32114/stat : 32114 (java) S 32048 32051 29375 0 -1 1077944384 53 13152 0 0 2 0 5 3 20 0 15 0 417077549 11079831552 12034 33554432000 4194304 4196468 140725833464192 140235121629808 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32115] ppid=32048 vsize=10820148 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32051/task/32115/stat : 32115 (java) S 32048 32051 29375 0 -1 1077944384 668 13152 0 0 5 0 5 3 20 0 15 0 417077549 11079831552 12034 33554432000 4194304 4196468 140725833464192 140235120577264 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32116] ppid=32048 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32116/stat : 32116 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11079831552 12034 33554432000 4194304 4196468 140725833464192 140234703326304 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32117] ppid=32048 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32117/stat : 32117 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077549 11079831552 12034 33554432000 4194304 4196468 140725833464192 140235119524144 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48136 KiB

[startup+0.700754 s]
/proc/loadavg: 1.39 1.42 1.44 4/227 32117
/proc/meminfo: memFree=28465452/32770624 swapFree=66999920/67108860
[pid=32051] ppid=32048 vsize=10824360 memory=81716 CPUtime=1.12 cores=1,3,5,7
/proc/32051/stat : 32051 (java) S 32048 32051 29375 0 -1 1077944320 15173 13152 0 0 100 4 5 3 20 0 15 0 417077534 11084144640 20429 33554432000 4194304 4196468 140725833464192 140725833446736 140236153954039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
/proc/32051/statm: 2706090 20429 3505 1 0 2668173 0
[pid=32051/tid=32104] ppid=32048 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/32051/task/32104/stat : 32104 (java) R 32048 32051 29375 0 -1 4202560 10315 13152 0 0 56 3 5 3 20 0 15 0 417077543 11084144640 20429 33554432000 4194304 4196468 140725833464192 140236125781200 140236153975965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32105] ppid=32048 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32105/stat : 32105 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077544 11084144640 20429 33554432000 4194304 4196468 140725833464192 140236158196496 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32106] ppid=32048 vsize=10824360 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32106/stat : 32106 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077544 11084144640 20429 33554432000 4194304 4196468 140725833464192 140236057086864 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32107] ppid=32048 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32107/stat : 32107 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077544 11084144640 20429 33554432000 4194304 4196468 140725833464192 140236056034320 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32108] ppid=32048 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32108/stat : 32108 (java) S 32048 32051 29375 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 417077544 11084144640 20429 33554432000 4194304 4196468 140725833464192 140236054981776 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32109] ppid=32048 vsize=10824360 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32109/stat : 32109 (java) S 32048 32051 29375 0 -1 1077944384 6 13152 0 0 0 0 5 3 20 0 15 0 417077545 11084144640 20429 33554432000 4194304 4196468 140725833464192 140235157293040 140236153965186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32110] ppid=32048 vsize=10824360 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32110/stat : 32110 (java) S 32048 32051 29375 0 -1 1077944384 33 13152 0 0 0 0 5 3 20 0 15 0 417077546 11084144640 20429 33554432000 4194304 4196468 140725833464192 140235156239264 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32111] ppid=32048 vsize=10824360 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32111/stat : 32111 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077546 11084144640 20429 33554432000 4194304 4196468 140725833464192 140235044283376 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32112] ppid=32048 vsize=10824360 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32112/stat : 32112 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11084144640 20429 33554432000 4194304 4196468 140725833464192 140234736883920 140236153972635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32113] ppid=32048 vsize=10824360 memory=13252 CPUtime=0.23 cores=1,3,5,7
/proc/32051/task/32113/stat : 32113 (java) R 32048 32051 29375 0 -1 1077944384 1209 13152 0 0 15 0 5 3 20 0 15 0 417077549 11084144640 20429 33554432000 4194304 4196468 140725833464192 140235122682352 140236153965186 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32114] ppid=32048 vsize=10824360 memory=15460 CPUtime=0.18 cores=1,3,5,7
/proc/32051/task/32114/stat : 32114 (java) R 32048 32051 29375 0 -1 4202560 501 13152 0 0 10 0 5 3 20 0 15 0 417077549 11084144640 20429 33554432000 4194304 4196468 140725833464192 140235121629808 140236137860218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32115] ppid=32048 vsize=10824360 memory=17668 CPUtime=0.25 cores=1,3,5,7
/proc/32051/task/32115/stat : 32115 (java) R 32048 32051 29375 0 -1 4202560 890 13152 0 0 17 0 5 3 20 0 15 0 417077549 11084144640 20429 33554432000 4194304 4196468 140725833464192 140235120577264 140236153965974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32116] ppid=32048 vsize=10824360 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32116/stat : 32116 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11084144640 20429 33554432000 4194304 4196468 140725833464192 140234703326304 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32117] ppid=32048 vsize=10824360 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32117/stat : 32117 (java) R 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077549 11084144640 20429 33554432000 4194304 4196468 140725833464192 140235119524144 140236153965186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81716 KiB

[startup+1.50073 s]
/proc/loadavg: 1.39 1.42 1.44 3/227 32117
/proc/meminfo: memFree=28423328/32770624 swapFree=66999920/67108860
[pid=32051] ppid=32048 vsize=10834676 memory=171332 CPUtime=2.42 cores=1,3,5,7
/proc/32051/stat : 32051 (java) S 32048 32051 29375 0 -1 1077944320 24270 13152 0 0 225 9 5 3 20 0 15 0 417077534 11094708224 42833 33554432000 4194304 4196468 140725833464192 140725833446736 140236153954039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
/proc/32051/statm: 2708669 42833 3578 1 0 2670733 0
[pid=32051/tid=32104] ppid=32048 vsize=10834676 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/32051/task/32104/stat : 32104 (java) R 32048 32051 29375 0 -1 4202560 15906 13152 0 0 130 5 5 3 20 0 15 0 417077543 11094708224 42833 33554432000 4194304 4196468 140725833464192 140236125758352 140236138034526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32105] ppid=32048 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32051/task/32105/stat : 32105 (java) S 32048 32051 29375 0 -1 1077944384 357 13152 0 0 1 0 5 3 20 0 15 0 417077544 11094708224 42833 33554432000 4194304 4196468 140725833464192 140236158196496 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32106] ppid=32048 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32106/stat : 32106 (java) S 32048 32051 29375 0 -1 1077944384 24 13152 0 0 0 0 5 3 20 0 15 0 417077544 11094708224 42833 33554432000 4194304 4196468 140725833464192 140236057086864 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32107] ppid=32048 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32051/task/32107/stat : 32107 (java) S 32048 32051 29375 0 -1 1077944384 126 13152 0 0 1 0 5 3 20 0 15 0 417077544 11094708224 42833 33554432000 4194304 4196468 140725833464192 140236056034320 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32108] ppid=32048 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32108/stat : 32108 (java) S 32048 32051 29375 0 -1 1077944384 17 13152 0 0 0 0 5 3 20 0 15 0 417077544 11094708224 42833 33554432000 4194304 4196468 140725833464192 140236054981776 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32109] ppid=32048 vsize=10834676 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/32051/task/32109/stat : 32109 (java) S 32048 32051 29375 0 -1 1077944384 1669 13152 0 0 1 0 5 3 20 0 15 0 417077545 11094708224 42833 33554432000 4194304 4196468 140725833464192 140235157293040 140236153965186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32110] ppid=32048 vsize=10834676 memory=279967711701248 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32110/stat : 32110 (java) S 32048 32051 29375 0 -1 1077944384 34 13152 0 0 0 0 5 3 20 0 15 0 417077546 11094708224 42833 33554432000 4194304 4196468 140725833464192 140235156239328 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32111] ppid=32048 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32111/stat : 32111 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077546 11094708224 42833 33554432000 4194304 4196468 140725833464192 140235044283392 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32112] ppid=32048 vsize=10834676 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32112/stat : 32112 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11094708224 42833 33554432000 4194304 4196468 140725833464192 140234736883920 140236153972635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32113] ppid=32048 vsize=10834676 memory=2832 CPUtime=0.32 cores=1,3,5,7
/proc/32051/task/32113/stat : 32113 (java) S 32048 32051 29375 0 -1 1077944384 1349 13152 0 0 24 0 5 3 20 0 15 0 417077549 11094708224 42833 33554432000 4194304 4196468 140725833464192 140235122682352 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32114] ppid=32048 vsize=10834676 memory=1712 CPUtime=0.3 cores=1,3,5,7
/proc/32051/task/32114/stat : 32114 (java) S 32048 32051 29375 0 -1 1077944384 662 13152 0 0 22 0 5 3 20 0 15 0 417077549 11094708224 42833 33554432000 4194304 4196468 140725833464192 140235121629808 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32115] ppid=32048 vsize=10834676 memory=1220 CPUtime=0.49 cores=1,3,5,7
/proc/32051/task/32115/stat : 32115 (java) R 32048 32051 29375 0 -1 4202560 1912 13152 0 0 41 0 5 3 20 0 15 0 417077549 11094708224 42833 33554432000 4194304 4196468 140725833464192 140235120577264 140236153965974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32116] ppid=32048 vsize=10834676 memory=992 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32116/stat : 32116 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11094708224 42833 33554432000 4194304 4196468 140725833464192 140234703326304 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32117] ppid=32048 vsize=10834676 memory=5988 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32117/stat : 32117 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11094708224 42833 33554432000 4194304 4196468 140725833464192 140235119524144 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 10834676 KiB

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

[startup+3.11933 s]
/proc/loadavg: 1.39 1.42 1.44 3/227 32117
/proc/meminfo: memFree=28284588/32770624 swapFree=66999920/67108860
[pid=32051] ppid=32048 vsize=10844936 memory=264452 CPUtime=6.85 cores=1,3,5,7
/proc/32051/stat : 32051 (java) S 32048 32051 29375 0 -1 1077944320 37268 13152 0 0 662 15 5 3 20 0 15 0 417077534 11105214464 66113 33554432000 4194304 4196468 140725833464192 140725833446736 140236153954039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
/proc/32051/statm: 2711234 66113 3603 1 0 2673293 0
[pid=32051/tid=32104] ppid=32048 vsize=10844936 memory=279967712119936 CPUtime=3 cores=1,3,5,7
/proc/32051/task/32104/stat : 32104 (java) S 32048 32051 29375 0 -1 1077944384 20096 13152 0 0 285 7 5 3 20 0 15 0 417077543 11105214464 66113 33554432000 4194304 4196468 140725833464192 140236125773840 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32105] ppid=32048 vsize=10844936 memory=279967712124480 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32105/stat : 32105 (java) R 32048 32051 29375 0 -1 4202560 369 13152 0 0 3 0 5 3 20 0 15 0 417077544 11105214464 66113 33554432000 4194304 4196468 140725833464192 140236158196496 140236138950647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32106] ppid=32048 vsize=10844936 memory=6944656592387989600 CPUtime=0.1 cores=1,3,5,7
/proc/32051/task/32106/stat : 32106 (java) R 32048 32051 29375 0 -1 4202560 34 13152 0 0 2 0 5 3 20 0 15 0 417077544 11105214464 66113 33554432000 4194304 4196468 140725833464192 140236057086864 140236138654701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32107] ppid=32048 vsize=10844936 memory=56 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32107/stat : 32107 (java) R 32048 32051 29375 0 -1 4202560 167 13152 0 0 3 0 5 3 20 0 15 0 417077544 11105214464 66113 33554432000 4194304 4196468 140725833464192 140236056034520 140236147053715 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32108] ppid=32048 vsize=10844936 memory=8389687274617582386 CPUtime=0.1 cores=1,3,5,7
/proc/32051/task/32108/stat : 32108 (java) R 32048 32051 29375 0 -1 4202560 34 13152 0 0 2 0 5 3 20 0 15 0 417077544 11105214464 66113 33554432000 4194304 4196468 140725833464192 140236054981776 140236138654727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32109] ppid=32048 vsize=10844936 memory=7093353515744752326 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32109/stat : 32109 (java) S 32048 32051 29375 0 -1 1077944384 1965 13152 0 0 3 0 5 3 20 0 15 0 417077545 11105214464 66113 33554432000 4194304 4196468 140725833464192 140235157291552 140236153964245 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32110] ppid=32048 vsize=10844936 memory=7449279377410438194 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32110/stat : 32110 (java) S 32048 32051 29375 0 -1 1077944384 34 13152 0 0 0 0 5 3 20 0 15 0 417077546 11105214464 66113 33554432000 4194304 4196468 140725833464192 140235156239328 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32111] ppid=32048 vsize=10844936 memory=279967711954432 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32111/stat : 32111 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077546 11105214464 66113 33554432000 4194304 4196468 140725833464192 140235044283392 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32112] ppid=32048 vsize=10844936 memory=7956567955459234152 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32112/stat : 32112 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11105214464 66113 33554432000 4194304 4196468 140725833464192 140234736883920 140236153972635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32113] ppid=32048 vsize=10844936 memory=6940161746138259540 CPUtime=1.39 cores=1,3,5,7
/proc/32051/task/32113/stat : 32113 (java) S 32048 32051 29375 0 -1 1077944384 4073 13152 0 0 131 0 5 3 20 0 15 0 417077549 11105214464 66113 33554432000 4194304 4196468 140725833464192 140235122682352 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32114] ppid=32048 vsize=10844936 memory=7447093755344480088 CPUtime=1.13 cores=1,3,5,7
/proc/32051/task/32114/stat : 32114 (java) S 32048 32051 29375 0 -1 1077944384 2752 13152 0 0 104 1 5 3 20 0 15 0 417077549 11105214464 66113 33554432000 4194304 4196468 140725833464192 140235121629808 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32115] ppid=32048 vsize=10844936 memory=288230574492221466 CPUtime=1.35 cores=1,3,5,7
/proc/32051/task/32115/stat : 32115 (java) S 32048 32051 29375 0 -1 1077944384 5526 13152 0 0 125 2 5 3 20 0 15 0 417077549 11105214464 66113 33554432000 4194304 4196468 140725833464192 140235120573696 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32116] ppid=32048 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32116/stat : 32116 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11105214464 66113 33554432000 4194304 4196468 140725833464192 140234703326304 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32117] ppid=32048 vsize=10844936 memory=2193 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32117/stat : 32117 (java) S 32048 32051 29375 0 -1 1077944384 5 13152 0 0 0 0 5 3 20 0 15 0 417077549 11105214464 66113 33554432000 4194304 4196468 140725833464192 140235119524144 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
Current children cumulated CPU time: 6.85 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 264452 KiB

[startup+4.08975 s]
# the end of solver process 32051 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.70425 s, system=0.236628 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20288 s]
/proc/loadavg: 1.39 1.42 1.44 3/227 32117
/proc/meminfo: memFree=28284588/32770624 swapFree=66999920/67108860
[pid=32051] ppid=32048 vsize=10844936 memory=266492 CPUtime=7.11 cores=1,3,5,7
/proc/32051/stat : 32051 (java) S 32048 32051 29375 0 -1 1077944320 38226 13152 0 0 688 15 5 3 20 0 15 0 417077534 11105214464 66623 33554432000 4194304 4196468 140725833464192 140725833446736 140236153954039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
/proc/32051/statm: 2711234 66623 3603 1 0 2673293 0
[pid=32051/tid=32104] ppid=32048 vsize=10844936 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/32051/task/32104/stat : 32104 (java) R 32048 32051 29375 0 -1 4202560 20604 13152 0 0 292 7 5 3 20 0 15 0 417077543 11105214464 66624 33554432000 4194304 4196468 140725833464192 140236125783936 140236134598941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32105] ppid=32048 vsize=10844936 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32105/stat : 32105 (java) S 32048 32051 29375 0 -1 1077944384 369 13152 0 0 3 0 5 3 20 0 15 0 417077544 11105214464 66624 33554432000 4194304 4196468 140725833464192 140236158196496 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32106] ppid=32048 vsize=10844936 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/32051/task/32106/stat : 32106 (java) S 32048 32051 29375 0 -1 1077944384 34 13152 0 0 2 0 5 3 20 0 15 0 417077544 11105214464 66624 33554432000 4194304 4196468 140725833464192 140236057086864 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32107] ppid=32048 vsize=10844936 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32107/stat : 32107 (java) S 32048 32051 29375 0 -1 1077944384 167 13152 0 0 3 0 5 3 20 0 15 0 417077544 11105214464 66624 33554432000 4194304 4196468 140725833464192 140236056034320 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32108] ppid=32048 vsize=10844936 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32108/stat : 32108 (java) S 32048 32051 29375 0 -1 1077944384 34 13152 0 0 3 0 5 3 20 0 15 0 417077544 11105214464 66624 33554432000 4194304 4196468 140725833464192 140236054981776 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32109] ppid=32048 vsize=10844936 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32109/stat : 32109 (java) S 32048 32051 29375 0 -1 1077944384 2125 13152 0 0 3 0 5 3 20 0 15 0 417077545 11105214464 66624 33554432000 4194304 4196468 140725833464192 140235157293040 140236153965186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32110] ppid=32048 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32110/stat : 32110 (java) S 32048 32051 29375 0 -1 1077944384 37 13152 0 0 0 0 5 3 20 0 15 0 417077546 11105214464 66624 33554432000 4194304 4196468 140725833464192 140235156239328 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32111] ppid=32048 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32111/stat : 32111 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077546 11105214464 66624 33554432000 4194304 4196468 140725833464192 140235044283392 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32112] ppid=32048 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32112/stat : 32112 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11105214464 66624 33554432000 4194304 4196468 140725833464192 140234736883920 140236153972635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32113] ppid=32048 vsize=10844936 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/32051/task/32113/stat : 32113 (java) S 32048 32051 29375 0 -1 1077944384 4091 13152 0 0 137 0 5 3 20 0 15 0 417077549 11105214464 66624 33554432000 4194304 4196468 140725833464192 140235122682352 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32114] ppid=32048 vsize=10844936 memory=1056 CPUtime=1.19 cores=1,3,5,7
/proc/32051/task/32114/stat : 32114 (java) S 32048 32051 29375 0 -1 1077944384 2776 13152 0 0 110 1 5 3 20 0 15 0 417077549 11105214464 66624 33554432000 4194304 4196468 140725833464192 140235121629808 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32115] ppid=32048 vsize=10844936 memory=14012 CPUtime=1.4 cores=1,3,5,7
/proc/32051/task/32115/stat : 32115 (java) R 32048 32051 29375 0 -1 4202560 5892 13152 0 0 130 2 5 3 20 0 15 0 417077549 11105214464 66624 33554432000 4194304 4196468 140725833464192 140235120571784 140236132892297 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32116] ppid=32048 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32116/stat : 32116 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11105214464 66624 33554432000 4194304 4196468 140725833464192 140234703326304 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32117] ppid=32048 vsize=10844936 memory=6788 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32117/stat : 32117 (java) S 32048 32051 29375 0 -1 1077944384 5 13152 0 0 0 0 5 3 20 0 15 0 417077549 11105214464 66624 33554432000 4194304 4196468 140725833464192 140235119524144 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
Current children cumulated CPU time: 7.11 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 266492 KiB

[startup+3.60137 s]
/proc/loadavg: 1.39 1.42 1.44 3/227 32117
/proc/meminfo: memFree=28284588/32770624 swapFree=66999920/67108860
[pid=32051] ppid=32048 vsize=10846984 memory=281984 CPUtime=8.42 cores=1,3,5,7
/proc/32051/stat : 32051 (java) S 32048 32051 29375 0 -1 1077944320 48137 13152 0 0 818 16 5 3 20 0 15 0 417077534 11107311616 70496 33554432000 4194304 4196468 140725833464192 140725833446736 140236153954039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
/proc/32051/statm: 2711746 70496 3605 1 0 2673805 0
[pid=32051/tid=32104] ppid=32048 vsize=10846984 memory=0 CPUtime=3.47 cores=1,3,5,7
/proc/32051/task/32104/stat : 32104 (java) R 32048 32051 29375 0 -1 4202560 24165 13152 0 0 331 8 5 3 20 0 15 0 417077543 11107311616 70496 33554432000 4194304 4196468 140725833464192 140236125788632 140235745624811 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32105] ppid=32048 vsize=10846984 memory=279967712493216 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32105/stat : 32105 (java) S 32048 32051 29375 0 -1 1077944384 369 13152 0 0 3 0 5 3 20 0 15 0 417077544 11107311616 70496 33554432000 4194304 4196468 140725833464192 140236158196496 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32106] ppid=32048 vsize=10846984 memory=139983856248880 CPUtime=0.1 cores=1,3,5,7
/proc/32051/task/32106/stat : 32106 (java) S 32048 32051 29375 0 -1 1077944384 34 13152 0 0 2 0 5 3 20 0 15 0 417077544 11107311616 70496 33554432000 4194304 4196468 140725833464192 140236057086864 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32107] ppid=32048 vsize=10846984 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32107/stat : 32107 (java) S 32048 32051 29375 0 -1 1077944384 167 13152 0 0 3 0 5 3 20 0 15 0 417077544 11107311616 70496 33554432000 4194304 4196468 140725833464192 140236056034320 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32108] ppid=32048 vsize=10846984 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32108/stat : 32108 (java) S 32048 32051 29375 0 -1 1077944384 34 13152 0 0 3 0 5 3 20 0 15 0 417077544 11107311616 70496 33554432000 4194304 4196468 140725833464192 140236054981776 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32109] ppid=32048 vsize=10846984 memory=-9174445032661854264 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32109/stat : 32109 (java) S 32048 32051 29375 0 -1 1077944384 2982 13152 0 0 3 0 5 3 20 0 15 0 417077545 11107311616 70496 33554432000 4194304 4196468 140725833464192 140235157293040 140236153965186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32110] ppid=32048 vsize=10846984 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32110/stat : 32110 (java) S 32048 32051 29375 0 -1 1077944384 37 13152 0 0 0 0 5 3 20 0 15 0 417077546 11107311616 70496 33554432000 4194304 4196468 140725833464192 140235156239328 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32111] ppid=32048 vsize=10846984 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32111/stat : 32111 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077546 11107311616 70496 33554432000 4194304 4196468 140725833464192 140235044283392 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32112] ppid=32048 vsize=10846984 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32112/stat : 32112 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11107311616 70496 33554432000 4194304 4196468 140725833464192 140234736883920 140236153972635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32113] ppid=32048 vsize=10846984 memory=-2605811476043407915 CPUtime=1.83 cores=1,3,5,7
/proc/32051/task/32113/stat : 32113 (java) R 32048 32051 29375 0 -1 4202560 4688 13152 0 0 175 0 5 3 20 0 15 0 417077549 11107311616 70496 33554432000 4194304 4196468 140725833464192 140235122669184 140236132120364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32114] ppid=32048 vsize=10846984 memory=0 CPUtime=1.56 cores=1,3,5,7
/proc/32051/task/32114/stat : 32114 (java) R 32048 32051 29375 0 -1 4202560 6825 13152 0 0 147 1 5 3 20 0 15 0 417077549 11107311616 70496 33554432000 4194304 4196468 140725833464192 140235121611416 140236139069311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32115] ppid=32048 vsize=10846984 memory=0 CPUtime=1.56 cores=1,3,5,7
/proc/32051/task/32115/stat : 32115 (java) S 32048 32051 29375 0 -1 1077944384 6616 13152 0 0 146 2 5 3 20 0 15 0 417077549 11107311616 70496 33554432000 4194304 4196468 140725833464192 140235120577264 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32116] ppid=32048 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32116/stat : 32116 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11107311616 70496 33554432000 4194304 4196468 140725833464192 140234703326304 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32117] ppid=32048 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32117/stat : 32117 (java) S 32048 32051 29375 0 -1 1077944384 8 13152 0 0 0 0 5 3 20 0 15 0 417077549 11107311616 70496 33554432000 4194304 4196468 140725833464192 140235119524144 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
Current children cumulated CPU time: 8.42 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 281984 KiB

[startup+4.00137 s]*
/proc/loadavg: 1.60 1.46 1.45 5/227 32117
/proc/meminfo: memFree=28228188/32770624 swapFree=66999920/67108860
[pid=32051] ppid=32048 vsize=10846984 memory=303516 CPUtime=9.73 cores=1,3,5,7
/proc/32051/stat : 32051 (java) S 32048 32051 29375 0 -1 1077944320 55624 13152 0 0 947 18 5 3 20 0 15 0 417077534 11107311616 75879 33554432000 4194304 4196468 140725833464192 140725833446736 140236153954039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
/proc/32051/statm: 2711746 75879 3605 1 0 2673805 0
[pid=32051/tid=32104] ppid=32048 vsize=10846984 memory=-6517102902069810590 CPUtime=3.87 cores=1,3,5,7
/proc/32051/task/32104/stat : 32104 (java) R 32048 32051 29375 0 -1 4202560 24285 13152 0 0 371 8 5 3 20 0 15 0 417077543 11107311616 75879 33554432000 4194304 4196468 140725833464192 140236125787000 140235746774719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32105] ppid=32048 vsize=10846984 memory=7959395632134763320 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32105/stat : 32105 (java) S 32048 32051 29375 0 -1 1077944384 369 13152 0 0 3 0 5 3 20 0 15 0 417077544 11107311616 75879 33554432000 4194304 4196468 140725833464192 140236158196496 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32106] ppid=32048 vsize=10846984 memory=3467964611863914144 CPUtime=0.1 cores=1,3,5,7
/proc/32051/task/32106/stat : 32106 (java) S 32048 32051 29375 0 -1 1077944384 34 13152 0 0 2 0 5 3 20 0 15 0 417077544 11107311616 75879 33554432000 4194304 4196468 140725833464192 140236057086864 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32107] ppid=32048 vsize=10846984 memory=3047711566422646390 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32107/stat : 32107 (java) S 32048 32051 29375 0 -1 1077944384 167 13152 0 0 3 0 5 3 20 0 15 0 417077544 11107311616 75879 33554432000 4194304 4196468 140725833464192 140236056034320 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32108] ppid=32048 vsize=10846984 memory=137657996805096 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32108/stat : 32108 (java) S 32048 32051 29375 0 -1 1077944384 34 13152 0 0 3 0 5 3 20 0 15 0 417077544 11107311616 75879 33554432000 4194304 4196468 140725833464192 140236054981776 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32109] ppid=32048 vsize=10846984 memory=3684174777259879649 CPUtime=0.11 cores=1,3,5,7
/proc/32051/task/32109/stat : 32109 (java) S 32048 32051 29375 0 -1 1077944384 2982 13152 0 0 3 0 5 3 20 0 15 0 417077545 11107311616 75879 33554432000 4194304 4196468 140725833464192 140235157293040 140236153965186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32110] ppid=32048 vsize=10846984 memory=3761973773909569843 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32110/stat : 32110 (java) S 32048 32051 29375 0 -1 1077944384 37 13152 0 0 0 0 5 3 20 0 15 0 417077546 11107311616 76391 33554432000 4194304 4196468 140725833464192 140235156239328 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32111] ppid=32048 vsize=10846984 memory=7450762911227931749 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32111/stat : 32111 (java) S 32048 32051 29375 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 417077546 11107311616 76391 33554432000 4194304 4196468 140725833464192 140235044283392 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32112] ppid=32048 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32112/stat : 32112 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11107311616 76391 33554432000 4194304 4196468 140725833464192 140234736883920 140236153972635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32113] ppid=32048 vsize=10846984 memory=0 CPUtime=2.25 cores=1,3,5,7
/proc/32051/task/32113/stat : 32113 (java) R 32048 32051 29375 0 -1 4202560 6042 13152 0 0 216 1 5 3 20 0 15 0 417077549 11107311616 76391 33554432000 4194304 4196468 140725833464192 140235122667816 140236133802081 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32114] ppid=32048 vsize=10846984 memory=5 CPUtime=1.97 cores=1,3,5,7
/proc/32051/task/32114/stat : 32114 (java) R 32048 32051 29375 0 -1 4202560 11377 13152 0 0 187 2 5 3 20 0 15 0 417077549 11107311616 76391 33554432000 4194304 4196468 140725833464192 140235121615968 140236138342032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32115] ppid=32048 vsize=10846984 memory=51 CPUtime=1.65 cores=1,3,5,7
/proc/32051/task/32115/stat : 32115 (java) S 32048 32051 29375 0 -1 1077944384 8076 13152 0 0 154 3 5 3 20 0 15 0 417077549 11107311616 76391 33554432000 4194304 4196468 140725833464192 140235120577264 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32116] ppid=32048 vsize=10846984 memory=73 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32116/stat : 32116 (java) S 32048 32051 29375 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 417077549 11107311616 76391 33554432000 4194304 4196468 140725833464192 140234703326304 140236153964245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
[pid=32051/tid=32117] ppid=32048 vsize=10846984 memory=29560 CPUtime=0.08 cores=1,3,5,7
/proc/32051/task/32117/stat : 32117 (java) S 32048 32051 29375 0 -1 1077944384 8 13152 0 0 0 0 5 3 20 0 15 0 417077549 11107311616 76391 33554432000 4194304 4196468 140725833464192 140235119524144 140236153965186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33452032 140725833468655 140725833471173 140725833471173 140725833473999 0
Current children cumulated CPU time: 9.73 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 303516 KiB

Child status: 0
Real time (s): 4.0898
CPU time (s): 9.94088
CPU user time (s): 9.70425
CPU system time (s): 0.236628
CPU usage (%): 243.065
Max. virtual memory (cumulated for all children) (KiB): 10849804
Max. memory (cumulated for all children) (KiB): 303516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.70425
system time used= 0.236628
maximum resident set size= 320356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68922
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= 6262
involuntary context switches= 46


# summary of solver processes directly reported to runsolver:
#   pid: 32051
#   total CPU time (s): 9.94088
#   total CPU user time (s): 9.70425
#   total CPU system time (s): 0.236628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050165 second user time and 0.0824 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-13 22:54:48
IDJOB=4396042
IDBENCH=135099
IDSOLVER=2846
FILE ID=node123/4396042-1568408127
RUNJOBID= node123-1568399035-29407
PBS_JOBID= 21701874
Free space on /tmp= 59148 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-factor/Pb-factor-S9-P347-Q487.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396042-1568408127/watcher-4396042-1568408127 -o /tmp/evaluation-result-4396042-1568408127/solver-4396042-1568408127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568399035-29407 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1897470809 HOME/instance-4396042-1568408127.xml

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

MD5SUM BENCH= 80380e658be8322d68ef398155d216ec
RANDOM SEED=1897470809

node123.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.49
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.49
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.49
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.49
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:        28518856 kB
MemAvailable:   31278152 kB
Buffers:          134268 kB
Cached:          2889004 kB
SwapCached:         7388 kB
Active:          1555504 kB
Inactive:        2077272 kB
Active(anon):     600968 kB
Inactive(anon):    49324 kB
Active(file):     954536 kB
Inactive(file):  2027948 kB
Unevictable:      107524 kB
Mlocked:          107524 kB
SwapTotal:      67108860 kB
SwapFree:       66999920 kB
Dirty:             35328 kB
Writeback:             0 kB
AnonPages:        714100 kB
Mapped:            57920 kB
Shmem:             32684 kB
Slab:             214832 kB
SReclaimable:     185296 kB
SUnreclaim:        29536 kB
KernelStack:        3984 kB
PageTables:         7140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1863612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    591872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59112 MiB
End job on node123 at 2019-09-13 22:54:52