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 (8756 MiB free)
memory of node 1: 16384 MiB (14214 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298611-1532768263/watcher-4298611-1532768263 -o /tmp/evaluation-result-4298611-1532768263/solver-4298611-1532768263 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532740752-11667 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298611-1532768263.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15115, runsolver pid=15112
Current StackSize limit: 8192 KiB
[startup+0.100593 s]*
/proc/loadavg: 1.51 1.52 1.52 4/219 15130
/proc/meminfo: memFree=23506116/32770624 swapFree=67108860/67108860
[pid=15115] ppid=15112 vsize=10661056 memory=27508 CPUtime=0.12 cores=1,3,5,7
/proc/15115/stat : 15115 (java) S 15112 15115 11635 0 -1 1077944320 5283 0 0 0 11 1 0 0 20 0 15 0 94389453 10916921344 6877 33554432000 4194304 4196468 140724153630640 140724153613184 140633605500663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
/proc/15115/statm: 2665264 6877 2864 1 0 2627263 0
[pid=15115/tid=15117] ppid=15112 vsize=10661056 memory=-7254947776133162106 CPUtime=0.08 cores=1,3,5,7
/proc/15115/task/15117/stat : 15117 (java) R 15112 15115 11635 0 -1 4202560 3154 0 0 0 8 0 0 0 20 0 15 0 94389453 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633609732192 140633605512598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15118] ppid=15112 vsize=10661056 memory=5793854895385958841 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15118/stat : 15118 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633542191888 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15119] ppid=15112 vsize=10661056 memory=139644376065664 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15119/stat : 15119 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633541139344 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15120] ppid=15112 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15120/stat : 15120 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633540086800 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15121] ppid=15112 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15121/stat : 15121 (java) S 15112 15115 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94389454 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633539034256 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15122] ppid=15112 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (java) S 15112 15115 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94389455 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633098172400 140633605511810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15123] ppid=15112 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15123/stat : 15123 (java) S 15112 15115 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94389456 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633097118624 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15124] ppid=15112 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15124/stat : 15124 (java) S 15112 15115 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94389456 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633096066032 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15125] ppid=15112 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15125/stat : 15125 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633095014608 140633605519259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15126] ppid=15112 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15126/stat : 15126 (java) S 15112 15115 11635 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 94389458 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633093962224 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15127] ppid=15112 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15127/stat : 15127 (java) S 15112 15115 11635 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 94389458 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633092909680 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15128] ppid=15112 vsize=10661056 memory=139644376065664 CPUtime=0.01 cores=1,3,5,7
/proc/15115/task/15128/stat : 15128 (java) R 15112 15115 11635 0 -1 4202560 320 0 0 0 1 0 0 0 20 0 15 0 94389458 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633091853192 140633597737790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15129] ppid=15112 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15129/stat : 15129 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633090804832 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15130] ppid=15112 vsize=10661056 memory=139644376065664 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15130/stat : 15130 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389459 10916921344 6877 33554432000 4194304 4196468 140724153630640 140633089751344 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27508 KiB
[startup+0.210648 s]*
/proc/loadavg: 1.51 1.52 1.52 3/219 15130
/proc/meminfo: memFree=23493916/32770624 swapFree=67108860/67108860
[pid=15115] ppid=15112 vsize=10661056 memory=39996 CPUtime=0.32 cores=1,3,5,7
/proc/15115/stat : 15115 (java) S 15112 15115 11635 0 -1 1077944320 8121 0 0 0 30 2 0 0 20 0 15 0 94389453 10916921344 9999 33554432000 4194304 4196468 140724153630640 140724153613184 140633605500663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
/proc/15115/statm: 2665264 9999 2958 1 0 2627263 0
[pid=15115/tid=15117] ppid=15112 vsize=10661056 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/15115/task/15117/stat : 15117 (java) R 15112 15115 11635 0 -1 4202560 5192 0 0 0 18 1 0 0 20 0 15 0 94389453 10916921344 9999 33554432000 4194304 4196468 140724153630640 140633609736656 140633589581150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15118] ppid=15112 vsize=10661056 memory=4211973370580856202 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15118/stat : 15118 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916921344 9999 33554432000 4194304 4196468 140724153630640 140633542191888 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15119] ppid=15112 vsize=10661056 memory=139644376065664 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15119/stat : 15119 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916921344 9999 33554432000 4194304 4196468 140724153630640 140633541139344 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15120] ppid=15112 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15120/stat : 15120 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916921344 9999 33554432000 4194304 4196468 140724153630640 140633540086800 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15121] ppid=15112 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15121/stat : 15121 (java) S 15112 15115 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94389454 10916921344 10060 33554432000 4194304 4196468 140724153630640 140633539034256 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15122] ppid=15112 vsize=10661056 memory=139644376065664 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (java) S 15112 15115 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94389455 10916921344 10060 33554432000 4194304 4196468 140724153630640 140633098172400 140633605511810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15123] ppid=15112 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15123/stat : 15123 (java) S 15112 15115 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94389456 10916921344 10060 33554432000 4194304 4196468 140724153630640 140633097118624 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15124] ppid=15112 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15124/stat : 15124 (java) S 15112 15115 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94389456 10916921344 10060 33554432000 4194304 4196468 140724153630640 140633096066032 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15125] ppid=15112 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15125/stat : 15125 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916921344 10060 33554432000 4194304 4196468 140724153630640 140633095014608 140633605519259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15126] ppid=15112 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15115/task/15126/stat : 15126 (java) S 15112 15115 11635 0 -1 1077944384 665 0 0 0 3 0 0 0 20 0 15 0 94389458 10916921344 10060 33554432000 4194304 4196468 140724153630640 140633093962224 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15127] ppid=15112 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15127/stat : 15127 (java) S 15112 15115 11635 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 15 0 94389458 10916921344 10060 33554432000 4194304 4196468 140724153630640 140633092909680 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15128] ppid=15112 vsize=10661056 memory=139644376065664 CPUtime=0.07 cores=1,3,5,7
/proc/15115/task/15128/stat : 15128 (java) S 15112 15115 11635 0 -1 1077944384 711 0 0 0 7 0 0 0 20 0 15 0 94389458 10916921344 10060 33554432000 4194304 4196468 140724153630640 140633091857136 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15129] ppid=15112 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15129/stat : 15129 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916921344 10060 33554432000 4194304 4196468 140724153630640 140633090804832 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15130] ppid=15112 vsize=10661056 memory=139644376065664 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15130/stat : 15130 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389459 10916921344 10060 33554432000 4194304 4196468 140724153630640 140633089751344 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39996 KiB
[startup+0.315545 s]*
/proc/loadavg: 1.51 1.52 1.52 5/219 15130
/proc/meminfo: memFree=23487092/32770624 swapFree=67108860/67108860
[pid=15115] ppid=15112 vsize=10661132 memory=47204 CPUtime=0.56 cores=1,3,5,7
/proc/15115/stat : 15115 (java) S 15112 15115 11635 0 -1 1077944320 8895 0 0 0 53 3 0 0 20 0 15 0 94389453 10916999168 11801 33554432000 4194304 4196468 140724153630640 140724153613184 140633605500663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
/proc/15115/statm: 2665283 11801 3048 1 0 2627263 0
[pid=15115/tid=15117] ppid=15112 vsize=10661132 memory=6735269665583770266 CPUtime=0.3 cores=1,3,5,7
/proc/15115/task/15117/stat : 15117 (java) R 15112 15115 11635 0 -1 4202560 5555 0 0 0 28 2 0 0 20 0 15 0 94389453 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633609737456 140633589581150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15118] ppid=15112 vsize=10661132 memory=4211973370580856202 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15118/stat : 15118 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633542191888 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15119] ppid=15112 vsize=10661132 memory=279288594028928 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15119/stat : 15119 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633541139344 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15120] ppid=15112 vsize=10661132 memory=279288435954176 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15120/stat : 15120 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633540086800 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15121] ppid=15112 vsize=10661132 memory=139644217963279 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15121/stat : 15121 (java) S 15112 15115 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633539034256 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15122] ppid=15112 vsize=10661132 memory=279288594038144 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (java) S 15112 15115 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94389455 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633098172400 140633605511810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15123] ppid=15112 vsize=10661132 memory=139644217967887 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15123/stat : 15123 (java) S 15112 15115 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633097118624 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15124] ppid=15112 vsize=10661132 memory=139644217981859 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15124/stat : 15124 (java) S 15112 15115 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633096066032 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15125] ppid=15112 vsize=10661132 memory=139644217987434 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15125/stat : 15125 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633095014608 140633605519259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15126] ppid=15112 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15115/task/15126/stat : 15126 (java) R 15112 15115 11635 0 -1 4202560 680 0 0 0 4 0 0 0 20 0 15 0 94389458 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633093961408 140633590626844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15127] ppid=15112 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/15115/task/15127/stat : 15127 (java) R 15112 15115 11635 0 -1 1077944384 371 0 0 0 5 0 0 0 20 0 15 0 94389458 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633092909680 140633605511810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15128] ppid=15112 vsize=10661132 memory=139644376065664 CPUtime=0.14 cores=1,3,5,7
/proc/15115/task/15128/stat : 15128 (java) R 15112 15115 11635 0 -1 4202560 929 0 0 0 14 0 0 0 20 0 15 0 94389458 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633091854072 140633584548241 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15129] ppid=15112 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15129/stat : 15129 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633090804832 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15130] ppid=15112 vsize=10661132 memory=139644376093172 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15130/stat : 15130 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389459 10916999168 11801 33554432000 4194304 4196468 140724153630640 140633089751344 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 47204 KiB
[startup+0.70081 s]
/proc/loadavg: 1.51 1.52 1.52 5/219 15130
/proc/meminfo: memFree=23462832/32770624 swapFree=67108860/67108860
[pid=15115] ppid=15112 vsize=10661132 memory=93116 CPUtime=1.73 cores=1,3,5,7
/proc/15115/stat : 15115 (java) S 15112 15115 11635 0 -1 1077944320 15278 0 0 0 168 5 0 0 20 0 15 0 94389453 10916999168 23279 33554432000 4194304 4196468 140724153630640 140724153613184 140633605500663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
/proc/15115/statm: 2665283 23279 3078 1 0 2627263 0
[pid=15115/tid=15117] ppid=15112 vsize=10661132 memory=56 CPUtime=0.67 cores=1,3,5,7
/proc/15115/task/15117/stat : 15117 (java) R 15112 15115 11635 0 -1 4202560 5630 0 0 0 65 2 0 0 20 0 15 0 94389453 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633609737264 140633220823432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15118] ppid=15112 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15118/stat : 15118 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633542191888 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15119] ppid=15112 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15119/stat : 15119 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633541139344 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15120] ppid=15112 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15120/stat : 15120 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633540086800 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15121] ppid=15112 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15121/stat : 15121 (java) S 15112 15115 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633539034256 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15122] ppid=15112 vsize=10661132 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (java) S 15112 15115 11635 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 94389455 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633098172400 140633605511810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15123] ppid=15112 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15123/stat : 15123 (java) S 15112 15115 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633097118624 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15124] ppid=15112 vsize=10661132 memory=8452 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15124/stat : 15124 (java) S 15112 15115 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633096066032 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15125] ppid=15112 vsize=10661132 memory=5776 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15125/stat : 15125 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633095014608 140633605519259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15126] ppid=15112 vsize=10661132 memory=1200 CPUtime=0.4 cores=1,3,5,7
/proc/15115/task/15126/stat : 15126 (java) R 15112 15115 11635 0 -1 4202560 3678 0 0 0 40 0 0 0 20 0 15 0 94389458 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633093948104 140633587045120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15127] ppid=15112 vsize=10661132 memory=12136 CPUtime=0.41 cores=1,3,5,7
/proc/15115/task/15127/stat : 15127 (java) R 15112 15115 11635 0 -1 4202560 3043 0 0 0 40 1 0 0 20 0 15 0 94389458 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633092895704 140633588887885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15128] ppid=15112 vsize=10661132 memory=1008 CPUtime=0.21 cores=1,3,5,7
/proc/15115/task/15128/stat : 15128 (java) S 15112 15115 11635 0 -1 1077944384 1555 0 0 0 20 1 0 0 20 0 15 0 94389458 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633091857136 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15129] ppid=15112 vsize=10661132 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15129/stat : 15129 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633090804832 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15130] ppid=15112 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15130/stat : 15130 (java) S 15112 15115 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94389459 10916999168 23279 33554432000 4194304 4196468 140724153630640 140633089751344 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 93116 KiB
[startup+1.50078 s]
/proc/loadavg: 1.51 1.52 1.52 5/219 15130
/proc/meminfo: memFree=23404700/32770624 swapFree=67108860/67108860
[pid=15115] ppid=15112 vsize=10661132 memory=202144 CPUtime=3.65 cores=1,3,5,7
/proc/15115/stat : 15115 (java) S 15112 15115 11635 0 -1 1077944320 24997 0 0 0 357 8 0 0 20 0 15 0 94389453 10916999168 50536 33554432000 4194304 4196468 140724153630640 140724153613184 140633605500663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
/proc/15115/statm: 2665283 50536 3112 1 0 2627263 0
[pid=15115/tid=15117] ppid=15112 vsize=10661132 memory=4132 CPUtime=1.47 cores=1,3,5,7
/proc/15115/task/15117/stat : 15117 (java) R 15112 15115 11635 0 -1 4202560 6031 0 0 0 143 4 0 0 20 0 15 0 94389453 10916999168 50536 33554432000 4194304 4196468 140724153630640 140633609740080 140633220987455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15118] ppid=15112 vsize=10661132 memory=27400 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15118/stat : 15118 (java) S 15112 15115 11635 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 50536 33554432000 4194304 4196468 140724153630640 140633542191888 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15119] ppid=15112 vsize=10661132 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15119/stat : 15119 (java) S 15112 15115 11635 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 50536 33554432000 4194304 4196468 140724153630640 140633541139344 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15120] ppid=15112 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15120/stat : 15120 (java) S 15112 15115 11635 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 50536 33554432000 4194304 4196468 140724153630640 140633540086800 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15121] ppid=15112 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15121/stat : 15121 (java) S 15112 15115 11635 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 94389454 10916999168 50536 33554432000 4194304 4196468 140724153630640 140633539034256 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15122] ppid=15112 vsize=10661132 memory=7306059475989849425 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (java) S 15112 15115 11635 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 94389455 10916999168 50536 33554432000 4194304 4196468 140724153630640 140633098172400 140633605511810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
################
# More data... #
################
/proc/15115/task/15117/stat : 15117 (java) R 15112 15115 11635 0 -1 4202560 23975 0 0 0 236816 23 0 0 20 0 15 0 94389453 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633609740144 140633221090671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15118] ppid=15112 vsize=10661132 memory=328636 CPUtime=5.86 cores=1,3,5,7
/proc/15115/task/15118/stat : 15118 (java) S 15112 15115 11635 0 -1 1077944384 4344 0 0 0 535 51 0 0 20 0 15 0 94389454 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633542191888 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15119] ppid=15112 vsize=10661132 memory=328636 CPUtime=5.89 cores=1,3,5,7
/proc/15115/task/15119/stat : 15119 (java) S 15112 15115 11635 0 -1 1077944384 5188 0 0 0 541 48 0 0 20 0 15 0 94389454 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633541139344 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15120] ppid=15112 vsize=10661132 memory=330684 CPUtime=5.86 cores=1,3,5,7
/proc/15115/task/15120/stat : 15120 (java) S 15112 15115 11635 0 -1 1077944384 4897 0 0 0 540 46 0 0 20 0 15 0 94389454 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633540086800 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15121] ppid=15112 vsize=10661132 memory=328636 CPUtime=5.88 cores=1,3,5,7
/proc/15115/task/15121/stat : 15121 (java) S 15112 15115 11635 0 -1 1077944384 4865 0 0 0 541 47 0 0 20 0 15 0 94389454 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633539034256 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15122] ppid=15112 vsize=10661132 memory=4132 CPUtime=6.11 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (java) S 15112 15115 11635 0 -1 1077944384 7162 0 0 0 567 44 0 0 20 0 15 0 94389455 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633098172400 140633605511810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15123] ppid=15112 vsize=10661132 memory=27448 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15123/stat : 15123 (java) S 15112 15115 11635 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633097118624 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15124] ppid=15112 vsize=10661132 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15124/stat : 15124 (java) S 15112 15115 11635 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633096066032 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15125] ppid=15112 vsize=10661132 memory=328636 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15125/stat : 15125 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633095014608 140633605519259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15126] ppid=15112 vsize=10661132 memory=328636 CPUtime=0.99 cores=1,3,5,7
/proc/15115/task/15126/stat : 15126 (java) S 15112 15115 11635 0 -1 1077944384 6305 0 0 0 99 0 0 0 20 0 15 0 94389458 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633093962224 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15127] ppid=15112 vsize=10661132 memory=4128 CPUtime=1.09 cores=1,3,5,7
/proc/15115/task/15127/stat : 15127 (java) S 15112 15115 11635 0 -1 1077944384 9214 0 0 0 107 2 0 0 20 0 15 0 94389458 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633092909680 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15128] ppid=15112 vsize=10661132 memory=330684 CPUtime=0.25 cores=1,3,5,7
/proc/15115/task/15128/stat : 15128 (java) S 15112 15115 11635 0 -1 1077944384 1979 0 0 0 24 1 0 0 20 0 15 0 94389458 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633091857136 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15129] ppid=15112 vsize=10661132 memory=328636 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15129/stat : 15129 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633090804832 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15130] ppid=15112 vsize=10661132 memory=4132 CPUtime=0.97 cores=1,3,5,7
/proc/15115/task/15130/stat : 15130 (java) S 15112 15115 11635 0 -1 1077944384 793 0 0 0 50 47 0 0 20 0 15 0 94389459 10916999168 82671 33554432000 4194304 4196468 140724153630640 140633089751344 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
Current children cumulated CPU time: 2401.39 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 330684 KiB
[startup+2442.3 s]
/proc/loadavg: 1.43 1.44 1.40 3/218 15227
/proc/meminfo: memFree=22980388/32770624 swapFree=67108860/67108860
[pid=15115] ppid=15112 vsize=10661132 memory=332732 CPUtime=2461.91 cores=1,3,5,7
/proc/15115/stat : 15115 (java) S 15112 15115 11635 0 -1 1077944320 71481 0 0 0 245941 250 0 0 20 0 15 0 94389453 10916999168 83183 33554432000 4194304 4196468 140724153630640 140724153613184 140633605500663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
/proc/15115/statm: 2665283 83183 3130 1 0 2627263 0
[pid=15115/tid=15117] ppid=15112 vsize=10661132 memory=332732 CPUtime=2427.98 cores=1,3,5,7
/proc/15115/task/15117/stat : 15117 (java) R 15112 15115 11635 0 -1 4202560 24446 0 0 0 242775 23 0 0 20 0 15 0 94389453 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633609740144 140633220823560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15118] ppid=15112 vsize=10661132 memory=332732 CPUtime=6.04 cores=1,3,5,7
/proc/15115/task/15118/stat : 15118 (java) S 15112 15115 11635 0 -1 1077944384 4496 0 0 0 552 52 0 0 20 0 15 0 94389454 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633542191888 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15119] ppid=15112 vsize=10661132 memory=330684 CPUtime=6.08 cores=1,3,5,7
/proc/15115/task/15119/stat : 15119 (java) S 15112 15115 11635 0 -1 1077944384 5621 0 0 0 559 49 0 0 20 0 15 0 94389454 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633541139344 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15120] ppid=15112 vsize=10661132 memory=330684 CPUtime=6.05 cores=1,3,5,7
/proc/15115/task/15120/stat : 15120 (java) S 15112 15115 11635 0 -1 1077944384 4977 0 0 0 557 48 0 0 20 0 15 0 94389454 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633540086800 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15121] ppid=15112 vsize=10661132 memory=332732 CPUtime=6.07 cores=1,3,5,7
/proc/15115/task/15121/stat : 15121 (java) S 15112 15115 11635 0 -1 1077944384 4874 0 0 0 559 48 0 0 20 0 15 0 94389454 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633539034256 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15122] ppid=15112 vsize=10661132 memory=332732 CPUtime=6.28 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (java) S 15112 15115 11635 0 -1 1077944384 7348 0 0 0 582 46 0 0 20 0 15 0 94389455 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633098172400 140633605511810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15123] ppid=15112 vsize=10661132 memory=332732 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15123/stat : 15123 (java) S 15112 15115 11635 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633097118624 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15124] ppid=15112 vsize=10661132 memory=332732 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15124/stat : 15124 (java) S 15112 15115 11635 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633096066032 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15125] ppid=15112 vsize=10661132 memory=332732 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15125/stat : 15125 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633095014608 140633605519259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15126] ppid=15112 vsize=10661132 memory=332732 CPUtime=0.99 cores=1,3,5,7
/proc/15115/task/15126/stat : 15126 (java) S 15112 15115 11635 0 -1 1077944384 6307 0 0 0 99 0 0 0 20 0 15 0 94389458 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633093962224 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15127] ppid=15112 vsize=10661132 memory=332732 CPUtime=1.09 cores=1,3,5,7
/proc/15115/task/15127/stat : 15127 (java) S 15112 15115 11635 0 -1 1077944384 9216 0 0 0 107 2 0 0 20 0 15 0 94389458 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633092909680 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15128] ppid=15112 vsize=10661132 memory=332732 CPUtime=0.25 cores=1,3,5,7
/proc/15115/task/15128/stat : 15128 (java) S 15112 15115 11635 0 -1 1077944384 1981 0 0 0 24 1 0 0 20 0 15 0 94389458 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633091857136 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15129] ppid=15112 vsize=10661132 memory=332732 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15129/stat : 15129 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633090804832 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15130] ppid=15112 vsize=10661132 memory=332732 CPUtime=1 cores=1,3,5,7
/proc/15115/task/15130/stat : 15130 (java) S 15112 15115 11635 0 -1 1077944384 801 0 0 0 52 48 0 0 20 0 15 0 94389459 10916999168 83183 33554432000 4194304 4196468 140724153630640 140633089751344 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
Current children cumulated CPU time: 2461.91 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 332732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.9 s]
/proc/loadavg: 1.41 1.43 1.40 3/218 15305
/proc/meminfo: memFree=22846088/32770624 swapFree=67108860/67108860
[pid=15115] ppid=15112 vsize=10661132 memory=334780 CPUtime=2520.03 cores=1,3,5,7
/proc/15115/stat : 15115 (java) S 15112 15115 11635 0 -1 1077944320 72805 0 0 0 251746 257 0 0 20 0 15 0 94389453 10916999168 83695 33554432000 4194304 4196468 140724153630640 140724153613184 140633605500663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
/proc/15115/statm: 2665283 83695 3130 1 0 2627263 0
[pid=15115/tid=15117] ppid=15112 vsize=10661132 memory=1424 CPUtime=2485.2 cores=1,3,5,7
/proc/15115/task/15117/stat : 15117 (java) R 15112 15115 11635 0 -1 4202560 24912 0 0 0 248496 24 0 0 20 0 15 0 94389453 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633609739728 140633220857995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15118] ppid=15112 vsize=10661132 memory=334780 CPUtime=6.23 cores=1,3,5,7
/proc/15115/task/15118/stat : 15118 (java) S 15112 15115 11635 0 -1 1077944384 4660 0 0 0 569 54 0 0 20 0 15 0 94389454 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633542191888 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15119] ppid=15112 vsize=10661132 memory=334780 CPUtime=6.25 cores=1,3,5,7
/proc/15115/task/15119/stat : 15119 (java) S 15112 15115 11635 0 -1 1077944384 5673 0 0 0 575 50 0 0 20 0 15 0 94389454 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633541139344 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15120] ppid=15112 vsize=10661132 memory=334780 CPUtime=6.23 cores=1,3,5,7
/proc/15115/task/15120/stat : 15120 (java) S 15112 15115 11635 0 -1 1077944384 5136 0 0 0 574 49 0 0 20 0 15 0 94389454 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633540086800 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15121] ppid=15112 vsize=10661132 memory=0 CPUtime=6.24 cores=1,3,5,7
/proc/15115/task/15121/stat : 15121 (java) S 15112 15115 11635 0 -1 1077944384 5154 0 0 0 576 48 0 0 20 0 15 0 94389454 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633539034256 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15122] ppid=15112 vsize=10661132 memory=334780 CPUtime=6.42 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (java) S 15112 15115 11635 0 -1 1077944384 7527 0 0 0 596 46 0 0 20 0 15 0 94389455 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633098172400 140633605511810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15123] ppid=15112 vsize=10661132 memory=334780 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15123/stat : 15123 (java) S 15112 15115 11635 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633097118624 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15124] ppid=15112 vsize=10661132 memory=334780 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15124/stat : 15124 (java) S 15112 15115 11635 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633096066032 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15125] ppid=15112 vsize=10661132 memory=334780 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15125/stat : 15125 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633095014608 140633605519259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15126] ppid=15112 vsize=10661132 memory=334780 CPUtime=0.99 cores=1,3,5,7
/proc/15115/task/15126/stat : 15126 (java) S 15112 15115 11635 0 -1 1077944384 6309 0 0 0 99 0 0 0 20 0 15 0 94389458 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633093962224 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15127] ppid=15112 vsize=10661132 memory=334780 CPUtime=1.09 cores=1,3,5,7
/proc/15115/task/15127/stat : 15127 (java) S 15112 15115 11635 0 -1 1077944384 9219 0 0 0 107 2 0 0 20 0 15 0 94389458 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633092909680 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15128] ppid=15112 vsize=10661132 memory=334780 CPUtime=0.25 cores=1,3,5,7
/proc/15115/task/15128/stat : 15128 (java) S 15112 15115 11635 0 -1 1077944384 1983 0 0 0 24 1 0 0 20 0 15 0 94389458 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633091857136 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15129] ppid=15112 vsize=10661132 memory=334780 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15129/stat : 15129 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633090804832 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15130] ppid=15112 vsize=10661132 memory=6791534058613427641 CPUtime=1.02 cores=1,3,5,7
/proc/15115/task/15130/stat : 15130 (java) S 15112 15115 11635 0 -1 1077944384 818 0 0 0 52 50 0 0 20 0 15 0 94389459 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633089751344 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 334780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.91 s]
# the end of solver process 15115 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.48 s, system=2.57609 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2499.9 s]
/proc/loadavg: 1.41 1.43 1.40 3/218 15305
/proc/meminfo: memFree=22846088/32770624 swapFree=67108860/67108860
[pid=15115] ppid=15112 vsize=10661132 memory=334780 CPUtime=2520.03 cores=1,3,5,7
/proc/15115/stat : 15115 (java) S 15112 15115 11635 0 -1 1077944320 72805 0 0 0 251746 257 0 0 20 0 15 0 94389453 10916999168 83695 33554432000 4194304 4196468 140724153630640 140724153613184 140633605500663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
/proc/15115/statm: 2665283 83695 3130 1 0 2627263 0
[pid=15115/tid=15117] ppid=15112 vsize=10661132 memory=1424 CPUtime=2485.2 cores=1,3,5,7
/proc/15115/task/15117/stat : 15117 (java) R 15112 15115 11635 0 -1 4202560 24912 0 0 0 248496 24 0 0 20 0 15 0 94389453 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633609739728 140633220857995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15118] ppid=15112 vsize=10661132 memory=334780 CPUtime=6.23 cores=1,3,5,7
/proc/15115/task/15118/stat : 15118 (java) S 15112 15115 11635 0 -1 1077944384 4660 0 0 0 569 54 0 0 20 0 15 0 94389454 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633542191888 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15119] ppid=15112 vsize=10661132 memory=334780 CPUtime=6.25 cores=1,3,5,7
/proc/15115/task/15119/stat : 15119 (java) S 15112 15115 11635 0 -1 1077944384 5673 0 0 0 575 50 0 0 20 0 15 0 94389454 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633541139344 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15120] ppid=15112 vsize=10661132 memory=334780 CPUtime=6.23 cores=1,3,5,7
/proc/15115/task/15120/stat : 15120 (java) S 15112 15115 11635 0 -1 1077944384 5136 0 0 0 574 49 0 0 20 0 15 0 94389454 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633540086800 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15121] ppid=15112 vsize=10661132 memory=0 CPUtime=6.24 cores=1,3,5,7
/proc/15115/task/15121/stat : 15121 (java) S 15112 15115 11635 0 -1 1077944384 5154 0 0 0 576 48 0 0 20 0 15 0 94389454 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633539034256 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15122] ppid=15112 vsize=10661132 memory=334780 CPUtime=6.42 cores=1,3,5,7
/proc/15115/task/15122/stat : 15122 (java) S 15112 15115 11635 0 -1 1077944384 7527 0 0 0 596 46 0 0 20 0 15 0 94389455 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633098172400 140633605511810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15123] ppid=15112 vsize=10661132 memory=334780 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15123/stat : 15123 (java) S 15112 15115 11635 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633097118624 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15124] ppid=15112 vsize=10661132 memory=334780 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15124/stat : 15124 (java) S 15112 15115 11635 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 94389456 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633096066032 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15125] ppid=15112 vsize=10661132 memory=334780 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15125/stat : 15125 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633095014608 140633605519259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15126] ppid=15112 vsize=10661132 memory=334780 CPUtime=0.99 cores=1,3,5,7
/proc/15115/task/15126/stat : 15126 (java) S 15112 15115 11635 0 -1 1077944384 6309 0 0 0 99 0 0 0 20 0 15 0 94389458 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633093962224 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15127] ppid=15112 vsize=10661132 memory=334780 CPUtime=1.09 cores=1,3,5,7
/proc/15115/task/15127/stat : 15127 (java) S 15112 15115 11635 0 -1 1077944384 9219 0 0 0 107 2 0 0 20 0 15 0 94389458 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633092909680 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15128] ppid=15112 vsize=10661132 memory=334780 CPUtime=0.25 cores=1,3,5,7
/proc/15115/task/15128/stat : 15128 (java) S 15112 15115 11635 0 -1 1077944384 1983 0 0 0 24 1 0 0 20 0 15 0 94389458 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633091857136 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15129] ppid=15112 vsize=10661132 memory=334780 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15129/stat : 15129 (java) S 15112 15115 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94389458 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633090804832 140633605510869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
[pid=15115/tid=15130] ppid=15112 vsize=10661132 memory=6791534058613427641 CPUtime=1.02 cores=1,3,5,7
/proc/15115/task/15130/stat : 15130 (java) S 15112 15115 11635 0 -1 1077944384 818 0 0 0 52 50 0 0 20 0 15 0 94389459 10916999168 83695 33554432000 4194304 4196468 140724153630640 140633089751344 140633605511810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35995648 140724153631861 140724153632009 140724153632009 140724153634767 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 334780 KiB
Child status: 143
Real time (s): 2499.91
CPU time (s): 2520.05
CPU user time (s): 2517.48
CPU system time (s): 2.57609
CPU usage (%): 100.806
Max. virtual memory (cumulated for all children) (KiB): 10662764
Max. memory (cumulated for all children) (KiB): 334780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.48
system time used= 2.57609
maximum resident set size= 335288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 230310
involuntary context switches= 7001
# summary of solver processes directly reported to runsolver:
# pid: 15115
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.48
# total CPU system time (s): 2.57609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3184 second user time and 24.2924 second system time
The end