Trace number 4294464

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.8-SuperNG 2018-06-13SAT 15.0499 5.8733

General information on the benchmark

NameSocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
MD5SUM9520b1c3a7fc9338271b16f0cb9e04b3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.255241
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints1207
Number of domains1
Minimum domain size4
Maximum domain size4
Distribution of domain sizes[{"size":4,"count":80}]
Minimum variable degree62
Maximum variable degree63
Distribution of variable degrees[{"degree":62,"count":64},{"degree":63,"count":16}]
Minimum constraint arity4
Maximum constraint arity80
Distribution of constraint arities[{"arity":4,"count":1200},{"arity":16,"count":6},{"arity":80,"count":1}]
Number of extensional constraints0
Number of intensional constraints1200
Distribution of constraint types[{"type":"intension","count":1200},{"type":"lex","count":1},{"type":"cardinality","count":5},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

1.00/0.74	c Concrete v3.8.1528841891564 running
14.87/5.85	v <instantiation>
14.87/5.85	v       <list>
14.87/5.85	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15]
14.87/5.85	v       </list>
14.87/5.85	v       <values>
14.87/5.85	v         0 0 0 0 1 1 1 1 2 2 2 2 3 3 3 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 2 3 0 1 0 1 2 3 1 0 3 2 3 2 1 0 2 3 0 1 3 2 1 0 0 1 2 3 1 0 3 2 2 3 1 0 0 1 3 2 3 2 0 1 1 0 2 3
14.87/5.85	v       </values>
14.87/5.85	v     </instantiation>
14.87/5.85	s SATISFIABLE

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294464-1532468428/watcher-4294464-1532468428 -o /tmp/evaluation-result-4294464-1532468428/solver-4294464-1532468428 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532448512-24796 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1935859638 -superng HOME/instance-4294464-1532468428.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
Current StackSize limit: 8192 KiB

solver pid=29344, runsolver pid=29341

[startup+0.100109 s]*
/proc/loadavg: 1.69 1.47 1.41 3/206 29401
/proc/meminfo: memFree=20750664/32770624 swapFree=67108860/67108860
[pid=29344] ppid=29341 vsize=9972712 memory=18596 CPUtime=0.1 cores=0,2,4,6
/proc/29344/stat : 29344 (java) S 29341 29344 24765 0 -1 1077944320 4301 13005 0 0 1 1 5 3 20 0 6 0 64405990 10212057088 4649 33554432000 4194304 4196468 140726527359120 140726527341664 140327129550583 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
/proc/29344/statm: 2493178 4649 1932 1 0 2481616 0
[pid=29344/tid=29397] ppid=29341 vsize=9972712 memory=4279135704014094991 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29397/stat : 29397 (java) R 29341 29344 24765 0 -1 4202560 2108 13005 0 0 0 0 5 3 20 0 6 0 64406000 10212057088 4649 33554432000 4194304 4196468 140726527359120 140327101387344 140327129572509 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29398] ppid=29341 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29398/stat : 29398 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 6 0 64406000 10212057088 4649 33554432000 4194304 4196468 140726527359120 140327133793424 140327129560789 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29399] ppid=29341 vsize=9972712 memory=140166487103104 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29399/stat : 29399 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 6 0 64406000 10212057088 4649 33554432000 4194304 4196468 140726527359120 140327052545040 140327129560789 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29400] ppid=29341 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29400/stat : 29400 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 6 0 64406000 10212057088 4649 33554432000 4194304 4196468 140726527359120 140326701292432 140327129560789 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29401] ppid=29341 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29401/stat : 29401 (java) S 29341 29344 24765 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 6 0 64406000 10212057088 4649 33554432000 4194304 4196468 140726527359120 140326700239632 140327129560789 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB

[startup+0.210056 s]*
/proc/loadavg: 1.69 1.47 1.41 3/215 29410
/proc/meminfo: memFree=20728984/32770624 swapFree=67108860/67108860
[pid=29344] ppid=29341 vsize=10821524 memory=44824 CPUtime=0.26 cores=0,2,4,6
/proc/29344/stat : 29344 (java) S 29341 29344 24765 0 -1 1077944320 8436 13005 0 0 16 2 5 3 20 0 15 0 64405990 11081240576 11140 33554432000 4194304 4196468 140726527359120 140726527341664 140327129550583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
/proc/29344/statm: 2705381 11140 2940 1 0 2667804 0
[pid=29344/tid=29397] ppid=29341 vsize=10821524 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/29344/task/29397/stat : 29397 (java) R 29341 29344 24765 0 -1 4202560 5172 13005 0 0 10 1 5 3 20 0 15 0 64406000 11081240576 11272 33554432000 4194304 4196468 140726527359120 140327101375392 140327122230301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29398] ppid=29341 vsize=10821524 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29398/stat : 29398 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406000 11081240576 11272 33554432000 4194304 4196468 140726527359120 140327133793424 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29399] ppid=29341 vsize=10821524 memory=140166487103104 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29399/stat : 29399 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406000 11081240576 11272 33554432000 4194304 4196468 140726527359120 140327052545040 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29400] ppid=29341 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29400/stat : 29400 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406000 11081240576 11272 33554432000 4194304 4196468 140726527359120 140326701292432 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29401] ppid=29341 vsize=10821524 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29401/stat : 29401 (java) S 29341 29344 24765 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 64406000 11081240576 10911 33554432000 4194304 4196468 140726527359120 140326700239632 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29402] ppid=29341 vsize=10821524 memory=140166487103104 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29402/stat : 29402 (java) S 29341 29344 24765 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 64406002 11081240576 10911 33554432000 4194304 4196468 140726527359120 140326656145776 140327129561730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29403] ppid=29341 vsize=10819896 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29403/stat : 29403 (java) S 29341 29344 24765 0 -1 1077944384 13 13005 0 0 0 0 5 3 20 0 15 0 64406002 11079573504 10911 33554432000 4194304 4196468 140726527359120 140326580773920 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29404] ppid=29341 vsize=10819896 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29404/stat : 29404 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406003 11079573504 10671 33554432000 4194304 4196468 140726527359120 140325976793968 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29405] ppid=29341 vsize=10819896 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29405/stat : 29405 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11079573504 10671 33554432000 4194304 4196468 140726527359120 140325669394256 140327129569179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29406] ppid=29341 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29406/stat : 29406 (java) S 29341 29344 24765 0 -1 1077944384 507 13005 0 0 1 0 5 3 20 0 15 0 64406005 11078557696 10663 33554432000 4194304 4196468 140726527359120 140326655093616 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29407] ppid=29341 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29407/stat : 29407 (java) S 29341 29344 24765 0 -1 1077944384 57 13005 0 0 0 0 5 3 20 0 15 0 64406005 11078557696 10663 33554432000 4194304 4196468 140726527359120 140326654040816 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29408] ppid=29341 vsize=10818904 memory=140166487103104 CPUtime=0.11 cores=0,2,4,6
/proc/29344/task/29408/stat : 29408 (java) S 29341 29344 24765 0 -1 1077944384 579 13005 0 0 3 0 5 3 20 0 15 0 64406005 11078557696 10663 33554432000 4194304 4196468 140726527359120 140326652988016 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29409] ppid=29341 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29409/stat : 29409 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11078557696 10663 33554432000 4194304 4196468 140726527359120 140325635836640 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29410] ppid=29341 vsize=10818904 memory=140166487103104 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29410/stat : 29410 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406006 11078557696 10663 33554432000 4194304 4196468 140726527359120 140326651935408 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 44824 KiB

[startup+0.310322 s]*
/proc/loadavg: 1.69 1.47 1.41 3/215 29410
/proc/meminfo: memFree=20716828/32770624 swapFree=67108860/67108860
[pid=29344] ppid=29341 vsize=10819352 memory=53372 CPUtime=0.39 cores=0,2,4,6
/proc/29344/stat : 29344 (java) S 29341 29344 24765 0 -1 1077944320 10428 13005 0 0 28 3 5 3 20 0 15 0 64405990 11079016448 13343 33554432000 4194304 4196468 140726527359120 140726527341664 140327129550583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
/proc/29344/statm: 2704838 13343 3075 1 0 2667149 0
[pid=29344/tid=29397] ppid=29341 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29344/task/29397/stat : 29397 (java) R 29341 29344 24765 0 -1 4202560 7050 13005 0 0 19 2 5 3 20 0 15 0 64406000 11079016448 13343 33554432000 4194304 4196468 140726527359120 140327101362592 140327113631070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29398] ppid=29341 vsize=10819352 memory=7373043845850746960 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29398/stat : 29398 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406000 11079016448 13343 33554432000 4194304 4196468 140726527359120 140327133793424 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29399] ppid=29341 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29399/stat : 29399 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406000 11079016448 13343 33554432000 4194304 4196468 140726527359120 140327052545040 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29400] ppid=29341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29400/stat : 29400 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406000 11079016448 13343 33554432000 4194304 4196468 140726527359120 140326701292432 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29401] ppid=29341 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29401/stat : 29401 (java) S 29341 29344 24765 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 64406000 11079016448 13343 33554432000 4194304 4196468 140726527359120 140326700239632 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29402] ppid=29341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29402/stat : 29402 (java) S 29341 29344 24765 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 64406002 11079016448 13343 33554432000 4194304 4196468 140726527359120 140326656145776 140327129561730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29403] ppid=29341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29403/stat : 29403 (java) S 29341 29344 24765 0 -1 1077944384 13 13005 0 0 0 0 5 3 20 0 15 0 64406002 11079016448 13343 33554432000 4194304 4196468 140726527359120 140326580773920 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29404] ppid=29341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29404/stat : 29404 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406003 11079016448 13343 33554432000 4194304 4196468 140726527359120 140325976793968 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29405] ppid=29341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29405/stat : 29405 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11079016448 13343 33554432000 4194304 4196468 140726527359120 140325669394256 140327129569179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29406] ppid=29341 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29344/task/29406/stat : 29406 (java) R 29341 29344 24765 0 -1 4202560 507 13005 0 0 2 0 5 3 20 0 15 0 64406005 11079016448 13343 33554432000 4194304 4196468 140726527359120 140326655093616 140327109791920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29407] ppid=29341 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29407/stat : 29407 (java) S 29341 29344 24765 0 -1 1077944384 58 13005 0 0 1 0 5 3 20 0 15 0 64406005 11079016448 13343 33554432000 4194304 4196468 140726527359120 140326654040816 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29408] ppid=29341 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29344/task/29408/stat : 29408 (java) R 29341 29344 24765 0 -1 4202560 600 13005 0 0 5 0 5 3 20 0 15 0 64406005 11079016448 13343 33554432000 4194304 4196468 140726527359120 140326652988016 140327108471064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29409] ppid=29341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29409/stat : 29409 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11079016448 13343 33554432000 4194304 4196468 140726527359120 140325635836640 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29410] ppid=29341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29410/stat : 29410 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406006 11079016448 13343 33554432000 4194304 4196468 140726527359120 140326651935408 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53372 KiB

[startup+0.700795 s]
/proc/loadavg: 1.69 1.47 1.41 3/215 29410
/proc/meminfo: memFree=20689404/32770624 swapFree=67108860/67108860
[pid=29344] ppid=29341 vsize=10819352 memory=86628 CPUtime=1 cores=0,2,4,6
/proc/29344/stat : 29344 (java) S 29341 29344 24765 0 -1 1077944320 16757 13005 0 0 87 5 5 3 20 0 15 0 64405990 11079016448 21657 33554432000 4194304 4196468 140726527359120 140726527341664 140327129550583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
/proc/29344/statm: 2704838 21657 3240 1 0 2667149 0
[pid=29344/tid=29397] ppid=29341 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/29344/task/29397/stat : 29397 (java) R 29341 29344 24765 0 -1 4202560 12262 13005 0 0 55 3 5 3 20 0 15 0 64406000 11079016448 21657 33554432000 4194304 4196468 140726527359120 140327101371408 140327111103888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29398] ppid=29341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29398/stat : 29398 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406000 11079016448 21657 33554432000 4194304 4196468 140726527359120 140327133793424 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29399] ppid=29341 vsize=10819352 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29399/stat : 29399 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406000 11079016448 21657 33554432000 4194304 4196468 140726527359120 140327052545040 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29400] ppid=29341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29400/stat : 29400 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406000 11079016448 21657 33554432000 4194304 4196468 140726527359120 140326701292432 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29401] ppid=29341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29401/stat : 29401 (java) S 29341 29344 24765 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 64406000 11079016448 21657 33554432000 4194304 4196468 140726527359120 140326700239632 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29402] ppid=29341 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29402/stat : 29402 (java) S 29341 29344 24765 0 -1 1077944384 5 13005 0 0 0 0 5 3 20 0 15 0 64406002 11079016448 21657 33554432000 4194304 4196468 140726527359120 140326656145776 140327129561730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29403] ppid=29341 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29403/stat : 29403 (java) S 29341 29344 24765 0 -1 1077944384 13 13005 0 0 0 0 5 3 20 0 15 0 64406002 11079016448 21657 33554432000 4194304 4196468 140726527359120 140326580773920 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29404] ppid=29341 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29404/stat : 29404 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406003 11079016448 21657 33554432000 4194304 4196468 140726527359120 140325976793968 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29405] ppid=29341 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29405/stat : 29405 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11079016448 21657 33554432000 4194304 4196468 140726527359120 140325669394256 140327129569179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29406] ppid=29341 vsize=10819352 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/29344/task/29406/stat : 29406 (java) S 29341 29344 24765 0 -1 1077944384 1124 13005 0 0 10 0 5 3 20 0 15 0 64406005 11079016448 21657 33554432000 4194304 4196468 140726527359120 140326655093616 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29407] ppid=29341 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/29344/task/29407/stat : 29407 (java) S 29341 29344 24765 0 -1 1077944384 451 13005 0 0 7 0 5 3 20 0 15 0 64406005 11079016448 21657 33554432000 4194304 4196468 140726527359120 140326654040816 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29408] ppid=29341 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/29344/task/29408/stat : 29408 (java) S 29341 29344 24765 0 -1 1077944384 696 13005 0 0 13 0 5 3 20 0 15 0 64406005 11079016448 21657 33554432000 4194304 4196468 140726527359120 140326652988016 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29409] ppid=29341 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29409/stat : 29409 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11079016448 21657 33554432000 4194304 4196468 140726527359120 140325635836640 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29410] ppid=29341 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29410/stat : 29410 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406006 11079016448 21657 33554432000 4194304 4196468 140726527359120 140326651935408 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86628 KiB

[startup+1.50078 s]
/proc/loadavg: 1.69 1.47 1.41 5/215 29410
/proc/meminfo: memFree=20643060/32770624 swapFree=67108860/67108860
[pid=29344] ppid=29341 vsize=10834252 memory=194580 CPUtime=2.76 cores=0,2,4,6
/proc/29344/stat : 29344 (java) S 29341 29344 24765 0 -1 1077944320 24414 13005 0 0 257 11 5 3 20 0 15 0 64405990 11094274048 48645 33554432000 4194304 4196468 140726527359120 140726527341664 140327129550583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
/proc/29344/statm: 2708563 48645 3482 1 0 2670221 0
[pid=29344/tid=29397] ppid=29341 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/29344/task/29397/stat : 29397 (java) R 29341 29344 24765 0 -1 4202560 17059 13005 0 0 128 6 5 3 20 0 15 0 64406000 11094274048 48645 33554432000 4194304 4196468 140726527359120 140327101368000 140327115763826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29398] ppid=29341 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29398/stat : 29398 (java) S 29341 29344 24765 0 -1 1077944384 20 13005 0 0 1 0 5 3 20 0 15 0 64406000 11094274048 48645 33554432000 4194304 4196468 140726527359120 140327133793424 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29399] ppid=29341 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29399/stat : 29399 (java) S 29341 29344 24765 0 -1 1077944384 17 13005 0 0 1 0 5 3 20 0 15 0 64406000 11094274048 48645 33554432000 4194304 4196468 140726527359120 140327052545040 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29400] ppid=29341 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29400/stat : 29400 (java) S 29341 29344 24765 0 -1 1077944384 160 13005 0 0 1 0 5 3 20 0 15 0 64406000 11094274048 48645 33554432000 4194304 4196468 140726527359120 140326701292432 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29401] ppid=29341 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29401/stat : 29401 (java) S 29341 29344 24765 0 -1 1077944384 76 13005 0 0 1 0 5 3 20 0 15 0 64406000 11094274048 48645 33554432000 4194304 4196468 140726527359120 140326700239632 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29402] ppid=29341 vsize=10834252 memory=1399103955520229747 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29402/stat : 29402 (java) S 29341 29344 24765 0 -1 1077944384 53 13005 0 0 1 0 5 3 20 0 15 0 64406002 11094274048 48645 33554432000 4194304 4196468 140726527359120 140326656145776 140327129561730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29403] ppid=29341 vsize=10834252 memory=280332649703680 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29403/stat : 29403 (java) S 29341 29344 24765 0 -1 1077944384 14 13005 0 0 0 0 5 3 20 0 15 0 64406002 11094274048 48645 33554432000 4194304 4196468 140726527359120 140326580773984 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29404] ppid=29341 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29404/stat : 29404 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406003 11094274048 48645 33554432000 4194304 4196468 140726527359120 140325976793984 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29405] ppid=29341 vsize=10834252 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29405/stat : 29405 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11094274048 48645 33554432000 4194304 4196468 140726527359120 140325669394256 140327129569179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29406] ppid=29341 vsize=10834252 memory=1704 CPUtime=0.45 cores=0,2,4,6
/proc/29344/task/29406/stat : 29406 (java) S 29341 29344 24765 0 -1 1077944384 1985 13005 0 0 37 0 5 3 20 0 15 0 64406005 11094274048 48645 33554432000 4194304 4196468 140726527359120 140326655093616 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29407] ppid=29341 vsize=10834252 memory=9924 CPUtime=0.47 cores=0,2,4,6
/proc/29344/task/29407/stat : 29407 (java) S 29341 29344 24765 0 -1 1077944384 1195 13005 0 0 39 0 5 3 20 0 15 0 64406005 11094274048 48645 33554432000 4194304 4196468 140726527359120 140326654040816 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29408] ppid=29341 vsize=10834252 memory=5788 CPUtime=0.51 cores=0,2,4,6
/proc/29344/task/29408/stat : 29408 (java) S 29341 29344 24765 0 -1 1077944384 1634 13005 0 0 43 0 5 3 20 0 15 0 64406005 11094274048 48645 33554432000 4194304 4196468 140726527359120 140326652988016 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29409] ppid=29341 vsize=10834252 memory=1936 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29409/stat : 29409 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11094274048 48645 33554432000 4194304 4196468 140726527359120 140325635836640 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29410] ppid=29341 vsize=10834252 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29410/stat : 29410 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406006 11094274048 48645 33554432000 4194304 4196468 140726527359120 140326651935408 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 10834252 KiB

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

[startup+5.87326 s]
# the end of solver process 29344 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14.7543 s, system=0.295602 s

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

[startup+3.20707 s]
/proc/loadavg: 1.69 1.47 1.41 4/215 29410
/proc/meminfo: memFree=20510360/32770624 swapFree=67108860/67108860
[pid=29344] ppid=29341 vsize=10842464 memory=267100 CPUtime=7.22 cores=0,2,4,6
/proc/29344/stat : 29344 (java) S 29341 29344 24765 0 -1 1077944320 43671 13005 0 0 697 17 5 3 20 0 15 0 64405990 11102683136 66775 33554432000 4194304 4196468 140726527359120 140726527341664 140327129550583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
/proc/29344/statm: 2710616 66775 3504 1 0 2672269 0
[pid=29344/tid=29397] ppid=29341 vsize=10842464 memory=0 CPUtime=3.12 cores=0,2,4,6
/proc/29344/task/29397/stat : 29397 (java) R 29341 29344 24765 0 -1 4202560 23116 13005 0 0 295 9 5 3 20 0 15 0 64406000 11102683136 66775 33554432000 4194304 4196468 140726527359120 140327101380376 140326743558267 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29398] ppid=29341 vsize=10842464 memory=6656426216303648864 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29398/stat : 29398 (java) S 29341 29344 24765 0 -1 1077944384 20 13005 0 0 1 0 5 3 20 0 15 0 64406000 11102683136 66775 33554432000 4194304 4196468 140726527359120 140327133793424 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29399] ppid=29341 vsize=10842464 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29399/stat : 29399 (java) S 29341 29344 24765 0 -1 1077944384 17 13005 0 0 1 0 5 3 20 0 15 0 64406000 11102683136 66775 33554432000 4194304 4196468 140726527359120 140327052545040 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29400] ppid=29341 vsize=10842464 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29400/stat : 29400 (java) S 29341 29344 24765 0 -1 1077944384 160 13005 0 0 1 0 5 3 20 0 15 0 64406000 11102683136 66775 33554432000 4194304 4196468 140726527359120 140326701292432 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29401] ppid=29341 vsize=10842464 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29401/stat : 29401 (java) S 29341 29344 24765 0 -1 1077944384 76 13005 0 0 1 0 5 3 20 0 15 0 64406000 11102683136 66775 33554432000 4194304 4196468 140726527359120 140326700239632 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29402] ppid=29341 vsize=10842464 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29344/task/29402/stat : 29402 (java) S 29341 29344 24765 0 -1 1077944384 53 13005 0 0 1 0 5 3 20 0 15 0 64406002 11102683136 66775 33554432000 4194304 4196468 140726527359120 140326656145776 140327129561730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29403] ppid=29341 vsize=10842464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29403/stat : 29403 (java) S 29341 29344 24765 0 -1 1077944384 14 13005 0 0 0 0 5 3 20 0 15 0 64406002 11102683136 66775 33554432000 4194304 4196468 140726527359120 140326580773984 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29404] ppid=29341 vsize=10842464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29404/stat : 29404 (java) S 29341 29344 24765 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 64406003 11102683136 66775 33554432000 4194304 4196468 140726527359120 140325976793984 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29405] ppid=29341 vsize=10842464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29405/stat : 29405 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11102683136 66775 33554432000 4194304 4196468 140726527359120 140325669394256 140327129569179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29406] ppid=29341 vsize=10842464 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/29344/task/29406/stat : 29406 (java) R 29341 29344 24765 0 -1 4202560 4398 13005 0 0 134 1 5 3 20 0 15 0 64406005 11102683136 66775 33554432000 4194304 4196468 140726527359120 140326655079672 140327109244372 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29407] ppid=29341 vsize=10842464 memory=1424 CPUtime=1.45 cores=0,2,4,6
/proc/29344/task/29407/stat : 29407 (java) R 29341 29344 24765 0 -1 4202560 4281 13005 0 0 135 2 5 3 20 0 15 0 64406005 11102683136 66775 33554432000 4194304 4196468 140726527359120 140326654027056 140327108794608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29408] ppid=29341 vsize=10842464 memory=15868 CPUtime=1.33 cores=0,2,4,6
/proc/29344/task/29408/stat : 29408 (java) S 29341 29344 24765 0 -1 1077944384 9324 13005 0 0 123 2 5 3 20 0 15 0 64406005 11102683136 66775 33554432000 4194304 4196468 140726527359120 140326652988016 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29409] ppid=29341 vsize=10842464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29409/stat : 29409 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11102683136 66775 33554432000 4194304 4196468 140726527359120 140325635836640 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29410] ppid=29341 vsize=10842464 memory=6788 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29410/stat : 29410 (java) S 29341 29344 24765 0 -1 1077944384 12 13005 0 0 0 0 5 3 20 0 15 0 64406006 11102683136 66775 33554432000 4194304 4196468 140726527359120 140326651935408 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
Current children cumulated CPU time: 7.22 s
Current children cumulated vsize: 10842464 KiB
Current children cumulated memory: 267100 KiB

[startup+4.8007 s]
/proc/loadavg: 1.72 1.48 1.41 5/215 29410
/proc/meminfo: memFree=20440192/32770624 swapFree=67108860/67108860
[pid=29344] ppid=29341 vsize=10844512 memory=318612 CPUtime=12.28 cores=0,2,4,6
/proc/29344/stat : 29344 (java) S 29341 29344 24765 0 -1 1077944320 54037 13005 0 0 1199 21 5 3 20 0 15 0 64405990 11104780288 79653 33554432000 4194304 4196468 140726527359120 140726527341664 140327129550583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
/proc/29344/statm: 2711128 79653 3515 1 0 2672781 0
[pid=29344/tid=29397] ppid=29341 vsize=10844512 memory=15824378344507954 CPUtime=4.63 cores=0,2,4,6
/proc/29344/task/29397/stat : 29397 (java) R 29341 29344 24765 0 -1 4202560 26187 13005 0 0 445 10 5 3 20 0 15 0 64406000 11104780288 79653 33554432000 4194304 4196468 140726527359120 140327101380160 140326746897632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29398] ppid=29341 vsize=10844512 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29344/task/29398/stat : 29398 (java) S 29341 29344 24765 0 -1 1077944384 82 13005 0 0 5 0 5 3 20 0 15 0 64406000 11104780288 79653 33554432000 4194304 4196468 140726527359120 140327133793424 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29399] ppid=29341 vsize=10844512 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29344/task/29399/stat : 29399 (java) S 29341 29344 24765 0 -1 1077944384 50 13005 0 0 4 0 5 3 20 0 15 0 64406000 11104780288 79653 33554432000 4194304 4196468 140726527359120 140327052545040 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29400] ppid=29341 vsize=10844512 memory=7016714190785702558 CPUtime=0.13 cores=0,2,4,6
/proc/29344/task/29400/stat : 29400 (java) S 29341 29344 24765 0 -1 1077944384 190 13005 0 0 5 0 5 3 20 0 15 0 64406000 11104780288 79653 33554432000 4194304 4196468 140726527359120 140326701292432 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29401] ppid=29341 vsize=10844512 memory=4137293581110450563 CPUtime=0.12 cores=0,2,4,6
/proc/29344/task/29401/stat : 29401 (java) S 29341 29344 24765 0 -1 1077944384 600 13005 0 0 4 0 5 3 20 0 15 0 64406000 11104780288 79653 33554432000 4194304 4196468 140726527359120 140326700239632 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29402] ppid=29341 vsize=10844512 memory=8761640388318109335 CPUtime=0.12 cores=0,2,4,6
/proc/29344/task/29402/stat : 29402 (java) S 29341 29344 24765 0 -1 1077944384 2887 13005 0 0 4 0 5 3 20 0 15 0 64406002 11104780288 79653 33554432000 4194304 4196468 140726527359120 140326656145776 140327129561730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29403] ppid=29341 vsize=10844512 memory=6944656592455360608 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29403/stat : 29403 (java) S 29341 29344 24765 0 -1 1077944384 15 13005 0 0 0 0 5 3 20 0 15 0 64406002 11104780288 79653 33554432000 4194304 4196468 140726527359120 140326580773984 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29404] ppid=29341 vsize=10844512 memory=7016714186490735262 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29404/stat : 29404 (java) S 29341 29344 24765 0 -1 1077944384 8 13005 0 0 0 0 5 3 20 0 15 0 64406003 11104780288 79653 33554432000 4194304 4196468 140726527359120 140325976793984 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29405] ppid=29341 vsize=10844512 memory=7682744562830902074 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29405/stat : 29405 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11104780288 79653 33554432000 4194304 4196468 140726527359120 140325669394256 140327129569179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29406] ppid=29341 vsize=10844512 memory=6944613755495348631 CPUtime=2.91 cores=0,2,4,6
/proc/29344/task/29406/stat : 29406 (java) D 29341 29344 24765 0 -1 4202560 5727 13005 0 0 282 1 5 3 20 0 15 0 64406005 11104780288 79653 33554432000 4194304 4196468 140726527359120 140326655075456 140327109457719 0 4 0 16800975 18446744072100379781 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29407] ppid=29341 vsize=10844512 memory=0 CPUtime=2.95 cores=0,2,4,6
/proc/29344/task/29407/stat : 29407 (java) R 29341 29344 24765 0 -1 4202560 5492 13005 0 0 285 2 5 3 20 0 15 0 64406005 11104780288 79653 33554432000 4194304 4196468 140726527359120 140326654026912 140327114469622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29408] ppid=29341 vsize=10844512 memory=140166325115697 CPUtime=1.7 cores=0,2,4,6
/proc/29344/task/29408/stat : 29408 (java) S 29341 29344 24765 0 -1 1077944384 10589 13005 0 0 159 3 5 3 20 0 15 0 64406005 11104780288 79653 33554432000 4194304 4196468 140726527359120 140326652988016 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29409] ppid=29341 vsize=10844512 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29409/stat : 29409 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11104780288 79653 33554432000 4194304 4196468 140726527359120 140325635836640 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29410] ppid=29341 vsize=10844512 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29410/stat : 29410 (java) S 29341 29344 24765 0 -1 1077944384 13 13005 0 0 0 0 5 3 20 0 15 0 64406006 11104780288 79653 33554432000 4194304 4196468 140726527359120 140326651935408 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 318612 KiB

[startup+5.60129 s]
/proc/loadavg: 1.72 1.48 1.41 5/215 29410
/proc/meminfo: memFree=20422876/32770624 swapFree=67108860/67108860
[pid=29344] ppid=29341 vsize=10914144 memory=358744 CPUtime=14.25 cores=0,2,4,6
/proc/29344/stat : 29344 (java) S 29341 29344 24765 0 -1 1077944320 64798 13005 0 0 1392 25 5 3 20 0 15 0 64405990 11176083456 89686 33554432000 4194304 4196468 140726527359120 140726527341664 140327129550583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
/proc/29344/statm: 2728536 89686 3517 1 0 2690189 0
[pid=29344/tid=29397] ppid=29341 vsize=10914144 memory=0 CPUtime=5.39 cores=0,2,4,6
/proc/29344/task/29397/stat : 29397 (java) R 29341 29344 24765 0 -1 4202560 36297 13005 0 0 519 12 5 3 20 0 15 0 64406000 11176083456 89686 33554432000 4194304 4196468 140726527359120 140327101382208 140327112896211 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29398] ppid=29341 vsize=10914144 memory=280332650495648 CPUtime=0.13 cores=0,2,4,6
/proc/29344/task/29398/stat : 29398 (java) S 29341 29344 24765 0 -1 1077944384 82 13005 0 0 5 0 5 3 20 0 15 0 64406000 11176083456 89686 33554432000 4194304 4196468 140726527359120 140327133793424 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29399] ppid=29341 vsize=10914144 memory=140166325250096 CPUtime=0.12 cores=0,2,4,6
/proc/29344/task/29399/stat : 29399 (java) S 29341 29344 24765 0 -1 1077944384 50 13005 0 0 4 0 5 3 20 0 15 0 64406000 11176083456 89686 33554432000 4194304 4196468 140726527359120 140327052545040 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29400] ppid=29341 vsize=10914144 memory=2420 CPUtime=0.13 cores=0,2,4,6
/proc/29344/task/29400/stat : 29400 (java) S 29341 29344 24765 0 -1 1077944384 190 13005 0 0 5 0 5 3 20 0 15 0 64406000 11176083456 89686 33554432000 4194304 4196468 140726527359120 140326701292432 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29401] ppid=29341 vsize=10914144 memory=1292 CPUtime=0.12 cores=0,2,4,6
/proc/29344/task/29401/stat : 29401 (java) S 29341 29344 24765 0 -1 1077944384 600 13005 0 0 4 0 5 3 20 0 15 0 64406000 11176083456 89686 33554432000 4194304 4196468 140726527359120 140326700239632 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29402] ppid=29341 vsize=10914144 memory=1728 CPUtime=0.12 cores=0,2,4,6
/proc/29344/task/29402/stat : 29402 (java) S 29341 29344 24765 0 -1 1077944384 2887 13005 0 0 4 0 5 3 20 0 15 0 64406002 11176083456 89686 33554432000 4194304 4196468 140726527359120 140326656145776 140327129561730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29403] ppid=29341 vsize=10914144 memory=796 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29403/stat : 29403 (java) S 29341 29344 24765 0 -1 1077944384 15 13005 0 0 0 0 5 3 20 0 15 0 64406002 11176083456 89686 33554432000 4194304 4196468 140726527359120 140326580773984 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29404] ppid=29341 vsize=10914144 memory=1012 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29404/stat : 29404 (java) S 29341 29344 24765 0 -1 1077944384 8 13005 0 0 0 0 5 3 20 0 15 0 64406003 11176083456 89686 33554432000 4194304 4196468 140726527359120 140325976793984 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29405] ppid=29341 vsize=10914144 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29405/stat : 29405 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11176083456 89686 33554432000 4194304 4196468 140726527359120 140325669394256 140327129569179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29406] ppid=29341 vsize=10914144 memory=1704 CPUtime=3.34 cores=0,2,4,6
/proc/29344/task/29406/stat : 29406 (java) R 29341 29344 24765 0 -1 4202560 5884 13005 0 0 325 1 5 3 20 0 15 0 64406005 11176083456 89686 33554432000 4194304 4196468 140726527359120 140326655079808 140327129562518 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29407] ppid=29341 vsize=10914144 memory=9924 CPUtime=3.42 cores=0,2,4,6
/proc/29344/task/29407/stat : 29407 (java) R 29341 29344 24765 0 -1 4202560 5617 13005 0 0 332 2 5 3 20 0 15 0 64406005 11176083456 89686 33554432000 4194304 4196468 140726527359120 140326654031792 140327129562518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29408] ppid=29341 vsize=10914144 memory=5788 CPUtime=1.99 cores=0,2,4,6
/proc/29344/task/29408/stat : 29408 (java) R 29341 29344 24765 0 -1 1077944384 10954 13005 0 0 188 3 5 3 20 0 15 0 64406005 11176083456 89686 33554432000 4194304 4196468 140726527359120 140326652983744 140327129560789 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29409] ppid=29341 vsize=10914144 memory=1936 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29409/stat : 29409 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11176083456 89686 33554432000 4194304 4196468 140726527359120 140325635836640 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29410] ppid=29341 vsize=10914144 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29410/stat : 29410 (java) S 29341 29344 24765 0 -1 1077944384 15 13005 0 0 0 0 5 3 20 0 15 0 64406006 11176083456 89686 33554432000 4194304 4196468 140726527359120 140326651935408 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
Current children cumulated CPU time: 14.25 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 358744 KiB

[startup+5.80065 s]
/proc/loadavg: 1.72 1.48 1.41 5/215 29410
/proc/meminfo: memFree=20422876/32770624 swapFree=67108860/67108860
[pid=29344] ppid=29341 vsize=10916192 memory=360072 CPUtime=14.87 cores=0,2,4,6
/proc/29344/stat : 29344 (java) S 29341 29344 24765 0 -1 1077944320 65236 13005 0 0 1454 25 5 3 20 0 15 0 64405990 11178180608 90018 33554432000 4194304 4196468 140726527359120 140726527341664 140327129550583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
/proc/29344/statm: 2729048 90018 3518 1 0 2690701 0
[pid=29344/tid=29397] ppid=29341 vsize=10916192 memory=7451293988480504685 CPUtime=5.59 cores=0,2,4,6
/proc/29344/task/29397/stat : 29397 (java) R 29341 29344 24765 0 -1 4202560 36537 13005 0 0 539 12 5 3 20 0 15 0 64406000 11178180608 90018 33554432000 4194304 4196468 140726527359120 140327101381056 140327114716222 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29398] ppid=29341 vsize=10916192 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/29344/task/29398/stat : 29398 (java) S 29341 29344 24765 0 -1 1077944384 82 13005 0 0 5 0 5 3 20 0 15 0 64406000 11178180608 90018 33554432000 4194304 4196468 140726527359120 140327133793424 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29399] ppid=29341 vsize=10916192 memory=1580 CPUtime=0.12 cores=0,2,4,6
/proc/29344/task/29399/stat : 29399 (java) S 29341 29344 24765 0 -1 1077944384 50 13005 0 0 4 0 5 3 20 0 15 0 64406000 11178180608 90018 33554432000 4194304 4196468 140726527359120 140327052545040 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29400] ppid=29341 vsize=10916192 memory=2240 CPUtime=0.13 cores=0,2,4,6
/proc/29344/task/29400/stat : 29400 (java) S 29341 29344 24765 0 -1 1077944384 190 13005 0 0 5 0 5 3 20 0 15 0 64406000 11178180608 90018 33554432000 4194304 4196468 140726527359120 140326701292432 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29401] ppid=29341 vsize=10916192 memory=4128 CPUtime=0.12 cores=0,2,4,6
/proc/29344/task/29401/stat : 29401 (java) S 29341 29344 24765 0 -1 1077944384 600 13005 0 0 4 0 5 3 20 0 15 0 64406000 11178180608 90018 33554432000 4194304 4196468 140726527359120 140326700239632 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29402] ppid=29341 vsize=10916192 memory=2200 CPUtime=0.12 cores=0,2,4,6
/proc/29344/task/29402/stat : 29402 (java) S 29341 29344 24765 0 -1 1077944384 2887 13005 0 0 4 0 5 3 20 0 15 0 64406002 11178180608 90018 33554432000 4194304 4196468 140726527359120 140326656145776 140327129561730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29403] ppid=29341 vsize=10916192 memory=7528 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29403/stat : 29403 (java) S 29341 29344 24765 0 -1 1077944384 15 13005 0 0 0 0 5 3 20 0 15 0 64406002 11178180608 90018 33554432000 4194304 4196468 140726527359120 140326580773984 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29404] ppid=29341 vsize=10916192 memory=844 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29404/stat : 29404 (java) S 29341 29344 24765 0 -1 1077944384 8 13005 0 0 0 0 5 3 20 0 15 0 64406003 11178180608 90018 33554432000 4194304 4196468 140726527359120 140325976793984 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29405] ppid=29341 vsize=10916192 memory=1796 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29405/stat : 29405 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11178180608 90018 33554432000 4194304 4196468 140726527359120 140325669394256 140327129569179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29406] ppid=29341 vsize=10916192 memory=916 CPUtime=3.48 cores=0,2,4,6
/proc/29344/task/29406/stat : 29406 (java) R 29341 29344 24765 0 -1 4202560 5903 13005 0 0 339 1 5 3 20 0 15 0 64406005 11178180608 90018 33554432000 4194304 4196468 140726527359120 140326655074576 140327110742466 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29407] ppid=29341 vsize=10916192 memory=3848 CPUtime=3.54 cores=0,2,4,6
/proc/29344/task/29407/stat : 29407 (java) R 29341 29344 24765 0 -1 4202560 5641 13005 0 0 344 2 5 3 20 0 15 0 64406005 11178180608 90018 33554432000 4194304 4196468 140726527359120 140326654028368 140327115614739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29408] ppid=29341 vsize=10916192 memory=0 CPUtime=2.15 cores=0,2,4,6
/proc/29344/task/29408/stat : 29408 (java) S 29341 29344 24765 0 -1 1077944384 11109 13005 0 0 204 3 5 3 20 0 15 0 64406005 11178180608 90018 33554432000 4194304 4196468 140726527359120 140326652988016 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29409] ppid=29341 vsize=10916192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29409/stat : 29409 (java) S 29341 29344 24765 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 64406005 11178180608 90018 33554432000 4194304 4196468 140726527359120 140325635836640 140327129560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
[pid=29344/tid=29410] ppid=29341 vsize=10916192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/29344/task/29410/stat : 29410 (java) S 29341 29344 24765 0 -1 1077944384 15 13005 0 0 0 0 5 3 20 0 15 0 64406006 11178180608 90018 33554432000 4194304 4196468 140726527359120 140326651935408 140327129561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28151808 140726527367339 140726527370588 140726527370588 140726527373263 0
Current children cumulated CPU time: 14.87 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 360072 KiB

Child status: 0
Real time (s): 5.8733
CPU time (s): 15.0499
CPU user time (s): 14.7543
CPU system time (s): 0.295602
CPU usage (%): 256.242
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 360072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.7543
system time used= 0.295602
maximum resident set size= 362988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7175
involuntary context switches= 57


# summary of solver processes directly reported to runsolver:
#   pid: 29344
#   total CPU time (s): 15.0499
#   total CPU user time (s): 14.7543
#   total CPU system time (s): 0.295602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063062 second user time and 0.089567 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-24 23:40:28
IDJOB=4294464
IDBENCH=141386
IDSOLVER=2751
FILE ID=node105/4294464-1532468428
RUNJOBID= node105-1532448512-24796
PBS_JOBID= 21021581
Free space on /tmp= 44736 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-4-4-5-cp_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-4294464-1532468428/watcher-4294464-1532468428 -o /tmp/evaluation-result-4294464-1532468428/solver-4294464-1532468428 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532448512-24796 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1935859638 -superng HOME/instance-4294464-1532468428.xml

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

MD5SUM BENCH= 9520b1c3a7fc9338271b16f0cb9e04b3
RANDOM SEED=1935859638

node105.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.32
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.32
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.32
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.32
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:        20756744 kB
MemAvailable:   30035380 kB
Buffers:          225280 kB
Cached:          9193084 kB
SwapCached:            0 kB
Active:          3553304 kB
Inactive:        7821100 kB
Active(anon):    1910012 kB
Inactive(anon):    65516 kB
Active(file):    1643292 kB
Inactive(file):  7755584 kB
Unevictable:        7180 kB
Mlocked:            7180 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26448 kB
Writeback:             0 kB
AnonPages:       1962984 kB
Mapped:            51812 kB
Shmem:             17036 kB
Slab:             335796 kB
SReclaimable:     308220 kB
SUnreclaim:        27576 kB
KernelStack:        3520 kB
PageTables:         9112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2853300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1740800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44712 MiB
End job on node105 at 2018-07-24 23:40:34