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 (10534 MiB free)
memory of node 1: 16384 MiB (13933 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298209-1532749680/watcher-4298209-1532749680 -o /tmp/evaluation-result-4298209-1532749680/solver-4298209-1532749680 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532740979-19310 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298209-1532749680.xml --timelimit 2520
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20349, runsolver pid=20346
[startup+0.100155 s]*
/proc/loadavg: 1.32 1.42 1.43 5/215 20364
/proc/meminfo: memFree=25039620/32770624 swapFree=67108532/67108860
[pid=20349] ppid=20346 vsize=10658972 memory=27744 CPUtime=0.13 cores=1,3,5,7
/proc/20349/stat : 20349 (java) S 20346 20349 19278 0 -1 1077944320 5297 0 0 0 12 1 0 0 20 0 15 0 92531196 10914787328 6936 33554432000 4194304 4196468 140724150437856 140724150420400 140699775528695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
/proc/20349/statm: 2664743 6936 2887 1 0 2627263 0
[pid=20349/tid=20351] ppid=20346 vsize=10658972 memory=-8269626465541329276 CPUtime=0.09 cores=1,3,5,7
/proc/20349/task/20351/stat : 20351 (java) R 20346 20349 19278 0 -1 4202560 3107 0 0 0 9 0 0 0 20 0 15 0 92531196 10914787328 6936 33554432000 4194304 4196468 140724150437856 140699779758064 140699775540630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20352] ppid=20346 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20352/stat : 20352 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10914787328 6936 33554432000 4194304 4196468 140724150437856 140699712219664 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20353] ppid=20346 vsize=10658972 memory=140253863392896 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20353/stat : 20353 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10914787328 6936 33554432000 4194304 4196468 140724150437856 140699711167120 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20354] ppid=20346 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20354/stat : 20354 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10914787328 6936 33554432000 4194304 4196468 140724150437856 140699710114064 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20355] ppid=20346 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20355/stat : 20355 (java) S 20346 20349 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92531197 10914787328 6936 33554432000 4194304 4196468 140724150437856 140699709061520 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20356] ppid=20346 vsize=10658972 memory=140253863392896 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20356/stat : 20356 (java) S 20346 20349 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92531199 10914787328 6936 33554432000 4194304 4196468 140724150437856 140698811382512 140699775539842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20357] ppid=20346 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20357/stat : 20357 (java) S 20346 20349 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92531199 10914787328 6936 33554432000 4194304 4196468 140724150437856 140698810328736 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20358] ppid=20346 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20358/stat : 20358 (java) S 20346 20349 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92531199 10914787328 6936 33554432000 4194304 4196468 140724150437856 140698809275632 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20359] ppid=20346 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20359/stat : 20359 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10914787328 6936 33554432000 4194304 4196468 140724150437856 140698808224208 140699775547291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20360] ppid=20346 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20360/stat : 20360 (java) S 20346 20349 19278 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 92531202 10914787328 6936 33554432000 4194304 4196468 140724150437856 140698807171312 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20361] ppid=20346 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20361/stat : 20361 (java) S 20346 20349 19278 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 92531202 10914787328 6936 33554432000 4194304 4196468 140724150437856 140698806118768 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20362] ppid=20346 vsize=10658972 memory=140253863392896 CPUtime=0.02 cores=1,3,5,7
/proc/20349/task/20362/stat : 20362 (java) R 20346 20349 19278 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 92531202 10914787328 6936 33554432000 4194304 4196468 140724150437856 140698805065712 140699759780992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20363] ppid=20346 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20363/stat : 20363 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10914787328 6936 33554432000 4194304 4196468 140724150437856 140698804013408 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20364] ppid=20346 vsize=10658972 memory=140253863392896 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20364/stat : 20364 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531202 10914787328 6936 33554432000 4194304 4196468 140724150437856 140698802961456 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27744 KiB
[startup+0.210699 s]*
/proc/loadavg: 1.32 1.42 1.43 4/215 20364
/proc/meminfo: memFree=25027216/32770624 swapFree=67108532/67108860
[pid=20349] ppid=20346 vsize=10661056 memory=40264 CPUtime=0.35 cores=1,3,5,7
/proc/20349/stat : 20349 (java) S 20346 20349 19278 0 -1 1077944320 8155 0 0 0 33 2 0 0 20 0 15 0 92531196 10916921344 10066 33554432000 4194304 4196468 140724150437856 140724150420400 140699775528695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
/proc/20349/statm: 2665264 10066 2998 1 0 2627263 0
[pid=20349/tid=20351] ppid=20346 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20349/task/20351/stat : 20351 (java) S 20346 20349 19278 0 -1 1077944384 5107 0 0 0 19 1 0 0 20 0 15 0 92531196 10916921344 10066 33554432000 4194304 4196468 140724150437856 140699779764848 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20352] ppid=20346 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20352/stat : 20352 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10916921344 10066 33554432000 4194304 4196468 140724150437856 140699712219664 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20353] ppid=20346 vsize=10661056 memory=140253863904882 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20353/stat : 20353 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10916921344 10066 33554432000 4194304 4196468 140724150437856 140699711167120 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20354] ppid=20346 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20354/stat : 20354 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10916921344 10066 33554432000 4194304 4196468 140724150437856 140699710114064 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20355] ppid=20346 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20355/stat : 20355 (java) S 20346 20349 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92531197 10916921344 10066 33554432000 4194304 4196468 140724150437856 140699709061520 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20356] ppid=20346 vsize=10661056 memory=140253863392896 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20356/stat : 20356 (java) S 20346 20349 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92531199 10916921344 10066 33554432000 4194304 4196468 140724150437856 140698811382512 140699775539842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20357] ppid=20346 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20357/stat : 20357 (java) S 20346 20349 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92531199 10916921344 10066 33554432000 4194304 4196468 140724150437856 140698810328736 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20358] ppid=20346 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20358/stat : 20358 (java) S 20346 20349 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92531199 10916921344 10066 33554432000 4194304 4196468 140724150437856 140698809275632 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20359] ppid=20346 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20359/stat : 20359 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916921344 10066 33554432000 4194304 4196468 140724150437856 140698808224208 140699775547291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20360] ppid=20346 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20349/task/20360/stat : 20360 (java) R 20346 20349 19278 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 15 0 92531202 10916921344 10066 33554432000 4194304 4196468 140724150437856 140698807171312 140699775539842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20361] ppid=20346 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20349/task/20361/stat : 20361 (java) R 20346 20349 19278 0 -1 4202560 278 0 0 0 2 0 0 0 20 0 15 0 92531202 10916921344 10066 33554432000 4194304 4196468 140724150437856 140698806118864 140699759918200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20362] ppid=20346 vsize=10661056 memory=140253863392896 CPUtime=0.08 cores=1,3,5,7
/proc/20349/task/20362/stat : 20362 (java) R 20346 20349 19278 0 -1 4202560 880 0 0 0 8 0 0 0 20 0 15 0 92531202 10916921344 10066 33554432000 4194304 4196468 140724150437856 140698805062080 140699753662259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20363] ppid=20346 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20363/stat : 20363 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916921344 10066 33554432000 4194304 4196468 140724150437856 140698804013408 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20364] ppid=20346 vsize=10661056 memory=140253863392896 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20364/stat : 20364 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531202 10916921344 10066 33554432000 4194304 4196468 140724150437856 140698802961456 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40264 KiB
[startup+0.310481 s]*
/proc/loadavg: 1.32 1.42 1.43 5/215 20364
/proc/meminfo: memFree=25014688/32770624 swapFree=67108532/67108860
[pid=20349] ppid=20346 vsize=10661132 memory=53528 CPUtime=0.69 cores=1,3,5,7
/proc/20349/stat : 20349 (java) S 20346 20349 19278 0 -1 1077944320 10465 0 0 0 67 2 0 0 20 0 15 0 92531196 10916999168 13382 33554432000 4194304 4196468 140724150437856 140724150420400 140699775528695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
/proc/20349/statm: 2665283 13382 3072 1 0 2627263 0
[pid=20349/tid=20351] ppid=20346 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/20349/task/20351/stat : 20351 (java) R 20346 20349 19278 0 -1 1077944384 5398 0 0 0 29 1 0 0 20 0 15 0 92531196 10916999168 13382 33554432000 4194304 4196468 140724150437856 140699779765136 140699775538901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20352] ppid=20346 vsize=10661132 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20352/stat : 20352 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10916999168 13382 33554432000 4194304 4196468 140724150437856 140699712219664 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20353] ppid=20346 vsize=10661132 memory=140253863739199 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20353/stat : 20353 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10916999168 13382 33554432000 4194304 4196468 140724150437856 140699711167120 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20354] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20354/stat : 20354 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10916999168 13382 33554432000 4194304 4196468 140724150437856 140699710114064 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20355] ppid=20346 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20355/stat : 20355 (java) S 20346 20349 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92531197 10916999168 13382 33554432000 4194304 4196468 140724150437856 140699709061520 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20356] ppid=20346 vsize=10661132 memory=140253863392896 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20356/stat : 20356 (java) S 20346 20349 19278 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 13382 33554432000 4194304 4196468 140724150437856 140698811382512 140699775539842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20357] ppid=20346 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20357/stat : 20357 (java) S 20346 20349 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 13382 33554432000 4194304 4196468 140724150437856 140698810328736 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20358] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20358/stat : 20358 (java) S 20346 20349 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 13382 33554432000 4194304 4196468 140724150437856 140698809275632 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20359] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20359/stat : 20359 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 13382 33554432000 4194304 4196468 140724150437856 140698808224208 140699775547291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20360] ppid=20346 vsize=10661132 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20349/task/20360/stat : 20360 (java) R 20346 20349 19278 0 -1 4202560 884 0 0 0 9 0 0 0 20 0 15 0 92531202 10916999168 13382 33554432000 4194304 4196468 140724150437856 140698807171312 140699775540630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20361] ppid=20346 vsize=10661132 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/20349/task/20361/stat : 20361 (java) R 20346 20349 19278 0 -1 4202560 1416 0 0 0 12 0 0 0 20 0 15 0 92531202 10916999168 13382 33554432000 4194304 4196468 140724150437856 140698806104792 140699757072926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20362] ppid=20346 vsize=10661132 memory=140253863392896 CPUtime=0.16 cores=1,3,5,7
/proc/20349/task/20362/stat : 20362 (java) S 20346 20349 19278 0 -1 1077944384 1397 0 0 0 16 0 0 0 20 0 15 0 92531202 10916999168 13382 33554432000 4194304 4196468 140724150437856 140698805065712 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20363] ppid=20346 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20363/stat : 20363 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 13382 33554432000 4194304 4196468 140724150437856 140698804013408 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20364] ppid=20346 vsize=10661132 memory=140253863392896 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20364/stat : 20364 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 13382 33554432000 4194304 4196468 140724150437856 140698802961456 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 53528 KiB
[startup+0.701312 s]
/proc/loadavg: 1.32 1.42 1.43 5/215 20364
/proc/meminfo: memFree=24983848/32770624 swapFree=67108532/67108860
[pid=20349] ppid=20346 vsize=10661132 memory=103668 CPUtime=1.93 cores=1,3,5,7
/proc/20349/stat : 20349 (java) S 20346 20349 19278 0 -1 1077944320 11737 0 0 0 190 3 0 0 20 0 15 0 92531196 10916999168 25917 33554432000 4194304 4196468 140724150437856 140724150420400 140699775528695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
/proc/20349/statm: 2665283 25917 3111 1 0 2627263 0
[pid=20349/tid=20351] ppid=20346 vsize=10661132 memory=16236 CPUtime=0.67 cores=1,3,5,7
/proc/20349/task/20351/stat : 20351 (java) R 20346 20349 19278 0 -1 4202560 5636 0 0 0 65 2 0 0 20 0 15 0 92531196 10916999168 25917 33554432000 4194304 4196468 140724150437856 140699779764872 140699387396839 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20352] ppid=20346 vsize=10661132 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20352/stat : 20352 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10916999168 25917 33554432000 4194304 4196468 140724150437856 140699712219664 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20353] ppid=20346 vsize=10661132 memory=640 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20353/stat : 20353 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10916999168 25917 33554432000 4194304 4196468 140724150437856 140699711167120 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20354] ppid=20346 vsize=10661132 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20354/stat : 20354 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531197 10916999168 25917 33554432000 4194304 4196468 140724150437856 140699710114064 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20355] ppid=20346 vsize=10661132 memory=960 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20355/stat : 20355 (java) S 20346 20349 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92531197 10916999168 25917 33554432000 4194304 4196468 140724150437856 140699709061520 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20356] ppid=20346 vsize=10661132 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20356/stat : 20356 (java) S 20346 20349 19278 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 25917 33554432000 4194304 4196468 140724150437856 140698811382512 140699775539842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20357] ppid=20346 vsize=10661132 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20357/stat : 20357 (java) S 20346 20349 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 25917 33554432000 4194304 4196468 140724150437856 140698810328736 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20358] ppid=20346 vsize=10661132 memory=928 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20358/stat : 20358 (java) S 20346 20349 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 25917 33554432000 4194304 4196468 140724150437856 140698809275632 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20359] ppid=20346 vsize=10661132 memory=6153431502485415274 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20359/stat : 20359 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 25917 33554432000 4194304 4196468 140724150437856 140698808224208 140699775547291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20360] ppid=20346 vsize=10661132 memory=6081108994580113768 CPUtime=0.42 cores=1,3,5,7
/proc/20349/task/20360/stat : 20360 (java) S 20346 20349 19278 0 -1 1077944384 1416 0 0 0 42 0 0 0 20 0 15 0 92531202 10916999168 25917 33554432000 4194304 4196468 140724150437856 140698807171312 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20361] ppid=20346 vsize=10661132 memory=6154282490091891024 CPUtime=0.48 cores=1,3,5,7
/proc/20349/task/20361/stat : 20361 (java) R 20346 20349 19278 0 -1 4202560 1527 0 0 0 48 0 0 0 20 0 15 0 92531202 10916999168 25917 33554432000 4194304 4196468 140724150437856 140698806109744 140699756704560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20362] ppid=20346 vsize=10661132 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/20349/task/20362/stat : 20362 (java) S 20346 20349 19278 0 -1 1077944384 1786 0 0 0 33 0 0 0 20 0 15 0 92531202 10916999168 25917 33554432000 4194304 4196468 140724150437856 140698805065712 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20363] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20363/stat : 20363 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 25917 33554432000 4194304 4196468 140724150437856 140698804013408 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20364] ppid=20346 vsize=10661132 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20364/stat : 20364 (java) S 20346 20349 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 25917 33554432000 4194304 4196468 140724150437856 140698802961456 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 103668 KiB
[startup+1.50076 s]
/proc/loadavg: 1.32 1.42 1.43 3/215 20364
/proc/meminfo: memFree=24919184/32770624 swapFree=67108532/67108860
[pid=20349] ppid=20346 vsize=10661132 memory=255536 CPUtime=3.33 cores=1,3,5,7
/proc/20349/stat : 20349 (java) S 20346 20349 19278 0 -1 1077944320 15871 0 0 0 317 16 0 0 20 0 15 0 92531196 10916999168 63884 33554432000 4194304 4196468 140724150437856 140724150420400 140699775528695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
/proc/20349/statm: 2665283 63884 3159 1 0 2627263 0
[pid=20349/tid=20351] ppid=20346 vsize=10661132 memory=255536 CPUtime=1.4 cores=1,3,5,7
/proc/20349/task/20351/stat : 20351 (java) R 20346 20349 19278 0 -1 4202560 6273 0 0 0 137 3 0 0 20 0 15 0 92531196 10916999168 63884 33554432000 4194304 4196468 140724150437856 140699779766800 140699391587741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20352] ppid=20346 vsize=10661132 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/20349/task/20352/stat : 20352 (java) S 20346 20349 19278 0 -1 1077944384 214 0 0 0 3 2 0 0 20 0 15 0 92531197 10916999168 63884 33554432000 4194304 4196468 140724150437856 140699712219664 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20353] ppid=20346 vsize=10661132 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20349/task/20353/stat : 20353 (java) S 20346 20349 19278 0 -1 1077944384 101 0 0 0 3 2 0 0 20 0 15 0 92531197 10916999168 63884 33554432000 4194304 4196468 140724150437856 140699711167120 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20354] ppid=20346 vsize=10661132 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20349/task/20354/stat : 20354 (java) S 20346 20349 19278 0 -1 1077944384 350 0 0 0 3 2 0 0 20 0 15 0 92531197 10916999168 63884 33554432000 4194304 4196468 140724150437856 140699710114064 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20355] ppid=20346 vsize=10661132 memory=6943526294502006880 CPUtime=0.05 cores=1,3,5,7
/proc/20349/task/20355/stat : 20355 (java) S 20346 20349 19278 0 -1 1077944384 126 0 0 0 3 2 0 0 20 0 15 0 92531197 10916999168 63884 33554432000 4194304 4196468 140724150437856 140699709061520 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20356] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20356/stat : 20356 (java) S 20346 20349 19278 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 63884 33554432000 4194304 4196468 140724150437856 140698811382512 140699775539842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20357] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20357/stat : 20357 (java) S 20346 20349 19278 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 63884 33554432000 4194304 4196468 140724150437856 140698810328736 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20358] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20358/stat : 20358 (java) S 20346 20349 19278 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 63884 33554432000 4194304 4196468 140724150437856 140698809275632 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20359] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20359/stat : 20359 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 63884 33554432000 4194304 4196468 140724150437856 140698808224208 140699775547291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20360] ppid=20346 vsize=10661132 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/20349/task/20360/stat : 20360 (java) S 20346 20349 19278 0 -1 1077944384 2756 0 0 0 64 0 0 0 20 0 15 0 92531202 10916999168 63884 33554432000 4194304 4196468 140724150437856 140698807171312 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20361] ppid=20346 vsize=10661132 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/20349/task/20361/stat : 20361 (java) S 20346 20349 19278 0 -1 1077944384 2026 0 0 0 62 0 0 0 20 0 15 0 92531202 10916999168 63884 33554432000 4194304 4196468 140724150437856 140698806118768 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20362] ppid=20346 vsize=10661132 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/20349/task/20362/stat : 20362 (java) S 20346 20349 19278 0 -1 1077944384 2331 0 0 0 38 0 0 0 20 0 15 0 92531202 10916999168 63884 33554432000 4194304 4196468 140724150437856 140698805065712 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20363] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20363/stat : 20363 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 63884 33554432000 4194304 4196468 140724150437856 140698804013408 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20364] ppid=20346 vsize=10661132 memory=13078175418732 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20364/stat : 20364 (java) S 20346 20349 19278 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 63884 33554432000 4194304 4196468 140724150437856 140698802961456 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
Current children cumulated CPU time: 3.33 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 255536 KiB
[startup+2.18575 s]
# the end of solver process 20349 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.5674 s, system=0.382044 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60131 s]
/proc/loadavg: 1.32 1.42 1.43 3/215 20364
/proc/meminfo: memFree=24919184/32770624 swapFree=67108532/67108860
[pid=20349] ppid=20346 vsize=10661132 memory=295068 CPUtime=3.53 cores=1,3,5,7
/proc/20349/stat : 20349 (java) S 20346 20349 19278 0 -1 1077944320 16236 0 0 0 332 21 0 0 20 0 15 0 92531196 10916999168 73767 33554432000 4194304 4196468 140724150437856 140724150420400 140699775528695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
/proc/20349/statm: 2665283 73767 3159 1 0 2627263 0
[pid=20349/tid=20351] ppid=20346 vsize=10661132 memory=280507401196336 CPUtime=1.47 cores=1,3,5,7
/proc/20349/task/20351/stat : 20351 (java) S 20346 20349 19278 0 -1 1077944384 6274 0 0 0 144 3 0 0 20 0 15 0 92531196 10916999168 73767 33554432000 4194304 4196468 140724150437856 140699779766624 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20352] ppid=20346 vsize=10661132 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20349/task/20352/stat : 20352 (java) R 20346 20349 19278 0 -1 4202560 309 0 0 0 5 3 0 0 20 0 15 0 92531197 10916999168 73767 33554432000 4194304 4196468 140724150437856 140699712219664 140699760556114 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20353] ppid=20346 vsize=10661132 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20349/task/20353/stat : 20353 (java) R 20346 20349 19278 0 -1 4202560 187 0 0 0 5 3 0 0 20 0 15 0 92531197 10916999168 73767 33554432000 4194304 4196468 140724150437856 140699711167120 140699760556114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20354] ppid=20346 vsize=10661132 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/20349/task/20354/stat : 20354 (java) R 20346 20349 19278 0 -1 4202560 438 0 0 0 5 3 0 0 20 0 15 0 92531197 10916999168 73767 33554432000 4194304 4196468 140724150437856 140699710114064 140699760556114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20355] ppid=20346 vsize=10661132 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20349/task/20355/stat : 20355 (java) R 20346 20349 19278 0 -1 4202560 210 0 0 0 5 3 0 0 20 0 15 0 92531197 10916999168 73767 33554432000 4194304 4196468 140724150437856 140699709061720 140699760552745 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20356] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20356/stat : 20356 (java) S 20346 20349 19278 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 73767 33554432000 4194304 4196468 140724150437856 140698811381024 140699775538901 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20357] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20357/stat : 20357 (java) S 20346 20349 19278 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 73767 33554432000 4194304 4196468 140724150437856 140698810328736 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20358] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20358/stat : 20358 (java) S 20346 20349 19278 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 73767 33554432000 4194304 4196468 140724150437856 140698809275632 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20359] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20359/stat : 20359 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 73767 33554432000 4194304 4196468 140724150437856 140698808224208 140699775547291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20360] ppid=20346 vsize=10661132 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/20349/task/20360/stat : 20360 (java) S 20346 20349 19278 0 -1 1077944384 2758 0 0 0 64 0 0 0 20 0 15 0 92531202 10916999168 73767 33554432000 4194304 4196468 140724150437856 140698807171312 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20361] ppid=20346 vsize=10661132 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/20349/task/20361/stat : 20361 (java) S 20346 20349 19278 0 -1 1077944384 2031 0 0 0 63 0 0 0 20 0 15 0 92531202 10916999168 73767 33554432000 4194304 4196468 140724150437856 140698806118768 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20362] ppid=20346 vsize=10661132 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/20349/task/20362/stat : 20362 (java) S 20346 20349 19278 0 -1 1077944384 2334 0 0 0 38 0 0 0 20 0 15 0 92531202 10916999168 73767 33554432000 4194304 4196468 140724150437856 140698805065712 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20363] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20363/stat : 20363 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 73767 33554432000 4194304 4196468 140724150437856 140698804013408 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20364] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20364/stat : 20364 (java) S 20346 20349 19278 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 73767 33554432000 4194304 4196468 140724150437856 140698802961456 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
Current children cumulated CPU time: 3.53 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 295068 KiB
[startup+2.00072 s]*
/proc/loadavg: 1.32 1.42 1.43 4/215 20364
/proc/meminfo: memFree=24670032/32770624 swapFree=67108532/67108860
[pid=20349] ppid=20346 vsize=10661132 memory=398136 CPUtime=4.58 cores=1,3,5,7
/proc/20349/stat : 20349 (java) S 20346 20349 19278 0 -1 1077944320 18349 0 0 0 422 36 0 0 20 0 15 0 92531196 10916999168 99534 33554432000 4194304 4196468 140724150437856 140724150420400 140699775528695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
/proc/20349/statm: 2665283 99534 3161 1 0 2627263 0
[pid=20349/tid=20351] ppid=20346 vsize=10661132 memory=0 CPUtime=1.78 cores=1,3,5,7
/proc/20349/task/20351/stat : 20351 (java) R 20346 20349 19278 0 -1 4202560 6284 0 0 0 175 3 0 0 20 0 15 0 92531196 10916999168 99534 33554432000 4194304 4196468 140724150437856 140699779763744 140699392076341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20352] ppid=20346 vsize=10661132 memory=3904958466634312038 CPUtime=0.18 cores=1,3,5,7
/proc/20349/task/20352/stat : 20352 (java) S 20346 20349 19278 0 -1 1077944384 386 0 0 0 11 7 0 0 20 0 15 0 92531197 10916999168 99534 33554432000 4194304 4196468 140724150437856 140699712219664 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20353] ppid=20346 vsize=10661132 memory=218113729 CPUtime=0.18 cores=1,3,5,7
/proc/20349/task/20353/stat : 20353 (java) S 20346 20349 19278 0 -1 1077944384 271 0 0 0 11 7 0 0 20 0 15 0 92531197 10916999168 99534 33554432000 4194304 4196468 140724150437856 140699711167120 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20354] ppid=20346 vsize=10661132 memory=215418561 CPUtime=0.18 cores=1,3,5,7
/proc/20349/task/20354/stat : 20354 (java) S 20346 20349 19278 0 -1 1077944384 520 0 0 0 11 7 0 0 20 0 15 0 92531197 10916999168 99534 33554432000 4194304 4196468 140724150437856 140699710114064 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20355] ppid=20346 vsize=10661132 memory=2940 CPUtime=0.18 cores=1,3,5,7
/proc/20349/task/20355/stat : 20355 (java) S 20346 20349 19278 0 -1 1077944384 277 0 0 0 11 7 0 0 20 0 15 0 92531197 10916999168 99534 33554432000 4194304 4196468 140724150437856 140699709061520 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20356] ppid=20346 vsize=10661132 memory=140253863394626 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20356/stat : 20356 (java) S 20346 20349 19278 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 99534 33554432000 4194304 4196468 140724150437856 140698811382512 140699775539842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20357] ppid=20346 vsize=10661132 memory=228 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20357/stat : 20357 (java) S 20346 20349 19278 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 99534 33554432000 4194304 4196468 140724150437856 140698810328736 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20358] ppid=20346 vsize=10661132 memory=217 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20358/stat : 20358 (java) S 20346 20349 19278 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 99534 33554432000 4194304 4196468 140724150437856 140698809275632 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20359] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20359/stat : 20359 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 99534 33554432000 4194304 4196468 140724150437856 140698808224208 140699775547291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20360] ppid=20346 vsize=10661132 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/20349/task/20360/stat : 20360 (java) S 20346 20349 19278 0 -1 1077944384 3700 0 0 0 86 0 0 0 20 0 15 0 92531202 10916999168 99534 33554432000 4194304 4196468 140724150437856 140698807171312 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20361] ppid=20346 vsize=10661132 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/20349/task/20361/stat : 20361 (java) R 20346 20349 19278 0 -1 4202560 2863 0 0 0 75 1 0 0 20 0 15 0 92531202 10916999168 99534 33554432000 4194304 4196468 140724150437856 140698806118768 140699760410020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20362] ppid=20346 vsize=10661132 memory=3762204685363406946 CPUtime=0.39 cores=1,3,5,7
/proc/20349/task/20362/stat : 20362 (java) S 20346 20349 19278 0 -1 1077944384 2353 0 0 0 39 0 0 0 20 0 15 0 92531202 10916999168 99534 33554432000 4194304 4196468 140724150437856 140698805065712 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20363] ppid=20346 vsize=10661132 memory=3471202396320837679 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20363/stat : 20363 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 99534 33554432000 4194304 4196468 140724150437856 140698804013408 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20364] ppid=20346 vsize=10661132 memory=3472328296160571439 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20364/stat : 20364 (java) S 20346 20349 19278 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 99534 33554432000 4194304 4196468 140724150437856 140698802961456 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 398136 KiB
[startup+2.11026 s]
/proc/loadavg: 1.32 1.42 1.43 4/215 20364
/proc/meminfo: memFree=24670032/32770624 swapFree=67108532/67108860
[pid=20349] ppid=20346 vsize=10661132 memory=430212 CPUtime=4.84 cores=1,3,5,7
/proc/20349/stat : 20349 (java) S 20346 20349 19278 0 -1 1077944320 19207 0 0 0 448 36 0 0 20 0 15 0 92531196 10916999168 107553 33554432000 4194304 4196468 140724150437856 140724150420400 140699775528695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
/proc/20349/statm: 2665283 107553 3161 1 0 2627263 0
[pid=20349/tid=20351] ppid=20346 vsize=10661132 memory=255536 CPUtime=1.88 cores=1,3,5,7
/proc/20349/task/20351/stat : 20351 (java) R 20346 20349 19278 0 -1 4202560 6311 0 0 0 184 4 0 0 20 0 15 0 92531196 10916999168 107553 33554432000 4194304 4196468 140724150437856 140699779763984 140699392217625 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20352] ppid=20346 vsize=10661132 memory=255536 CPUtime=0.18 cores=1,3,5,7
/proc/20349/task/20352/stat : 20352 (java) S 20346 20349 19278 0 -1 1077944384 386 0 0 0 11 7 0 0 20 0 15 0 92531197 10916999168 107553 33554432000 4194304 4196468 140724150437856 140699712219664 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20353] ppid=20346 vsize=10661132 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/20349/task/20353/stat : 20353 (java) S 20346 20349 19278 0 -1 1077944384 271 0 0 0 11 7 0 0 20 0 15 0 92531197 10916999168 107553 33554432000 4194304 4196468 140724150437856 140699711167120 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20354] ppid=20346 vsize=10661132 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/20349/task/20354/stat : 20354 (java) S 20346 20349 19278 0 -1 1077944384 520 0 0 0 11 7 0 0 20 0 15 0 92531197 10916999168 107553 33554432000 4194304 4196468 140724150437856 140699710114064 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20355] ppid=20346 vsize=10661132 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/20349/task/20355/stat : 20355 (java) S 20346 20349 19278 0 -1 1077944384 277 0 0 0 11 7 0 0 20 0 15 0 92531197 10916999168 107553 33554432000 4194304 4196468 140724150437856 140699709061520 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20356] ppid=20346 vsize=10661132 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20356/stat : 20356 (java) S 20346 20349 19278 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 107553 33554432000 4194304 4196468 140724150437856 140698811382512 140699775539842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20357] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20357/stat : 20357 (java) S 20346 20349 19278 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 107553 33554432000 4194304 4196468 140724150437856 140698810328736 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20358] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20358/stat : 20358 (java) S 20346 20349 19278 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 92531199 10916999168 107553 33554432000 4194304 4196468 140724150437856 140698809275632 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20359] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20359/stat : 20359 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 108065 33554432000 4194304 4196468 140724150437856 140698808224208 140699775547291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20360] ppid=20346 vsize=10661132 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/20349/task/20360/stat : 20360 (java) S 20346 20349 19278 0 -1 1077944384 3793 0 0 0 91 0 0 0 20 0 15 0 92531202 10916999168 108065 33554432000 4194304 4196468 140724150437856 140698807171312 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20361] ppid=20346 vsize=10661132 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/20349/task/20361/stat : 20361 (java) S 20346 20349 19278 0 -1 1077944384 3549 0 0 0 84 1 0 0 20 0 15 0 92531202 10916999168 108065 33554432000 4194304 4196468 140724150437856 140698806118768 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20362] ppid=20346 vsize=10661132 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/20349/task/20362/stat : 20362 (java) S 20346 20349 19278 0 -1 1077944384 2405 0 0 0 40 0 0 0 20 0 15 0 92531202 10916999168 108065 33554432000 4194304 4196468 140724150437856 140698805065712 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20363] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20363/stat : 20363 (java) S 20346 20349 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 108065 33554432000 4194304 4196468 140724150437856 140698804013408 140699775538901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
[pid=20349/tid=20364] ppid=20346 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20349/task/20364/stat : 20364 (java) S 20346 20349 19278 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 92531202 10916999168 108065 33554432000 4194304 4196468 140724150437856 140698802961456 140699775539842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140724150441080 140724150441225 140724150441225 140724150443983 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 430212 KiB
Child status: 0
Real time (s): 2.18582
CPU time (s): 4.94944
CPU user time (s): 4.5674
CPU system time (s): 0.382044
CPU usage (%): 226.434
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 430212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.5674
system time used= 0.382044
maximum resident set size= 484000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19639
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= 1476
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 20349
# total CPU time (s): 4.94944
# total CPU user time (s): 4.5674
# total CPU system time (s): 0.382044
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036262 second user time and 0.067192 second system time
The end