Trace number 4294301

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.8-SuperNG 2018-06-13OPT2 7.36487 4.03837

General information on the benchmark

NameTemplateDesign/
TemplateDesign-m1s-1_c18.xml
MD5SUM1aa19c04fc46d2c59e842211a2e06bfd
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.21076
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints18
Number of domains6
Minimum domain size2
Maximum domain size880
Distribution of domain sizes[{"size":2,"count":3},{"size":5,"count":9},{"size":275,"count":3},{"size":550,"count":3},{"size":801,"count":3},{"size":880,"count":3}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":21},{"degree":4,"count":3}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":3},{"arity":3,"count":15}]
Number of extensional constraints3
Number of intensional constraints9
Distribution of constraint types[{"type":"extension","count":3},{"type":"intension","count":9},{"type":"sum","count":6}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.99/0.75	c Concrete v3.8.1528841891564 running
7.07/3.66	o 2
7.07/3.67	v <instantiation cost="2">
7.07/3.67	v       <list>
7.07/3.67	v         d[0][0] d[0][1] d[0][2] d[1][0] d[1][1] d[1][2] d[2][0] d[2][1] d[2][2] npt[0] npt[1] npt[2] u[0] u[1] u[2] nptv[0][0] nptv[0][1] nptv[0][2] nptv[1][0] nptv[1][1] nptv[1][2] nptv[2][0] nptv[2][1] nptv[2][2]
7.07/3.67	v       </list>
7.07/3.67	v       <values>
7.07/3.67	v         0 0 4 2 0 2 0 2 2 0 119 261 0 1 1 0 0 0 238 0 238 0 522 522
7.07/3.67	v       </values>
7.07/3.67	v     </instantiation>
7.33/3.91	s OPTIMUM FOUND

Verifier Data 

OK	2

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 (6683 MiB free)
  memory of node 1: 16384 MiB (8810 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294301-1532448543/watcher-4294301-1532448543 -o /tmp/evaluation-result-4294301-1532448543/solver-4294301-1532448543 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532446038-19003 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=130459385 -superng HOME/instance-4294301-1532448543.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19967, runsolver pid=19964
Current StackSize limit: 8192 KiB


[startup+0.101066 s]*
/proc/loadavg: 1.78 1.44 1.36 2/210 20024
/proc/meminfo: memFree=15858080/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=9972712 memory=17208 CPUtime=0.08 cores=0,2,4,6
/proc/19967/stat : 19967 (java) S 19964 19967 12709 0 -1 1077944320 4448 13004 0 0 1 0 5 2 20 0 6 0 62417477 10212057088 4302 33554432000 4194304 4196468 140724969596080 140724969578624 140584082968311 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
/proc/19967/statm: 2493178 4302 1934 1 0 2481616 0
[pid=19967/tid=20020] ppid=19964 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/19967/task/20020/stat : 20020 (java) R 19964 19967 12709 0 -1 4202560 2268 13004 0 0 1 0 5 2 20 0 6 0 62417486 10212057088 4302 33554432000 4194304 4196468 140724969596080 140584054805072 140584067048798 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20021] ppid=19964 vsize=9972712 memory=5793855723093445049 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20021/stat : 20021 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 6 0 62417487 10212057088 4302 33554432000 4194304 4196468 140724969596080 140584087210256 140584082978517 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20022] ppid=19964 vsize=9972712 memory=140472083551872 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20022/stat : 20022 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 6 0 62417487 10212057088 4302 33554432000 4194304 4196468 140724969596080 140584012515728 140584082978517 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20023] ppid=19964 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20023/stat : 20023 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 6 0 62417487 10212057088 4302 33554432000 4194304 4196468 140724969596080 140584011463184 140584082978517 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20024] ppid=19964 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20024/stat : 20024 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 6 0 62417487 10212057088 4302 33554432000 4194304 4196468 140724969596080 140583654578832 140584082978517 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17208 KiB

[startup+0.210216 s]*
/proc/loadavg: 1.78 1.44 1.36 4/219 20033
/proc/meminfo: memFree=15833044/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=10818856 memory=47056 CPUtime=0.25 cores=0,2,4,6
/proc/19967/stat : 19967 (java) S 19964 19967 12709 0 -1 1077944320 8655 13004 0 0 16 2 5 2 20 0 15 0 62417477 11078508544 11764 33554432000 4194304 4196468 140724969596080 140724969578624 140584082968311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
/proc/19967/statm: 2704714 11764 2931 1 0 2667149 0
[pid=19967/tid=20020] ppid=19964 vsize=10818856 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/19967/task/20020/stat : 20020 (java) R 19964 19967 12709 0 -1 4202560 5311 13004 0 0 10 1 5 2 20 0 15 0 62417486 11078508544 11764 33554432000 4194304 4196468 140724969596080 140584054765968 140584064531871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20021] ppid=19964 vsize=10818856 memory=4211974198288342410 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20021/stat : 20021 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417487 11078508544 11764 33554432000 4194304 4196468 140724969596080 140584087210256 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20022] ppid=19964 vsize=10818856 memory=140472083551872 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20022/stat : 20022 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417487 11078508544 11764 33554432000 4194304 4196468 140724969596080 140584012515728 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20023] ppid=19964 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20023/stat : 20023 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417487 11078508544 11764 33554432000 4194304 4196468 140724969596080 140584011463184 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20024] ppid=19964 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20024/stat : 20024 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417487 11078508544 11764 33554432000 4194304 4196468 140724969596080 140583654578832 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20025] ppid=19964 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20025/stat : 20025 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417488 11078508544 11764 33554432000 4194304 4196468 140724969596080 140583609629168 140584082979458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20026] ppid=19964 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20026/stat : 20026 (java) S 19964 19967 12709 0 -1 1077944384 13 13004 0 0 0 0 5 2 20 0 15 0 62417489 11078508544 11764 33554432000 4194304 4196468 140724969596080 140583540614560 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20027] ppid=19964 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20027/stat : 20027 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417489 11078508544 11764 33554432000 4194304 4196468 140724969596080 140583406396912 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20028] ppid=19964 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20028/stat : 20028 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417492 11078508544 11764 33554432000 4194304 4196468 140724969596080 140582802418384 140584082986907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20029] ppid=19964 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19967/task/20029/stat : 20029 (java) S 19964 19967 12709 0 -1 1077944384 508 13004 0 0 1 0 5 2 20 0 15 0 62417492 11078508544 11764 33554432000 4194304 4196468 140724969596080 140583507056624 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20030] ppid=19964 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20030/stat : 20030 (java) S 19964 19967 12709 0 -1 1077944384 56 13004 0 0 0 0 5 2 20 0 15 0 62417492 11078508544 11764 33554432000 4194304 4196468 140724969596080 140583506004080 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20031] ppid=19964 vsize=10818856 memory=140472083551872 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20031/stat : 20031 (java) S 19964 19967 12709 0 -1 1077944384 565 13004 0 0 3 0 5 2 20 0 15 0 62417492 11078508544 11764 33554432000 4194304 4196468 140724969596080 140583504951536 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20032] ppid=19964 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20032/stat : 20032 (java) S 19964 19967 12709 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 62417492 11078508544 11764 33554432000 4194304 4196468 140724969596080 140582332656224 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20033] ppid=19964 vsize=10818856 memory=140472083551872 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20033/stat : 20033 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417492 11078508544 11764 33554432000 4194304 4196468 140724969596080 140583503899440 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 47056 KiB

[startup+0.310603 s]*
/proc/loadavg: 1.78 1.44 1.36 4/219 20033
/proc/meminfo: memFree=15822652/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=10819352 memory=58384 CPUtime=0.38 cores=0,2,4,6
/proc/19967/stat : 19967 (java) S 19964 19967 12709 0 -1 1077944320 10673 13004 0 0 28 3 5 2 20 0 15 0 62417477 11079016448 14596 33554432000 4194304 4196468 140724969596080 140724969578624 140584082968311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
/proc/19967/statm: 2704838 14596 3062 1 0 2667149 0
[pid=19967/tid=20020] ppid=19964 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/19967/task/20020/stat : 20020 (java) R 19964 19967 12709 0 -1 4202560 7323 13004 0 0 19 2 5 2 20 0 15 0 62417486 11079016448 14596 33554432000 4194304 4196468 140724969596080 140584054780320 140584067048798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20021] ppid=19964 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20021/stat : 20021 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417487 11079016448 14596 33554432000 4194304 4196468 140724969596080 140584087210256 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20022] ppid=19964 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20022/stat : 20022 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417487 11079016448 14596 33554432000 4194304 4196468 140724969596080 140584012515728 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20023] ppid=19964 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20023/stat : 20023 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417487 11079016448 14596 33554432000 4194304 4196468 140724969596080 140584011463184 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20024] ppid=19964 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20024/stat : 20024 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417487 11079016448 14596 33554432000 4194304 4196468 140724969596080 140583654578832 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20025] ppid=19964 vsize=10819352 memory=140472083551871 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20025/stat : 20025 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417488 11079016448 14596 33554432000 4194304 4196468 140724969596080 140583609629168 140584082979458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20026] ppid=19964 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20026/stat : 20026 (java) S 19964 19967 12709 0 -1 1077944384 13 13004 0 0 0 0 5 2 20 0 15 0 62417489 11079016448 14596 33554432000 4194304 4196468 140724969596080 140583540614560 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20027] ppid=19964 vsize=10819352 memory=140472083551872 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20027/stat : 20027 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417489 11079016448 14596 33554432000 4194304 4196468 140724969596080 140583406396912 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20028] ppid=19964 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20028/stat : 20028 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417492 11079016448 14596 33554432000 4194304 4196468 140724969596080 140582802418384 140584082986907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20029] ppid=19964 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19967/task/20029/stat : 20029 (java) S 19964 19967 12709 0 -1 1077944384 508 13004 0 0 1 0 5 2 20 0 15 0 62417492 11079016448 14596 33554432000 4194304 4196468 140724969596080 140583507056624 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20030] ppid=19964 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19967/task/20030/stat : 20030 (java) S 19964 19967 12709 0 -1 1077944384 57 13004 0 0 1 0 5 2 20 0 15 0 62417492 11079016448 14596 33554432000 4194304 4196468 140724969596080 140583506004080 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20031] ppid=19964 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19967/task/20031/stat : 20031 (java) S 19964 19967 12709 0 -1 1077944384 570 13004 0 0 5 0 5 2 20 0 15 0 62417492 11079016448 14596 33554432000 4194304 4196468 140724969596080 140583504951536 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20032] ppid=19964 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20032/stat : 20032 (java) S 19964 19967 12709 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 62417492 11079016448 14596 33554432000 4194304 4196468 140724969596080 140582332656224 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20033] ppid=19964 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20033/stat : 20033 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417492 11079016448 14596 33554432000 4194304 4196468 140724969596080 140583503899440 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58384 KiB

[startup+0.700766 s]
/proc/loadavg: 1.78 1.44 1.36 3/219 20033
/proc/meminfo: memFree=15618728/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=10819352 memory=90912 CPUtime=0.99 cores=0,2,4,6
/proc/19967/stat : 19967 (java) S 19964 19967 12709 0 -1 1077944320 16829 13004 0 0 87 5 5 2 20 0 15 0 62417477 11079016448 22728 33554432000 4194304 4196468 140724969596080 140724969578624 140584082968311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
/proc/19967/statm: 2704838 22728 3238 1 0 2667149 0
[pid=19967/tid=20020] ppid=19964 vsize=10819352 memory=19340 CPUtime=0.66 cores=0,2,4,6
/proc/19967/task/20020/stat : 20020 (java) R 19964 19967 12709 0 -1 4202560 12581 13004 0 0 55 4 5 2 20 0 15 0 62417486 11079016448 22728 33554432000 4194304 4196468 140724969596080 140584054791312 140584067048798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20021] ppid=19964 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20021/stat : 20021 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417487 11079016448 22728 33554432000 4194304 4196468 140724969596080 140584087210256 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20022] ppid=19964 vsize=10819352 memory=288230587427469581 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20022/stat : 20022 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417487 11079016448 22728 33554432000 4194304 4196468 140724969596080 140584012515728 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20023] ppid=19964 vsize=10819352 memory=15816694631256675 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20023/stat : 20023 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417487 11079016448 22728 33554432000 4194304 4196468 140724969596080 140584011463184 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20024] ppid=19964 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20024/stat : 20024 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417487 11079016448 22728 33554432000 4194304 4196468 140724969596080 140583654578832 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20025] ppid=19964 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20025/stat : 20025 (java) S 19964 19967 12709 0 -1 1077944384 5 13004 0 0 0 0 5 2 20 0 15 0 62417488 11079016448 22728 33554432000 4194304 4196468 140724969596080 140583609629168 140584082979458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20026] ppid=19964 vsize=10819352 memory=140471938884192 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20026/stat : 20026 (java) S 19964 19967 12709 0 -1 1077944384 13 13004 0 0 0 0 5 2 20 0 15 0 62417489 11079016448 22728 33554432000 4194304 4196468 140724969596080 140583540614560 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20027] ppid=19964 vsize=10819352 memory=140475495351408 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20027/stat : 20027 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417489 11079016448 22728 33554432000 4194304 4196468 140724969596080 140583406396912 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20028] ppid=19964 vsize=10819352 memory=2340 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20028/stat : 20028 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417492 11079016448 22728 33554432000 4194304 4196468 140724969596080 140582802418384 140584082986907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20029] ppid=19964 vsize=10819352 memory=6153431502485414241 CPUtime=0.17 cores=0,2,4,6
/proc/19967/task/20029/stat : 20029 (java) S 19964 19967 12709 0 -1 1077944384 1149 13004 0 0 10 0 5 2 20 0 15 0 62417492 11079016448 22728 33554432000 4194304 4196468 140724969596080 140583507056624 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20030] ppid=19964 vsize=10819352 memory=7881696724453321575 CPUtime=0.13 cores=0,2,4,6
/proc/19967/task/20030/stat : 20030 (java) S 19964 19967 12709 0 -1 1077944384 276 13004 0 0 6 0 5 2 20 0 15 0 62417492 11079016448 22728 33554432000 4194304 4196468 140724969596080 140583506004080 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20031] ppid=19964 vsize=10819352 memory=6154538792250073449 CPUtime=0.2 cores=0,2,4,6
/proc/19967/task/20031/stat : 20031 (java) S 19964 19967 12709 0 -1 1077944384 605 13004 0 0 13 0 5 2 20 0 15 0 62417492 11079016448 22728 33554432000 4194304 4196468 140724969596080 140583504951536 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20032] ppid=19964 vsize=10819352 memory=8514726395715218844 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20032/stat : 20032 (java) S 19964 19967 12709 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 62417492 11079016448 22728 33554432000 4194304 4196468 140724969596080 140582332656224 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20033] ppid=19964 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20033/stat : 20033 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417492 11079016448 22728 33554432000 4194304 4196468 140724969596080 140583503899440 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90912 KiB

[startup+1.50066 s]
/proc/loadavg: 1.78 1.44 1.36 5/219 20033
/proc/meminfo: memFree=15510648/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=10834252 memory=181736 CPUtime=2.3 cores=0,2,4,6
/proc/19967/stat : 19967 (java) S 19964 19967 12709 0 -1 1077944320 24828 13004 0 0 213 10 5 2 20 0 15 0 62417477 11094274048 45434 33554432000 4194304 4196468 140724969596080 140724969578624 140584082968311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
/proc/19967/statm: 2708563 45434 3478 1 0 2670221 0
[pid=19967/tid=20020] ppid=19964 vsize=10834252 memory=7738406144024012630 CPUtime=1.42 cores=0,2,4,6
/proc/19967/task/20020/stat : 20020 (java) R 19964 19967 12709 0 -1 4202560 18254 13004 0 0 129 6 5 2 20 0 15 0 62417486 11094274048 45434 33554432000 4194304 4196468 140724969596080 140584054792208 140584064531871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20021] ppid=19964 vsize=10834252 memory=7957973127041280617 CPUtime=0.08 cores=0,2,4,6
/proc/19967/task/20021/stat : 20021 (java) S 19964 19967 12709 0 -1 1077944384 27 13004 0 0 1 0 5 2 20 0 15 0 62417487 11094274048 45434 33554432000 4194304 4196468 140724969596080 140584087210256 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20022] ppid=19964 vsize=10834252 memory=7594002905513814625 CPUtime=0.08 cores=0,2,4,6
/proc/19967/task/20022/stat : 20022 (java) S 19964 19967 12709 0 -1 1077944384 13 13004 0 0 1 0 5 2 20 0 15 0 62417487 11094274048 45434 33554432000 4194304 4196468 140724969596080 140584012515728 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20023] ppid=19964 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19967/task/20023/stat : 20023 (java) S 19964 19967 12709 0 -1 1077944384 198 13004 0 0 1 0 5 2 20 0 15 0 62417487 11094274048 45434 33554432000 4194304 4196468 140724969596080 140584011463184 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20024] ppid=19964 vsize=10834252 memory=226478658749528 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20024/stat : 20024 (java) S 19964 19967 12709 0 -1 1077944384 68 13004 0 0 0 0 5 2 20 0 15 0 62417487 11094274048 45434 33554432000 4194304 4196468 140724969596080 140583654578832 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20025] ppid=19964 vsize=10834252 memory=330602 CPUtime=0.08 cores=0,2,4,6
/proc/19967/task/20025/stat : 20025 (java) S 19964 19967 12709 0 -1 1077944384 557 13004 0 0 1 0 5 2 20 0 15 0 62417488 11094274048 45434 33554432000 4194304 4196468 140724969596080 140583609629168 140584082979458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20026] ppid=19964 vsize=10834252 memory=4638778424102965584 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20026/stat : 20026 (java) S 19964 19967 12709 0 -1 1077944384 14 13004 0 0 0 0 5 2 20 0 15 0 62417489 11094274048 45434 33554432000 4194304 4196468 140724969596080 140583540614624 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20027] ppid=19964 vsize=10834252 memory=6935649255776346176 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20027/stat : 20027 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417489 11094274048 45434 33554432000 4194304 4196468 140724969596080 140583406396928 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20028] ppid=19964 vsize=10834252 memory=280943877161200 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20028/stat : 20028 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417492 11094274048 45434 33554432000 4194304 4196468 140724969596080 140582802418384 140584082986907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20029] ppid=19964 vsize=10834252 memory=6935649255759570240 CPUtime=0.29 cores=0,2,4,6
/proc/19967/task/20029/stat : 20029 (java) S 19964 19967 12709 0 -1 1077944384 1314 13004 0 0 22 0 5 2 20 0 15 0 62417492 11094274048 45434 33554432000 4194304 4196468 140724969596080 140583507056624 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20030] ppid=19964 vsize=10834252 memory=-6653887611310072935 CPUtime=0.28 cores=0,2,4,6
/proc/19967/task/20030/stat : 20030 (java) S 19964 19967 12709 0 -1 1077944384 755 13004 0 0 21 0 5 2 20 0 15 0 62417492 11094274048 45434 33554432000 4194304 4196468 140724969596080 140583506004080 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20031] ppid=19964 vsize=10834252 memory=6656426216303648864 CPUtime=0.39 cores=0,2,4,6
/proc/19967/task/20031/stat : 20031 (java) S 19964 19967 12709 0 -1 1077944384 1433 13004 0 0 32 0 5 2 20 0 15 0 62417492 11094274048 45434 33554432000 4194304 4196468 140724969596080 140583504951536 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20032] ppid=19964 vsize=10834252 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20032/stat : 20032 (java) S 19964 19967 12709 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 62417492 11094274048 45434 33554432000 4194304 4196468 140724969596080 140582332656224 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20033] ppid=19964 vsize=10834252 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20033/stat : 20033 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417492 11094274048 45434 33554432000 4194304 4196468 140724969596080 140583503899440 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 181736 KiB

[startup+3.11052 s]
/proc/loadavg: 1.78 1.44 1.36 3/219 20033
/proc/meminfo: memFree=15319760/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=10846560 memory=266084 CPUtime=5.85 cores=0,2,4,6
/proc/19967/stat : 19967 (java) S 19964 19967 12709 0 -1 1077944320 51514 13004 0 0 563 15 5 2 20 0 15 0 62417477 11106877440 66521 33554432000 4194304 4196468 140724969596080 140724969578624 140584082968311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
/proc/19967/statm: 2711640 66521 3502 1 0 2673293 0
[pid=19967/tid=20020] ppid=19964 vsize=10846560 memory=258396 CPUtime=2.98 cores=0,2,4,6
/proc/19967/task/20020/stat : 20020 (java) R 19964 19967 12709 0 -1 4202560 34520 13004 0 0 283 8 5 2 20 0 15 0 62417486 11106877440 66521 33554432000 4194304 4196468 140724969596080 140584054801312 140584063244206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20021] ppid=19964 vsize=10846560 memory=3828 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20021/stat : 20021 (java) S 19964 19967 12709 0 -1 1077944384 47 13004 0 0 3 0 5 2 20 0 15 0 62417487 11106877440 66521 33554432000 4194304 4196468 140724969596080 140584087210256 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20022] ppid=19964 vsize=10846560 memory=7 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20022/stat : 20022 (java) S 19964 19967 12709 0 -1 1077944384 83 13004 0 0 3 0 5 2 20 0 15 0 62417487 11106877440 66521 33554432000 4194304 4196468 140724969596080 140584012515728 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20023] ppid=19964 vsize=10846560 memory=56 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20023/stat : 20023 (java) S 19964 19967 12709 0 -1 1077944384 256 13004 0 0 3 0 5 2 20 0 15 0 62417487 11106877440 66521 33554432000 4194304 4196468 140724969596080 140584011463184 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20024] ppid=19964 vsize=10846560 memory=140471938714904 CPUtime=0.09 cores=0,2,4,6
/proc/19967/task/20024/stat : 20024 (java) S 19964 19967 12709 0 -1 1077944384 79 13004 0 0 2 0 5 2 20 0 15 0 62417487 11106877440 66521 33554432000 4194304 4196468 140724969596080 140583654578832 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20025] ppid=19964 vsize=10846560 memory=7680491646476186387 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20025/stat : 20025 (java) S 19964 19967 12709 0 -1 1077944384 2152 13004 0 0 3 0 5 2 20 0 15 0 62417488 11106877440 66521 33554432000 4194304 4196468 140724969596080 140583609629168 140584082979458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20026] ppid=19964 vsize=10846560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20026/stat : 20026 (java) S 19964 19967 12709 0 -1 1077944384 14 13004 0 0 0 0 5 2 20 0 15 0 62417489 11106877440 66521 33554432000 4194304 4196468 140724969596080 140583540614624 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20027] ppid=19964 vsize=10846560 memory=-8316900901535099443 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20027/stat : 20027 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417489 11106877440 66521 33554432000 4194304 4196468 140724969596080 140583406396928 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20028] ppid=19964 vsize=10846560 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20028/stat : 20028 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417492 11106877440 66521 33554432000 4194304 4196468 140724969596080 140582802418384 140584082986907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20029] ppid=19964 vsize=10846560 memory=6944656592455360604 CPUtime=1.04 cores=0,2,4,6
/proc/19967/task/20029/stat : 20029 (java) S 19964 19967 12709 0 -1 1077944384 5026 13004 0 0 96 1 5 2 20 0 15 0 62417492 11106877440 66521 33554432000 4194304 4196468 140724969596080 140583507056624 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20030] ppid=19964 vsize=10846560 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/19967/task/20030/stat : 20030 (java) S 19964 19967 12709 0 -1 1077944384 2471 13004 0 0 62 0 5 2 20 0 15 0 62417492 11106877440 66521 33554432000 4194304 4196468 140724969596080 140583506004080 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20031] ppid=19964 vsize=10846560 memory=301741373374332954 CPUtime=1.11 cores=0,2,4,6
/proc/19967/task/20031/stat : 20031 (java) S 19964 19967 12709 0 -1 1077944384 4663 13004 0 0 103 1 5 2 20 0 15 0 62417492 11106877440 66521 33554432000 4194304 4196468 140724969596080 140583504951536 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20032] ppid=19964 vsize=10846560 memory=301741394933055803 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20032/stat : 20032 (java) S 19964 19967 12709 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 62417492 11106877440 66521 33554432000 4194304 4196468 140724969596080 140582332656224 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20033] ppid=19964 vsize=10846560 memory=14134441857518180 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20033/stat : 20033 (java) S 19964 19967 12709 0 -1 1077944384 9 13004 0 0 0 0 5 2 20 0 15 0 62417492 11106877440 66521 33554432000 4194304 4196468 140724969596080 140583503899440 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 266084 KiB

[startup+4.03833 s]
# the end of solver process 19967 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.1399 s, system=0.224966 s

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

[startup+3.20151 s]
/proc/loadavg: 1.78 1.44 1.36 3/219 20033
/proc/meminfo: memFree=15319760/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=10846560 memory=267376 CPUtime=6.05 cores=0,2,4,6
/proc/19967/stat : 19967 (java) S 19964 19967 12709 0 -1 1077944320 51906 13004 0 0 583 15 5 2 20 0 15 0 62417477 11106877440 66844 33554432000 4194304 4196468 140724969596080 140724969578624 140584082968311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
/proc/19967/statm: 2711640 66844 3502 1 0 2673293 0
[pid=19967/tid=20020] ppid=19964 vsize=10846560 memory=4426042776274957866 CPUtime=3.07 cores=0,2,4,6
/proc/19967/task/20020/stat : 20020 (java) R 19964 19967 12709 0 -1 4202560 34822 13004 0 0 292 8 5 2 20 0 15 0 62417486 11106877440 66844 33554432000 4194304 4196468 140724969596080 140584054798064 140584082980246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20021] ppid=19964 vsize=10846560 memory=4132771212810548115 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20021/stat : 20021 (java) S 19964 19967 12709 0 -1 1077944384 47 13004 0 0 3 0 5 2 20 0 15 0 62417487 11106877440 66844 33554432000 4194304 4196468 140724969596080 140584087210256 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20022] ppid=19964 vsize=10846560 memory=-6526411401870300574 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20022/stat : 20022 (java) S 19964 19967 12709 0 -1 1077944384 83 13004 0 0 3 0 5 2 20 0 15 0 62417487 11106877440 66844 33554432000 4194304 4196468 140724969596080 140584012515728 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20023] ppid=19964 vsize=10846560 memory=-7662142094119126430 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20023/stat : 20023 (java) S 19964 19967 12709 0 -1 1077944384 256 13004 0 0 3 0 5 2 20 0 15 0 62417487 11106877440 66844 33554432000 4194304 4196468 140724969596080 140584011463184 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20024] ppid=19964 vsize=10846560 memory=-6369888044986765666 CPUtime=0.09 cores=0,2,4,6
/proc/19967/task/20024/stat : 20024 (java) S 19964 19967 12709 0 -1 1077944384 79 13004 0 0 2 0 5 2 20 0 15 0 62417487 11106877440 66844 33554432000 4194304 4196468 140724969596080 140583654578832 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20025] ppid=19964 vsize=10846560 memory=7810202080318740078 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20025/stat : 20025 (java) S 19964 19967 12709 0 -1 1077944384 2152 13004 0 0 3 0 5 2 20 0 15 0 62417488 11106877440 66844 33554432000 4194304 4196468 140724969596080 140583609629168 140584082979458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20026] ppid=19964 vsize=10846560 memory=5937524870553682016 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20026/stat : 20026 (java) S 19964 19967 12709 0 -1 1077944384 14 13004 0 0 0 0 5 2 20 0 15 0 62417489 11106877440 66844 33554432000 4194304 4196468 140724969596080 140583540614624 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20027] ppid=19964 vsize=10846560 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20027/stat : 20027 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417489 11106877440 66844 33554432000 4194304 4196468 140724969596080 140583406396928 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20028] ppid=19964 vsize=10846560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20028/stat : 20028 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417492 11106877440 66844 33554432000 4194304 4196468 140724969596080 140582802418384 140584082986907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20029] ppid=19964 vsize=10846560 memory=0 CPUtime=1.09 cores=0,2,4,6
/proc/19967/task/20029/stat : 20029 (java) R 19964 19967 12709 0 -1 4202560 5027 13004 0 0 101 1 5 2 20 0 15 0 62417492 11106877440 66844 33554432000 4194304 4196468 140724969596080 140583507037024 140584066958611 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20030] ppid=19964 vsize=10846560 memory=2 CPUtime=0.71 cores=0,2,4,6
/proc/19967/task/20030/stat : 20030 (java) R 19964 19967 12709 0 -1 4202560 2491 13004 0 0 64 0 5 2 20 0 15 0 62417492 11106877440 66844 33554432000 4194304 4196468 140724969596080 140583506004080 140584075953353 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20031] ppid=19964 vsize=10846560 memory=1 CPUtime=1.14 cores=0,2,4,6
/proc/19967/task/20031/stat : 20031 (java) R 19964 19967 12709 0 -1 4202560 4732 13004 0 0 106 1 5 2 20 0 15 0 62417492 11106877440 66844 33554432000 4194304 4196468 140724969596080 140583504951536 140584082989658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20032] ppid=19964 vsize=10846560 memory=14550907555742792 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20032/stat : 20032 (java) S 19964 19967 12709 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 62417492 11106877440 66844 33554432000 4194304 4196468 140724969596080 140582332656224 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20033] ppid=19964 vsize=10846560 memory=140471938756704 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20033/stat : 20033 (java) S 19964 19967 12709 0 -1 1077944384 9 13004 0 0 0 0 5 2 20 0 15 0 62417492 11106877440 66844 33554432000 4194304 4196468 140724969596080 140583503899440 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 267376 KiB

[startup+3.60149 s]
/proc/loadavg: 1.78 1.44 1.36 3/219 20033
/proc/meminfo: memFree=15319760/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=10916352 memory=299508 CPUtime=7.07 cores=0,2,4,6
/proc/19967/stat : 19967 (java) S 19964 19967 12709 0 -1 1077944320 59991 13004 0 0 683 17 5 2 20 0 15 0 62417477 11178344448 74877 33554432000 4194304 4196468 140724969596080 140724969578624 140584082968311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
/proc/19967/statm: 2729088 74877 3503 1 0 2690741 0
[pid=19967/tid=20020] ppid=19964 vsize=10916352 memory=7451578766388258903 CPUtime=3.47 cores=0,2,4,6
/proc/19967/task/20020/stat : 20020 (java) R 19964 19967 12709 0 -1 4202560 41272 13004 0 0 331 9 5 2 20 0 15 0 62417486 11178344448 74877 33554432000 4194304 4196468 140724969596080 140584054798688 140584082980246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20021] ppid=19964 vsize=10916352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20021/stat : 20021 (java) S 19964 19967 12709 0 -1 1077944384 47 13004 0 0 3 0 5 2 20 0 15 0 62417487 11178344448 74877 33554432000 4194304 4196468 140724969596080 140584087210256 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20022] ppid=19964 vsize=10916352 memory=16 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20022/stat : 20022 (java) S 19964 19967 12709 0 -1 1077944384 83 13004 0 0 3 0 5 2 20 0 15 0 62417487 11178344448 74877 33554432000 4194304 4196468 140724969596080 140584012515728 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20023] ppid=19964 vsize=10916352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20023/stat : 20023 (java) S 19964 19967 12709 0 -1 1077944384 256 13004 0 0 3 0 5 2 20 0 15 0 62417487 11178344448 74877 33554432000 4194304 4196468 140724969596080 140584011463184 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20024] ppid=19964 vsize=10916352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19967/task/20024/stat : 20024 (java) S 19964 19967 12709 0 -1 1077944384 79 13004 0 0 2 0 5 2 20 0 15 0 62417487 11178344448 74877 33554432000 4194304 4196468 140724969596080 140583654578832 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20025] ppid=19964 vsize=10916352 memory=280943877339432 CPUtime=0.1 cores=0,2,4,6
/proc/19967/task/20025/stat : 20025 (java) S 19964 19967 12709 0 -1 1077944384 2152 13004 0 0 3 0 5 2 20 0 15 0 62417488 11178344448 74877 33554432000 4194304 4196468 140724969596080 140583609629168 140584082979458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20026] ppid=19964 vsize=10916352 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20026/stat : 20026 (java) S 19964 19967 12709 0 -1 1077944384 14 13004 0 0 0 0 5 2 20 0 15 0 62417489 11178344448 74877 33554432000 4194304 4196468 140724969596080 140583540614624 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20027] ppid=19964 vsize=10916352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20027/stat : 20027 (java) S 19964 19967 12709 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 62417489 11178344448 74877 33554432000 4194304 4196468 140724969596080 140583406396928 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20028] ppid=19964 vsize=10916352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20028/stat : 20028 (java) S 19964 19967 12709 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 62417492 11178344448 74877 33554432000 4194304 4196468 140724969596080 140582802418384 140584082986907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20029] ppid=19964 vsize=10916352 memory=3828 CPUtime=1.49 cores=0,2,4,6
/proc/19967/task/20029/stat : 20029 (java) R 19964 19967 12709 0 -1 4202560 6350 13004 0 0 141 1 5 2 20 0 15 0 62417492 11178344448 74877 33554432000 4194304 4196468 140724969596080 140583507042128 140584062655009 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20030] ppid=19964 vsize=10916352 memory=19340 CPUtime=0.83 cores=0,2,4,6
/proc/19967/task/20030/stat : 20030 (java) R 19964 19967 12709 0 -1 1077944384 2564 13004 0 0 76 0 5 2 20 0 15 0 62417492 11178344448 74877 33554432000 4194304 4196468 140724969596080 140583506004080 140584082979458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20031] ppid=19964 vsize=10916352 memory=1296 CPUtime=1.25 cores=0,2,4,6
/proc/19967/task/20031/stat : 20031 (java) R 19964 19967 12709 0 -1 4202560 4971 13004 0 0 116 2 5 2 20 0 15 0 62417492 11178344448 74877 33554432000 4194304 4196468 140724969596080 140583504945888 140584061097600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20032] ppid=19964 vsize=10916352 memory=2448 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20032/stat : 20032 (java) S 19964 19967 12709 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 62417492 11178344448 74877 33554432000 4194304 4196468 140724969596080 140582332656224 140584082978517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
[pid=19967/tid=20033] ppid=19964 vsize=10916352 memory=1728 CPUtime=0.07 cores=0,2,4,6
/proc/19967/task/20033/stat : 20033 (java) S 19964 19967 12709 0 -1 1077944384 9 13004 0 0 0 0 5 2 20 0 15 0 62417492 11178344448 74877 33554432000 4194304 4196468 140724969596080 140583503899440 140584082979458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724969597100 140724969600348 140724969600348 140724969603023 0
Current children cumulated CPU time: 7.07 s
Current children cumulated vsize: 10916352 KiB
Current children cumulated memory: 299508 KiB

[startup+4.00061 s]*
/proc/loadavg: 1.78 1.44 1.36 4/206 20034
/proc/meminfo: memFree=15270888/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 4.03837
CPU time (s): 7.36487
CPU user time (s): 7.1399
CPU system time (s): 0.224966
CPU usage (%): 182.372
Max. virtual memory (cumulated for all children) (KiB): 10984352
Max. memory (cumulated for all children) (KiB): 299508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.1399
system time used= 0.224966
maximum resident set size= 303308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5968
involuntary context switches= 46


# summary of solver processes directly reported to runsolver:
#   pid: 19967
#   total CPU time (s): 7.36487
#   total CPU user time (s): 7.1399
#   total CPU system time (s): 0.224966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048044 second user time and 0.076341 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-24 18:09:03
IDJOB=4294301
IDBENCH=141357
IDSOLVER=2751
FILE ID=node135/4294301-1532448543
RUNJOBID= node135-1532446038-19003
PBS_JOBID= 21021575
Free space on /tmp= 48396 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m1s-1_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294301-1532448543/watcher-4294301-1532448543 -o /tmp/evaluation-result-4294301-1532448543/solver-4294301-1532448543 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532446038-19003 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=130459385 -superng HOME/instance-4294301-1532448543.xml

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

MD5SUM BENCH= 1aa19c04fc46d2c59e842211a2e06bfd
RANDOM SEED=130459385

node135.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.50
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.50
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.50
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.50
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:        15866856 kB
MemAvailable:   30922108 kB
Buffers:          211524 kB
Cached:         14897108 kB
SwapCached:            0 kB
Active:          3425272 kB
Inactive:       12753156 kB
Active(anon):    1019560 kB
Inactive(anon):    69992 kB
Active(file):    2405712 kB
Inactive(file): 12683164 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27332 kB
Writeback:             8 kB
AnonPages:       1230692 kB
Mapped:            51980 kB
Shmem:             17056 kB
Slab:             423856 kB
SReclaimable:     394836 kB
SUnreclaim:        29020 kB
KernelStack:        3792 kB
PageTables:         7480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2281500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1001472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 48368 MiB
End job on node135 at 2018-07-24 18:09:07