Trace number 4295242

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 2018-06-13SAT 15.2258 7.68768

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g08-g43_c18.xml
MD5SUM7cef523f02717582c22db5e2b6d8dc99
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 benchmark1.21334
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints93
Number of domains1
Minimum domain size128
Maximum domain size128
Distribution of domain sizes[{"size":128,"count":30}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":10},{"degree":6,"count":3},{"degree":7,"count":6},{"degree":8,"count":4},{"degree":9,"count":3}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":30},{"arity":2,"count":62},{"arity":30,"count":1}]
Number of extensional constraints92
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":92},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.99/0.73	c Concrete v3.8.1528841891564 running
15.01/7.67	v <instantiation>
15.01/7.67	v       <list>
15.01/7.67	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29]
15.01/7.67	v       </list>
15.01/7.67	v       <values>
15.01/7.67	v         113 77 75 107 42 26 78 87 99 127 90 73 65 98 89 67 51 18 0 106 104 91 72 109 38 61 27 1 79 7
15.01/7.67	v       </values>
15.01/7.67	v     </instantiation>
15.01/7.67	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 (5380 MiB free)
  memory of node 1: 16384 MiB (10528 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295242-1532538380/watcher-4295242-1532538380 -o /tmp/evaluation-result-4295242-1532538380/solver-4295242-1532538380 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23735 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=142936522 HOME/instance-4295242-1532538380.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=27738, runsolver pid=27735
Current StackSize limit: 8192 KiB


[startup+0.100161 s]*
/proc/loadavg: 1.80 1.66 1.54 3/206 27795
/proc/meminfo: memFree=16280208/32770624 swapFree=67108796/67108860
[pid=27738] ppid=27735 vsize=9972712 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/27738/stat : 27738 (java) S 27735 27738 23703 0 -1 1077944320 4273 12905 0 0 1 0 4 3 20 0 6 0 71401148 10212057088 4648 33554432000 4194304 4196468 140737185734688 140737185717232 139703602593527 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
/proc/27738/statm: 2493178 4648 1934 1 0 2481616 0
[pid=27738/tid=27791] ppid=27735 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27791/stat : 27791 (java) R 27735 27738 23703 0 -1 4202560 2084 12905 0 0 0 0 4 3 20 0 6 0 71401157 10212057088 4648 33554432000 4194304 4196468 140737185734688 139703574430288 139703602615453 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27792] ppid=27735 vsize=9972712 memory=5793855074983803321 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27792/stat : 27792 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 6 0 71401158 10212057088 4648 33554432000 4194304 4196468 140737185734688 139703606836112 139703602603733 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27793] ppid=27735 vsize=9972712 memory=139823973910144 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27793/stat : 27793 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 6 0 71401158 10212057088 4648 33554432000 4194304 4196468 140737185734688 139703495109392 139703602603733 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27794] ppid=27735 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27794/stat : 27794 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 6 0 71401158 10212057088 4648 33554432000 4194304 4196468 140737185734688 139703494057104 139703602603733 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27795] ppid=27735 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27795/stat : 27795 (java) S 27735 27738 23703 0 -1 1077944384 2 12905 0 0 0 0 4 3 20 0 6 0 71401158 10212057088 4648 33554432000 4194304 4196468 140737185734688 139703493004304 139703602603733 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB

[startup+0.209763 s]*
/proc/loadavg: 1.80 1.66 1.54 3/215 27804
/proc/meminfo: memFree=16263704/32770624 swapFree=67108796/67108860
[pid=27738] ppid=27735 vsize=10818936 memory=43248 CPUtime=0.25 cores=1,3,5,7
/proc/27738/stat : 27738 (java) S 27735 27738 23703 0 -1 1077944320 8713 12905 0 0 16 2 4 3 20 0 15 0 71401148 11078590464 10812 33554432000 4194304 4196468 140737185734688 140737185717232 139703602593527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
/proc/27738/statm: 2704734 10812 2964 1 0 2667157 0
[pid=27738/tid=27791] ppid=27735 vsize=10818936 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/27738/task/27791/stat : 27791 (java) R 27735 27738 23703 0 -1 4202560 5401 12905 0 0 10 2 4 3 20 0 15 0 71401157 11078590464 10944 33554432000 4194304 4196468 140737185734688 139703574418336 139703595273245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27792] ppid=27735 vsize=10818936 memory=4211973550178700682 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27792/stat : 27792 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401158 11078590464 11010 33554432000 4194304 4196468 140737185734688 139703606836112 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27793] ppid=27735 vsize=10818936 memory=139823973910144 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27793/stat : 27793 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401158 11078590464 11010 33554432000 4194304 4196468 140737185734688 139703495109392 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27794] ppid=27735 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27794/stat : 27794 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401158 11078590464 11010 33554432000 4194304 4196468 140737185734688 139703494057104 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27795] ppid=27735 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27795/stat : 27795 (java) S 27735 27738 23703 0 -1 1077944384 2 12905 0 0 0 0 4 3 20 0 15 0 71401158 11078590464 11010 33554432000 4194304 4196468 140737185734688 139703493004304 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27796] ppid=27735 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27796/stat : 27796 (java) S 27735 27738 23703 0 -1 1077944384 2 12905 0 0 0 0 4 3 20 0 15 0 71401159 11078590464 11076 33554432000 4194304 4196468 140737185734688 139703061792880 139703602604674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27797] ppid=27735 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27797/stat : 27797 (java) S 27735 27738 23703 0 -1 1077944384 33 12905 0 0 0 0 4 3 20 0 15 0 71401160 11078590464 11076 33554432000 4194304 4196468 140737185734688 139703060738848 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27798] ppid=27735 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27798/stat : 27798 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401160 11078590464 11076 33554432000 4194304 4196468 140737185734688 139702468338800 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27799] ppid=27735 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27799/stat : 27799 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401162 11078590464 11076 33554432000 4194304 4196468 140737185734688 139702160939088 139703602612123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27800] ppid=27735 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27800/stat : 27800 (java) S 27735 27738 23703 0 -1 1077944384 419 12905 0 0 0 0 4 3 20 0 15 0 71401162 11078590464 11142 33554432000 4194304 4196468 140737185734688 139703027182192 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27801] ppid=27735 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27738/task/27801/stat : 27801 (java) S 27735 27738 23703 0 -1 1077944384 188 12905 0 0 1 0 4 3 20 0 15 0 71401162 11078590464 11142 33554432000 4194304 4196468 140737185734688 139703026129392 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27802] ppid=27735 vsize=10818936 memory=139823973910144 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27802/stat : 27802 (java) S 27735 27738 23703 0 -1 1077944384 608 12905 0 0 3 0 4 3 20 0 15 0 71401162 11078590464 11142 33554432000 4194304 4196468 140737185734688 139703025077104 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27803] ppid=27735 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27803/stat : 27803 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401163 11078590464 11142 33554432000 4194304 4196468 140737185734688 139702127381472 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27804] ppid=27735 vsize=10818936 memory=139823973910144 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27804/stat : 27804 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401163 11078590464 11208 33554432000 4194304 4196468 140737185734688 139703024023984 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 43248 KiB

[startup+0.310233 s]*
/proc/loadavg: 1.80 1.66 1.54 3/215 27804
/proc/meminfo: memFree=16250164/32770624 swapFree=67108796/67108860
[pid=27738] ppid=27735 vsize=10819352 memory=52920 CPUtime=0.38 cores=1,3,5,7
/proc/27738/stat : 27738 (java) S 27735 27738 23703 0 -1 1077944320 10339 12905 0 0 28 3 4 3 20 0 15 0 71401148 11079016448 13230 33554432000 4194304 4196468 140737185734688 140737185717232 139703602593527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
/proc/27738/statm: 2704838 13230 3083 1 0 2667149 0
[pid=27738/tid=27791] ppid=27735 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/27738/task/27791/stat : 27791 (java) R 27735 27738 23703 0 -1 4202560 6881 12905 0 0 19 2 4 3 20 0 15 0 71401157 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703574405536 139703586674014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27792] ppid=27735 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27792/stat : 27792 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401158 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703606836112 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27793] ppid=27735 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27793/stat : 27793 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401158 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703495109392 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27794] ppid=27735 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27794/stat : 27794 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401158 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703494057104 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27795] ppid=27735 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27795/stat : 27795 (java) S 27735 27738 23703 0 -1 1077944384 2 12905 0 0 0 0 4 3 20 0 15 0 71401158 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703493004304 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27796] ppid=27735 vsize=10819352 memory=139823973910143 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27796/stat : 27796 (java) S 27735 27738 23703 0 -1 1077944384 2 12905 0 0 0 0 4 3 20 0 15 0 71401159 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703061792880 139703602604674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27797] ppid=27735 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27797/stat : 27797 (java) S 27735 27738 23703 0 -1 1077944384 33 12905 0 0 0 0 4 3 20 0 15 0 71401160 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703060738848 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27798] ppid=27735 vsize=10819352 memory=139823973910144 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27798/stat : 27798 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401160 11079016448 13230 33554432000 4194304 4196468 140737185734688 139702468338800 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27799] ppid=27735 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27799/stat : 27799 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401162 11079016448 13230 33554432000 4194304 4196468 140737185734688 139702160939088 139703602612123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27800] ppid=27735 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27738/task/27800/stat : 27800 (java) S 27735 27738 23703 0 -1 1077944384 419 12905 0 0 1 0 4 3 20 0 15 0 71401162 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703027182192 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27801] ppid=27735 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27738/task/27801/stat : 27801 (java) S 27735 27738 23703 0 -1 1077944384 189 12905 0 0 1 0 4 3 20 0 15 0 71401162 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703026129392 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27802] ppid=27735 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27738/task/27802/stat : 27802 (java) S 27735 27738 23703 0 -1 1077944384 616 12905 0 0 5 0 4 3 20 0 15 0 71401162 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703025077104 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27803] ppid=27735 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27803/stat : 27803 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401163 11079016448 13230 33554432000 4194304 4196468 140737185734688 139702127381472 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27804] ppid=27735 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27804/stat : 27804 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401163 11079016448 13230 33554432000 4194304 4196468 140737185734688 139703024023984 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52920 KiB

[startup+0.700724 s]
/proc/loadavg: 1.80 1.66 1.54 3/215 27804
/proc/meminfo: memFree=16241728/32770624 swapFree=67108796/67108860
[pid=27738] ppid=27735 vsize=10819352 memory=85348 CPUtime=0.99 cores=1,3,5,7
/proc/27738/stat : 27738 (java) S 27735 27738 23703 0 -1 1077944320 16427 12905 0 0 88 4 4 3 20 0 15 0 71401148 11079016448 21337 33554432000 4194304 4196468 140737185734688 140737185717232 139703602593527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
/proc/27738/statm: 2704838 21337 3238 1 0 2667149 0
[pid=27738/tid=27791] ppid=27735 vsize=10819352 memory=21412 CPUtime=0.66 cores=1,3,5,7
/proc/27738/task/27791/stat : 27791 (java) R 27735 27738 23703 0 -1 4202560 11874 12905 0 0 56 3 4 3 20 0 15 0 71401157 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703574414352 139703587759166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27792] ppid=27735 vsize=10819352 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27792/stat : 27792 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401158 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703606836112 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27793] ppid=27735 vsize=10819352 memory=139823868584431 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27793/stat : 27793 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401158 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703495109392 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27794] ppid=27735 vsize=10819352 memory=139826955289480 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27794/stat : 27794 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401158 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703494057104 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27795] ppid=27735 vsize=10819352 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27795/stat : 27795 (java) S 27735 27738 23703 0 -1 1077944384 2 12905 0 0 0 0 4 3 20 0 15 0 71401158 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703493004304 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27796] ppid=27735 vsize=10819352 memory=7305218370954291033 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27796/stat : 27796 (java) S 27735 27738 23703 0 -1 1077944384 5 12905 0 0 0 0 4 3 20 0 15 0 71401159 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703061792880 139703602604674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27797] ppid=27735 vsize=10819352 memory=7739276948477864808 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27797/stat : 27797 (java) S 27735 27738 23703 0 -1 1077944384 33 12905 0 0 0 0 4 3 20 0 15 0 71401160 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703060738848 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27798] ppid=27735 vsize=10819352 memory=5787218246971642213 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27798/stat : 27798 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401160 11079016448 21337 33554432000 4194304 4196468 140737185734688 139702468338800 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27799] ppid=27735 vsize=10819352 memory=8514726395715218844 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27799/stat : 27799 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401162 11079016448 21337 33554432000 4194304 4196468 140737185734688 139702160939088 139703602612123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27800] ppid=27735 vsize=10819352 memory=8326441112149131689 CPUtime=0.14 cores=1,3,5,7
/proc/27738/task/27800/stat : 27800 (java) S 27735 27738 23703 0 -1 1077944384 830 12905 0 0 7 0 4 3 20 0 15 0 71401162 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703027182192 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27801] ppid=27735 vsize=10819352 memory=-8990767739041718176 CPUtime=0.17 cores=1,3,5,7
/proc/27738/task/27801/stat : 27801 (java) S 27735 27738 23703 0 -1 1077944384 812 12905 0 0 10 0 4 3 20 0 15 0 71401162 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703026129392 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27802] ppid=27735 vsize=10819352 memory=-7384994778349281184 CPUtime=0.2 cores=1,3,5,7
/proc/27738/task/27802/stat : 27802 (java) S 27735 27738 23703 0 -1 1077944384 672 12905 0 0 13 0 4 3 20 0 15 0 71401162 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703025077104 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27803] ppid=27735 vsize=10819352 memory=-7966001967256141664 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27803/stat : 27803 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401163 11079016448 21337 33554432000 4194304 4196468 140737185734688 139702127381472 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27804] ppid=27735 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27804/stat : 27804 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401163 11079016448 21337 33554432000 4194304 4196468 140737185734688 139703024023984 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85348 KiB

[startup+1.50145 s]
/proc/loadavg: 1.80 1.66 1.54 4/215 27804
/proc/meminfo: memFree=16195760/32770624 swapFree=67108796/67108860
[pid=27738] ppid=27735 vsize=10834252 memory=176700 CPUtime=2.39 cores=1,3,5,7
/proc/27738/stat : 27738 (java) S 27735 27738 23703 0 -1 1077944320 23995 12905 0 0 225 7 4 3 20 0 15 0 71401148 11094274048 44175 33554432000 4194304 4196468 140737185734688 140737185717232 139703602593527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
/proc/27738/statm: 2708563 44175 3468 1 0 2670221 0
[pid=27738/tid=27791] ppid=27735 vsize=10834252 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/27738/task/27791/stat : 27791 (java) R 27735 27738 23703 0 -1 4202560 17279 12905 0 0 131 4 4 3 20 0 15 0 71401157 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703574404368 139703587961679 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27792] ppid=27735 vsize=10834252 memory=99464 CPUtime=0.08 cores=1,3,5,7
/proc/27738/task/27792/stat : 27792 (java) S 27735 27738 23703 0 -1 1077944384 30 12905 0 0 1 0 4 3 20 0 15 0 71401158 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703606836112 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27793] ppid=27735 vsize=10834252 memory=5790086053191909267 CPUtime=0.08 cores=1,3,5,7
/proc/27738/task/27793/stat : 27793 (java) S 27735 27738 23703 0 -1 1077944384 220 12905 0 0 1 0 4 3 20 0 15 0 71401158 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703495109392 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27794] ppid=27735 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27738/task/27794/stat : 27794 (java) S 27735 27738 23703 0 -1 1077944384 16 12905 0 0 1 0 4 3 20 0 15 0 71401158 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703494057104 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27795] ppid=27735 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27738/task/27795/stat : 27795 (java) S 27735 27738 23703 0 -1 1077944384 64 12905 0 0 1 0 4 3 20 0 15 0 71401158 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703493004304 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27796] ppid=27735 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27738/task/27796/stat : 27796 (java) S 27735 27738 23703 0 -1 1077944384 58 12905 0 0 1 0 4 3 20 0 15 0 71401159 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703061792880 139703602604674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27797] ppid=27735 vsize=10834252 memory=-6221781267475802396 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27797/stat : 27797 (java) S 27735 27738 23703 0 -1 1077944384 33 12905 0 0 0 0 4 3 20 0 15 0 71401160 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703060738912 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27798] ppid=27735 vsize=10834252 memory=1572 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27798/stat : 27798 (java) S 27735 27738 23703 0 -1 1077944384 2 12905 0 0 0 0 4 3 20 0 15 0 71401160 11094274048 44175 33554432000 4194304 4196468 140737185734688 139702468338816 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27799] ppid=27735 vsize=10834252 memory=2092 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27799/stat : 27799 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401162 11094274048 44175 33554432000 4194304 4196468 140737185734688 139702160939088 139703602612123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27800] ppid=27735 vsize=10834252 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/27738/task/27800/stat : 27800 (java) S 27735 27738 23703 0 -1 1077944384 1530 12905 0 0 23 0 4 3 20 0 15 0 71401162 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703027182192 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27801] ppid=27735 vsize=10834252 memory=259206779314867 CPUtime=0.35 cores=1,3,5,7
/proc/27738/task/27801/stat : 27801 (java) S 27735 27738 23703 0 -1 1077944384 1299 12905 0 0 28 0 4 3 20 0 15 0 71401162 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703026129392 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27802] ppid=27735 vsize=10834252 memory=297290490211296509 CPUtime=0.42 cores=1,3,5,7
/proc/27738/task/27802/stat : 27802 (java) S 27735 27738 23703 0 -1 1077944384 1269 12905 0 0 35 0 4 3 20 0 15 0 71401162 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703025077104 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27803] ppid=27735 vsize=10834252 memory=4638778424102965584 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27803/stat : 27803 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401163 11094274048 44175 33554432000 4194304 4196468 140737185734688 139702127381472 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27804] ppid=27735 vsize=10834252 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27804/stat : 27804 (java) S 27735 27738 23703 0 -1 1077944384 1 12905 0 0 0 0 4 3 20 0 15 0 71401163 11094274048 44175 33554432000 4194304 4196468 140737185734688 139703024023984 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 10834252 KiB

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

[startup+6.30077 s]
/proc/loadavg: 1.74 1.64 1.54 3/215 27804
/proc/meminfo: memFree=15928844/32770624 swapFree=67108796/67108860
[pid=27738] ppid=27735 vsize=10914144 memory=374632 CPUtime=13.21 cores=1,3,5,7
/proc/27738/stat : 27738 (java) S 27735 27738 23703 0 -1 1077944320 68154 12905 0 0 1296 18 4 3 20 0 15 0 71401148 11176083456 93658 33554432000 4194304 4196468 140737185734688 140737185717232 139703602593527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
/proc/27738/statm: 2728536 93658 3515 1 0 2690189 0
[pid=27738/tid=27791] ppid=27735 vsize=10914144 memory=374456 CPUtime=6.15 cores=1,3,5,7
/proc/27738/task/27791/stat : 27791 (java) R 27735 27738 23703 0 -1 4202560 42564 12905 0 0 599 9 4 3 20 0 15 0 71401157 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703574428920 139703169022146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27792] ppid=27735 vsize=10914144 memory=279647736575776 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27792/stat : 27792 (java) S 27735 27738 23703 0 -1 1077944384 192 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703606836112 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27793] ppid=27735 vsize=10914144 memory=33 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27793/stat : 27793 (java) S 27735 27738 23703 0 -1 1077944384 246 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703495109392 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27794] ppid=27735 vsize=10914144 memory=288230574492221466 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27794/stat : 27794 (java) S 27735 27738 23703 0 -1 1077944384 57 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703494057104 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27795] ppid=27735 vsize=10914144 memory=374632 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27795/stat : 27795 (java) S 27735 27738 23703 0 -1 1077944384 101 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703493004304 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27796] ppid=27735 vsize=10914144 memory=279647736783840 CPUtime=0.11 cores=1,3,5,7
/proc/27738/task/27796/stat : 27796 (java) S 27735 27738 23703 0 -1 1077944384 1158 12905 0 0 4 0 4 3 20 0 15 0 71401159 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703061792880 139703602604674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27797] ppid=27735 vsize=10914144 memory=288230583166051074 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27797/stat : 27797 (java) S 27735 27738 23703 0 -1 1077944384 38 12905 0 0 0 0 4 3 20 0 15 0 71401160 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703060738976 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27798] ppid=27735 vsize=10914144 memory=913 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27798/stat : 27798 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401160 11176083456 93658 33554432000 4194304 4196468 140737185734688 139702468338816 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27799] ppid=27735 vsize=10914144 memory=334 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27799/stat : 27799 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401162 11176083456 93658 33554432000 4194304 4196468 140737185734688 139702160939088 139703602612123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27800] ppid=27735 vsize=10914144 memory=7 CPUtime=2.87 cores=1,3,5,7
/proc/27738/task/27800/stat : 27800 (java) S 27735 27738 23703 0 -1 1077944384 9882 12905 0 0 279 1 4 3 20 0 15 0 71401162 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703027182192 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27801] ppid=27735 vsize=10914144 memory=7 CPUtime=2.53 cores=1,3,5,7
/proc/27738/task/27801/stat : 27801 (java) S 27735 27738 23703 0 -1 1077944384 5866 12905 0 0 245 1 4 3 20 0 15 0 71401162 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703026129392 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27802] ppid=27735 vsize=10914144 memory=56 CPUtime=1.6 cores=1,3,5,7
/proc/27738/task/27802/stat : 27802 (java) S 27735 27738 23703 0 -1 1077944384 5841 12905 0 0 151 2 4 3 20 0 15 0 71401162 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703025077104 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27803] ppid=27735 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27803/stat : 27803 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401163 11176083456 93658 33554432000 4194304 4196468 140737185734688 139702127381472 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27804] ppid=27735 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27804/stat : 27804 (java) S 27735 27738 23703 0 -1 1077944384 12 12905 0 0 0 0 4 3 20 0 15 0 71401163 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703024023984 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
Current children cumulated CPU time: 13.21 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 374632 KiB

[startup+7.68764 s]
# the end of solver process 27738 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14.978 s, system=0.24775 s

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

[startup+6.40094 s]
/proc/loadavg: 1.74 1.64 1.54 3/215 27804
/proc/meminfo: memFree=15928844/32770624 swapFree=67108796/67108860
[pid=27738] ppid=27735 vsize=10914144 memory=374632 CPUtime=13.32 cores=1,3,5,7
/proc/27738/stat : 27738 (java) S 27735 27738 23703 0 -1 1077944320 68156 12905 0 0 1307 18 4 3 20 0 15 0 71401148 11176083456 93658 33554432000 4194304 4196468 140737185734688 140737185717232 139703602593527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
/proc/27738/statm: 2728536 93658 3515 1 0 2690189 0
[pid=27738/tid=27791] ppid=27735 vsize=10914144 memory=6292204129186042977 CPUtime=6.25 cores=1,3,5,7
/proc/27738/task/27791/stat : 27791 (java) R 27735 27738 23703 0 -1 4202560 42564 12905 0 0 609 9 4 3 20 0 15 0 71401157 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703574428920 139703168146631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27792] ppid=27735 vsize=10914144 memory=279647736561904 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27792/stat : 27792 (java) S 27735 27738 23703 0 -1 1077944384 192 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703606836112 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27793] ppid=27735 vsize=10914144 memory=7738970185086102372 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27793/stat : 27793 (java) S 27735 27738 23703 0 -1 1077944384 246 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703495109392 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27794] ppid=27735 vsize=10914144 memory=7308895142485716329 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27794/stat : 27794 (java) S 27735 27738 23703 0 -1 1077944384 57 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703494057104 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27795] ppid=27735 vsize=10914144 memory=7161100971102201939 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27795/stat : 27795 (java) S 27735 27738 23703 0 -1 1077944384 101 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703493004304 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27796] ppid=27735 vsize=10914144 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/27738/task/27796/stat : 27796 (java) S 27735 27738 23703 0 -1 1077944384 1158 12905 0 0 4 0 4 3 20 0 15 0 71401159 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703061792880 139703602604674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27797] ppid=27735 vsize=10914144 memory=2088 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27797/stat : 27797 (java) S 27735 27738 23703 0 -1 1077944384 38 12905 0 0 0 0 4 3 20 0 15 0 71401160 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703060738976 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27798] ppid=27735 vsize=10914144 memory=1040 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27798/stat : 27798 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401160 11176083456 93658 33554432000 4194304 4196468 140737185734688 139702468338816 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27799] ppid=27735 vsize=10914144 memory=1628 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27799/stat : 27799 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401162 11176083456 93658 33554432000 4194304 4196468 140737185734688 139702160939088 139703602612123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27800] ppid=27735 vsize=10914144 memory=8876 CPUtime=2.88 cores=1,3,5,7
/proc/27738/task/27800/stat : 27800 (java) S 27735 27738 23703 0 -1 1077944384 9884 12905 0 0 280 1 4 3 20 0 15 0 71401162 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703027182192 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27801] ppid=27735 vsize=10914144 memory=1120 CPUtime=2.53 cores=1,3,5,7
/proc/27738/task/27801/stat : 27801 (java) S 27735 27738 23703 0 -1 1077944384 5866 12905 0 0 245 1 4 3 20 0 15 0 71401162 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703026129392 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27802] ppid=27735 vsize=10914144 memory=792 CPUtime=1.6 cores=1,3,5,7
/proc/27738/task/27802/stat : 27802 (java) S 27735 27738 23703 0 -1 1077944384 5841 12905 0 0 151 2 4 3 20 0 15 0 71401162 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703025077104 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27803] ppid=27735 vsize=10914144 memory=832 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27803/stat : 27803 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401163 11176083456 93658 33554432000 4194304 4196468 140737185734688 139702127381472 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27804] ppid=27735 vsize=10914144 memory=1600 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27804/stat : 27804 (java) S 27735 27738 23703 0 -1 1077944384 12 12905 0 0 0 0 4 3 20 0 15 0 71401163 11176083456 93658 33554432000 4194304 4196468 140737185734688 139703024023984 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
Current children cumulated CPU time: 13.32 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 374632 KiB

[startup+7.20075 s]
/proc/loadavg: 1.68 1.63 1.54 4/215 27804
/proc/meminfo: memFree=15924368/32770624 swapFree=67108796/67108860
[pid=27738] ppid=27735 vsize=10914144 memory=378988 CPUtime=14.52 cores=1,3,5,7
/proc/27738/stat : 27738 (java) S 27735 27738 23703 0 -1 1077944320 68227 12905 0 0 1426 19 4 3 20 0 15 0 71401148 11176083456 94747 33554432000 4194304 4196468 140737185734688 140737185717232 139703602593527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
/proc/27738/statm: 2728536 94747 3515 1 0 2690189 0
[pid=27738/tid=27791] ppid=27735 vsize=10914144 memory=1088 CPUtime=7.05 cores=1,3,5,7
/proc/27738/task/27791/stat : 27791 (java) R 27735 27738 23703 0 -1 4202560 42571 12905 0 0 689 9 4 3 20 0 15 0 71401157 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703574426384 139703168375270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27792] ppid=27735 vsize=10914144 memory=1796 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27792/stat : 27792 (java) S 27735 27738 23703 0 -1 1077944384 194 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703606836112 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27793] ppid=27735 vsize=10914144 memory=7012 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27793/stat : 27793 (java) S 27735 27738 23703 0 -1 1077944384 252 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703495109392 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27794] ppid=27735 vsize=10914144 memory=15044 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27794/stat : 27794 (java) S 27735 27738 23703 0 -1 1077944384 59 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703494057104 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27795] ppid=27735 vsize=10914144 memory=366264 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27795/stat : 27795 (java) S 27735 27738 23703 0 -1 1077944384 103 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703493004304 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27796] ppid=27735 vsize=10914144 memory=-7518891959079781826 CPUtime=0.11 cores=1,3,5,7
/proc/27738/task/27796/stat : 27796 (java) S 27735 27738 23703 0 -1 1077944384 1159 12905 0 0 4 0 4 3 20 0 15 0 71401159 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703061792880 139703602604674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27797] ppid=27735 vsize=10914144 memory=1400504754925836930 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27797/stat : 27797 (java) S 27735 27738 23703 0 -1 1077944384 38 12905 0 0 0 0 4 3 20 0 15 0 71401160 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703060738976 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27798] ppid=27735 vsize=10914144 memory=-7737605721172012177 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27798/stat : 27798 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401160 11176083456 94747 33554432000 4194304 4196468 140737185734688 139702468338816 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27799] ppid=27735 vsize=10914144 memory=7679937539709960979 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27799/stat : 27799 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401162 11176083456 94747 33554432000 4194304 4196468 140737185734688 139702160939088 139703602612123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27800] ppid=27735 vsize=10914144 memory=-8918985357576057910 CPUtime=3.07 cores=1,3,5,7
/proc/27738/task/27800/stat : 27800 (java) R 27735 27738 23703 0 -1 4202560 9911 12905 0 0 299 1 4 3 20 0 15 0 71401162 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703027182192 139703602614874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27801] ppid=27735 vsize=10914144 memory=-7522837583045875833 CPUtime=2.73 cores=1,3,5,7
/proc/27738/task/27801/stat : 27801 (java) R 27735 27738 23703 0 -1 4202560 5890 12905 0 0 265 1 4 3 20 0 15 0 71401162 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703026129392 139703586991730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27802] ppid=27735 vsize=10914144 memory=-8458152057954561420 CPUtime=1.61 cores=1,3,5,7
/proc/27738/task/27802/stat : 27802 (java) S 27735 27738 23703 0 -1 1077944384 5841 12905 0 0 152 2 4 3 20 0 15 0 71401162 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703025077104 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27803] ppid=27735 vsize=10914144 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27803/stat : 27803 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401163 11176083456 94747 33554432000 4194304 4196468 140737185734688 139702127381472 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27804] ppid=27735 vsize=10914144 memory=288230621803970871 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27804/stat : 27804 (java) S 27735 27738 23703 0 -1 1077944384 12 12905 0 0 0 0 4 3 20 0 15 0 71401163 11176083456 94747 33554432000 4194304 4196468 140737185734688 139703024023984 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
Current children cumulated CPU time: 14.52 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 378988 KiB

[startup+7.60074 s]
/proc/loadavg: 1.68 1.63 1.54 4/215 27804
/proc/meminfo: memFree=15924368/32770624 swapFree=67108796/67108860
[pid=27738] ppid=27735 vsize=10914144 memory=409708 CPUtime=15.01 cores=1,3,5,7
/proc/27738/stat : 27738 (java) S 27735 27738 23703 0 -1 1077944320 68317 12905 0 0 1475 19 4 3 20 0 15 0 71401148 11176083456 102427 33554432000 4194304 4196468 140737185734688 140737185717232 139703602593527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
/proc/27738/statm: 2728536 102427 3515 1 0 2690189 0
[pid=27738/tid=27791] ppid=27735 vsize=10914144 memory=6791534058613427641 CPUtime=7.45 cores=1,3,5,7
/proc/27738/task/27791/stat : 27791 (java) R 27735 27738 23703 0 -1 4202560 42601 12905 0 0 728 10 4 3 20 0 15 0 71401157 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703574426272 139703169830609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27792] ppid=27735 vsize=10914144 memory=832 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27792/stat : 27792 (java) S 27735 27738 23703 0 -1 1077944384 195 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703606836112 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27793] ppid=27735 vsize=10914144 memory=1600 CPUtime=0.11 cores=1,3,5,7
/proc/27738/task/27793/stat : 27793 (java) S 27735 27738 23703 0 -1 1077944384 261 12905 0 0 4 0 4 3 20 0 15 0 71401158 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703495109392 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27794] ppid=27735 vsize=10914144 memory=5024 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27794/stat : 27794 (java) S 27735 27738 23703 0 -1 1077944384 60 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703494057104 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27795] ppid=27735 vsize=10914144 memory=4032 CPUtime=0.1 cores=1,3,5,7
/proc/27738/task/27795/stat : 27795 (java) S 27735 27738 23703 0 -1 1077944384 106 12905 0 0 3 0 4 3 20 0 15 0 71401158 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703493004304 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27796] ppid=27735 vsize=10914144 memory=1284 CPUtime=0.11 cores=1,3,5,7
/proc/27738/task/27796/stat : 27796 (java) S 27735 27738 23703 0 -1 1077944384 1180 12905 0 0 4 0 4 3 20 0 15 0 71401159 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703061792880 139703602604674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27797] ppid=27735 vsize=10914144 memory=1088 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27797/stat : 27797 (java) S 27735 27738 23703 0 -1 1077944384 38 12905 0 0 0 0 4 3 20 0 15 0 71401160 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703060738976 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27798] ppid=27735 vsize=10914144 memory=1796 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27798/stat : 27798 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401160 11176083456 102427 33554432000 4194304 4196468 140737185734688 139702468338816 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27799] ppid=27735 vsize=10914144 memory=-3833726747341067623 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27799/stat : 27799 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401162 11176083456 102427 33554432000 4194304 4196468 140737185734688 139702160939088 139703602612123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27800] ppid=27735 vsize=10914144 memory=-6520471753822164382 CPUtime=3.09 cores=1,3,5,7
/proc/27738/task/27800/stat : 27800 (java) R 27735 27738 23703 0 -1 4202560 9913 12905 0 0 301 1 4 3 20 0 15 0 71401162 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703027182192 139703582286677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27801] ppid=27735 vsize=10914144 memory=9047017150487036575 CPUtime=2.79 cores=1,3,5,7
/proc/27738/task/27801/stat : 27801 (java) R 27735 27738 23703 0 -1 4202560 5913 12905 0 0 271 1 4 3 20 0 15 0 71401162 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703026129392 139703586090315 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27802] ppid=27735 vsize=10914144 memory=4427205132082312746 CPUtime=1.61 cores=1,3,5,7
/proc/27738/task/27802/stat : 27802 (java) S 27735 27738 23703 0 -1 1077944384 5841 12905 0 0 152 2 4 3 20 0 15 0 71401162 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703025077104 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27803] ppid=27735 vsize=10914144 memory=-8412652152092201843 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27803/stat : 27803 (java) S 27735 27738 23703 0 -1 1077944384 3 12905 0 0 0 0 4 3 20 0 15 0 71401163 11176083456 102427 33554432000 4194304 4196468 140737185734688 139702127381472 139703602603733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
[pid=27738/tid=27804] ppid=27735 vsize=10914144 memory=-8486080722631693414 CPUtime=0.07 cores=1,3,5,7
/proc/27738/task/27804/stat : 27804 (java) S 27735 27738 23703 0 -1 1077944384 12 12905 0 0 0 0 4 3 20 0 15 0 71401163 11176083456 102427 33554432000 4194304 4196468 140737185734688 139703024023984 139703602604674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39399424 140737185741423 140737185744220 140737185744220 140737185746895 0
Current children cumulated CPU time: 15.01 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 409708 KiB

Child status: 0
Real time (s): 7.68768
CPU time (s): 15.2258
CPU user time (s): 14.978
CPU system time (s): 0.24775
CPU usage (%): 198.054
Max. virtual memory (cumulated for all children) (KiB): 10916852
Max. memory (cumulated for all children) (KiB): 409708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.978
system time used= 0.24775
maximum resident set size= 412276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81516
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= 7069
involuntary context switches= 66


# summary of solver processes directly reported to runsolver:
#   pid: 27738
#   total CPU time (s): 15.2258
#   total CPU user time (s): 14.978
#   total CPU system time (s): 0.24775

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060533 second user time and 0.118943 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-25 19:06:20
IDJOB=4295242
IDBENCH=141497
IDSOLVER=2750
FILE ID=node138/4295242-1532538380
RUNJOBID= node138-1532523045-23735
PBS_JOBID= 21021594
Free space on /tmp= 53776 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g08-g43_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295242-1532538380/watcher-4295242-1532538380 -o /tmp/evaluation-result-4295242-1532538380/solver-4295242-1532538380 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23735 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=142936522 HOME/instance-4295242-1532538380.xml

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

MD5SUM BENCH= 7cef523f02717582c22db5e2b6d8dc99
RANDOM SEED=142936522

node138.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.71
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.71
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.71
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.71
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:        16291992 kB
MemAvailable:   30581112 kB
Buffers:          166652 kB
Cached:         14268292 kB
SwapCached:           44 kB
Active:          3731616 kB
Inactive:       12106040 kB
Active(anon):    1353040 kB
Inactive(anon):    77272 kB
Active(file):    2378576 kB
Inactive(file): 12028768 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             26744 kB
Writeback:             0 kB
AnonPages:       1387028 kB
Mapped:            47960 kB
Shmem:             25164 kB
Slab:             338704 kB
SReclaimable:     310236 kB
SUnreclaim:        28468 kB
KernelStack:        3808 kB
PageTables:         7800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2317240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1146880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53748 MiB
End job on node138 at 2018-07-25 19:06:28