Trace number 4395758

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.2SAT 9.64907 3.93198

General information on the benchmark

NameBlackhole/Blackhole-m1-s13/
Blackhole-13-3-04.xml
MD5SUM5cc270e62cab521987b2b853f5e11200
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.020399
Satisfiable
(Un)Satisfiability was proved
Number of variables104
Number of constraints87
Number of domains1
Minimum domain size52
Maximum domain size52
Distribution of domain sizes[{"size":52,"count":104}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":87},{"degree":3,"count":17}]
Minimum constraint arity1
Maximum constraint arity104
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":85},{"arity":104,"count":1}]
Number of extensional constraints51
Number of intensional constraints35
Distribution of constraint types[{"type":"extension","count":51},{"type":"intension","count":35},{"type":"channel","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.77/0.55	c Concrete v3.12.2.1568380929293 running
9.54/3.92	v <instantiation
9.54/3.92	v         >
9.54/3.92	v       <list>
9.54/3.92	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51]
9.54/3.92	v       </list>
9.54/3.92	v       <values>
9.54/3.92	v         0 25 39 27 2 40 41 42 17 31 19 5 32 7 6 18 4 29 28 1 13 51 37 23 9 8 20 21 48 10 11 38 50 49 22 47 33 45 44 30 16 43 3 15 14 26 12 24 36 35 34 46 0 19 4 42 16 11 14 13 25 24 29 30 46 20 44 43 40 8 15 10 26 27 34 23 47 1 45 3 18 17 39 9 12 36 50 49 48 22 31 2 5 6 7 41 38 37 51 35 28 33 32 21
9.54/3.92	v       </values>
9.54/3.92	v     </instantiation>
9.54/3.92	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 (13862 MiB free)
  memory of node 1: 16384 MiB (12092 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395758-1568405867/watcher-4395758-1568405867 -o /tmp/evaluation-result-4395758-1568405867/solver-4395758-1568405867 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568399721-12058 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1588949256 HOME/instance-4395758-1568405867.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=13784, runsolver pid=13781


[startup+0.102035 s]*
/proc/loadavg: 1.91 1.68 1.60 3/219 13841
/proc/meminfo: memFree=26569044/32770624 swapFree=66959224/67108860
[pid=13784] ppid=13781 vsize=9972712 memory=18596 CPUtime=0.09 cores=0,2,4,6
/proc/13784/stat : 13784 (java) S 13781 13784 12027 0 -1 1077944320 4371 13327 0 0 1 1 5 2 20 0 6 0 416526897 10212057088 4649 33554432000 4194304 4196468 140729763200016 140729763182560 139906588196599 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
/proc/13784/statm: 2493178 4649 1935 1 0 2481616 0
[pid=13784/tid=13837] ppid=13781 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/13784/task/13837/stat : 13837 (java) R 13781 13784 12027 0 -1 4202560 2165 13327 0 0 1 0 5 2 20 0 6 0 416526906 10212057088 4649 33554432000 4194304 4196468 140729763200016 139906560033360 139906580219540 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13838] ppid=13781 vsize=9972712 memory=5793854983171140025 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13838/stat : 13838 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 6 0 416526906 10212057088 4649 33554432000 4194304 4196468 140729763200016 139906592439440 139906588206805 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13839] ppid=13781 vsize=9972712 memory=139732161246848 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13839/stat : 13839 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 6 0 416526906 10212057088 4649 33554432000 4194304 4196468 140729763200016 139906480712720 139906588206805 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13840] ppid=13781 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13840/stat : 13840 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 6 0 416526906 10212057088 4649 33554432000 4194304 4196468 140729763200016 139906160520080 139906588206805 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13841] ppid=13781 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13841/stat : 13841 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 6 0 416526906 10212057088 4649 33554432000 4194304 4196468 140729763200016 139906159467280 139906588206805 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB

[startup+0.210218 s]*
/proc/loadavg: 1.91 1.68 1.60 4/228 13850
/proc/meminfo: memFree=26548936/32770624 swapFree=66959224/67108860
[pid=13784] ppid=13781 vsize=10819664 memory=40816 CPUtime=0.25 cores=0,2,4,6
/proc/13784/stat : 13784 (java) S 13781 13784 12027 0 -1 1077944320 7052 13327 0 0 16 2 5 2 20 0 15 0 416526897 11079335936 10204 33554432000 4194304 4196468 140729763200016 140729763182560 139906588196599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
/proc/13784/statm: 2704916 10204 3162 1 0 2667149 0
[pid=13784/tid=13837] ppid=13781 vsize=10819664 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/13784/task/13837/stat : 13837 (java) R 13781 13784 12027 0 -1 4202560 3510 13327 0 0 10 1 5 2 20 0 15 0 416526906 11079335936 10204 33554432000 4194304 4196468 140729763200016 139906560029184 139906571383380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13838] ppid=13781 vsize=10819664 memory=4211973458366037386 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13838/stat : 13838 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526906 11079335936 10204 33554432000 4194304 4196468 140729763200016 139906592439440 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13839] ppid=13781 vsize=10819664 memory=139732161246848 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13839/stat : 13839 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526906 11079335936 10204 33554432000 4194304 4196468 140729763200016 139906480712720 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13840] ppid=13781 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13840/stat : 13840 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526906 11079335936 10204 33554432000 4194304 4196468 140729763200016 139906160520080 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13841] ppid=13781 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13841/stat : 13841 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526906 11079335936 10204 33554432000 4194304 4196468 140729763200016 139906159467280 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13842] ppid=13781 vsize=10819664 memory=139732161246848 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13842/stat : 13842 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526908 11079335936 10204 33554432000 4194304 4196468 140729763200016 139906047670640 139906588207746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13843] ppid=13781 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13843/stat : 13843 (java) S 13781 13784 12027 0 -1 1077944384 33 13327 0 0 0 0 5 2 20 0 15 0 416526908 11079335936 10204 33554432000 4194304 4196468 140729763200016 139906046616608 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13844] ppid=13781 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13844/stat : 13844 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526909 11079335936 10204 33554432000 4194304 4196468 140729763200016 139905942414192 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13845] ppid=13781 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13845/stat : 13845 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526911 11079335936 10204 33554432000 4194304 4196468 140729763200016 139905338435408 139906588215195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13846] ppid=13781 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13784/task/13846/stat : 13846 (java) S 13781 13784 12027 0 -1 1077944384 508 13327 0 0 1 0 5 2 20 0 15 0 416526911 11079335936 10204 33554432000 4194304 4196468 140729763200016 139906013059952 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13847] ppid=13781 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13784/task/13847/stat : 13847 (java) S 13781 13784 12027 0 -1 1077944384 165 13327 0 0 1 0 5 2 20 0 15 0 416526911 11079335936 10204 33554432000 4194304 4196468 140729763200016 139906012007152 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13848] ppid=13781 vsize=10819664 memory=139732161246848 CPUtime=0.09 cores=0,2,4,6
/proc/13784/task/13848/stat : 13848 (java) S 13781 13784 12027 0 -1 1077944384 619 13327 0 0 2 0 5 2 20 0 15 0 416526911 11079335936 10204 33554432000 4194304 4196468 140729763200016 139906010954352 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13849] ppid=13781 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13849/stat : 13849 (java) S 13781 13784 12027 0 -1 1077944384 3 13327 0 0 0 0 5 2 20 0 15 0 416526911 11079335936 10204 33554432000 4194304 4196468 140729763200016 139904868674272 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13850] ppid=13781 vsize=10819664 memory=139732161246848 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13850/stat : 13850 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526912 11079335936 10204 33554432000 4194304 4196468 140729763200016 139905908857520 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40816 KiB

[startup+0.310596 s]*
/proc/loadavg: 1.91 1.68 1.60 4/228 13850
/proc/meminfo: memFree=26535800/32770624 swapFree=66959224/67108860
[pid=13784] ppid=13781 vsize=10820148 memory=51944 CPUtime=0.39 cores=0,2,4,6
/proc/13784/stat : 13784 (java) S 13781 13784 12027 0 -1 1077944320 10761 13327 0 0 28 4 5 2 20 0 15 0 416526897 11079831552 12986 33554432000 4194304 4196468 140729763200016 140729763182560 139906588196599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
/proc/13784/statm: 2705037 12986 3294 1 0 2667149 0
[pid=13784/tid=13837] ppid=13781 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/13784/task/13837/stat : 13837 (java) R 13781 13784 12027 0 -1 4202560 7187 13327 0 0 18 3 5 2 20 0 15 0 416526906 11079831552 12986 33554432000 4194304 4196468 140729763200016 139906560008112 139906572277086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13838] ppid=13781 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13838/stat : 13838 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526906 11079831552 12986 33554432000 4194304 4196468 140729763200016 139906592439440 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13839] ppid=13781 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13839/stat : 13839 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526906 11079831552 12986 33554432000 4194304 4196468 140729763200016 139906480712720 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13840] ppid=13781 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13840/stat : 13840 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526906 11079831552 12986 33554432000 4194304 4196468 140729763200016 139906160520080 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13841] ppid=13781 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13841/stat : 13841 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526906 11079831552 12986 33554432000 4194304 4196468 140729763200016 139906159467280 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13842] ppid=13781 vsize=10820148 memory=139732161246847 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13842/stat : 13842 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526908 11079831552 12986 33554432000 4194304 4196468 140729763200016 139906047670640 139906588207746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13843] ppid=13781 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13843/stat : 13843 (java) S 13781 13784 12027 0 -1 1077944384 33 13327 0 0 0 0 5 2 20 0 15 0 416526908 11079831552 12986 33554432000 4194304 4196468 140729763200016 139906046616608 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13844] ppid=13781 vsize=10820148 memory=139732161246848 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13844/stat : 13844 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526909 11079831552 12986 33554432000 4194304 4196468 140729763200016 139905942414192 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13845] ppid=13781 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13845/stat : 13845 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526911 11079831552 12986 33554432000 4194304 4196468 140729763200016 139905338435408 139906588215195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13846] ppid=13781 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13784/task/13846/stat : 13846 (java) S 13781 13784 12027 0 -1 1077944384 517 13327 0 0 2 0 5 2 20 0 15 0 416526911 11079831552 12986 33554432000 4194304 4196468 140729763200016 139906013059952 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13847] ppid=13781 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13784/task/13847/stat : 13847 (java) S 13781 13784 12027 0 -1 1077944384 166 13327 0 0 2 0 5 2 20 0 15 0 416526911 11079831552 12986 33554432000 4194304 4196468 140729763200016 139906012007152 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13848] ppid=13781 vsize=10820148 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13784/task/13848/stat : 13848 (java) S 13781 13784 12027 0 -1 1077944384 641 13327 0 0 5 0 5 2 20 0 15 0 416526911 11079831552 12986 33554432000 4194304 4196468 140729763200016 139906010954352 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13849] ppid=13781 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13849/stat : 13849 (java) S 13781 13784 12027 0 -1 1077944384 3 13327 0 0 0 0 5 2 20 0 15 0 416526911 11079831552 12986 33554432000 4194304 4196468 140729763200016 139904868674272 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13850] ppid=13781 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13850/stat : 13850 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526912 11079831552 12986 33554432000 4194304 4196468 140729763200016 139905908857520 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51944 KiB

[startup+0.700744 s]
/proc/loadavg: 1.91 1.68 1.60 3/228 13850
/proc/meminfo: memFree=26521140/32770624 swapFree=66959224/67108860
[pid=13784] ppid=13781 vsize=10824360 memory=85660 CPUtime=1.11 cores=0,2,4,6
/proc/13784/stat : 13784 (java) S 13781 13784 12027 0 -1 1077944320 15161 13327 0 0 97 7 5 2 20 0 15 0 416526897 11084144640 21415 33554432000 4194304 4196468 140729763200016 140729763182560 139906588196599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
/proc/13784/statm: 2706090 21415 3504 1 0 2668173 0
[pid=13784/tid=13837] ppid=13781 vsize=10824360 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/13784/task/13837/stat : 13837 (java) R 13781 13784 12027 0 -1 4202560 10247 13327 0 0 54 5 5 2 20 0 15 0 416526906 11084144640 21415 33554432000 4194304 4196468 140729763200016 139906560016224 139906572277086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13838] ppid=13781 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13838/stat : 13838 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526906 11084144640 21415 33554432000 4194304 4196468 140729763200016 139906592439440 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13839] ppid=13781 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13839/stat : 13839 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526906 11084144640 21415 33554432000 4194304 4196468 140729763200016 139906480712720 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13840] ppid=13781 vsize=10824360 memory=279460234598296 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13840/stat : 13840 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526906 11084144640 21415 33554432000 4194304 4196468 140729763200016 139906160520080 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13841] ppid=13781 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13841/stat : 13841 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526906 11084144640 21415 33554432000 4194304 4196468 140729763200016 139906159467280 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13842] ppid=13781 vsize=10824360 memory=279464126996864 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13842/stat : 13842 (java) S 13781 13784 12027 0 -1 1077944384 5 13327 0 0 0 0 5 2 20 0 15 0 416526908 11084144640 21415 33554432000 4194304 4196468 140729763200016 139906047670640 139906588207746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13843] ppid=13781 vsize=10824360 memory=3620 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13843/stat : 13843 (java) S 13781 13784 12027 0 -1 1077944384 33 13327 0 0 0 0 5 2 20 0 15 0 416526908 11084144640 21415 33554432000 4194304 4196468 140729763200016 139906046616608 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13844] ppid=13781 vsize=10824360 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13844/stat : 13844 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526909 11084144640 21415 33554432000 4194304 4196468 140729763200016 139905942414192 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13845] ppid=13781 vsize=10824360 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13845/stat : 13845 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526911 11084144640 21415 33554432000 4194304 4196468 140729763200016 139905338435408 139906588215195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13846] ppid=13781 vsize=10824360 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/13784/task/13846/stat : 13846 (java) R 13781 13784 12027 0 -1 4202560 1096 13327 0 0 13 0 5 2 20 0 15 0 416526911 11084144640 21415 33554432000 4194304 4196468 140729763200016 139906013059952 139906566474469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13847] ppid=13781 vsize=10824360 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/13784/task/13847/stat : 13847 (java) S 13781 13784 12027 0 -1 1077944384 655 13327 0 0 12 0 5 2 20 0 15 0 416526911 11084144640 21415 33554432000 4194304 4196468 140729763200016 139906012007152 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13848] ppid=13781 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/13784/task/13848/stat : 13848 (java) S 13781 13784 12027 0 -1 1077944384 909 13327 0 0 17 0 5 2 20 0 15 0 416526911 11084144640 21415 33554432000 4194304 4196468 140729763200016 139906010954352 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13849] ppid=13781 vsize=10824360 memory=30305 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13849/stat : 13849 (java) S 13781 13784 12027 0 -1 1077944384 3 13327 0 0 0 0 5 2 20 0 15 0 416526911 11084144640 21415 33554432000 4194304 4196468 140729763200016 139904868674272 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13850] ppid=13781 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13850/stat : 13850 (java) S 13781 13784 12027 0 -1 1077944384 1 13327 0 0 0 0 5 2 20 0 15 0 416526912 11084144640 21415 33554432000 4194304 4196468 140729763200016 139905908857520 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85660 KiB

[startup+1.50147 s]
/proc/loadavg: 1.91 1.68 1.60 3/228 13850
/proc/meminfo: memFree=26477876/32770624 swapFree=66959224/67108860
[pid=13784] ppid=13781 vsize=10834676 memory=176464 CPUtime=2.51 cores=0,2,4,6
/proc/13784/stat : 13784 (java) S 13781 13784 12027 0 -1 1077944320 24579 13327 0 0 232 12 5 2 20 0 15 0 416526897 11094708224 44116 33554432000 4194304 4196468 140729763200016 140729763182560 139906588196599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
/proc/13784/statm: 2708669 44116 3580 1 0 2670733 0
[pid=13784/tid=13837] ppid=13781 vsize=10834676 memory=3620 CPUtime=1.43 cores=0,2,4,6
/proc/13784/task/13837/stat : 13837 (java) R 13781 13784 12027 0 -1 4202560 15940 13327 0 0 128 8 5 2 20 0 15 0 416526906 11094708224 44116 33554432000 4194304 4196468 140729763200016 139906559995824 139906588208534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13838] ppid=13781 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13784/task/13838/stat : 13838 (java) S 13781 13784 12027 0 -1 1077944384 62 13327 0 0 1 0 5 2 20 0 15 0 416526906 11094708224 44116 33554432000 4194304 4196468 140729763200016 139906592439440 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13839] ppid=13781 vsize=10834676 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/13784/task/13839/stat : 13839 (java) S 13781 13784 12027 0 -1 1077944384 24 13327 0 0 1 0 5 2 20 0 15 0 416526906 11094708224 44116 33554432000 4194304 4196468 140729763200016 139906480712720 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13840] ppid=13781 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13784/task/13840/stat : 13840 (java) S 13781 13784 12027 0 -1 1077944384 103 13327 0 0 1 0 5 2 20 0 15 0 416526906 11094708224 44116 33554432000 4194304 4196468 140729763200016 139906160520080 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13841] ppid=13781 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13784/task/13841/stat : 13841 (java) S 13781 13784 12027 0 -1 1077944384 357 13327 0 0 1 0 5 2 20 0 15 0 416526906 11094708224 44116 33554432000 4194304 4196468 140729763200016 139906159467280 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13842] ppid=13781 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13784/task/13842/stat : 13842 (java) S 13781 13784 12027 0 -1 1077944384 1669 13327 0 0 1 0 5 2 20 0 15 0 416526908 11094708224 44116 33554432000 4194304 4196468 140729763200016 139906047670640 139906588207746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13843] ppid=13781 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13843/stat : 13843 (java) S 13781 13784 12027 0 -1 1077944384 33 13327 0 0 0 0 5 2 20 0 15 0 416526908 11094708224 44116 33554432000 4194304 4196468 140729763200016 139906046616608 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13844] ppid=13781 vsize=10834676 memory=26 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13844/stat : 13844 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526909 11094708224 44116 33554432000 4194304 4196468 140729763200016 139905942414208 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13845] ppid=13781 vsize=10834676 memory=24 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13845/stat : 13845 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526911 11094708224 44116 33554432000 4194304 4196468 140729763200016 139905338435408 139906588215195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13846] ppid=13781 vsize=10834676 memory=31 CPUtime=0.35 cores=0,2,4,6
/proc/13784/task/13846/stat : 13846 (java) R 13781 13784 12027 0 -1 1077944384 1241 13327 0 0 28 0 5 2 20 0 15 0 416526911 11094708224 44116 33554432000 4194304 4196468 140729763200016 139906013059952 139906588207746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13847] ppid=13781 vsize=10834676 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/13784/task/13847/stat : 13847 (java) S 13781 13784 12027 0 -1 1077944384 1093 13327 0 0 27 0 5 2 20 0 15 0 416526911 11094708224 44116 33554432000 4194304 4196468 140729763200016 139906012007152 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13848] ppid=13781 vsize=10834676 memory=56 CPUtime=0.47 cores=0,2,4,6
/proc/13784/task/13848/stat : 13848 (java) R 13781 13784 12027 0 -1 4202560 1843 13327 0 0 40 0 5 2 20 0 15 0 416526911 11094708224 44116 33554432000 4194304 4196468 140729763200016 139906010954352 139906567911380 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13849] ppid=13781 vsize=10834676 memory=1966185 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13849/stat : 13849 (java) S 13781 13784 12027 0 -1 1077944384 3 13327 0 0 0 0 5 2 20 0 15 0 416526911 11094708224 44116 33554432000 4194304 4196468 140729763200016 139904868674272 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13850] ppid=13781 vsize=10834676 memory=1967572 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13850/stat : 13850 (java) S 13781 13784 12027 0 -1 1077944384 3 13327 0 0 0 0 5 2 20 0 15 0 416526912 11094708224 44116 33554432000 4194304 4196468 140729763200016 139905908857520 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 10834676 KiB

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

[startup+3.93193 s]
# the end of solver process 13784 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.40413 s, system=0.244941 s

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

[startup+3.20088 s]
/proc/loadavg: 1.91 1.68 1.60 6/228 13850
/proc/meminfo: memFree=26349848/32770624 swapFree=66959224/67108860
[pid=13784] ppid=13781 vsize=10846984 memory=248596 CPUtime=7.37 cores=0,2,4,6
/proc/13784/stat : 13784 (java) S 13781 13784 12027 0 -1 1077944320 46424 13327 0 0 712 18 5 2 20 0 15 0 416526897 11107311616 62149 33554432000 4194304 4196468 140729763200016 140729763182560 139906588196599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
/proc/13784/statm: 2711746 62149 3614 1 0 2673805 0
[pid=13784/tid=13837] ppid=13781 vsize=10846984 memory=16104758104557987 CPUtime=3.07 cores=0,2,4,6
/proc/13784/task/13837/stat : 13837 (java) R 13781 13784 12027 0 -1 4202560 23404 13327 0 0 290 10 5 2 20 0 15 0 416526906 11107311616 62149 33554432000 4194304 4196468 140729763200016 139906560028880 139906172402844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13838] ppid=13781 vsize=10846984 memory=279464127491488 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13838/stat : 13838 (java) S 13781 13784 12027 0 -1 1077944384 78 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 62149 33554432000 4194304 4196468 140729763200016 139906592439440 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13839] ppid=13781 vsize=10846984 memory=279464127101816 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13839/stat : 13839 (java) S 13781 13784 12027 0 -1 1077944384 45 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 62149 33554432000 4194304 4196468 140729763200016 139906480712720 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13840] ppid=13781 vsize=10846984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13840/stat : 13840 (java) S 13781 13784 12027 0 -1 1077944384 144 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 62149 33554432000 4194304 4196468 140729763200016 139906160520080 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13841] ppid=13781 vsize=10846984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13841/stat : 13841 (java) S 13781 13784 12027 0 -1 1077944384 505 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 62149 33554432000 4194304 4196468 140729763200016 139906159467280 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13842] ppid=13781 vsize=10846984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13842/stat : 13842 (java) S 13781 13784 12027 0 -1 1077944384 2978 13327 0 0 3 0 5 2 20 0 15 0 416526908 11107311616 62149 33554432000 4194304 4196468 140729763200016 139906047670640 139906588207746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13843] ppid=13781 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13843/stat : 13843 (java) S 13781 13784 12027 0 -1 1077944384 38 13327 0 0 0 0 5 2 20 0 15 0 416526908 11107311616 62149 33554432000 4194304 4196468 140729763200016 139906046616672 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13844] ppid=13781 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13844/stat : 13844 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526909 11107311616 62149 33554432000 4194304 4196468 140729763200016 139905942414208 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13845] ppid=13781 vsize=10846984 memory=-7313654673739556905 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13845/stat : 13845 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526911 11107311616 62149 33554432000 4194304 4196468 140729763200016 139905338435408 139906588215195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13846] ppid=13781 vsize=10846984 memory=6655300316396806240 CPUtime=1.45 cores=0,2,4,6
/proc/13784/task/13846/stat : 13846 (java) R 13781 13784 12027 0 -1 4202560 5393 13327 0 0 137 1 5 2 20 0 15 0 416526911 11107311616 62149 33554432000 4194304 4196468 140729763200016 139906013044472 139906571753905 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13847] ppid=13781 vsize=10846984 memory=6944656592455097440 CPUtime=1.53 cores=0,2,4,6
/proc/13784/task/13847/stat : 13847 (java) R 13781 13784 12027 0 -1 4202560 4687 13327 0 0 146 0 5 2 20 0 15 0 416526911 11107311616 62149 33554432000 4194304 4196468 140729763200016 139906011986640 139906573304281 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13848] ppid=13781 vsize=10846984 memory=-9174445032661854264 CPUtime=1.29 cores=0,2,4,6
/proc/13784/task/13848/stat : 13848 (java) S 13781 13784 12027 0 -1 1077944384 6933 13327 0 0 121 1 5 2 20 0 15 0 416526911 11107311616 62149 33554432000 4194304 4196468 140729763200016 139906010954352 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13849] ppid=13781 vsize=10846984 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13849/stat : 13849 (java) S 13781 13784 12027 0 -1 1077944384 3 13327 0 0 0 0 5 2 20 0 15 0 416526911 11107311616 62149 33554432000 4194304 4196468 140729763200016 139904868674272 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13850] ppid=13781 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13850/stat : 13850 (java) S 13781 13784 12027 0 -1 1077944384 7 13327 0 0 0 0 5 2 20 0 15 0 416526912 11107311616 62149 33554432000 4194304 4196468 140729763200016 139905908857520 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 248596 KiB

[startup+3.6007 s]
/proc/loadavg: 1.91 1.68 1.60 6/228 13850
/proc/meminfo: memFree=26349848/32770624 swapFree=66959224/67108860
[pid=13784] ppid=13781 vsize=10846984 memory=262848 CPUtime=8.63 cores=0,2,4,6
/proc/13784/stat : 13784 (java) S 13781 13784 12027 0 -1 1077944320 52007 13327 0 0 837 19 5 2 20 0 15 0 416526897 11107311616 65712 33554432000 4194304 4196468 140729763200016 140729763182560 139906588196599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
/proc/13784/statm: 2711746 65712 3614 1 0 2673805 0
[pid=13784/tid=13837] ppid=13781 vsize=10846984 memory=6791534058613427641 CPUtime=3.47 cores=0,2,4,6
/proc/13784/task/13837/stat : 13837 (java) R 13781 13784 12027 0 -1 4202560 23410 13327 0 0 330 10 5 2 20 0 15 0 416526906 11107311616 65712 33554432000 4194304 4196468 140729763200016 139906560027392 139906172721548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13838] ppid=13781 vsize=10846984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13838/stat : 13838 (java) S 13781 13784 12027 0 -1 1077944384 78 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 65712 33554432000 4194304 4196468 140729763200016 139906592439440 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13839] ppid=13781 vsize=10846984 memory=6154282490091891024 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13839/stat : 13839 (java) S 13781 13784 12027 0 -1 1077944384 45 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 65712 33554432000 4194304 4196468 140729763200016 139906480712720 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13840] ppid=13781 vsize=10846984 memory=5931329019416957008 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13840/stat : 13840 (java) S 13781 13784 12027 0 -1 1077944384 144 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 65712 33554432000 4194304 4196468 140729763200016 139906160520080 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13841] ppid=13781 vsize=10846984 memory=1556 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13841/stat : 13841 (java) S 13781 13784 12027 0 -1 1077944384 505 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 65712 33554432000 4194304 4196468 140729763200016 139906159467280 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13842] ppid=13781 vsize=10846984 memory=2241 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13842/stat : 13842 (java) S 13781 13784 12027 0 -1 1077944384 2978 13327 0 0 3 0 5 2 20 0 15 0 416526908 11107311616 65712 33554432000 4194304 4196468 140729763200016 139906047670640 139906588207746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13843] ppid=13781 vsize=10846984 memory=-1088251628401078322 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13843/stat : 13843 (java) S 13781 13784 12027 0 -1 1077944384 38 13327 0 0 0 0 5 2 20 0 15 0 416526908 11107311616 65712 33554432000 4194304 4196468 140729763200016 139906046616672 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13844] ppid=13781 vsize=10846984 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13844/stat : 13844 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526909 11107311616 65712 33554432000 4194304 4196468 140729763200016 139905942414208 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13845] ppid=13781 vsize=10846984 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13845/stat : 13845 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526911 11107311616 65712 33554432000 4194304 4196468 140729763200016 139905338435408 139906588215195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13846] ppid=13781 vsize=10846984 memory=6944656575208382560 CPUtime=1.85 cores=0,2,4,6
/proc/13784/task/13846/stat : 13846 (java) R 13781 13784 12027 0 -1 4202560 9029 13327 0 0 176 2 5 2 20 0 15 0 416526911 11107311616 65712 33554432000 4194304 4196468 140729763200016 139906013048944 139906567853008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13847] ppid=13781 vsize=10846984 memory=-7022074515825631275 CPUtime=1.93 cores=0,2,4,6
/proc/13784/task/13847/stat : 13847 (java) R 13781 13784 12027 0 -1 4202560 5929 13327 0 0 186 0 5 2 20 0 15 0 416526911 11107311616 65712 33554432000 4194304 4196468 140729763200016 139906011988056 139906565943939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13848] ppid=13781 vsize=10846984 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/13784/task/13848/stat : 13848 (java) S 13781 13784 12027 0 -1 1077944384 7632 13327 0 0 127 2 5 2 20 0 15 0 416526911 11107311616 65712 33554432000 4194304 4196468 140729763200016 139906010954352 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13849] ppid=13781 vsize=10846984 memory=-2893623298589923098 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13849/stat : 13849 (java) S 13781 13784 12027 0 -1 1077944384 3 13327 0 0 0 0 5 2 20 0 15 0 416526911 11107311616 65712 33554432000 4194304 4196468 140729763200016 139904868674272 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13850] ppid=13781 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13850/stat : 13850 (java) S 13781 13784 12027 0 -1 1077944384 7 13327 0 0 0 0 5 2 20 0 15 0 416526912 11107311616 65712 33554432000 4194304 4196468 140729763200016 139905908857520 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
Current children cumulated CPU time: 8.63 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 262848 KiB

[startup+3.80068 s]
/proc/loadavg: 1.91 1.68 1.60 6/228 13850
/proc/meminfo: memFree=26349848/32770624 swapFree=66959224/67108860
[pid=13784] ppid=13781 vsize=10846984 memory=282812 CPUtime=9.27 cores=0,2,4,6
/proc/13784/stat : 13784 (java) S 13781 13784 12027 0 -1 1077944320 52375 13327 0 0 900 20 5 2 20 0 15 0 416526897 11107311616 70703 33554432000 4194304 4196468 140729763200016 140729763182560 139906588196599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
/proc/13784/statm: 2711746 70703 3614 1 0 2673805 0
[pid=13784/tid=13837] ppid=13781 vsize=10846984 memory=7100839878645814387 CPUtime=3.67 cores=0,2,4,6
/proc/13784/task/13837/stat : 13837 (java) R 13781 13784 12027 0 -1 4202560 23429 13327 0 0 349 11 5 2 20 0 15 0 416526906 11107311616 70703 33554432000 4194304 4196468 140729763200016 139906560028832 139906173341453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13838] ppid=13781 vsize=10846984 memory=-7098080424032564416 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13838/stat : 13838 (java) S 13781 13784 12027 0 -1 1077944384 78 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 70703 33554432000 4194304 4196468 140729763200016 139906592439440 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13839] ppid=13781 vsize=10846984 memory=-7242455096852575424 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13839/stat : 13839 (java) S 13781 13784 12027 0 -1 1077944384 45 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 70703 33554432000 4194304 4196468 140729763200016 139906480712720 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13840] ppid=13781 vsize=10846984 memory=7825734864442108491 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13840/stat : 13840 (java) S 13781 13784 12027 0 -1 1077944384 144 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 70703 33554432000 4194304 4196468 140729763200016 139906160520080 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13841] ppid=13781 vsize=10846984 memory=-6168368575958768251 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13841/stat : 13841 (java) S 13781 13784 12027 0 -1 1077944384 505 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 70703 33554432000 4194304 4196468 140729763200016 139906159467280 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13842] ppid=13781 vsize=10846984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13842/stat : 13842 (java) S 13781 13784 12027 0 -1 1077944384 2978 13327 0 0 3 0 5 2 20 0 15 0 416526908 11107311616 70703 33554432000 4194304 4196468 140729763200016 139906047670640 139906588207746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13843] ppid=13781 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13843/stat : 13843 (java) S 13781 13784 12027 0 -1 1077944384 38 13327 0 0 0 0 5 2 20 0 15 0 416526908 11107311616 70703 33554432000 4194304 4196468 140729763200016 139906046616672 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13844] ppid=13781 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13844/stat : 13844 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526909 11107311616 70703 33554432000 4194304 4196468 140729763200016 139905942414208 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13845] ppid=13781 vsize=10846984 memory=139732063508981 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13845/stat : 13845 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526911 11107311616 70703 33554432000 4194304 4196468 140729763200016 139905338435408 139906588215195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13846] ppid=13781 vsize=10846984 memory=0 CPUtime=2.05 cores=0,2,4,6
/proc/13784/task/13846/stat : 13846 (java) R 13781 13784 12027 0 -1 4202560 9061 13327 0 0 196 2 5 2 20 0 15 0 416526911 11107311616 70703 33554432000 4194304 4196468 140729763200016 139906013046208 139906572586012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13847] ppid=13781 vsize=10846984 memory=8315171486948655189 CPUtime=2.13 cores=0,2,4,6
/proc/13784/task/13847/stat : 13847 (java) R 13781 13784 12027 0 -1 4202560 6212 13327 0 0 206 0 5 2 20 0 15 0 416526911 11107311616 70703 33554432000 4194304 4196468 140729763200016 139906011992224 139906567629664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13848] ppid=13781 vsize=10846984 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/13784/task/13848/stat : 13848 (java) S 13781 13784 12027 0 -1 1077944384 7666 13327 0 0 130 2 5 2 20 0 15 0 416526911 11107311616 70703 33554432000 4194304 4196468 140729763200016 139906010954352 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13849] ppid=13781 vsize=10846984 memory=-6237260532469557610 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13849/stat : 13849 (java) S 13781 13784 12027 0 -1 1077944384 3 13327 0 0 0 0 5 2 20 0 15 0 416526911 11107311616 70703 33554432000 4194304 4196468 140729763200016 139904868674272 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13850] ppid=13781 vsize=10846984 memory=-7385037615309293161 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13850/stat : 13850 (java) S 13781 13784 12027 0 -1 1077944384 7 13327 0 0 0 0 5 2 20 0 15 0 416526912 11107311616 70703 33554432000 4194304 4196468 140729763200016 139905908857520 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
Current children cumulated CPU time: 9.27 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 282812 KiB

[startup+3.90069 s]
/proc/loadavg: 1.91 1.68 1.60 6/228 13850
/proc/meminfo: memFree=26349848/32770624 swapFree=66959224/67108860
[pid=13784] ppid=13781 vsize=10846984 memory=293280 CPUtime=9.54 cores=0,2,4,6
/proc/13784/stat : 13784 (java) S 13781 13784 12027 0 -1 1077944320 52445 13327 0 0 927 20 5 2 20 0 15 0 416526897 11107311616 73320 33554432000 4194304 4196468 140729763200016 140729763182560 139906588196599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
/proc/13784/statm: 2711746 73320 3614 1 0 2673805 0
[pid=13784/tid=13837] ppid=13781 vsize=10846984 memory=93500 CPUtime=3.77 cores=0,2,4,6
/proc/13784/task/13837/stat : 13837 (java) R 13781 13784 12027 0 -1 4202560 23452 13327 0 0 359 11 5 2 20 0 15 0 416526906 11107311616 73320 33554432000 4194304 4196468 140729763200016 139906560028832 139906572240229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13838] ppid=13781 vsize=10846984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13838/stat : 13838 (java) S 13781 13784 12027 0 -1 1077944384 78 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 73320 33554432000 4194304 4196468 140729763200016 139906592439440 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13839] ppid=13781 vsize=10846984 memory=56 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13839/stat : 13839 (java) S 13781 13784 12027 0 -1 1077944384 45 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 73320 33554432000 4194304 4196468 140729763200016 139906480712720 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13840] ppid=13781 vsize=10846984 memory=1966185 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13840/stat : 13840 (java) S 13781 13784 12027 0 -1 1077944384 144 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 73320 33554432000 4194304 4196468 140729763200016 139906160520080 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13841] ppid=13781 vsize=10846984 memory=1967572 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13841/stat : 13841 (java) S 13781 13784 12027 0 -1 1077944384 505 13327 0 0 3 0 5 2 20 0 15 0 416526906 11107311616 73320 33554432000 4194304 4196468 140729763200016 139906159467280 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13842] ppid=13781 vsize=10846984 memory=3184097920075975521 CPUtime=0.1 cores=0,2,4,6
/proc/13784/task/13842/stat : 13842 (java) S 13781 13784 12027 0 -1 1077944384 2978 13327 0 0 3 0 5 2 20 0 15 0 416526908 11107311616 73320 33554432000 4194304 4196468 140729763200016 139906047670640 139906588207746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13843] ppid=13781 vsize=10846984 memory=279464127466016 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13843/stat : 13843 (java) S 13781 13784 12027 0 -1 1077944384 38 13327 0 0 0 0 5 2 20 0 15 0 416526908 11107311616 73320 33554432000 4194304 4196468 140729763200016 139906046616672 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13844] ppid=13781 vsize=10846984 memory=139732063735296 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13844/stat : 13844 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526909 11107311616 73320 33554432000 4194304 4196468 140729763200016 139905942414208 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13845] ppid=13781 vsize=10846984 memory=245640 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13845/stat : 13845 (java) S 13781 13784 12027 0 -1 1077944384 2 13327 0 0 0 0 5 2 20 0 15 0 416526911 11107311616 73320 33554432000 4194304 4196468 140729763200016 139905338435408 139906588215195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13846] ppid=13781 vsize=10846984 memory=0 CPUtime=2.13 cores=0,2,4,6
/proc/13784/task/13846/stat : 13846 (java) R 13781 13784 12027 0 -1 4202560 9075 13327 0 0 204 2 5 2 20 0 15 0 416526911 11107311616 73320 33554432000 4194304 4196468 140729763200016 139906013046144 139906568165473 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13847] ppid=13781 vsize=10846984 memory=7518026630507423588 CPUtime=2.21 cores=0,2,4,6
/proc/13784/task/13847/stat : 13847 (java) R 13781 13784 12027 0 -1 4202560 6239 13327 0 0 214 0 5 2 20 0 15 0 416526911 11107311616 73320 33554432000 4194304 4196468 140729763200016 139906011992528 139906566023744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13848] ppid=13781 vsize=10846984 memory=7 CPUtime=1.4 cores=0,2,4,6
/proc/13784/task/13848/stat : 13848 (java) S 13781 13784 12027 0 -1 1077944384 7674 13327 0 0 131 2 5 2 20 0 15 0 416526911 11107311616 73320 33554432000 4194304 4196468 140729763200016 139906010954352 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13849] ppid=13781 vsize=10846984 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13849/stat : 13849 (java) S 13781 13784 12027 0 -1 1077944384 3 13327 0 0 0 0 5 2 20 0 15 0 416526911 11107311616 73320 33554432000 4194304 4196468 140729763200016 139904868674272 139906588206805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
[pid=13784/tid=13850] ppid=13781 vsize=10846984 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/13784/task/13850/stat : 13850 (java) S 13781 13784 12027 0 -1 1077944384 7 13327 0 0 0 0 5 2 20 0 15 0 416526912 11107311616 73320 33554432000 4194304 4196468 140729763200016 139905908857520 139906588207746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14143488 140729763207919 140729763210437 140729763210437 140729763213263 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 293280 KiB

Child status: 0
Real time (s): 3.93198
CPU time (s): 9.64907
CPU user time (s): 9.40413
CPU system time (s): 0.244941
CPU usage (%): 245.4
Max. virtual memory (cumulated for all children) (KiB): 10849608
Max. memory (cumulated for all children) (KiB): 293280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.40413
system time used= 0.244941
maximum resident set size= 299948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65914
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5395
involuntary context switches= 52


# summary of solver processes directly reported to runsolver:
#   pid: 13784
#   total CPU time (s): 9.64907
#   total CPU user time (s): 9.40413
#   total CPU system time (s): 0.244941

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045532 second user time and 0.078697 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-13 22:17:07
IDJOB=4395758
IDBENCH=134478
IDSOLVER=2846
FILE ID=node124/4395758-1568405867
RUNJOBID= node124-1568399721-12058
PBS_JOBID= 21701876
Free space on /tmp= 61776 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s13/Blackhole-13-3-04.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395758-1568405867/watcher-4395758-1568405867 -o /tmp/evaluation-result-4395758-1568405867/solver-4395758-1568405867 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568399721-12058 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1588949256 HOME/instance-4395758-1568405867.xml

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

MD5SUM BENCH= 5cc270e62cab521987b2b853f5e11200
RANDOM SEED=1588949256

node124.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.47
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.47
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.47
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.47
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:        26578808 kB
MemAvailable:   29636240 kB
Buffers:          180252 kB
Cached:          3157852 kB
SwapCached:        45888 kB
Active:          3201432 kB
Inactive:        2401612 kB
Active(anon):    2217960 kB
Inactive(anon):    87896 kB
Active(file):     983472 kB
Inactive(file):  2313716 kB
Unevictable:      108744 kB
Mlocked:          108744 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             35244 kB
Writeback:             0 kB
AnonPages:       2328796 kB
Mapped:            57496 kB
Shmem:             32744 kB
Slab:             182244 kB
SReclaimable:     152160 kB
SUnreclaim:        30084 kB
KernelStack:        3760 kB
PageTables:        10080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3173704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2144256 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= 61740 MiB
End job on node124 at 2019-09-13 22:17:11