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 (12092 MiB free)
memory of node 1: 16384 MiB (15167 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302844-1532896147/watcher-4302844-1532896147 -o /tmp/evaluation-result-4302844-1532896147/solver-4302844-1532896147 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1826881487 -superng HOME/instance-4302844-1532896147.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=26027, runsolver pid=26024
[startup+0.100088 s]*
/proc/loadavg: 1.24 1.63 1.79 3/206 26085
/proc/meminfo: memFree=27908696/32770624 swapFree=67108860/67108860
[pid=26027] ppid=26024 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/26027/stat : 26027 (java) S 26024 26027 13514 0 -1 1077944320 4358 13191 0 0 1 1 5 2 20 0 6 0 107177846 10245611520 4203 33554432000 4194304 4196468 140726034509728 140726034492272 140084118822647 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
/proc/26027/statm: 2501370 4203 1935 1 0 2489808 0
[pid=26027/tid=26080] ppid=26024 vsize=10005480 memory=4279135703946462605 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26080/stat : 26080 (java) R 26024 26027 13514 0 -1 4202560 2166 13191 0 0 0 0 5 2 20 0 6 0 107177855 10245611520 4203 33554432000 4194304 4196468 140726034509728 140084090659408 140084102903134 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26081] ppid=26024 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26081/stat : 26081 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 6 0 107177856 10245611520 4203 33554432000 4194304 4196468 140726034509728 140084123065104 140084118832853 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26082] ppid=26024 vsize=10005480 memory=139680577836672 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26082/stat : 26082 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 6 0 107177856 10245611520 4203 33554432000 4194304 4196468 140726034509728 140083988401040 140084118832853 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26084] ppid=26024 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26084/stat : 26084 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 6 0 107177856 10245611520 4203 33554432000 4194304 4196468 140726034509728 140083987348496 140084118832853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26085] ppid=26024 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26085/stat : 26085 (java) S 26024 26027 13514 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 6 0 107177856 10245611520 4203 33554432000 4194304 4196468 140726034509728 140083986295952 140084118832853 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210568 s]*
/proc/loadavg: 1.24 1.63 1.79 3/215 26094
/proc/meminfo: memFree=27886736/32770624 swapFree=67108860/67108860
[pid=26027] ppid=26024 vsize=10982744 memory=40748 CPUtime=0.25 cores=0,2,4,6
/proc/26027/stat : 26027 (java) S 26024 26027 13514 0 -1 1077944320 7340 13191 0 0 16 2 5 2 20 0 15 0 107177846 11246329856 10187 33554432000 4194304 4196468 140726034509728 140726034492272 140084118822647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
/proc/26027/statm: 2745686 10187 2983 1 0 2708109 0
[pid=26027/tid=26080] ppid=26024 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/26027/task/26080/stat : 26080 (java) R 26024 26027 13514 0 -1 4202560 3918 13191 0 0 10 1 5 2 20 0 15 0 107177855 11246329856 10187 33554432000 4194304 4196468 140726034509728 140084090639760 140084099098354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26081] ppid=26024 vsize=10982744 memory=339 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26081/stat : 26081 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246329856 10187 33554432000 4194304 4196468 140726034509728 140084123065104 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26082] ppid=26024 vsize=10982744 memory=3617997145455285920 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26082/stat : 26082 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246329856 10187 33554432000 4194304 4196468 140726034509728 140083988401040 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26084] ppid=26024 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26084/stat : 26084 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246329856 10187 33554432000 4194304 4196468 140726034509728 140083987348496 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26085] ppid=26024 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26085/stat : 26085 (java) S 26024 26027 13514 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246329856 10253 33554432000 4194304 4196468 140726034509728 140083986295952 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26086] ppid=26024 vsize=10982744 memory=139680577836672 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26086/stat : 26086 (java) S 26024 26027 13514 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 107177858 11246329856 10253 33554432000 4194304 4196468 140726034509728 140083544737776 140084118833794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26087] ppid=26024 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26087/stat : 26087 (java) S 26024 26027 13514 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 107177858 11246329856 10253 33554432000 4194304 4196468 140726034509728 140082908488608 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26088] ppid=26024 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26088/stat : 26088 (java) S 26024 26027 13514 0 -1 1077944384 21 13191 0 0 0 0 5 2 20 0 15 0 107177858 11246329856 10253 33554432000 4194304 4196468 140726034509728 140082841375728 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26089] ppid=26024 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26089/stat : 26089 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11246329856 10253 33554432000 4194304 4196468 140726034509728 140082533980368 140084118841243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26090] ppid=26024 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26027/task/26090/stat : 26090 (java) S 26024 26027 13514 0 -1 1077944384 474 13191 0 0 1 0 5 2 20 0 15 0 107177861 11246329856 10253 33554432000 4194304 4196468 140726034509728 140083543685616 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26091] ppid=26024 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26027/task/26091/stat : 26091 (java) S 26024 26027 13514 0 -1 1077944384 151 13191 0 0 1 0 5 2 20 0 15 0 107177861 11246329856 10253 33554432000 4194304 4196468 140726034509728 140083542633072 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26092] ppid=26024 vsize=10982744 memory=139680577836672 CPUtime=0.1 cores=0,2,4,6
/proc/26027/task/26092/stat : 26092 (java) S 26024 26027 13514 0 -1 1077944384 600 13191 0 0 3 0 5 2 20 0 15 0 107177861 11246329856 10253 33554432000 4194304 4196468 140726034509728 140083541580528 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26093] ppid=26024 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26093/stat : 26093 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11246329856 10253 33554432000 4194304 4196468 140726034509728 140082103184480 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26094] ppid=26024 vsize=10982744 memory=139680577836672 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26094/stat : 26094 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177861 11246329856 10253 33554432000 4194304 4196468 140726034509728 140083540527408 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 40748 KiB
[startup+0.310031 s]*
/proc/loadavg: 1.24 1.63 1.79 3/215 26094
/proc/meminfo: memFree=27874488/32770624 swapFree=67108860/67108860
[pid=26027] ppid=26024 vsize=10983192 memory=53928 CPUtime=0.37 cores=0,2,4,6
/proc/26027/stat : 26027 (java) S 26024 26027 13514 0 -1 1077944320 10499 13191 0 0 27 3 5 2 20 0 15 0 107177846 11246788608 13482 33554432000 4194304 4196468 140726034509728 140726034492272 140084118822647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
/proc/26027/statm: 2745798 13482 3102 1 0 2708109 0
[pid=26027/tid=26080] ppid=26024 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/26027/task/26080/stat : 26080 (java) R 26024 26027 13514 0 -1 4202560 7063 13191 0 0 19 2 5 2 20 0 15 0 107177855 11246788608 13482 33554432000 4194304 4196468 140726034509728 140084090634656 140084099098368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26081] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26081/stat : 26081 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246788608 13482 33554432000 4194304 4196468 140726034509728 140084123065104 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26082] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26082/stat : 26082 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246788608 13482 33554432000 4194304 4196468 140726034509728 140083988401040 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26084] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26084/stat : 26084 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246788608 13482 33554432000 4194304 4196468 140726034509728 140083987348496 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26085] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26085/stat : 26085 (java) S 26024 26027 13514 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246788608 13482 33554432000 4194304 4196468 140726034509728 140083986295952 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26086] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26086/stat : 26086 (java) S 26024 26027 13514 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 107177858 11246788608 13482 33554432000 4194304 4196468 140726034509728 140083544737776 140084118833794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26087] ppid=26024 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26087/stat : 26087 (java) S 26024 26027 13514 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 107177858 11246788608 13548 33554432000 4194304 4196468 140726034509728 140082908488608 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26088] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26088/stat : 26088 (java) S 26024 26027 13514 0 -1 1077944384 21 13191 0 0 0 0 5 2 20 0 15 0 107177858 11246788608 13548 33554432000 4194304 4196468 140726034509728 140082841375728 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26089] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26089/stat : 26089 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11246788608 13548 33554432000 4194304 4196468 140726034509728 140082533980368 140084118841243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26090] ppid=26024 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26027/task/26090/stat : 26090 (java) S 26024 26027 13514 0 -1 1077944384 479 13191 0 0 1 0 5 2 20 0 15 0 107177861 11246788608 13548 33554432000 4194304 4196468 140726034509728 140083543685616 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26091] ppid=26024 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26027/task/26091/stat : 26091 (java) S 26024 26027 13514 0 -1 1077944384 151 13191 0 0 1 0 5 2 20 0 15 0 107177861 11246788608 13548 33554432000 4194304 4196468 140726034509728 140083542633072 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26092] ppid=26024 vsize=10983192 memory=139680577836672 CPUtime=0.11 cores=0,2,4,6
/proc/26027/task/26092/stat : 26092 (java) S 26024 26027 13514 0 -1 1077944384 606 13191 0 0 4 0 5 2 20 0 15 0 107177861 11246788608 13548 33554432000 4194304 4196468 140726034509728 140083541580528 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26093] ppid=26024 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26093/stat : 26093 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11246788608 13548 33554432000 4194304 4196468 140726034509728 140082103184480 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26094] ppid=26024 vsize=10983192 memory=139680577836672 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26094/stat : 26094 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177861 11246788608 13548 33554432000 4194304 4196468 140726034509728 140083540527408 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53928 KiB
[startup+0.700737 s]
/proc/loadavg: 1.24 1.63 1.79 3/215 26094
/proc/meminfo: memFree=27864192/32770624 swapFree=67108860/67108860
[pid=26027] ppid=26024 vsize=10983192 memory=86436 CPUtime=0.98 cores=0,2,4,6
/proc/26027/stat : 26027 (java) S 26024 26027 13514 0 -1 1077944320 16748 13191 0 0 87 4 5 2 20 0 15 0 107177846 11246788608 21609 33554432000 4194304 4196468 140726034509728 140726034492272 140084118822647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
/proc/26027/statm: 2745798 21609 3244 1 0 2708109 0
[pid=26027/tid=26080] ppid=26024 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/26027/task/26080/stat : 26080 (java) R 26024 26027 13514 0 -1 4202560 12178 13191 0 0 55 3 5 2 20 0 15 0 107177855 11246788608 21609 33554432000 4194304 4196468 140726034509728 140084090644368 140084102903134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26081] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26081/stat : 26081 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246788608 21609 33554432000 4194304 4196468 140726034509728 140084123065104 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26082] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26082/stat : 26082 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246788608 21609 33554432000 4194304 4196468 140726034509728 140083988401040 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26084] ppid=26024 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26084/stat : 26084 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246788608 21609 33554432000 4194304 4196468 140726034509728 140083987348496 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26085] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26085/stat : 26085 (java) S 26024 26027 13514 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 107177856 11246788608 21609 33554432000 4194304 4196468 140726034509728 140083986295952 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26086] ppid=26024 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26086/stat : 26086 (java) S 26024 26027 13514 0 -1 1077944384 6 13191 0 0 0 0 5 2 20 0 15 0 107177858 11246788608 21609 33554432000 4194304 4196468 140726034509728 140083544737776 140084118833794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26087] ppid=26024 vsize=10983192 memory=139680456782512 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26087/stat : 26087 (java) S 26024 26027 13514 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 107177858 11246788608 21609 33554432000 4194304 4196468 140726034509728 140082908488608 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26088] ppid=26024 vsize=10983192 memory=139680926401104 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26088/stat : 26088 (java) S 26024 26027 13514 0 -1 1077944384 21 13191 0 0 0 0 5 2 20 0 15 0 107177858 11246788608 21609 33554432000 4194304 4196468 140726034509728 140082841375728 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26089] ppid=26024 vsize=10983192 memory=1020 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26089/stat : 26089 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11246788608 21609 33554432000 4194304 4196468 140726034509728 140082533980368 140084118841243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26090] ppid=26024 vsize=10983192 memory=7089042195949315648 CPUtime=0.14 cores=0,2,4,6
/proc/26027/task/26090/stat : 26090 (java) S 26024 26027 13514 0 -1 1077944384 876 13191 0 0 7 0 5 2 20 0 15 0 107177861 11246788608 21609 33554432000 4194304 4196468 140726034509728 140083543685616 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26091] ppid=26024 vsize=10983192 memory=7881696724453321575 CPUtime=0.16 cores=0,2,4,6
/proc/26027/task/26091/stat : 26091 (java) S 26024 26027 13514 0 -1 1077944384 775 13191 0 0 9 0 5 2 20 0 15 0 107177861 11246788608 21609 33554432000 4194304 4196468 140726034509728 140083542633072 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26092] ppid=26024 vsize=10983192 memory=5789189752906409301 CPUtime=0.2 cores=0,2,4,6
/proc/26027/task/26092/stat : 26092 (java) S 26024 26027 13514 0 -1 1077944384 674 13191 0 0 13 0 5 2 20 0 15 0 107177861 11246788608 21609 33554432000 4194304 4196468 140726034509728 140083541580528 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26093] ppid=26024 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26093/stat : 26093 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11246788608 21609 33554432000 4194304 4196468 140726034509728 140082103184480 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26094] ppid=26024 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26094/stat : 26094 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177861 11246788608 21609 33554432000 4194304 4196468 140726034509728 140083540527408 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86436 KiB
[startup+1.50081 s]
/proc/loadavg: 1.38 1.65 1.79 3/215 26094
/proc/meminfo: memFree=27820900/32770624 swapFree=67108860/67108860
[pid=26027] ppid=26024 vsize=10998092 memory=179384 CPUtime=2.37 cores=0,2,4,6
/proc/26027/stat : 26027 (java) S 26024 26027 13514 0 -1 1077944320 23777 13191 0 0 220 10 5 2 20 0 15 0 107177846 11262046208 44846 33554432000 4194304 4196468 140726034509728 140726034492272 140084118822647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
/proc/26027/statm: 2749523 44846 3473 1 0 2711181 0
[pid=26027/tid=26080] ppid=26024 vsize=10998092 memory=10757 CPUtime=1.42 cores=0,2,4,6
/proc/26027/task/26080/stat : 26080 (java) R 26024 26027 13514 0 -1 4202560 17361 13191 0 0 129 6 5 2 20 0 15 0 107177855 11262046208 44846 33554432000 4194304 4196468 140726034509728 140084090630240 140084102903134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26081] ppid=26024 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/26027/task/26081/stat : 26081 (java) S 26024 26027 13514 0 -1 1077944384 20 13191 0 0 1 0 5 2 20 0 15 0 107177856 11262046208 44846 33554432000 4194304 4196468 140726034509728 140084123065104 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26082] ppid=26024 vsize=10998092 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/26027/task/26082/stat : 26082 (java) S 26024 26027 13514 0 -1 1077944384 162 13191 0 0 1 0 5 2 20 0 15 0 107177856 11262046208 44846 33554432000 4194304 4196468 140726034509728 140083988401040 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26084] ppid=26024 vsize=10998092 memory=3036 CPUtime=0.08 cores=0,2,4,6
/proc/26027/task/26084/stat : 26084 (java) S 26024 26027 13514 0 -1 1077944384 18 13191 0 0 1 0 5 2 20 0 15 0 107177856 11262046208 44846 33554432000 4194304 4196468 140726034509728 140083987348496 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26085] ppid=26024 vsize=10998092 memory=86436 CPUtime=0.08 cores=0,2,4,6
/proc/26027/task/26085/stat : 26085 (java) S 26024 26027 13514 0 -1 1077944384 73 13191 0 0 1 0 5 2 20 0 15 0 107177856 11262046208 44846 33554432000 4194304 4196468 140726034509728 140083986295952 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26086] ppid=26024 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26027/task/26086/stat : 26086 (java) S 26024 26027 13514 0 -1 1077944384 49 13191 0 0 1 0 5 2 20 0 15 0 107177858 11262046208 44846 33554432000 4194304 4196468 140726034509728 140083544737776 140084118833794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26087] ppid=26024 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26087/stat : 26087 (java) S 26024 26027 13514 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 107177858 11262046208 44846 33554432000 4194304 4196468 140726034509728 140082908488672 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26088] ppid=26024 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26088/stat : 26088 (java) S 26024 26027 13514 0 -1 1077944384 44 13191 0 0 0 0 5 2 20 0 15 0 107177858 11262046208 44846 33554432000 4194304 4196468 140726034509728 140082841375744 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26089] ppid=26024 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26089/stat : 26089 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11262046208 44846 33554432000 4194304 4196468 140726034509728 140082533980368 140084118841243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26090] ppid=26024 vsize=10998092 memory=4638778398332698720 CPUtime=0.3 cores=0,2,4,6
/proc/26027/task/26090/stat : 26090 (java) S 26024 26027 13514 0 -1 1077944384 1327 13191 0 0 22 1 5 2 20 0 15 0 107177861 11262046208 44846 33554432000 4194304 4196468 140726034509728 140083543685616 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26091] ppid=26024 vsize=10998092 memory=279360913841024 CPUtime=0.3 cores=0,2,4,6
/proc/26027/task/26091/stat : 26091 (java) S 26024 26027 13514 0 -1 1077944384 1042 13191 0 0 23 0 5 2 20 0 15 0 107177861 11262046208 44846 33554432000 4194304 4196468 140726034509728 140083542633072 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26092] ppid=26024 vsize=10998092 memory=6944656592452807323 CPUtime=0.45 cores=0,2,4,6
/proc/26027/task/26092/stat : 26092 (java) S 26024 26027 13514 0 -1 1077944384 1466 13191 0 0 38 0 5 2 20 0 15 0 107177861 11262046208 44846 33554432000 4194304 4196468 140726034509728 140083541580528 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26093] ppid=26024 vsize=10998092 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26093/stat : 26093 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11262046208 44846 33554432000 4194304 4196468 140726034509728 140082103184480 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26094] ppid=26024 vsize=10998092 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26094/stat : 26094 (java) S 26024 26027 13514 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 107177861 11262046208 44846 33554432000 4194304 4196468 140726034509728 140083540527408 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/26027/task/26080/stat : 26080 (java) R 26024 26027 13514 0 -1 4202560 57843 13191 0 0 16133 21 5 2 20 0 15 0 107177855 11343855616 228589 33554432000 4194304 4196468 140726034509728 140084090656872 140083671073923 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26081] ppid=26024 vsize=11077984 memory=925644 CPUtime=0.53 cores=0,2,4,6
/proc/26027/task/26081/stat : 26081 (java) S 26024 26027 13514 0 -1 1077944384 1631 13191 0 0 34 12 5 2 20 0 15 0 107177856 11343855616 228589 33554432000 4194304 4196468 140726034509728 140084123065104 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26082] ppid=26024 vsize=11077984 memory=929236 CPUtime=0.52 cores=0,2,4,6
/proc/26027/task/26082/stat : 26082 (java) S 26024 26027 13514 0 -1 1077944384 3300 13191 0 0 32 13 5 2 20 0 15 0 107177856 11343855616 228589 33554432000 4194304 4196468 140726034509728 140083988401040 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26084] ppid=26024 vsize=11077984 memory=925644 CPUtime=0.52 cores=0,2,4,6
/proc/26027/task/26084/stat : 26084 (java) S 26024 26027 13514 0 -1 1077944384 2094 13191 0 0 33 12 5 2 20 0 15 0 107177856 11343855616 228589 33554432000 4194304 4196468 140726034509728 140083987348496 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26085] ppid=26024 vsize=11077984 memory=914356 CPUtime=0.53 cores=0,2,4,6
/proc/26027/task/26085/stat : 26085 (java) S 26024 26027 13514 0 -1 1077944384 2590 13191 0 0 33 13 5 2 20 0 15 0 107177856 11343855616 228589 33554432000 4194304 4196468 140726034509728 140083986295952 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26086] ppid=26024 vsize=11077984 memory=2724 CPUtime=0.17 cores=0,2,4,6
/proc/26027/task/26086/stat : 26086 (java) S 26024 26027 13514 0 -1 1077944384 5738 13191 0 0 9 1 5 2 20 0 15 0 107177858 11343855616 228589 33554432000 4194304 4196468 140726034509728 140083544737776 140084118833794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26087] ppid=26024 vsize=11077984 memory=925644 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26087/stat : 26087 (java) S 26024 26027 13514 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 107177858 11343855616 228589 33554432000 4194304 4196468 140726034509728 140082908488672 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26088] ppid=26024 vsize=11077984 memory=10368 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26088/stat : 26088 (java) S 26024 26027 13514 0 -1 1077944384 44 13191 0 0 0 0 5 2 20 0 15 0 107177858 11343855616 228589 33554432000 4194304 4196468 140726034509728 140082841375744 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26089] ppid=26024 vsize=11077984 memory=914356 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26089/stat : 26089 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11343855616 228589 33554432000 4194304 4196468 140726034509728 140082533980368 140084118841243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26090] ppid=26024 vsize=11077984 memory=4140 CPUtime=4.85 cores=0,2,4,6
/proc/26027/task/26090/stat : 26090 (java) S 26024 26027 13514 0 -1 1077944384 23855 13191 0 0 474 4 5 2 20 0 15 0 107177861 11343855616 228589 33554432000 4194304 4196468 140726034509728 140083543685616 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26091] ppid=26024 vsize=11077984 memory=914356 CPUtime=4.84 cores=0,2,4,6
/proc/26027/task/26091/stat : 26091 (java) S 26024 26027 13514 0 -1 1077944384 21191 13191 0 0 475 2 5 2 20 0 15 0 107177861 11343855616 228589 33554432000 4194304 4196468 140726034509728 140083542633072 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26092] ppid=26024 vsize=11077984 memory=914356 CPUtime=2.3 cores=0,2,4,6
/proc/26027/task/26092/stat : 26092 (java) S 26024 26027 13514 0 -1 1077944384 19107 13191 0 0 218 5 5 2 20 0 15 0 107177861 11343855616 228589 33554432000 4194304 4196468 140726034509728 140083541580528 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26093] ppid=26024 vsize=11077984 memory=914356 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26093/stat : 26093 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11343855616 228589 33554432000 4194304 4196468 140726034509728 140082103184480 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26094] ppid=26024 vsize=11077984 memory=914356 CPUtime=0.14 cores=0,2,4,6
/proc/26027/task/26094/stat : 26094 (java) S 26024 26027 13514 0 -1 1077944384 463 13191 0 0 4 3 5 2 20 0 15 0 107177861 11343855616 228589 33554432000 4194304 4196468 140726034509728 140083540527408 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
Current children cumulated CPU time: 175.48 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 914356 KiB
[startup+222.301 s]
/proc/loadavg: 1.53 1.59 1.74 3/216 26233
/proc/meminfo: memFree=25579964/32770624 swapFree=67108860/67108860
[pid=26027] ppid=26024 vsize=11077984 memory=792256 CPUtime=235.74 cores=0,2,4,6
/proc/26027/stat : 26027 (java) S 26024 26027 13514 0 -1 1077944320 148815 13191 0 0 23476 91 5 2 20 0 15 0 107177846 11343855616 198064 33554432000 4194304 4196468 140726034509728 140726034492272 140084118822647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
/proc/26027/statm: 2769496 198064 3531 1 0 2731149 0
[pid=26027/tid=26080] ppid=26024 vsize=11077984 memory=795332 CPUtime=221.52 cores=0,2,4,6
/proc/26027/task/26080/stat : 26080 (java) R 26024 26027 13514 0 -1 4202560 59312 13191 0 0 22124 21 5 2 20 0 15 0 107177855 11343855616 198064 33554432000 4194304 4196468 140726034509728 140084090656720 140083681491840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26081] ppid=26024 vsize=11077984 memory=843044 CPUtime=0.58 cores=0,2,4,6
/proc/26027/task/26081/stat : 26081 (java) S 26024 26027 13514 0 -1 1077944384 2170 13191 0 0 39 12 5 2 20 0 15 0 107177856 11343855616 198064 33554432000 4194304 4196468 140726034509728 140084123065104 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26082] ppid=26024 vsize=11077984 memory=817392 CPUtime=0.57 cores=0,2,4,6
/proc/26027/task/26082/stat : 26082 (java) S 26024 26027 13514 0 -1 1077944384 3403 13191 0 0 37 13 5 2 20 0 15 0 107177856 11343855616 198064 33554432000 4194304 4196468 140726034509728 140083988401040 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26084] ppid=26024 vsize=11077984 memory=812264 CPUtime=0.57 cores=0,2,4,6
/proc/26027/task/26084/stat : 26084 (java) S 26024 26027 13514 0 -1 1077944384 3184 13191 0 0 38 12 5 2 20 0 15 0 107177856 11343855616 198064 33554432000 4194304 4196468 140726034509728 140083987348496 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26085] ppid=26024 vsize=11077984 memory=796360 CPUtime=0.57 cores=0,2,4,6
/proc/26027/task/26085/stat : 26085 (java) S 26024 26027 13514 0 -1 1077944384 2747 13191 0 0 37 13 5 2 20 0 15 0 107177856 11343855616 198064 33554432000 4194304 4196468 140726034509728 140083986295952 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26086] ppid=26024 vsize=11077984 memory=796360 CPUtime=0.2 cores=0,2,4,6
/proc/26027/task/26086/stat : 26086 (java) S 26024 26027 13514 0 -1 1077944384 6067 13191 0 0 11 2 5 2 20 0 15 0 107177858 11343855616 198064 33554432000 4194304 4196468 140726034509728 140083544737776 140084118833794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26087] ppid=26024 vsize=11077984 memory=795332 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26087/stat : 26087 (java) S 26024 26027 13514 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 107177858 11343855616 198064 33554432000 4194304 4196468 140726034509728 140082908488672 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26088] ppid=26024 vsize=11077984 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26088/stat : 26088 (java) S 26024 26027 13514 0 -1 1077944384 44 13191 0 0 0 0 5 2 20 0 15 0 107177858 11343855616 198064 33554432000 4194304 4196468 140726034509728 140082841375744 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26089] ppid=26024 vsize=11077984 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26089/stat : 26089 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11343855616 198064 33554432000 4194304 4196468 140726034509728 140082533980368 140084118841243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26090] ppid=26024 vsize=11077984 memory=795332 CPUtime=4.88 cores=0,2,4,6
/proc/26027/task/26090/stat : 26090 (java) S 26024 26027 13514 0 -1 1077944384 25847 13191 0 0 477 4 5 2 20 0 15 0 107177861 11343855616 198064 33554432000 4194304 4196468 140726034509728 140083543685616 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26091] ppid=26024 vsize=11077984 memory=1172 CPUtime=4.88 cores=0,2,4,6
/proc/26027/task/26091/stat : 26091 (java) S 26024 26027 13514 0 -1 1077944384 22877 13191 0 0 479 2 5 2 20 0 15 0 107177861 11343855616 198064 33554432000 4194304 4196468 140726034509728 140083542633072 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26092] ppid=26024 vsize=11077984 memory=1812 CPUtime=2.31 cores=0,2,4,6
/proc/26027/task/26092/stat : 26092 (java) S 26024 26027 13514 0 -1 1077944384 20451 13191 0 0 219 5 5 2 20 0 15 0 107177861 11343855616 198064 33554432000 4194304 4196468 140726034509728 140083541580528 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26093] ppid=26024 vsize=11077984 memory=796360 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26093/stat : 26093 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11343855616 198064 33554432000 4194304 4196468 140726034509728 140082103184480 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26094] ppid=26024 vsize=11077984 memory=1584 CPUtime=0.18 cores=0,2,4,6
/proc/26027/task/26094/stat : 26094 (java) S 26024 26027 13514 0 -1 1077944384 499 13191 0 0 6 5 5 2 20 0 15 0 107177861 11343855616 198064 33554432000 4194304 4196468 140726034509728 140083540527408 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
Current children cumulated CPU time: 235.74 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 792256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+238.501 s]
/proc/loadavg: 1.63 1.61 1.74 3/216 26233
/proc/meminfo: memFree=25551964/32770624 swapFree=67108860/67108860
[pid=26027] ppid=26024 vsize=11077984 memory=772252 CPUtime=252.03 cores=0,2,4,6
/proc/26027/stat : 26027 (java) S 26024 26027 13514 0 -1 1077944320 152193 13191 0 0 25104 92 5 2 20 0 15 0 107177846 11343855616 193063 33554432000 4194304 4196468 140726034509728 140726034492272 140084118822647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
/proc/26027/statm: 2769496 193063 3531 1 0 2731149 0
[pid=26027/tid=26080] ppid=26024 vsize=11077984 memory=777896 CPUtime=237.7 cores=0,2,4,6
/proc/26027/task/26080/stat : 26080 (java) R 26024 26027 13514 0 -1 4202560 59759 13191 0 0 23741 22 5 2 20 0 15 0 107177855 11343855616 193063 33554432000 4194304 4196468 140726034509728 140084090656896 140083681492008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26081] ppid=26024 vsize=11077984 memory=772252 CPUtime=0.59 cores=0,2,4,6
/proc/26027/task/26081/stat : 26081 (java) S 26024 26027 13514 0 -1 1077944384 2929 13191 0 0 40 12 5 2 20 0 15 0 107177856 11343855616 193063 33554432000 4194304 4196468 140726034509728 140084123065104 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26082] ppid=26024 vsize=11077984 memory=4140 CPUtime=0.58 cores=0,2,4,6
/proc/26027/task/26082/stat : 26082 (java) S 26024 26027 13514 0 -1 1077944384 3761 13191 0 0 38 13 5 2 20 0 15 0 107177856 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083988401040 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26084] ppid=26024 vsize=11077984 memory=775332 CPUtime=0.59 cores=0,2,4,6
/proc/26027/task/26084/stat : 26084 (java) S 26024 26027 13514 0 -1 1077944384 3312 13191 0 0 40 12 5 2 20 0 15 0 107177856 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083987348496 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26085] ppid=26024 vsize=11077984 memory=780972 CPUtime=0.59 cores=0,2,4,6
/proc/26027/task/26085/stat : 26085 (java) S 26024 26027 13514 0 -1 1077944384 2818 13191 0 0 39 13 5 2 20 0 15 0 107177856 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083986295952 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26086] ppid=26024 vsize=11077984 memory=796360 CPUtime=0.21 cores=0,2,4,6
/proc/26027/task/26086/stat : 26086 (java) S 26024 26027 13514 0 -1 1077944384 6108 13191 0 0 12 2 5 2 20 0 15 0 107177858 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083544737776 140084118833794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26087] ppid=26024 vsize=11077984 memory=778408 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26087/stat : 26087 (java) S 26024 26027 13514 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 107177858 11343855616 193063 33554432000 4194304 4196468 140726034509728 140082908488672 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26088] ppid=26024 vsize=11077984 memory=784564 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26088/stat : 26088 (java) S 26024 26027 13514 0 -1 1077944384 44 13191 0 0 0 0 5 2 20 0 15 0 107177858 11343855616 193063 33554432000 4194304 4196468 140726034509728 140082841375744 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26089] ppid=26024 vsize=11077984 memory=1700 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26089/stat : 26089 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140082533980368 140084118841243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26090] ppid=26024 vsize=11077984 memory=772252 CPUtime=4.9 cores=0,2,4,6
/proc/26027/task/26090/stat : 26090 (java) S 26024 26027 13514 0 -1 1077944384 26116 13191 0 0 479 4 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083543685616 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26091] ppid=26024 vsize=11077984 memory=916 CPUtime=4.9 cores=0,2,4,6
/proc/26027/task/26091/stat : 26091 (java) S 26024 26027 13514 0 -1 1077944384 23569 13191 0 0 481 2 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083542633072 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26092] ppid=26024 vsize=11077984 memory=3852 CPUtime=2.32 cores=0,2,4,6
/proc/26027/task/26092/stat : 26092 (java) S 26024 26027 13514 0 -1 1077944384 21062 13191 0 0 220 5 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083541580528 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26093] ppid=26024 vsize=11077984 memory=772764 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26093/stat : 26093 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140082103184480 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26094] ppid=26024 vsize=11077984 memory=772764 CPUtime=0.18 cores=0,2,4,6
/proc/26027/task/26094/stat : 26094 (java) S 26024 26027 13514 0 -1 1077944384 501 13191 0 0 6 5 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083540527408 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 772252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+238.54 s]
# the end of solver process 26027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.122 s, system=0.972061 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+238.501 s]
/proc/loadavg: 1.63 1.61 1.74 3/216 26233
/proc/meminfo: memFree=25551964/32770624 swapFree=67108860/67108860
[pid=26027] ppid=26024 vsize=11077984 memory=772252 CPUtime=252.03 cores=0,2,4,6
/proc/26027/stat : 26027 (java) S 26024 26027 13514 0 -1 1077944320 152193 13191 0 0 25104 92 5 2 20 0 15 0 107177846 11343855616 193063 33554432000 4194304 4196468 140726034509728 140726034492272 140084118822647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
/proc/26027/statm: 2769496 193063 3531 1 0 2731149 0
[pid=26027/tid=26080] ppid=26024 vsize=11077984 memory=777896 CPUtime=237.7 cores=0,2,4,6
/proc/26027/task/26080/stat : 26080 (java) R 26024 26027 13514 0 -1 4202560 59759 13191 0 0 23741 22 5 2 20 0 15 0 107177855 11343855616 193063 33554432000 4194304 4196468 140726034509728 140084090656896 140083681492008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26081] ppid=26024 vsize=11077984 memory=772252 CPUtime=0.59 cores=0,2,4,6
/proc/26027/task/26081/stat : 26081 (java) S 26024 26027 13514 0 -1 1077944384 2929 13191 0 0 40 12 5 2 20 0 15 0 107177856 11343855616 193063 33554432000 4194304 4196468 140726034509728 140084123065104 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26082] ppid=26024 vsize=11077984 memory=4140 CPUtime=0.58 cores=0,2,4,6
/proc/26027/task/26082/stat : 26082 (java) S 26024 26027 13514 0 -1 1077944384 3761 13191 0 0 38 13 5 2 20 0 15 0 107177856 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083988401040 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26084] ppid=26024 vsize=11077984 memory=775332 CPUtime=0.59 cores=0,2,4,6
/proc/26027/task/26084/stat : 26084 (java) S 26024 26027 13514 0 -1 1077944384 3312 13191 0 0 40 12 5 2 20 0 15 0 107177856 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083987348496 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26085] ppid=26024 vsize=11077984 memory=780972 CPUtime=0.59 cores=0,2,4,6
/proc/26027/task/26085/stat : 26085 (java) S 26024 26027 13514 0 -1 1077944384 2818 13191 0 0 39 13 5 2 20 0 15 0 107177856 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083986295952 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26086] ppid=26024 vsize=11077984 memory=796360 CPUtime=0.21 cores=0,2,4,6
/proc/26027/task/26086/stat : 26086 (java) S 26024 26027 13514 0 -1 1077944384 6108 13191 0 0 12 2 5 2 20 0 15 0 107177858 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083544737776 140084118833794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26087] ppid=26024 vsize=11077984 memory=778408 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26087/stat : 26087 (java) S 26024 26027 13514 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 107177858 11343855616 193063 33554432000 4194304 4196468 140726034509728 140082908488672 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26088] ppid=26024 vsize=11077984 memory=784564 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26088/stat : 26088 (java) S 26024 26027 13514 0 -1 1077944384 44 13191 0 0 0 0 5 2 20 0 15 0 107177858 11343855616 193063 33554432000 4194304 4196468 140726034509728 140082841375744 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26089] ppid=26024 vsize=11077984 memory=1700 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26089/stat : 26089 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140082533980368 140084118841243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26090] ppid=26024 vsize=11077984 memory=772252 CPUtime=4.9 cores=0,2,4,6
/proc/26027/task/26090/stat : 26090 (java) S 26024 26027 13514 0 -1 1077944384 26116 13191 0 0 479 4 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083543685616 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26091] ppid=26024 vsize=11077984 memory=916 CPUtime=4.9 cores=0,2,4,6
/proc/26027/task/26091/stat : 26091 (java) S 26024 26027 13514 0 -1 1077944384 23569 13191 0 0 481 2 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083542633072 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26092] ppid=26024 vsize=11077984 memory=3852 CPUtime=2.32 cores=0,2,4,6
/proc/26027/task/26092/stat : 26092 (java) S 26024 26027 13514 0 -1 1077944384 21062 13191 0 0 220 5 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083541580528 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26093] ppid=26024 vsize=11077984 memory=772764 CPUtime=0.07 cores=0,2,4,6
/proc/26027/task/26093/stat : 26093 (java) S 26024 26027 13514 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140082103184480 140084118832853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
[pid=26027/tid=26094] ppid=26024 vsize=11077984 memory=772764 CPUtime=0.18 cores=0,2,4,6
/proc/26027/task/26094/stat : 26094 (java) S 26024 26027 13514 0 -1 1077944384 501 13191 0 0 6 5 5 2 20 0 15 0 107177861 11343855616 193063 33554432000 4194304 4196468 140726034509728 140083540527408 140084118833794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8425472 140726034512488 140726034515297 140726034515297 140726034517967 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 772252 KiB
Child status: 143
Real time (s): 238.54
CPU time (s): 252.094
CPU user time (s): 251.122
CPU system time (s): 0.972061
CPU usage (%): 105.682
Max. virtual memory (cumulated for all children) (KiB): 11080692
Max. memory (cumulated for all children) (KiB): 1152328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.122
system time used= 0.972061
maximum resident set size= 1153812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16033
involuntary context switches= 471
# summary of solver processes directly reported to runsolver:
# pid: 26027
# total CPU time (s): 252.094
# total CPU user time (s): 251.122
# total CPU system time (s): 0.972061
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41428 second user time and 2.25423 second system time
The end