Trace number 4400768

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.2UNSAT 233.913 223.585

General information on the benchmark

NameQRandom/
QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-15.xml
MD5SUM1cb2c7d0d6cb70a3feacaee85115a742
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark20.9563
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints2713
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree1888
Maximum variable degree1986
Distribution of variable degrees[{"degree":1888,"count":1},{"degree":1909,"count":1},{"degree":1914,"count":1},{"degree":1915,"count":2},{"degree":1921,"count":1},{"degree":1924,"count":1},{"degree":1927,"count":1},{"degree":1929,"count":1},{"degree":1933,"count":1},{"degree":1938,"count":1},{"degree":1939,"count":1},{"degree":1940,"count":1},{"degree":1949,"count":1},{"degree":1951,"count":1},{"degree":1953,"count":1},{"degree":1959,"count":1},{"degree":1961,"count":1},{"degree":1969,"count":1},{"degree":1975,"count":1},{"degree":1986,"count":1}]
Minimum constraint arity15
Maximum constraint arity15
Distribution of constraint arities[{"arity":15,"count":2713}]
Number of extensional constraints2713
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2713}]
Optimization problemNO
Type of objective

Solver Data 

0.74/0.55	c Concrete v3.12.2.1568631193530 running
233.80/223.55	s UNSATISFIABLE

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400768-1568678893/watcher-4400768-1568678893 -o /tmp/evaluation-result-4400768-1568678893/solver-4400768-1568678893 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568673289-31265 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=479243401 HOME/instance-4400768-1568678893.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=1321, runsolver pid=1318
Current StackSize limit: 8192 KiB


[startup+0.100762 s]*
/proc/loadavg: 2.20 1.81 1.57 3/220 1390
/proc/meminfo: memFree=29813132/32770624 swapFree=66967424/67108860
[pid=1321] ppid=1318 vsize=9972712 memory=14916 CPUtime=0.08 cores=1,3,5,7
/proc/1321/stat : 1321 (java) S 1318 1321 31233 0 -1 1077944320 4461 13022 0 0 1 0 5 2 20 0 6 0 444156157 10212057088 3729 33554432000 4194304 4196468 140730136959024 140730136941568 139749514116855 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
/proc/1321/statm: 2493178 3729 1935 1 0 2481616 0
[pid=1321/tid=1386] ppid=1318 vsize=9972712 memory=4627829660337606006 CPUtime=0.08 cores=1,3,5,7
/proc/1321/task/1386/stat : 1386 (java) R 1318 1321 31233 0 -1 4202560 2349 13022 0 0 1 0 5 2 20 0 6 0 444156166 10212057088 4307 33554432000 4194304 4196468 140730136959024 139749485953616 139749514138781 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1387] ppid=1318 vsize=9972712 memory=5792869726567804975 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1387/stat : 1387 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 6 0 444156167 10212057088 4307 33554432000 4194304 4196468 140730136959024 139749518359568 139749514127061 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1388] ppid=1318 vsize=9972712 memory=140653865158272 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1388/stat : 1388 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 6 0 444156167 10212057088 4307 33554432000 4194304 4196468 140730136959024 139749445840016 139749514127061 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1389] ppid=1318 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1389/stat : 1389 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 6 0 444156167 10212057088 4307 33554432000 4194304 4196468 140730136959024 139749086571280 139749514127061 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1390] ppid=1318 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1390/stat : 1390 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 6 0 444156167 10212057088 4307 33554432000 4194304 4196468 140730136959024 139749085518736 139749514127061 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14916 KiB

[startup+0.211058 s]*
/proc/loadavg: 2.20 1.81 1.57 3/229 1399
/proc/meminfo: memFree=29788160/32770624 swapFree=66967424/67108860
[pid=1321] ppid=1318 vsize=10820020 memory=43536 CPUtime=0.25 cores=1,3,5,7
/proc/1321/stat : 1321 (java) S 1318 1321 31233 0 -1 1077944320 7322 13022 0 0 17 1 5 2 20 0 15 0 444156157 11079700480 10884 33554432000 4194304 4196468 140730136959024 140730136941568 139749514116855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
/proc/1321/statm: 2705005 10884 3187 1 0 2667149 0
[pid=1321/tid=1386] ppid=1318 vsize=10821220 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/1321/task/1386/stat : 1386 (java) R 1318 1321 31233 0 -1 4202560 4172 13022 0 0 11 1 5 2 20 0 15 0 444156166 11080929280 11280 33554432000 4194304 4196468 140730136959024 139749485929216 139749506796573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1387] ppid=1318 vsize=10821220 memory=4294967660 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1387/stat : 1387 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156167 11080929280 11280 33554432000 4194304 4196468 140730136959024 139749518359568 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1388] ppid=1318 vsize=10821220 memory=3906787068276065952 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1388/stat : 1388 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156167 11080929280 11280 33554432000 4194304 4196468 140730136959024 139749445840016 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1389] ppid=1318 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1389/stat : 1389 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156167 11080929280 11280 33554432000 4194304 4196468 140730136959024 139749086571280 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1390] ppid=1318 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1390/stat : 1390 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156167 11080929280 11280 33554432000 4194304 4196468 140730136959024 139749085518736 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1391] ppid=1318 vsize=10821220 memory=140653865158272 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1391/stat : 1391 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156168 11080929280 11280 33554432000 4194304 4196468 140730136959024 139748972677360 139749514128002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1392] ppid=1318 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1392/stat : 1392 (java) S 1318 1321 31233 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 444156169 11080929280 11280 33554432000 4194304 4196468 140730136959024 139748971623584 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1393] ppid=1318 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1393/stat : 1393 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156169 11080929280 11280 33554432000 4194304 4196468 140730136959024 139748840563440 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1394] ppid=1318 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1394/stat : 1394 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156172 11080929280 11280 33554432000 4194304 4196468 140730136959024 139748236584912 139749514135451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1395] ppid=1318 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1321/task/1395/stat : 1395 (java) R 1318 1321 31233 0 -1 4202560 349 13022 0 0 1 0 5 2 20 0 15 0 444156172 11080929280 11280 33554432000 4194304 4196468 140730136959024 139748938066672 139749491991040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1396] ppid=1318 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1321/task/1396/stat : 1396 (java) S 1318 1321 31233 0 -1 1077944384 318 13022 0 0 1 0 5 2 20 0 15 0 444156172 11080929280 11280 33554432000 4194304 4196468 140730136959024 139748937014128 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1397] ppid=1318 vsize=10821220 memory=140653865158272 CPUtime=0.1 cores=1,3,5,7
/proc/1321/task/1397/stat : 1397 (java) S 1318 1321 31233 0 -1 1077944384 600 13022 0 0 3 0 5 2 20 0 15 0 444156172 11080929280 11280 33554432000 4194304 4196468 140730136959024 139748935961072 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1398] ppid=1318 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1398/stat : 1398 (java) S 1318 1321 31233 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 444156172 11080929280 11280 33554432000 4194304 4196468 140730136959024 139747766823776 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1399] ppid=1318 vsize=10821220 memory=140653865158272 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1399/stat : 1399 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156172 11080929280 11280 33554432000 4194304 4196468 140730136959024 139748934908464 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 43536 KiB

[startup+0.311433 s]*
/proc/loadavg: 2.20 1.81 1.57 3/229 1399
/proc/meminfo: memFree=29779140/32770624 swapFree=66967424/67108860
[pid=1321] ppid=1318 vsize=10820196 memory=52136 CPUtime=0.39 cores=1,3,5,7
/proc/1321/stat : 1321 (java) S 1318 1321 31233 0 -1 1077944320 10774 13022 0 0 29 3 5 2 20 0 15 0 444156157 11079880704 13034 33554432000 4194304 4196468 140730136959024 140730136941568 139749514116855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
/proc/1321/statm: 2705049 13034 3306 1 0 2667149 0
[pid=1321/tid=1386] ppid=1318 vsize=10820196 memory=5795117241467496816 CPUtime=0.28 cores=1,3,5,7
/proc/1321/task/1386/stat : 1386 (java) R 1318 1321 31233 0 -1 4202560 7243 13022 0 0 19 2 5 2 20 0 15 0 444156166 11079880704 13034 33554432000 4194304 4196468 140730136959024 139749485920320 139749500305445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1387] ppid=1318 vsize=10820196 memory=4294967295 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1387/stat : 1387 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156167 11079880704 13034 33554432000 4194304 4196468 140730136959024 139749518359568 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1388] ppid=1318 vsize=10820196 memory=140653865158272 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1388/stat : 1388 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156167 11079880704 13034 33554432000 4194304 4196468 140730136959024 139749445840016 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1389] ppid=1318 vsize=10820196 memory=2209 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1389/stat : 1389 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156167 11079880704 13034 33554432000 4194304 4196468 140730136959024 139749086571280 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1390] ppid=1318 vsize=10820196 memory=2240 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1390/stat : 1390 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156167 11079880704 13034 33554432000 4194304 4196468 140730136959024 139749085518736 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1391] ppid=1318 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1391/stat : 1391 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156168 11079880704 13034 33554432000 4194304 4196468 140730136959024 139748972677360 139749514128002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1392] ppid=1318 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1392/stat : 1392 (java) S 1318 1321 31233 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 444156169 11079880704 13034 33554432000 4194304 4196468 140730136959024 139748971623584 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1393] ppid=1318 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1393/stat : 1393 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156169 11079880704 13034 33554432000 4194304 4196468 140730136959024 139748840563440 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1394] ppid=1318 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1394/stat : 1394 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156172 11079880704 13034 33554432000 4194304 4196468 140730136959024 139748236584912 139749514135451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1395] ppid=1318 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1321/task/1395/stat : 1395 (java) S 1318 1321 31233 0 -1 1077944384 351 13022 0 0 2 0 5 2 20 0 15 0 444156172 11079880704 13034 33554432000 4194304 4196468 140730136959024 139748938066672 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1396] ppid=1318 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1321/task/1396/stat : 1396 (java) S 1318 1321 31233 0 -1 1077944384 318 13022 0 0 1 0 5 2 20 0 15 0 444156172 11079880704 13034 33554432000 4194304 4196468 140730136959024 139748937014128 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1397] ppid=1318 vsize=10820196 memory=140653865158272 CPUtime=0.12 cores=1,3,5,7
/proc/1321/task/1397/stat : 1397 (java) S 1318 1321 31233 0 -1 1077944384 618 13022 0 0 5 0 5 2 20 0 15 0 444156172 11079880704 13034 33554432000 4194304 4196468 140730136959024 139748935961072 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1398] ppid=1318 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1398/stat : 1398 (java) S 1318 1321 31233 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 444156172 11079880704 13034 33554432000 4194304 4196468 140730136959024 139747766823776 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1399] ppid=1318 vsize=10820196 memory=140653865158272 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1399/stat : 1399 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156172 11079880704 13034 33554432000 4194304 4196468 140730136959024 139748934908464 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52136 KiB

[startup+0.708391 s]
/proc/loadavg: 2.20 1.81 1.57 4/229 1399
/proc/meminfo: memFree=29763720/32770624 swapFree=66967424/67108860
[pid=1321] ppid=1318 vsize=10824364 memory=85600 CPUtime=1.13 cores=1,3,5,7
/proc/1321/stat : 1321 (java) S 1318 1321 31233 0 -1 1077944320 15141 13022 0 0 101 5 5 2 20 0 15 0 444156157 11084148736 21400 33554432000 4194304 4196468 140730136959024 140730136941568 139749514116855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
/proc/1321/statm: 2706091 21400 3514 1 0 2668173 0
[pid=1321/tid=1386] ppid=1318 vsize=10824364 memory=515248 CPUtime=0.67 cores=1,3,5,7
/proc/1321/task/1386/stat : 1386 (java) R 1318 1321 31233 0 -1 4202560 10551 13022 0 0 56 4 5 2 20 0 15 0 444156166 11084148736 21400 33554432000 4194304 4196468 140730136959024 139749485944016 139749495523154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1387] ppid=1318 vsize=10824364 memory=1376 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1387/stat : 1387 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156167 11084148736 21400 33554432000 4194304 4196468 140730136959024 139749518359568 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1388] ppid=1318 vsize=10824364 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1388/stat : 1388 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156167 11084148736 21400 33554432000 4194304 4196468 140730136959024 139749445840016 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1389] ppid=1318 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1389/stat : 1389 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156167 11084148736 21400 33554432000 4194304 4196468 140730136959024 139749086571280 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1390] ppid=1318 vsize=10824364 memory=140655883977274 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1390/stat : 1390 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156167 11084148736 21400 33554432000 4194304 4196468 140730136959024 139749085518736 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1391] ppid=1318 vsize=10824364 memory=140655883977279 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1391/stat : 1391 (java) S 1318 1321 31233 0 -1 1077944384 5 13022 0 0 0 0 5 2 20 0 15 0 444156168 11084148736 21400 33554432000 4194304 4196468 140730136959024 139748972677360 139749514128002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1392] ppid=1318 vsize=10824364 memory=140655883977280 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1392/stat : 1392 (java) S 1318 1321 31233 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 444156169 11084148736 21400 33554432000 4194304 4196468 140730136959024 139748971623584 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1393] ppid=1318 vsize=10824364 memory=140655883977283 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1393/stat : 1393 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156169 11084148736 21400 33554432000 4194304 4196468 140730136959024 139748840563440 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1394] ppid=1318 vsize=10824364 memory=140655883977286 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1394/stat : 1394 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156172 11084148736 21400 33554432000 4194304 4196468 140730136959024 139748236584912 139749514135451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1395] ppid=1318 vsize=10824364 memory=140655883977291 CPUtime=0.2 cores=1,3,5,7
/proc/1321/task/1395/stat : 1395 (java) R 1318 1321 31233 0 -1 4202560 772 13022 0 0 13 0 5 2 20 0 15 0 444156172 11084148736 21400 33554432000 4194304 4196468 140730136959024 139748938052768 139749498022548 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1396] ppid=1318 vsize=10824364 memory=140655883977294 CPUtime=0.21 cores=1,3,5,7
/proc/1321/task/1396/stat : 1396 (java) R 1318 1321 31233 0 -1 4202560 787 13022 0 0 14 0 5 2 20 0 15 0 444156172 11084148736 21400 33554432000 4194304 4196468 140730136959024 139748937014256 139749492108411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1397] ppid=1318 vsize=10824364 memory=140655883977296 CPUtime=0.24 cores=1,3,5,7
/proc/1321/task/1397/stat : 1397 (java) R 1318 1321 31233 0 -1 4202560 775 13022 0 0 17 0 5 2 20 0 15 0 444156172 11084148736 21400 33554432000 4194304 4196468 140730136959024 139748935961072 139749514128790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1398] ppid=1318 vsize=10824364 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1398/stat : 1398 (java) S 1318 1321 31233 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 444156172 11084148736 21400 33554432000 4194304 4196468 140730136959024 139747766823776 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1399] ppid=1318 vsize=10824364 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1399/stat : 1399 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156172 11084148736 21400 33554432000 4194304 4196468 140730136959024 139748934908464 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85600 KiB

[startup+1.50739 s]
/proc/loadavg: 2.20 1.81 1.57 5/229 1399
/proc/meminfo: memFree=29705956/32770624 swapFree=66967424/67108860
[pid=1321] ppid=1318 vsize=10832632 memory=230624 CPUtime=3.39 cores=1,3,5,7
/proc/1321/stat : 1321 (java) S 1318 1321 31233 0 -1 1077944320 26701 13022 0 0 320 12 5 2 20 0 15 0 444156157 11092615168 57656 33554432000 4194304 4196468 140730136959024 140730136941568 139749514116855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
/proc/1321/statm: 2708158 57656 3589 1 0 2670221 0
[pid=1321/tid=1386] ppid=1318 vsize=10832632 memory=288230574492221466 CPUtime=1.43 cores=1,3,5,7
/proc/1321/task/1386/stat : 1386 (java) R 1318 1321 31233 0 -1 4202560 14997 13022 0 0 129 7 5 2 20 0 15 0 444156166 11092615168 57656 33554432000 4194304 4196468 140730136959024 139749485948304 139749499485674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1387] ppid=1318 vsize=10832632 memory=288230583166042426 CPUtime=0.08 cores=1,3,5,7
/proc/1321/task/1387/stat : 1387 (java) S 1318 1321 31233 0 -1 1077944384 232 13022 0 0 1 0 5 2 20 0 15 0 444156167 11092615168 57656 33554432000 4194304 4196468 140730136959024 139749518359568 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1388] ppid=1318 vsize=10832632 memory=16100368631203413 CPUtime=0.08 cores=1,3,5,7
/proc/1321/task/1388/stat : 1388 (java) S 1318 1321 31233 0 -1 1077944384 57 13022 0 0 1 0 5 2 20 0 15 0 444156167 11092615168 57656 33554432000 4194304 4196468 140730136959024 139749445840016 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1389] ppid=1318 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1321/task/1389/stat : 1389 (java) S 1318 1321 31233 0 -1 1077944384 26 13022 0 0 1 0 5 2 20 0 15 0 444156167 11092615168 57656 33554432000 4194304 4196468 140730136959024 139749086571280 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1390] ppid=1318 vsize=10832632 memory=140653736543896 CPUtime=0.08 cores=1,3,5,7
/proc/1321/task/1390/stat : 1390 (java) S 1318 1321 31233 0 -1 1077944384 30 13022 0 0 1 0 5 2 20 0 15 0 444156167 11092615168 57656 33554432000 4194304 4196468 140730136959024 139749085518736 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1391] ppid=1318 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1321/task/1391/stat : 1391 (java) S 1318 1321 31233 0 -1 1077944384 934 13022 0 0 1 0 5 2 20 0 15 0 444156168 11092615168 57656 33554432000 4194304 4196468 140730136959024 139748972677360 139749514128002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1392] ppid=1318 vsize=10832632 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1392/stat : 1392 (java) S 1318 1321 31233 0 -1 1077944384 34 13022 0 0 0 0 5 2 20 0 15 0 444156169 11092615168 57656 33554432000 4194304 4196468 140730136959024 139748971623648 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1393] ppid=1318 vsize=10832632 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1393/stat : 1393 (java) S 1318 1321 31233 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 444156169 11092615168 57656 33554432000 4194304 4196468 140730136959024 139748840563456 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1394] ppid=1318 vsize=10832632 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1394/stat : 1394 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156172 11092615168 57656 33554432000 4194304 4196468 140730136959024 139748236584912 139749514135451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1395] ppid=1318 vsize=10832632 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/1321/task/1395/stat : 1395 (java) R 1318 1321 31233 0 -1 4202560 3658 13022 0 0 73 0 5 2 20 0 15 0 444156172 11092615168 57656 33554432000 4194304 4196468 140730136959024 139748938052768 139749499046307 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1396] ppid=1318 vsize=10832632 memory=281307473544384 CPUtime=0.7 cores=1,3,5,7
/proc/1321/task/1396/stat : 1396 (java) R 1318 1321 31233 0 -1 4202560 2234 13022 0 0 63 0 5 2 20 0 15 0 444156172 11092615168 57656 33554432000 4194304 4196468 140730136959024 139748937014128 139749495637937 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1397] ppid=1318 vsize=10832632 memory=140653736776112 CPUtime=0.51 cores=1,3,5,7
/proc/1321/task/1397/stat : 1397 (java) S 1318 1321 31233 0 -1 1077944384 2285 13022 0 0 44 0 5 2 20 0 15 0 444156172 11092615168 57656 33554432000 4194304 4196468 140730136959024 139748935961072 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1398] ppid=1318 vsize=10832632 memory=31972 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1398/stat : 1398 (java) S 1318 1321 31233 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 444156172 11092615168 57656 33554432000 4194304 4196468 140730136959024 139747766823776 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1399] ppid=1318 vsize=10832632 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1399/stat : 1399 (java) S 1318 1321 31233 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 444156172 11092615168 57656 33554432000 4194304 4196468 140730136959024 139748934908464 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
Current children cumulated CPU time: 3.39 s
Current children cumulated vsize: 10832632 KiB

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

[startup+223.585 s]
# the end of solver process 1321 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=232.647 s, system=1.26593 s

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

[startup+222.401 s]
/proc/loadavg: 1.71 1.78 1.61 3/227 1423
/proc/meminfo: memFree=27078432/32770624 swapFree=66967424/67108860
[pid=1321] ppid=1318 vsize=10846988 memory=2821668 CPUtime=232.7 cores=1,3,5,7
/proc/1321/stat : 1321 (java) S 1318 1321 31233 0 -1 1077944320 103388 13022 0 0 23142 121 5 2 20 0 15 0 444156157 11107315712 705417 33554432000 4194304 4196468 140730136959024 140730136941568 139749514116855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
/proc/1321/statm: 2711747 705417 3631 1 0 2673805 0
[pid=1321/tid=1386] ppid=1318 vsize=10846988 memory=7091873520265226304 CPUtime=221.91 cores=1,3,5,7
/proc/1321/task/1386/stat : 1386 (java) R 1318 1321 31233 0 -1 4202560 41614 13022 0 0 22138 46 5 2 20 0 15 0 444156166 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749485951824 139749120483437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1387] ppid=1318 vsize=10846988 memory=7091873520265226304 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1387/stat : 1387 (java) S 1318 1321 31233 0 -1 1077944384 2493 13022 0 0 18 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749518359568 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1388] ppid=1318 vsize=10846988 memory=2845780 CPUtime=0.39 cores=1,3,5,7
/proc/1321/task/1388/stat : 1388 (java) S 1318 1321 31233 0 -1 1077944384 3196 13022 0 0 17 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749445840016 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1389] ppid=1318 vsize=10846988 memory=2845780 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1389/stat : 1389 (java) S 1318 1321 31233 0 -1 1077944384 2118 13022 0 0 19 14 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749086571280 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1390] ppid=1318 vsize=10846988 memory=3620 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1390/stat : 1390 (java) S 1318 1321 31233 0 -1 1077944384 832 13022 0 0 18 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749085518736 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1391] ppid=1318 vsize=10846988 memory=2845780 CPUtime=0.16 cores=1,3,5,7
/proc/1321/task/1391/stat : 1391 (java) S 1318 1321 31233 0 -1 1077944384 4206 13022 0 0 8 1 5 2 20 0 15 0 444156168 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748972677360 139749514128002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1392] ppid=1318 vsize=10846988 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1392/stat : 1392 (java) S 1318 1321 31233 0 -1 1077944384 47 13022 0 0 0 0 5 2 20 0 15 0 444156169 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748971623712 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1393] ppid=1318 vsize=10846988 memory=2868 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1393/stat : 1393 (java) S 1318 1321 31233 0 -1 1077944384 20 13022 0 0 0 0 5 2 20 0 15 0 444156169 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748840563456 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1394] ppid=1318 vsize=10846988 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1394/stat : 1394 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748236584912 139749514135451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1395] ppid=1318 vsize=10846988 memory=146312355908248 CPUtime=4.09 cores=1,3,5,7
/proc/1321/task/1395/stat : 1395 (java) S 1318 1321 31233 0 -1 1077944384 19451 13022 0 0 399 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748938066672 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1396] ppid=1318 vsize=10846988 memory=2845780 CPUtime=3.55 cores=1,3,5,7
/proc/1321/task/1396/stat : 1396 (java) S 1318 1321 31233 0 -1 1077944384 12754 13022 0 0 345 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748937014128 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1397] ppid=1318 vsize=10846988 memory=2845780 CPUtime=1.75 cores=1,3,5,7
/proc/1321/task/1397/stat : 1397 (java) S 1318 1321 31233 0 -1 1077944384 13961 13022 0 0 165 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748935961072 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1398] ppid=1318 vsize=10846988 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1398/stat : 1398 (java) S 1318 1321 31233 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139747766823776 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1399] ppid=1318 vsize=10846988 memory=3296 CPUtime=0.19 cores=1,3,5,7
/proc/1321/task/1399/stat : 1399 (java) S 1318 1321 31233 0 -1 1077944384 485 13022 0 0 6 6 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748934908464 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
Current children cumulated CPU time: 232.7 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2821668 KiB

[startup+223.201 s]
/proc/loadavg: 1.71 1.78 1.61 3/227 1423
/proc/meminfo: memFree=27076984/32770624 swapFree=66967424/67108860
[pid=1321] ppid=1318 vsize=10846988 memory=2821668 CPUtime=233.5 cores=1,3,5,7
/proc/1321/stat : 1321 (java) S 1318 1321 31233 0 -1 1077944320 103388 13022 0 0 23222 121 5 2 20 0 15 0 444156157 11107315712 705417 33554432000 4194304 4196468 140730136959024 140730136941568 139749514116855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
/proc/1321/statm: 2711747 705417 3631 1 0 2673805 0
[pid=1321/tid=1386] ppid=1318 vsize=10846988 memory=3296 CPUtime=222.71 cores=1,3,5,7
/proc/1321/task/1386/stat : 1386 (java) R 1318 1321 31233 0 -1 4202560 41614 13022 0 0 22218 46 5 2 20 0 15 0 444156166 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749485951824 139749120483640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1387] ppid=1318 vsize=10846988 memory=440400 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1387/stat : 1387 (java) S 1318 1321 31233 0 -1 1077944384 2493 13022 0 0 18 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749518359568 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1388] ppid=1318 vsize=10846988 memory=1376 CPUtime=0.39 cores=1,3,5,7
/proc/1321/task/1388/stat : 1388 (java) S 1318 1321 31233 0 -1 1077944384 3196 13022 0 0 17 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749445840016 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1389] ppid=1318 vsize=10846988 memory=1060 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1389/stat : 1389 (java) S 1318 1321 31233 0 -1 1077944384 2118 13022 0 0 19 14 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749086571280 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1390] ppid=1318 vsize=10846988 memory=8112282956445269571 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1390/stat : 1390 (java) S 1318 1321 31233 0 -1 1077944384 832 13022 0 0 18 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749085518736 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1391] ppid=1318 vsize=10846988 memory=400 CPUtime=0.16 cores=1,3,5,7
/proc/1321/task/1391/stat : 1391 (java) S 1318 1321 31233 0 -1 1077944384 4206 13022 0 0 8 1 5 2 20 0 15 0 444156168 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748972677360 139749514128002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1392] ppid=1318 vsize=10846988 memory=140653737543283 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1392/stat : 1392 (java) S 1318 1321 31233 0 -1 1077944384 47 13022 0 0 0 0 5 2 20 0 15 0 444156169 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748971623712 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1393] ppid=1318 vsize=10846988 memory=281307475092816 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1393/stat : 1393 (java) S 1318 1321 31233 0 -1 1077944384 20 13022 0 0 0 0 5 2 20 0 15 0 444156169 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748840563456 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1394] ppid=1318 vsize=10846988 memory=3505 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1394/stat : 1394 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748236584912 139749514135451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1395] ppid=1318 vsize=10846988 memory=23616 CPUtime=4.09 cores=1,3,5,7
/proc/1321/task/1395/stat : 1395 (java) S 1318 1321 31233 0 -1 1077944384 19451 13022 0 0 399 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748938066672 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1396] ppid=1318 vsize=10846988 memory=2120 CPUtime=3.55 cores=1,3,5,7
/proc/1321/task/1396/stat : 1396 (java) S 1318 1321 31233 0 -1 1077944384 12754 13022 0 0 345 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748937014128 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1397] ppid=1318 vsize=10846988 memory=3620 CPUtime=1.75 cores=1,3,5,7
/proc/1321/task/1397/stat : 1397 (java) S 1318 1321 31233 0 -1 1077944384 13961 13022 0 0 165 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748935961072 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1398] ppid=1318 vsize=10846988 memory=46768 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1398/stat : 1398 (java) S 1318 1321 31233 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139747766823776 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1399] ppid=1318 vsize=10846988 memory=984 CPUtime=0.19 cores=1,3,5,7
/proc/1321/task/1399/stat : 1399 (java) S 1318 1321 31233 0 -1 1077944384 485 13022 0 0 6 6 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748934908464 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
Current children cumulated CPU time: 233.5 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2821668 KiB

[startup+223.401 s]
/proc/loadavg: 1.71 1.78 1.61 3/227 1423
/proc/meminfo: memFree=27076984/32770624 swapFree=66967424/67108860
[pid=1321] ppid=1318 vsize=10846988 memory=2821668 CPUtime=233.7 cores=1,3,5,7
/proc/1321/stat : 1321 (java) S 1318 1321 31233 0 -1 1077944320 103388 13022 0 0 23242 121 5 2 20 0 15 0 444156157 11107315712 705417 33554432000 4194304 4196468 140730136959024 140730136941568 139749514116855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
/proc/1321/statm: 2711747 705417 3631 1 0 2673805 0
[pid=1321/tid=1386] ppid=1318 vsize=10846988 memory=8112282956445269571 CPUtime=222.91 cores=1,3,5,7
/proc/1321/task/1386/stat : 1386 (java) R 1318 1321 31233 0 -1 4202560 41614 13022 0 0 22238 46 5 2 20 0 15 0 444156166 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749485951824 139749130862361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1387] ppid=1318 vsize=10846988 memory=4068 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1387/stat : 1387 (java) S 1318 1321 31233 0 -1 1077944384 2493 13022 0 0 18 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749518359568 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1388] ppid=1318 vsize=10846988 memory=1720 CPUtime=0.39 cores=1,3,5,7
/proc/1321/task/1388/stat : 1388 (java) S 1318 1321 31233 0 -1 1077944384 3196 13022 0 0 17 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749445840016 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1389] ppid=1318 vsize=10846988 memory=5948 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1389/stat : 1389 (java) S 1318 1321 31233 0 -1 1077944384 2118 13022 0 0 19 14 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749086571280 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1390] ppid=1318 vsize=10846988 memory=10564 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1390/stat : 1390 (java) S 1318 1321 31233 0 -1 1077944384 832 13022 0 0 18 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749085518736 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1391] ppid=1318 vsize=10846988 memory=716 CPUtime=0.16 cores=1,3,5,7
/proc/1321/task/1391/stat : 1391 (java) S 1318 1321 31233 0 -1 1077944384 4206 13022 0 0 8 1 5 2 20 0 15 0 444156168 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748972677360 139749514128002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1392] ppid=1318 vsize=10846988 memory=2728 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1392/stat : 1392 (java) S 1318 1321 31233 0 -1 1077944384 47 13022 0 0 0 0 5 2 20 0 15 0 444156169 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748971623712 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1393] ppid=1318 vsize=10846988 memory=4104 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1393/stat : 1393 (java) S 1318 1321 31233 0 -1 1077944384 20 13022 0 0 0 0 5 2 20 0 15 0 444156169 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748840563456 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1394] ppid=1318 vsize=10846988 memory=1398720917958146503 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1394/stat : 1394 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748236584912 139749514135451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1395] ppid=1318 vsize=10846988 memory=4872558044660077418 CPUtime=4.09 cores=1,3,5,7
/proc/1321/task/1395/stat : 1395 (java) S 1318 1321 31233 0 -1 1077944384 19451 13022 0 0 399 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748938066672 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1396] ppid=1318 vsize=10846988 memory=14008 CPUtime=3.55 cores=1,3,5,7
/proc/1321/task/1396/stat : 1396 (java) S 1318 1321 31233 0 -1 1077944384 12754 13022 0 0 345 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748937014128 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1397] ppid=1318 vsize=10846988 memory=12040 CPUtime=1.75 cores=1,3,5,7
/proc/1321/task/1397/stat : 1397 (java) S 1318 1321 31233 0 -1 1077944384 13961 13022 0 0 165 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748935961072 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1398] ppid=1318 vsize=10846988 memory=23616 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1398/stat : 1398 (java) S 1318 1321 31233 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139747766823776 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1399] ppid=1318 vsize=10846988 memory=4068 CPUtime=0.19 cores=1,3,5,7
/proc/1321/task/1399/stat : 1399 (java) S 1318 1321 31233 0 -1 1077944384 485 13022 0 0 6 6 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748934908464 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
Current children cumulated CPU time: 233.7 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2821668 KiB

[startup+223.501 s]
/proc/loadavg: 1.71 1.78 1.61 3/227 1423
/proc/meminfo: memFree=27076984/32770624 swapFree=66967424/67108860
[pid=1321] ppid=1318 vsize=10846988 memory=2821668 CPUtime=233.8 cores=1,3,5,7
/proc/1321/stat : 1321 (java) S 1318 1321 31233 0 -1 1077944320 103388 13022 0 0 23252 121 5 2 20 0 15 0 444156157 11107315712 705417 33554432000 4194304 4196468 140730136959024 140730136941568 139749514116855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
/proc/1321/statm: 2711747 705417 3631 1 0 2673805 0
[pid=1321/tid=1386] ppid=1318 vsize=10846988 memory=2004 CPUtime=223.01 cores=1,3,5,7
/proc/1321/task/1386/stat : 1386 (java) R 1318 1321 31233 0 -1 4202560 41614 13022 0 0 22248 46 5 2 20 0 15 0 444156166 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749485951824 139749119813930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1387] ppid=1318 vsize=10846988 memory=2821668 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1387/stat : 1387 (java) S 1318 1321 31233 0 -1 1077944384 2493 13022 0 0 18 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749518359568 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1388] ppid=1318 vsize=10846988 memory=2845780 CPUtime=0.39 cores=1,3,5,7
/proc/1321/task/1388/stat : 1388 (java) S 1318 1321 31233 0 -1 1077944384 3196 13022 0 0 17 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749445840016 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1389] ppid=1318 vsize=10846988 memory=2845780 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1389/stat : 1389 (java) S 1318 1321 31233 0 -1 1077944384 2118 13022 0 0 19 14 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749086571280 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1390] ppid=1318 vsize=10846988 memory=2845780 CPUtime=0.4 cores=1,3,5,7
/proc/1321/task/1390/stat : 1390 (java) S 1318 1321 31233 0 -1 1077944384 832 13022 0 0 18 15 5 2 20 0 15 0 444156167 11107315712 705417 33554432000 4194304 4196468 140730136959024 139749085518736 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1391] ppid=1318 vsize=10846988 memory=2845780 CPUtime=0.16 cores=1,3,5,7
/proc/1321/task/1391/stat : 1391 (java) S 1318 1321 31233 0 -1 1077944384 4206 13022 0 0 8 1 5 2 20 0 15 0 444156168 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748972677360 139749514128002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1392] ppid=1318 vsize=10846988 memory=2845780 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1392/stat : 1392 (java) S 1318 1321 31233 0 -1 1077944384 47 13022 0 0 0 0 5 2 20 0 15 0 444156169 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748971623712 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1393] ppid=1318 vsize=10846988 memory=2821668 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1393/stat : 1393 (java) S 1318 1321 31233 0 -1 1077944384 20 13022 0 0 0 0 5 2 20 0 15 0 444156169 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748840563456 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1394] ppid=1318 vsize=10846988 memory=2821668 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1394/stat : 1394 (java) S 1318 1321 31233 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748236584912 139749514135451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1395] ppid=1318 vsize=10846988 memory=2821668 CPUtime=4.09 cores=1,3,5,7
/proc/1321/task/1395/stat : 1395 (java) S 1318 1321 31233 0 -1 1077944384 19451 13022 0 0 399 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748938066672 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1396] ppid=1318 vsize=10846988 memory=2821668 CPUtime=3.55 cores=1,3,5,7
/proc/1321/task/1396/stat : 1396 (java) S 1318 1321 31233 0 -1 1077944384 12754 13022 0 0 345 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748937014128 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1397] ppid=1318 vsize=10846988 memory=2821668 CPUtime=1.75 cores=1,3,5,7
/proc/1321/task/1397/stat : 1397 (java) S 1318 1321 31233 0 -1 1077944384 13961 13022 0 0 165 3 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748935961072 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1398] ppid=1318 vsize=10846988 memory=2845780 CPUtime=0.07 cores=1,3,5,7
/proc/1321/task/1398/stat : 1398 (java) S 1318 1321 31233 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139747766823776 139749514127061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
[pid=1321/tid=1399] ppid=1318 vsize=10846988 memory=2845780 CPUtime=0.19 cores=1,3,5,7
/proc/1321/task/1399/stat : 1399 (java) S 1318 1321 31233 0 -1 1077944384 485 13022 0 0 6 6 5 2 20 0 15 0 444156172 11107315712 705417 33554432000 4194304 4196468 140730136959024 139748934908464 139749514128002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140730136967920 140730136970437 140730136970437 140730136973263 0
Current children cumulated CPU time: 233.8 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2821668 KiB

Child status: 0
Real time (s): 223.585
CPU time (s): 233.913
CPU user time (s): 232.647
CPU system time (s): 1.26593
CPU usage (%): 104.619
Max. virtual memory (cumulated for all children) (KiB): 10847604
Max. memory (cumulated for all children) (KiB): 2900664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.647
system time used= 1.26593
maximum resident set size= 2904900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12484
involuntary context switches= 288


# summary of solver processes directly reported to runsolver:
#   pid: 1321
#   total CPU time (s): 233.913
#   total CPU user time (s): 232.647
#   total CPU system time (s): 1.26593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33141 second user time and 2.09569 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-17 02:07:31
IDJOB=4400768
IDBENCH=125859
IDSOLVER=2857
FILE ID=node125/4400768-1568678893
RUNJOBID= node125-1568673289-31265
PBS_JOBID= 21703785
Free space on /tmp= 59696 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-15.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400768-1568678893/watcher-4400768-1568678893 -o /tmp/evaluation-result-4400768-1568678893/solver-4400768-1568678893 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568673289-31265 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=479243401 HOME/instance-4400768-1568678893.xml

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

MD5SUM BENCH= 1cb2c7d0d6cb70a3feacaee85115a742
RANDOM SEED=479243401

node125.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.29
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.29
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.29
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.29
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:        29820780 kB
MemAvailable:   31359188 kB
Buffers:          194980 kB
Cached:          1642148 kB
SwapCached:        38380 kB
Active:          1327608 kB
Inactive:        1051952 kB
Active(anon):     523132 kB
Inactive(anon):    68400 kB
Active(file):     804476 kB
Inactive(file):   983552 kB
Unevictable:      108972 kB
Mlocked:          108972 kB
SwapTotal:      67108860 kB
SwapFree:       66967424 kB
Dirty:             36048 kB
Writeback:             0 kB
AnonPages:        629780 kB
Mapped:            61516 kB
Shmem:             39836 kB
Slab:             161892 kB
SReclaimable:     132428 kB
SUnreclaim:        29464 kB
KernelStack:        4048 kB
PageTables:         9128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1575132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    542720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59660 MiB
End job on node125 at 2019-09-17 02:11:15