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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298774-1532778765/watcher-4298774-1532778765 -o /tmp/evaluation-result-4298774-1532778765/solver-4298774-1532778765 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532776307-29141 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298774-1532778765.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=29335, runsolver pid=29332

[startup+0.104764 s]*
/proc/loadavg: 1.39 1.42 1.42 4/216 29350
/proc/meminfo: memFree=27968076/32770624 swapFree=67108860/67108860
[pid=29335] ppid=29332 vsize=10658972 memory=27636 CPUtime=0.14 cores=0,2,4,6
/proc/29335/stat : 29335 (java) S 29332 29335 29110 0 -1 1077944320 5338 0 0 0 13 1 0 0 20 0 15 0 95439655 10914787328 6909 33554432000 4194304 4196468 140724767795200 140724767777744 139873399103223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
/proc/29335/statm: 2664743 6909 2878 1 0 2627263 0
[pid=29335/tid=29337] ppid=29332 vsize=10658972 memory=-8269626465541198461 CPUtime=0.1 cores=0,2,4,6
/proc/29335/task/29337/stat : 29337 (java) R 29332 29335 29110 0 -1 4202560 3154 0 0 0 9 1 0 0 20 0 15 0 95439655 10914787328 6909 33554432000 4194304 4196468 140724767795200 139873403330928 139873391340350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29338] ppid=29332 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29338/stat : 29338 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914787328 6909 33554432000 4194304 4196468 140724767795200 139873335793936 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29339] ppid=29332 vsize=10658972 memory=140044244014720 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29339/stat : 29339 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914787328 6909 33554432000 4194304 4196468 140724767795200 139873334741392 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29340] ppid=29332 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29340/stat : 29340 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914787328 6909 33554432000 4194304 4196468 140724767795200 139873333688848 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29341] ppid=29332 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29341/stat : 29341 (java) S 29332 29335 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95439656 10914787328 6909 33554432000 4194304 4196468 140724767795200 139873332636304 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29342] ppid=29332 vsize=10658972 memory=140044244014720 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29342/stat : 29342 (java) S 29332 29335 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95439658 10914787328 6909 33554432000 4194304 4196468 140724767795200 139872890014192 139873399114370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29343] ppid=29332 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29343/stat : 29343 (java) S 29332 29335 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95439658 10914787328 6909 33554432000 4194304 4196468 140724767795200 139872888960416 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29344] ppid=29332 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29344/stat : 29344 (java) S 29332 29335 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95439658 10914787328 6909 33554432000 4194304 4196468 140724767795200 139872887907824 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29345] ppid=29332 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29345/stat : 29345 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914787328 6909 33554432000 4194304 4196468 140724767795200 139872886856400 139873399121819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29346] ppid=29332 vsize=10658972 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29335/task/29346/stat : 29346 (java) S 29332 29335 29110 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 15 0 95439661 10914787328 6909 33554432000 4194304 4196468 140724767795200 139872885802992 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29347] ppid=29332 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29347/stat : 29347 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439661 10914787328 6909 33554432000 4194304 4196468 140724767795200 139872884750448 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29348] ppid=29332 vsize=10658972 memory=140044244014720 CPUtime=0.02 cores=0,2,4,6
/proc/29335/task/29348/stat : 29348 (java) R 29332 29335 29110 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 15 0 95439661 10914787328 6909 33554432000 4194304 4196468 140724767795200 139872883697904 139873382445393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29349] ppid=29332 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29349/stat : 29349 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914787328 6909 33554432000 4194304 4196468 140724767795200 139872882645600 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29350] ppid=29332 vsize=10658972 memory=140044244014720 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29350/stat : 29350 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439661 10914787328 6909 33554432000 4194304 4196468 140724767795200 139872881593136 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27636 KiB

[startup+0.210361 s]*
/proc/loadavg: 1.39 1.42 1.42 6/216 29350
/proc/meminfo: memFree=27956448/32770624 swapFree=67108860/67108860
[pid=29335] ppid=29332 vsize=10658972 memory=40776 CPUtime=0.35 cores=0,2,4,6
/proc/29335/stat : 29335 (java) S 29332 29335 29110 0 -1 1077944320 8304 0 0 0 33 2 0 0 20 0 15 0 95439655 10914787328 10194 33554432000 4194304 4196468 140724767795200 140724767777744 139873399103223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
/proc/29335/statm: 2664743 10194 2976 1 0 2627263 0
[pid=29335/tid=29337] ppid=29332 vsize=10658972 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/29335/task/29337/stat : 29337 (java) S 29332 29335 29110 0 -1 1077944384 5089 0 0 0 18 1 0 0 20 0 15 0 95439655 10914787328 10194 33554432000 4194304 4196468 140724767795200 139873403339520 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29338] ppid=29332 vsize=10658972 memory=331 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29338/stat : 29338 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914787328 10194 33554432000 4194304 4196468 140724767795200 139873335793936 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29339] ppid=29332 vsize=10658972 memory=140044244542608 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29339/stat : 29339 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914787328 10194 33554432000 4194304 4196468 140724767795200 139873334741392 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29340] ppid=29332 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29340/stat : 29340 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914787328 10194 33554432000 4194304 4196468 140724767795200 139873333688848 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29341] ppid=29332 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29341/stat : 29341 (java) S 29332 29335 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95439656 10914787328 10194 33554432000 4194304 4196468 140724767795200 139873332636304 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29342] ppid=29332 vsize=10658972 memory=140044244014720 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29342/stat : 29342 (java) S 29332 29335 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95439658 10914787328 10194 33554432000 4194304 4196468 140724767795200 139872890014192 139873399114370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29343] ppid=29332 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29343/stat : 29343 (java) S 29332 29335 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95439658 10914787328 10194 33554432000 4194304 4196468 140724767795200 139872888960416 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29344] ppid=29332 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29344/stat : 29344 (java) S 29332 29335 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95439658 10914787328 10194 33554432000 4194304 4196468 140724767795200 139872887907824 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29345] ppid=29332 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29345/stat : 29345 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914787328 10194 33554432000 4194304 4196468 140724767795200 139872886856400 139873399121819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29346] ppid=29332 vsize=10658972 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29335/task/29346/stat : 29346 (java) R 29332 29335 29110 0 -1 1077944384 658 0 0 0 2 0 0 0 20 0 15 0 95439661 10914787328 10194 33554432000 4194304 4196468 140724767795200 139872885802992 139873399114370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29347] ppid=29332 vsize=10658972 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/29335/task/29347/stat : 29347 (java) R 29332 29335 29110 0 -1 4202560 274 0 0 0 3 0 0 0 20 0 15 0 95439661 10914787328 10194 33554432000 4194304 4196468 140724767795200 139872884742024 139873384783904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29348] ppid=29332 vsize=10658972 memory=140044244014720 CPUtime=0.08 cores=0,2,4,6
/proc/29335/task/29348/stat : 29348 (java) S 29332 29335 29110 0 -1 1077944384 916 0 0 0 8 0 0 0 20 0 15 0 95439661 10914787328 10194 33554432000 4194304 4196468 140724767795200 139872883697904 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29349] ppid=29332 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29349/stat : 29349 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914787328 10194 33554432000 4194304 4196468 140724767795200 139872882645600 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29350] ppid=29332 vsize=10658972 memory=140044244014720 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29350/stat : 29350 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439661 10914787328 10194 33554432000 4194304 4196468 140724767795200 139872881593136 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40776 KiB

[startup+0.311164 s]*
/proc/loadavg: 1.39 1.42 1.42 6/216 29350
/proc/meminfo: memFree=27949376/32770624 swapFree=67108860/67108860
[pid=29335] ppid=29332 vsize=10659048 memory=49600 CPUtime=0.63 cores=0,2,4,6
/proc/29335/stat : 29335 (java) S 29332 29335 29110 0 -1 1077944320 9000 0 0 0 60 3 0 0 20 0 15 0 95439655 10914865152 12400 33554432000 4194304 4196468 140724767795200 140724767777744 139873399103223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
/proc/29335/statm: 2664762 12400 3056 1 0 2627263 0
[pid=29335/tid=29337] ppid=29332 vsize=10659048 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/29335/task/29337/stat : 29337 (java) R 29332 29335 29110 0 -1 4202560 5402 0 0 0 28 2 0 0 20 0 15 0 95439655 10914865152 12400 33554432000 4194304 4196468 140724767795200 139873403339904 139873378181120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29338] ppid=29332 vsize=10659048 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29338/stat : 29338 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 12400 33554432000 4194304 4196468 140724767795200 139873335793936 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29339] ppid=29332 vsize=10659048 memory=140044244540828 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29339/stat : 29339 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 12400 33554432000 4194304 4196468 140724767795200 139873334741392 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29340] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29340/stat : 29340 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 12400 33554432000 4194304 4196468 140724767795200 139873333688848 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29341] ppid=29332 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29341/stat : 29341 (java) S 29332 29335 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 12400 33554432000 4194304 4196468 140724767795200 139873332636304 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29342] ppid=29332 vsize=10659048 memory=140044244014720 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29342/stat : 29342 (java) S 29332 29335 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 12400 33554432000 4194304 4196468 140724767795200 139872890014192 139873399114370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29343] ppid=29332 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29343/stat : 29343 (java) S 29332 29335 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 12400 33554432000 4194304 4196468 140724767795200 139872888960416 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29344] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29344/stat : 29344 (java) S 29332 29335 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 12400 33554432000 4194304 4196468 140724767795200 139872887907824 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29345] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29345/stat : 29345 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 12400 33554432000 4194304 4196468 140724767795200 139872886856400 139873399121819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29346] ppid=29332 vsize=10659048 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29335/task/29346/stat : 29346 (java) R 29332 29335 29110 0 -1 4202560 841 0 0 0 7 0 0 0 20 0 15 0 95439661 10914865152 12400 33554432000 4194304 4196468 140724767795200 139872885789016 139873378349066 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29347] ppid=29332 vsize=10659048 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29335/task/29347/stat : 29347 (java) R 29332 29335 29110 0 -1 4202560 301 0 0 0 7 0 0 0 20 0 15 0 95439661 10914865152 12400 33554432000 4194304 4196468 140724767795200 139872884740560 139873383496976 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29348] ppid=29332 vsize=10659048 memory=140044244014720 CPUtime=0.16 cores=0,2,4,6
/proc/29335/task/29348/stat : 29348 (java) R 29332 29335 29110 0 -1 4202560 1091 0 0 0 16 0 0 0 20 0 15 0 95439661 10914865152 12400 33554432000 4194304 4196468 140724767795200 139872883694584 139873392203070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29349] ppid=29332 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29349/stat : 29349 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 12400 33554432000 4194304 4196468 140724767795200 139872882645600 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29350] ppid=29332 vsize=10659048 memory=140044244014720 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29350/stat : 29350 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 12400 33554432000 4194304 4196468 140724767795200 139872881593136 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 49600 KiB

[startup+0.701168 s]
/proc/loadavg: 1.39 1.42 1.42 5/216 29350
/proc/meminfo: memFree=27911096/32770624 swapFree=67108860/67108860
[pid=29335] ppid=29332 vsize=10659048 memory=97628 CPUtime=1.91 cores=0,2,4,6
/proc/29335/stat : 29335 (java) S 29332 29335 29110 0 -1 1077944320 14422 0 0 0 187 4 0 0 20 0 15 0 95439655 10914865152 24407 33554432000 4194304 4196468 140724767795200 140724767777744 139873399103223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
/proc/29335/statm: 2664762 24407 3110 1 0 2627263 0
[pid=29335/tid=29337] ppid=29332 vsize=10659048 memory=15464 CPUtime=0.67 cores=0,2,4,6
/proc/29335/task/29337/stat : 29337 (java) R 29332 29335 29110 0 -1 4202560 5691 0 0 0 65 2 0 0 20 0 15 0 95439655 10914865152 24407 33554432000 4194304 4196468 140724767795200 139873403340240 139873012368615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29338] ppid=29332 vsize=10659048 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29338/stat : 29338 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 24407 33554432000 4194304 4196468 140724767795200 139873335793936 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29339] ppid=29332 vsize=10659048 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29339/stat : 29339 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 24407 33554432000 4194304 4196468 140724767795200 139873334741392 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29340] ppid=29332 vsize=10659048 memory=496 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29340/stat : 29340 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 24407 33554432000 4194304 4196468 140724767795200 139873333688848 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29341] ppid=29332 vsize=10659048 memory=928 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29341/stat : 29341 (java) S 29332 29335 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 24407 33554432000 4194304 4196468 140724767795200 139873332636304 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29342] ppid=29332 vsize=10659048 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29342/stat : 29342 (java) S 29332 29335 29110 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 24407 33554432000 4194304 4196468 140724767795200 139872890014192 139873399114370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29343] ppid=29332 vsize=10659048 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29343/stat : 29343 (java) S 29332 29335 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 24407 33554432000 4194304 4196468 140724767795200 139872888960416 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29344] ppid=29332 vsize=10659048 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29344/stat : 29344 (java) S 29332 29335 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 24407 33554432000 4194304 4196468 140724767795200 139872887907824 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29345] ppid=29332 vsize=10659048 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29345/stat : 29345 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 24407 33554432000 4194304 4196468 140724767795200 139872886856400 139873399121819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29346] ppid=29332 vsize=10659048 memory=6081108994580573287 CPUtime=0.44 cores=0,2,4,6
/proc/29335/task/29346/stat : 29346 (java) R 29332 29335 29110 0 -1 4202560 2755 0 0 0 44 0 0 0 20 0 15 0 95439661 10914865152 24407 33554432000 4194304 4196468 140724767795200 139872885789016 139873380650512 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29347] ppid=29332 vsize=10659048 memory=5860705283049084265 CPUtime=0.45 cores=0,2,4,6
/proc/29335/task/29347/stat : 29347 (java) R 29332 29335 29110 0 -1 4202560 2379 0 0 0 45 0 0 0 20 0 15 0 95439661 10914865152 24407 33554432000 4194304 4196468 140724767795200 139872884731464 139873380647897 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29348] ppid=29332 vsize=10659048 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/29335/task/29348/stat : 29348 (java) R 29332 29335 29110 0 -1 4202560 2226 0 0 0 31 0 0 0 20 0 15 0 95439661 10914865152 24407 33554432000 4194304 4196468 140724767795200 139872883697904 139873399124570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29349] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29349/stat : 29349 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 24407 33554432000 4194304 4196468 140724767795200 139872882645600 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29350] ppid=29332 vsize=10659048 memory=756 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29350/stat : 29350 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 24407 33554432000 4194304 4196468 140724767795200 139872881593136 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 97628 KiB

[startup+1.50083 s]
/proc/loadavg: 1.39 1.42 1.42 3/216 29350
/proc/meminfo: memFree=27879084/32770624 swapFree=67108860/67108860
[pid=29335] ppid=29332 vsize=10659048 memory=161380 CPUtime=3.15 cores=0,2,4,6
/proc/29335/stat : 29335 (java) S 29332 29335 29110 0 -1 1077944320 16352 0 0 0 310 5 0 0 20 0 15 0 95439655 10914865152 40345 33554432000 4194304 4196468 140724767795200 140724767777744 139873399103223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
/proc/29335/statm: 2664762 40345 3116 1 0 2627263 0
[pid=29335/tid=29337] ppid=29332 vsize=10659048 memory=142928 CPUtime=1.47 cores=0,2,4,6
/proc/29335/task/29337/stat : 29337 (java) R 29332 29335 29110 0 -1 4202560 5994 0 0 0 144 3 0 0 20 0 15 0 95439655 10914865152 40345 33554432000 4194304 4196468 140724767795200 139873403340632 139873012771296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29338] ppid=29332 vsize=10659048 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29338/stat : 29338 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 40345 33554432000 4194304 4196468 140724767795200 139873335793936 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29339] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29339/stat : 29339 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 40345 33554432000 4194304 4196468 140724767795200 139873334741392 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29340] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29340/stat : 29340 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 40345 33554432000 4194304 4196468 140724767795200 139873333688848 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29341] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29341/stat : 29341 (java) S 29332 29335 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 40345 33554432000 4194304 4196468 140724767795200 139873332636304 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29342] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29342/stat : 29342 (java) S 29332 29335 29110 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 40345 33554432000 4194304 4196468 140724767795200 139872890014192 139873399114370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0

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

[startup+2.76495 s]
# the end of solver process 29335 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.46434 s, system=0.079792 s

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

[startup+1.60091 s]
/proc/loadavg: 1.39 1.42 1.42 3/216 29350
/proc/meminfo: memFree=27879084/32770624 swapFree=67108860/67108860
[pid=29335] ppid=29332 vsize=10659048 memory=169592 CPUtime=3.26 cores=0,2,4,6
/proc/29335/stat : 29335 (java) S 29332 29335 29110 0 -1 1077944320 16444 0 0 0 320 6 0 0 20 0 15 0 95439655 10914865152 42398 33554432000 4194304 4196468 140724767795200 140724767777744 139873399103223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
/proc/29335/statm: 2664762 42398 3120 1 0 2627263 0
[pid=29335/tid=29337] ppid=29332 vsize=10659048 memory=40852 CPUtime=1.57 cores=0,2,4,6
/proc/29335/task/29337/stat : 29337 (java) R 29332 29335 29110 0 -1 4202560 6024 0 0 0 154 3 0 0 20 0 15 0 95439655 10914865152 42398 33554432000 4194304 4196468 140724767795200 139873403343760 139873012773241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29338] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29338/stat : 29338 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 42398 33554432000 4194304 4196468 140724767795200 139873335793936 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29339] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29339/stat : 29339 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 42398 33554432000 4194304 4196468 140724767795200 139873334741392 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29340] ppid=29332 vsize=10659048 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29340/stat : 29340 (java) S 29332 29335 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 42398 33554432000 4194304 4196468 140724767795200 139873333688848 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29341] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29341/stat : 29341 (java) S 29332 29335 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 42398 33554432000 4194304 4196468 140724767795200 139873332636304 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29342] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29342/stat : 29342 (java) S 29332 29335 29110 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 42398 33554432000 4194304 4196468 140724767795200 139872890014192 139873399114370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29343] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29343/stat : 29343 (java) S 29332 29335 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 42398 33554432000 4194304 4196468 140724767795200 139872888960416 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29344] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29344/stat : 29344 (java) S 29332 29335 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 42398 33554432000 4194304 4196468 140724767795200 139872887907824 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29345] ppid=29332 vsize=10659048 memory=280088239145200 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29345/stat : 29345 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 42398 33554432000 4194304 4196468 140724767795200 139872886856400 139873399121819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29346] ppid=29332 vsize=10659048 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/29335/task/29346/stat : 29346 (java) S 29332 29335 29110 0 -1 1077944384 3453 0 0 0 65 0 0 0 20 0 15 0 95439661 10914865152 42398 33554432000 4194304 4196468 140724767795200 139872885802992 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29347] ppid=29332 vsize=10659048 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/29335/task/29347/stat : 29347 (java) S 29332 29335 29110 0 -1 1077944384 3088 0 0 0 66 0 0 0 20 0 15 0 95439661 10914865152 42398 33554432000 4194304 4196468 140724767795200 139872884750448 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29348] ppid=29332 vsize=10659048 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/29335/task/29348/stat : 29348 (java) S 29332 29335 29110 0 -1 1077944384 2429 0 0 0 33 0 0 0 20 0 15 0 95439661 10914865152 42398 33554432000 4194304 4196468 140724767795200 139872883697904 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29349] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29349/stat : 29349 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 42398 33554432000 4194304 4196468 140724767795200 139872882645600 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29350] ppid=29332 vsize=10659048 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29350/stat : 29350 (java) S 29332 29335 29110 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 42398 33554432000 4194304 4196468 140724767795200 139872881593136 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 169592 KiB

[startup+2.40076 s]
/proc/loadavg: 1.39 1.42 1.42 4/216 29350
/proc/meminfo: memFree=27800392/32770624 swapFree=67108860/67108860
[pid=29335] ppid=29332 vsize=10659048 memory=196416 CPUtime=4.16 cores=0,2,4,6
/proc/29335/stat : 29335 (java) S 29332 29335 29110 0 -1 1077944320 18335 0 0 0 409 7 0 0 20 0 15 0 95439655 10914865152 49104 33554432000 4194304 4196468 140724767795200 140724767777744 139873399103223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
/proc/29335/statm: 2664762 49104 3139 1 0 2627263 0
[pid=29335/tid=29337] ppid=29332 vsize=10659048 memory=6791534058613427641 CPUtime=2.37 cores=0,2,4,6
/proc/29335/task/29337/stat : 29337 (java) R 29332 29335 29110 0 -1 4202560 6077 0 0 0 233 4 0 0 20 0 15 0 95439655 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873403340648 139873012835906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29338] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29338/stat : 29338 (java) S 29332 29335 29110 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873335793936 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29339] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29339/stat : 29339 (java) S 29332 29335 29110 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873334741392 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29340] ppid=29332 vsize=10659048 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29340/stat : 29340 (java) S 29332 29335 29110 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873333688848 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29341] ppid=29332 vsize=10659048 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29341/stat : 29341 (java) S 29332 29335 29110 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873332636304 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29342] ppid=29332 vsize=10659048 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29342/stat : 29342 (java) S 29332 29335 29110 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872890014192 139873399114370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29343] ppid=29332 vsize=10659048 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29343/stat : 29343 (java) S 29332 29335 29110 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872888960416 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29344] ppid=29332 vsize=10659048 memory=-6454338467431146081 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29344/stat : 29344 (java) S 29332 29335 29110 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872887907824 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29345] ppid=29332 vsize=10659048 memory=-9178176116494409632 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29345/stat : 29345 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872886856400 139873399121819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29346] ppid=29332 vsize=10659048 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/29335/task/29346/stat : 29346 (java) S 29332 29335 29110 0 -1 1077944384 3472 0 0 0 66 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872885802992 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29347] ppid=29332 vsize=10659048 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/29335/task/29347/stat : 29347 (java) S 29332 29335 29110 0 -1 1077944384 4053 0 0 0 74 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872884750448 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29348] ppid=29332 vsize=10659048 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/29335/task/29348/stat : 29348 (java) S 29332 29335 29110 0 -1 1077944384 2448 0 0 0 34 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872883697904 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29349] ppid=29332 vsize=10659048 memory=8317555512500799104 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29349/stat : 29349 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872882645600 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29350] ppid=29332 vsize=10659048 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29350/stat : 29350 (java) S 29332 29335 29110 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872881593136 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 196416 KiB

[startup+2.60076 s]
/proc/loadavg: 1.39 1.42 1.42 4/216 29350
/proc/meminfo: memFree=27800392/32770624 swapFree=67108860/67108860
[pid=29335] ppid=29332 vsize=10659048 memory=196416 CPUtime=4.36 cores=0,2,4,6
/proc/29335/stat : 29335 (java) S 29332 29335 29110 0 -1 1077944320 18338 0 0 0 429 7 0 0 20 0 15 0 95439655 10914865152 49104 33554432000 4194304 4196468 140724767795200 140724767777744 139873399103223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
/proc/29335/statm: 2664762 49104 3139 1 0 2627263 0
[pid=29335/tid=29337] ppid=29332 vsize=10659048 memory=252054450791740 CPUtime=2.57 cores=0,2,4,6
/proc/29335/task/29337/stat : 29337 (java) R 29332 29335 29110 0 -1 4202560 6080 0 0 0 253 4 0 0 20 0 15 0 95439655 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873403340648 139873012774477 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29338] ppid=29332 vsize=10659048 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29338/stat : 29338 (java) S 29332 29335 29110 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873335793936 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29339] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29339/stat : 29339 (java) S 29332 29335 29110 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873334741392 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29340] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29340/stat : 29340 (java) S 29332 29335 29110 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873333688848 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29341] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29341/stat : 29341 (java) S 29332 29335 29110 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873332636304 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29342] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29342/stat : 29342 (java) S 29332 29335 29110 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872890014192 139873399114370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29343] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29343/stat : 29343 (java) S 29332 29335 29110 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872888960416 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29344] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29344/stat : 29344 (java) S 29332 29335 29110 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872887907824 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29345] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29345/stat : 29345 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872886856400 139873399121819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29346] ppid=29332 vsize=10659048 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/29335/task/29346/stat : 29346 (java) S 29332 29335 29110 0 -1 1077944384 3472 0 0 0 66 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872885802992 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29347] ppid=29332 vsize=10659048 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/29335/task/29347/stat : 29347 (java) S 29332 29335 29110 0 -1 1077944384 4053 0 0 0 74 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872884750448 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29348] ppid=29332 vsize=10659048 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/29335/task/29348/stat : 29348 (java) S 29332 29335 29110 0 -1 1077944384 2448 0 0 0 34 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872883697904 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29349] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29349/stat : 29349 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872882645600 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29350] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29350/stat : 29350 (java) S 29332 29335 29110 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872881593136 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 196416 KiB

[startup+2.70077 s]
/proc/loadavg: 1.39 1.42 1.42 4/216 29350
/proc/meminfo: memFree=27800392/32770624 swapFree=67108860/67108860
[pid=29335] ppid=29332 vsize=10659048 memory=196416 CPUtime=4.46 cores=0,2,4,6
/proc/29335/stat : 29335 (java) S 29332 29335 29110 0 -1 1077944320 18338 0 0 0 439 7 0 0 20 0 15 0 95439655 10914865152 49104 33554432000 4194304 4196468 140724767795200 140724767777744 139873399103223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
/proc/29335/statm: 2664762 49104 3139 1 0 2627263 0
[pid=29335/tid=29337] ppid=29332 vsize=10659048 memory=161380 CPUtime=2.67 cores=0,2,4,6
/proc/29335/task/29337/stat : 29337 (java) R 29332 29335 29110 0 -1 4202560 6080 0 0 0 263 4 0 0 20 0 15 0 95439655 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873403340648 139873012835362 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29338] ppid=29332 vsize=10659048 memory=153184 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29338/stat : 29338 (java) S 29332 29335 29110 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873335793936 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29339] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29339/stat : 29339 (java) S 29332 29335 29110 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873334741392 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29340] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29340/stat : 29340 (java) S 29332 29335 29110 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873333688848 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29341] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29341/stat : 29341 (java) S 29332 29335 29110 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 95439656 10914865152 49104 33554432000 4194304 4196468 140724767795200 139873332636304 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29342] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29342/stat : 29342 (java) S 29332 29335 29110 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872890014192 139873399114370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29343] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29343/stat : 29343 (java) S 29332 29335 29110 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872888960416 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29344] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29344/stat : 29344 (java) S 29332 29335 29110 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95439658 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872887907824 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29345] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29345/stat : 29345 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872886856400 139873399121819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29346] ppid=29332 vsize=10659048 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/29335/task/29346/stat : 29346 (java) S 29332 29335 29110 0 -1 1077944384 3472 0 0 0 66 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872885802992 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29347] ppid=29332 vsize=10659048 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/29335/task/29347/stat : 29347 (java) S 29332 29335 29110 0 -1 1077944384 4053 0 0 0 74 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872884750448 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29348] ppid=29332 vsize=10659048 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/29335/task/29348/stat : 29348 (java) S 29332 29335 29110 0 -1 1077944384 2448 0 0 0 34 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872883697904 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29349] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29349/stat : 29349 (java) S 29332 29335 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872882645600 139873399113429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
[pid=29335/tid=29350] ppid=29332 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29335/task/29350/stat : 29350 (java) S 29332 29335 29110 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 95439661 10914865152 49104 33554432000 4194304 4196468 140724767795200 139872881593136 139873399114370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29425664 140724767798445 140724767798537 140724767798537 140724767801295 0
Current children cumulated CPU time: 4.46 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 196416 KiB

Child status: 0
Real time (s): 2.765
CPU time (s): 4.54413
CPU user time (s): 4.46434
CPU system time (s): 0.079792
CPU usage (%): 164.345
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 196416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.46434
system time used= 0.079792
maximum resident set size= 196904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1380
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 29335
#   total CPU time (s): 4.54413
#   total CPU user time (s): 4.46434
#   total CPU system time (s): 0.079792

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030641 second user time and 0.075488 second system time

The end