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 (12489 MiB free)
memory of node 1: 16384 MiB (10287 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290558-1532570166/watcher-4290558-1532570166 -o /tmp/evaluation-result-4290558-1532570166/solver-4290558-1532570166 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532560661-4176 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2079460044 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290558-1532570166.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=5256, runsolver pid=5253
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.32 1.31 1.35 3/215 5271
/proc/meminfo: memFree=23303460/32770624 swapFree=67108860/67108860
[pid=5256] ppid=5253 vsize=14082740 memory=31272 CPUtime=0.12 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 4145 0 -1 1077944320 6731 0 0 0 12 0 0 0 20 0 15 0 74579797 14420725760 7818 33554432000 4194304 4196468 140725572894784 140725572877328 139782718832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
/proc/5256/statm: 3520685 7818 3154 1 0 3482761 0
[pid=5256/tid=5258] ppid=5253 vsize=14082740 memory=-8556150313462042725 CPUtime=0.09 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 4145 0 -1 4202560 4794 0 0 0 9 0 0 0 20 0 15 0 74579797 14420725760 7818 33554432000 4194304 4196468 140725572894784 139782723053440 139782711069502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5259] ppid=5253 vsize=14082740 memory=5793855180217252281 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 7818 33554432000 4194304 4196468 140725572894784 139782671453328 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5260] ppid=5253 vsize=14082740 memory=139929207359104 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 7818 33554432000 4194304 4196468 140725572894784 139782670400528 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5261] ppid=5253 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 7818 33554432000 4194304 4196468 140725572894784 139782669347728 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5262] ppid=5253 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 4145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 7883 33554432000 4194304 4196468 140725572894784 139782668294928 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5263] ppid=5253 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 4145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74579799 14420725760 7883 33554432000 4194304 4196468 140725572894784 139782192617840 139782718843522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5264] ppid=5253 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 4145 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74579800 14420725760 7883 33554432000 4194304 4196468 140725572894784 139782191563808 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5265] ppid=5253 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 4145 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74579800 14420725760 7883 33554432000 4194304 4196468 140725572894784 139782190510960 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5266] ppid=5253 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579802 14420725760 7883 33554432000 4194304 4196468 140725572894784 139782189459280 139782718850971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5267] ppid=5253 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 4145 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 74579802 14420725760 7883 33554432000 4194304 4196468 140725572894784 139782188407664 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5268] ppid=5253 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579802 14420725760 7883 33554432000 4194304 4196468 140725572894784 139782187354864 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5269] ppid=5253 vsize=14082740 memory=139929207359104 CPUtime=0.01 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 4145 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 74579802 14420725760 7883 33554432000 4194304 4196468 140725572894784 139782186302064 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5270] ppid=5253 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579803 14420725760 7883 33554432000 4194304 4196468 140725572894784 139782185249504 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5271] ppid=5253 vsize=14082740 memory=139929207359104 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579803 14420725760 7883 33554432000 4194304 4196468 140725572894784 139782184196784 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31272 KiB
[startup+0.216183 s]*
/proc/loadavg: 1.32 1.31 1.35 5/215 5271
/proc/meminfo: memFree=23279800/32770624 swapFree=67108860/67108860
[pid=5256] ppid=5253 vsize=14082740 memory=47332 CPUtime=0.31 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 4145 0 -1 1077944320 10408 0 0 0 30 1 0 0 20 0 15 0 74579797 14420725760 11833 33554432000 4194304 4196468 140725572894784 140725572877328 139782718832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
/proc/5256/statm: 3520685 11833 3413 1 0 3482761 0
[pid=5256/tid=5258] ppid=5253 vsize=14082740 memory=-3103912127665269909 CPUtime=0.2 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 4145 0 -1 4202560 8114 0 0 0 19 1 0 0 20 0 15 0 74579797 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782723058448 139782702876005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5259] ppid=5253 vsize=14082740 memory=4211973655412149642 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782671453328 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5260] ppid=5253 vsize=14082740 memory=139929207359104 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782670400528 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5261] ppid=5253 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782669347728 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5262] ppid=5253 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 4145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782668294928 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5263] ppid=5253 vsize=14082740 memory=139929207359104 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 4145 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74579799 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782192617840 139782718843522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5264] ppid=5253 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 4145 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74579800 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782191563808 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5265] ppid=5253 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 4145 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74579800 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782190510960 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5266] ppid=5253 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579802 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782189459280 139782718850971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5267] ppid=5253 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 4145 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 15 0 74579802 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782188407664 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5268] ppid=5253 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) R 5253 5256 4145 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 15 0 74579802 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782187354864 139782718843522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5269] ppid=5253 vsize=14082740 memory=139929207359104 CPUtime=0.06 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 4145 0 -1 1077944384 309 0 0 0 6 0 0 0 20 0 15 0 74579802 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782186299600 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5270] ppid=5253 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579803 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782185249504 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5271] ppid=5253 vsize=14082740 memory=139929207359104 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579803 14420725760 11871 33554432000 4194304 4196468 140725572894784 139782184196784 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47332 KiB
[startup+0.310237 s]*
/proc/loadavg: 1.32 1.31 1.35 5/215 5271
/proc/meminfo: memFree=23257384/32770624 swapFree=67108860/67108860
[pid=5256] ppid=5253 vsize=14082740 memory=50756 CPUtime=0.44 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 4145 0 -1 1077944320 10787 0 0 0 43 1 0 0 20 0 15 0 74579797 14420725760 12689 33554432000 4194304 4196468 140725572894784 140725572877328 139782718832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
/proc/5256/statm: 3520685 12689 3416 1 0 3482761 0
[pid=5256/tid=5258] ppid=5253 vsize=14082740 memory=7377246124687064083 CPUtime=0.3 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 4145 0 -1 4202560 8456 0 0 0 29 1 0 0 20 0 15 0 74579797 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782723040208 139782700395904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5259] ppid=5253 vsize=14082740 memory=4211973655412149642 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782671453328 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5260] ppid=5253 vsize=14082740 memory=139929207361455 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782670400528 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5261] ppid=5253 vsize=14082740 memory=139929095092801 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782669347728 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5262] ppid=5253 vsize=14082740 memory=139929095097807 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 4145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74579798 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782668294928 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5263] ppid=5253 vsize=14082740 memory=139929207363276 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 4145 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74579799 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782192617840 139782718843522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5264] ppid=5253 vsize=14082740 memory=139929095106991 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 4145 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74579800 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782191563808 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5265] ppid=5253 vsize=14082740 memory=279858190204816 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 4145 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74579800 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782190510960 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5266] ppid=5253 vsize=14082740 memory=279858190202512 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579802 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782189459280 139782718850971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5267] ppid=5253 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 4145 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 74579802 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782188407664 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5268] ppid=5253 vsize=14082740 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 4145 0 -1 1077944384 225 0 0 0 3 0 0 0 20 0 15 0 74579802 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782187354864 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5269] ppid=5253 vsize=14082740 memory=139929207359104 CPUtime=0.08 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 4145 0 -1 1077944384 327 0 0 0 8 0 0 0 20 0 15 0 74579802 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782186302064 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5270] ppid=5253 vsize=14082740 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579803 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782185249504 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5271] ppid=5253 vsize=14082740 memory=139929207359104 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579803 14420725760 12689 33554432000 4194304 4196468 140725572894784 139782184196784 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50756 KiB
[startup+0.700747 s]
/proc/loadavg: 1.32 1.31 1.35 5/215 5271
/proc/meminfo: memFree=23219304/32770624 swapFree=67108860/67108860
[pid=5256] ppid=5253 vsize=14084808 memory=89156 CPUtime=0.98 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 4145 0 -1 1077944320 17630 0 0 0 94 4 0 0 20 0 15 0 74579797 14422843392 22289 33554432000 4194304 4196468 140725572894784 140725572877328 139782718832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
/proc/5256/statm: 3521202 22289 3500 1 0 3483273 0
[pid=5256/tid=5258] ppid=5253 vsize=14084808 memory=792 CPUtime=0.67 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 4145 0 -1 4202560 14914 0 0 0 64 3 0 0 20 0 15 0 74579797 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782723055632 139782702912862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5259] ppid=5253 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782671453328 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5260] ppid=5253 vsize=14084808 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782670400528 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5261] ppid=5253 vsize=14084808 memory=7302135314614015845 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782669347728 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5262] ppid=5253 vsize=14084808 memory=7811323491934034025 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 4145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74579798 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782668294928 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5263] ppid=5253 vsize=14084808 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 4145 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74579799 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782192617840 139782718843522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5264] ppid=5253 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 4145 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74579800 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782191563808 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5265] ppid=5253 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 4145 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74579800 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782190510960 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5266] ppid=5253 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579802 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782189459280 139782718850971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5267] ppid=5253 vsize=14084808 memory=67 CPUtime=0.08 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 4145 0 -1 1077944384 544 0 0 0 8 0 0 0 20 0 15 0 74579802 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782188407664 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5268] ppid=5253 vsize=14084808 memory=3 CPUtime=0.06 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 4145 0 -1 1077944384 371 0 0 0 6 0 0 0 20 0 15 0 74579802 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782187354864 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5269] ppid=5253 vsize=14084808 memory=199 CPUtime=0.14 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 4145 0 -1 1077944384 419 0 0 0 14 0 0 0 20 0 15 0 74579802 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782186302064 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5270] ppid=5253 vsize=14084808 memory=279858190388720 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579803 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782185249504 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5271] ppid=5253 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579803 14422843392 22289 33554432000 4194304 4196468 140725572894784 139782184196784 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89156 KiB
[startup+1.50166 s]
/proc/loadavg: 1.32 1.31 1.35 6/215 5271
/proc/meminfo: memFree=23152320/32770624 swapFree=67108860/67108860
[pid=5256] ppid=5253 vsize=14090952 memory=139012 CPUtime=2.89 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 4145 0 -1 1077944320 27011 0 0 0 283 6 0 0 20 0 15 0 74579797 14429134848 34753 33554432000 4194304 4196468 140725572894784 140725572877328 139782718832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
/proc/5256/statm: 3522738 34753 3539 1 0 3484809 0
[pid=5256/tid=5258] ppid=5253 vsize=14090952 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 4145 0 -1 4202560 19860 0 0 0 143 4 0 0 20 0 15 0 74579797 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782723069472 139782348695463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5259] ppid=5253 vsize=14090952 memory=-3535359994705172579 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782671453328 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5260] ppid=5253 vsize=14090952 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782670400528 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5261] ppid=5253 vsize=14090952 memory=-6581265967807095137 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782669347728 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5262] ppid=5253 vsize=14090952 memory=-6368229864023400233 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 4145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782668294928 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5263] ppid=5253 vsize=14090952 memory=9050434923812061357 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 4145 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74579799 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782192617840 139782718843522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5264] ppid=5253 vsize=14090952 memory=-6205556110369644416 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 4145 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74579800 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782191563808 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5265] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 4145 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74579800 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782190510960 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5266] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579802 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782189459280 139782718850971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5267] ppid=5253 vsize=14090952 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) R 5253 5256 4145 0 -1 4202560 1633 0 0 0 50 0 0 0 20 0 15 0 74579802 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782188388256 139782702735652 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5268] ppid=5253 vsize=14090952 memory=4580 CPUtime=0.5 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) R 5253 5256 4145 0 -1 4202560 1839 0 0 0 50 0 0 0 20 0 15 0 74579802 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782187340744 139782702328901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5269] ppid=5253 vsize=14090952 memory=-7737621075815351712 CPUtime=0.39 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 4145 0 -1 1077944384 2291 0 0 0 39 0 0 0 20 0 15 0 74579802 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782186302064 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5270] ppid=5253 vsize=14090952 memory=-7984860791115455840 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579803 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782185249504 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5271] ppid=5253 vsize=14090952 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 4145 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 74579803 14429134848 34753 33554432000 4194304 4196468 140725572894784 139782184196784 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 139012 KiB
[startup+2.87657 s]
# the end of solver process 5256 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.57221 s, system=0.086839 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60166 s]
/proc/loadavg: 1.32 1.31 1.35 6/215 5271
/proc/meminfo: memFree=23152320/32770624 swapFree=67108860/67108860
[pid=5256] ppid=5253 vsize=14090952 memory=145212 CPUtime=3.19 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 4145 0 -1 1077944320 27047 0 0 0 313 6 0 0 20 0 15 0 74579797 14429134848 36303 33554432000 4194304 4196468 140725572894784 140725572877328 139782718832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
/proc/5256/statm: 3522738 36303 3539 1 0 3484809 0
[pid=5256/tid=5258] ppid=5253 vsize=14090952 memory=7309167735419596644 CPUtime=1.57 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 4145 0 -1 4202560 19867 0 0 0 153 4 0 0 20 0 15 0 74579797 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782723069472 139782344767536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5259] ppid=5253 vsize=14090952 memory=7810182306255498601 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782671453328 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5260] ppid=5253 vsize=14090952 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782670400528 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5261] ppid=5253 vsize=14090952 memory=162533508038078 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782669347728 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5262] ppid=5253 vsize=14090952 memory=425986 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 4145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782668294928 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5263] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 4145 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74579799 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782192617840 139782718843522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5264] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 4145 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74579800 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782191563808 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5265] ppid=5253 vsize=14090952 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 4145 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74579800 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782190510960 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5266] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579802 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782189459280 139782718850971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5267] ppid=5253 vsize=14090952 memory=-2897801490638248215 CPUtime=0.59 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) R 5253 5256 4145 0 -1 4202560 1652 0 0 0 59 0 0 0 20 0 15 0 74579802 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782188394512 139782718853722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5268] ppid=5253 vsize=14090952 memory=6944656592387989600 CPUtime=0.6 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) R 5253 5256 4145 0 -1 4202560 1850 0 0 0 60 0 0 0 20 0 15 0 74579802 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782187354864 139782718844310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5269] ppid=5253 vsize=14090952 memory=6944656592455359580 CPUtime=0.39 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) R 5253 5256 4145 0 -1 1077944384 2292 0 0 0 39 0 0 0 20 0 15 0 74579802 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782186302160 139782718842581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5270] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579803 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782185249504 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5271] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 4145 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 74579803 14429134848 36303 33554432000 4194304 4196468 140725572894784 139782184196784 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 145212 KiB
[startup+2.40067 s]
/proc/loadavg: 1.62 1.37 1.37 3/215 5271
/proc/meminfo: memFree=22985644/32770624 swapFree=67108860/67108860
[pid=5256] ppid=5253 vsize=14090952 memory=213044 CPUtime=4.15 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 4145 0 -1 1077944320 27787 0 0 0 408 7 0 0 20 0 15 0 74579797 14429134848 53261 33554432000 4194304 4196468 140725572894784 140725572877328 139782718832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
/proc/5256/statm: 3522738 53261 3542 1 0 3484809 0
[pid=5256/tid=5258] ppid=5253 vsize=14090952 memory=0 CPUtime=2.37 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 4145 0 -1 4202560 20024 0 0 0 232 5 0 0 20 0 15 0 74579797 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782723067416 139782349281635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5259] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782671453328 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5260] ppid=5253 vsize=14090952 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782670400528 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5261] ppid=5253 vsize=14090952 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 4145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782669347728 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5262] ppid=5253 vsize=14090952 memory=-6581265967807095137 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 4145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782668294928 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5263] ppid=5253 vsize=14090952 memory=-6368229864023400233 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 4145 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 74579799 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782192617840 139782718843522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5264] ppid=5253 vsize=14090952 memory=9050434923812061357 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 4145 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74579800 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782191563808 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5265] ppid=5253 vsize=14090952 memory=-6205556110369644416 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 4145 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74579800 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782190510960 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5266] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579802 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782189459280 139782718850971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5267] ppid=5253 vsize=14090952 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 4145 0 -1 1077944384 1689 0 0 0 67 0 0 0 20 0 15 0 74579802 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782188407664 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5268] ppid=5253 vsize=14090952 memory=5937244478276784208 CPUtime=0.66 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 4145 0 -1 1077944384 2282 0 0 0 66 0 0 0 20 0 15 0 74579802 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782187354864 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5269] ppid=5253 vsize=14090952 memory=6081671936311847522 CPUtime=0.4 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 4145 0 -1 1077944384 2382 0 0 0 40 0 0 0 20 0 15 0 74579802 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782186302064 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5270] ppid=5253 vsize=14090952 memory=4638778398333161572 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579803 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782185249504 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5271] ppid=5253 vsize=14090952 memory=184872763 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 4145 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 74579803 14429134848 53261 33554432000 4194304 4196468 140725572894784 139782184196784 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
Current children cumulated CPU time: 4.15 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 213044 KiB
[startup+2.80066 s]
/proc/loadavg: 1.62 1.37 1.37 3/215 5271
/proc/meminfo: memFree=22985644/32770624 swapFree=67108860/67108860
[pid=5256] ppid=5253 vsize=14090952 memory=227540 CPUtime=4.57 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 4145 0 -1 1077944320 29022 0 0 0 449 8 0 0 20 0 15 0 74579797 14429134848 56885 33554432000 4194304 4196468 140725572894784 140725572877328 139782718832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
/proc/5256/statm: 3522738 56885 3565 1 0 3484809 0
[pid=5256/tid=5258] ppid=5253 vsize=14090952 memory=302022869943335127 CPUtime=2.76 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 4145 0 -1 4202560 20045 0 0 0 271 5 0 0 20 0 15 0 74579797 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782723068152 139782345691528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5259] ppid=5253 vsize=14090952 memory=14976654913473985 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 4145 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782671453328 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5260] ppid=5253 vsize=14090952 memory=-8465741952327709888 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 4145 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782670400528 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5261] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 4145 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782669347728 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5262] ppid=5253 vsize=14090952 memory=279858189986720 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 4145 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 74579798 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782668294928 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5263] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 4145 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 15 0 74579799 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782192617840 139782718843522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5264] ppid=5253 vsize=14090952 memory=279858189959408 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 4145 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 74579800 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782191563872 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5265] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 4145 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 74579800 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782190510976 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5266] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579802 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782189459280 139782718850971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5267] ppid=5253 vsize=14090952 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 4145 0 -1 1077944384 1689 0 0 0 67 0 0 0 20 0 15 0 74579802 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782188407664 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5268] ppid=5253 vsize=14090952 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 4145 0 -1 1077944384 2284 0 0 0 67 0 0 0 20 0 15 0 74579802 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782187354864 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5269] ppid=5253 vsize=14090952 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 4145 0 -1 1077944384 2907 0 0 0 41 0 0 0 20 0 15 0 74579802 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782186302064 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5270] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 4145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74579803 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782185249504 139782718842581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
[pid=5256/tid=5271] ppid=5253 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 4145 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 74579803 14429134848 56885 33554432000 4194304 4196468 140725572894784 139782184196784 139782718843522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21307392 140725572895816 140725572896009 140725572896009 140725572898767 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 227540 KiB
Child status: 0
Real time (s): 2.87661
CPU time (s): 4.65905
CPU user time (s): 4.57221
CPU system time (s): 0.086839
CPU usage (%): 161.964
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 227540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.57221
system time used= 0.086839
maximum resident set size= 228292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2535
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 5256
# total CPU time (s): 4.65905
# total CPU user time (s): 4.57221
# total CPU system time (s): 0.086839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037234 second user time and 0.066571 second system time
The end