runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255574-1501633646/watcher-4255574-1501633646 -o /tmp/evaluation-result-4255574-1501633646/solver-4255574-1501633646 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501622883-15276 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 615383685 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255574-1501633646.xml
pid=22328
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.70 1.57 1.52 4/194 22331
/proc/meminfo: memFree=30774704/32770624 swapFree=0/944816
[pid=22331] ppid=22328 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22331/stat : 22331 (runsolver) D 22328 22331 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11989314 24240128 108 18446744073709551615 4194304 4338465 140732931902752 140732931900392 139787825099479 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 19972096 140732931907693 140732931908166 140732931908166 140732931911626 0
/proc/22331/statm: 5918 108 54 36 0 2156 0
[startup+0.100169 s]
/proc/loadavg: 1.70 1.57 1.52 4/194 22331
/proc/meminfo: memFree=30774704/32770624 swapFree=0/944816
[pid=22331] ppid=22328 vsize=13440536 CPUtime=0.01 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 3762 0 0 0 1 0 0 0 20 0 7 0 11989314 13763108864 3923 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3360134 3923 2000 1 0 3349639 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13440536
[startup+0.201997 s]
/proc/loadavg: 1.70 1.57 1.52 4/194 22331
/proc/meminfo: memFree=30774704/32770624 swapFree=0/944816
[pid=22331] ppid=22328 vsize=13973048 CPUtime=0.06 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 5858 0 0 0 5 1 0 0 20 0 15 0 11989314 14308401152 5577 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3493262 5577 2589 1 0 3482767 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13973048
[startup+0.300275 s]
/proc/loadavg: 1.70 1.57 1.52 4/194 22331
/proc/meminfo: memFree=30774704/32770624 swapFree=0/944816
[pid=22331] ppid=22328 vsize=13975920 CPUtime=0.23 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 10103 0 0 0 20 3 0 0 20 0 15 0 11989314 14311342080 9892 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3493980 9892 3535 1 0 3482767 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13975920
[startup+0.91634 s]
/proc/loadavg: 1.70 1.57 1.52 4/194 22331
/proc/meminfo: memFree=30774704/32770624 swapFree=0/944816
[pid=22331] ppid=22328 vsize=13980036 CPUtime=1.62 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 16553 0 0 0 156 6 0 0 20 0 15 0 11989314 14315556864 21857 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3495009 21857 3744 1 0 3483791 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 13980036
[startup+1.5002 s]
/proc/loadavg: 1.70 1.57 1.52 4/194 22331
/proc/meminfo: memFree=30774704/32770624 swapFree=0/944816
[pid=22331] ppid=22328 vsize=13982084 CPUtime=3.3 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 31406 0 0 0 320 10 0 0 20 0 15 0 11989314 14317654016 42848 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3495521 42848 3758 1 0 3484303 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 13982084
[startup+3.10281 s]
/proc/loadavg: 2.13 1.66 1.55 3/209 22346
/proc/meminfo: memFree=30285560/32770624 swapFree=0/944832
[pid=22331] ppid=22328 vsize=13982084 CPUtime=7.18 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 36377 0 0 0 701 17 0 0 20 0 15 0 11989314 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3495521 94702 3794 1 0 3484303 0
[pid=22331/tid=22333] ppid=22328 vsize=13982084 CPUtime=2.88 cores=0,2,4,6
/proc/22331/task/22333/stat : 22333 (java) R 22328 22331 5678 0 -1 4202560 16328 0 0 0 279 9 0 0 20 0 15 0 11989321 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716753102760 139716386187412 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22334] ppid=22328 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/22331/task/22334/stat : 22334 (java) S 22328 22331 5678 0 -1 1077944384 463 0 0 0 2 1 0 0 20 0 15 0 11989322 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716705831696 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22335] ppid=22328 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/22331/task/22335/stat : 22335 (java) S 22328 22331 5678 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 11989322 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716704779152 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22336] ppid=22328 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/22331/task/22336/stat : 22336 (java) S 22328 22331 5678 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 11989322 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716703726608 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22337] ppid=22328 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/22331/task/22337/stat : 22337 (java) S 22328 22331 5678 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 15 0 11989322 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716702674064 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22338] ppid=22328 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/22331/task/22338/stat : 22338 (java) S 22328 22331 5678 0 -1 1077944384 807 0 0 0 1 0 0 0 20 0 15 0 11989323 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716294498288 139716748876418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22339] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22339/stat : 22339 (java) S 22328 22331 5678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716225655776 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22340] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22340/stat : 22340 (java) S 22328 22331 5678 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716224603136 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22341] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22341/stat : 22341 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716223551696 139716748883867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22342] ppid=22328 vsize=13982084 CPUtime=1.63 cores=0,2,4,6
/proc/22331/task/22342/stat : 22342 (java) S 22328 22331 5678 0 -1 1077944384 5055 0 0 0 163 0 0 0 20 0 15 0 11989327 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716222499312 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22343] ppid=22328 vsize=13982084 CPUtime=1.63 cores=0,2,4,6
/proc/22331/task/22343/stat : 22343 (java) R 22328 22331 5678 0 -1 4202560 4473 0 0 0 162 1 0 0 20 0 15 0 11989327 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716221434448 139716732362000 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22344] ppid=22328 vsize=13982084 CPUtime=0.87 cores=0,2,4,6
/proc/22331/task/22344/stat : 22344 (java) R 22328 22331 5678 0 -1 4202560 7697 0 0 0 86 1 0 0 20 0 15 0 11989327 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716220394224 139716748886618 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22345] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22345/stat : 22345 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716219341920 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22346] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22346/stat : 22346 (java) S 22328 22331 5678 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 11989333 14317654016 94702 18446744073709551615 4194304 4196468 140732230777488 139716218288432 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 13982084
[startup+6.30071 s]
/proc/loadavg: 2.20 1.68 1.56 3/209 22346
/proc/meminfo: memFree=29714248/32770624 swapFree=0/944832
[pid=22331] ppid=22328 vsize=13982084 CPUtime=11.62 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 37394 0 0 0 1136 26 0 0 20 0 15 0 11989314 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3495521 201761 3802 1 0 3484303 0
[pid=22331/tid=22333] ppid=22328 vsize=13982084 CPUtime=6.04 cores=0,2,4,6
/proc/22331/task/22333/stat : 22333 (java) R 22328 22331 5678 0 -1 4202560 16540 0 0 0 589 15 0 0 20 0 15 0 11989321 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716753099536 139716386695427 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22334] ppid=22328 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/22331/task/22334/stat : 22334 (java) S 22328 22331 5678 0 -1 1077944384 479 0 0 0 4 1 0 0 20 0 15 0 11989322 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716705831696 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22335] ppid=22328 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/22331/task/22335/stat : 22335 (java) S 22328 22331 5678 0 -1 1077944384 57 0 0 0 3 1 0 0 20 0 15 0 11989322 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716704779152 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22336] ppid=22328 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/22331/task/22336/stat : 22336 (java) S 22328 22331 5678 0 -1 1077944384 53 0 0 0 3 1 0 0 20 0 15 0 11989322 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716703726608 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22337] ppid=22328 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/22331/task/22337/stat : 22337 (java) S 22328 22331 5678 0 -1 1077944384 70 0 0 0 3 1 0 0 20 0 15 0 11989322 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716702674064 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22338] ppid=22328 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/22331/task/22338/stat : 22338 (java) S 22328 22331 5678 0 -1 1077944384 1057 0 0 0 2 0 0 0 20 0 15 0 11989323 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716294498288 139716748876418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22339] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22339/stat : 22339 (java) S 22328 22331 5678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716225655776 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22340] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22340/stat : 22340 (java) S 22328 22331 5678 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716224603136 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22341] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22341/stat : 22341 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716223551696 139716748883867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22342] ppid=22328 vsize=13982084 CPUtime=2.06 cores=0,2,4,6
/proc/22331/task/22342/stat : 22342 (java) R 22328 22331 5678 0 -1 4202560 5158 0 0 0 206 0 0 0 20 0 15 0 11989327 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716222499312 139716733764948 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22343] ppid=22328 vsize=13982084 CPUtime=2.25 cores=0,2,4,6
/proc/22331/task/22343/stat : 22343 (java) S 22328 22331 5678 0 -1 1077944384 4596 0 0 0 224 1 0 0 20 0 15 0 11989327 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716221446768 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22344] ppid=22328 vsize=13982084 CPUtime=0.97 cores=0,2,4,6
/proc/22331/task/22344/stat : 22344 (java) S 22328 22331 5678 0 -1 1077944384 7946 0 0 0 96 1 0 0 20 0 15 0 11989327 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716220394224 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22345] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22345/stat : 22345 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716219341920 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22346] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22346/stat : 22346 (java) S 22328 22331 5678 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 11989333 14317654016 201761 18446744073709551615 4194304 4196468 140732230777488 139716218288432 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
Current children cumulated CPU time (s) 11.62
Current children cumulated vsize (KiB) 13982084
[startup+12.7065 s]
/proc/loadavg: 2.18 1.69 1.56 3/209 22346
/proc/meminfo: memFree=27671224/32770624 swapFree=0/944848
[pid=22331] ppid=22328 vsize=13982084 CPUtime=18.57 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 39384 0 0 0 1809 48 0 0 20 0 15 0 11989314 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3495521 543273 3806 1 0 3484303 0
[pid=22331/tid=22333] ppid=22328 vsize=13982084 CPUtime=12.43 cores=0,2,4,6
/proc/22331/task/22333/stat : 22333 (java) R 22328 22331 5678 0 -1 4202560 17821 0 0 0 1208 35 0 0 20 0 15 0 11989321 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716753102456 139716386586908 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22334] ppid=22328 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/22331/task/22334/stat : 22334 (java) S 22328 22331 5678 0 -1 1077944384 500 0 0 0 5 2 0 0 20 0 15 0 11989322 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716705831696 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22335] ppid=22328 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/22331/task/22335/stat : 22335 (java) S 22328 22331 5678 0 -1 1077944384 73 0 0 0 4 1 0 0 20 0 15 0 11989322 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716704779152 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22336] ppid=22328 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/22331/task/22336/stat : 22336 (java) S 22328 22331 5678 0 -1 1077944384 73 0 0 0 4 2 0 0 20 0 15 0 11989322 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716703726608 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22337] ppid=22328 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/22331/task/22337/stat : 22337 (java) S 22328 22331 5678 0 -1 1077944384 86 0 0 0 4 1 0 0 20 0 15 0 11989322 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716702674064 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22338] ppid=22328 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/22331/task/22338/stat : 22338 (java) S 22328 22331 5678 0 -1 1077944384 1564 0 0 0 2 0 0 0 20 0 15 0 11989323 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716294498288 139716748876418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22339] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22339/stat : 22339 (java) S 22328 22331 5678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716225655776 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22340] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22340/stat : 22340 (java) S 22328 22331 5678 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716224603136 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22341] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22341/stat : 22341 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716223551696 139716748883867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22342] ppid=22328 vsize=13982084 CPUtime=2.29 cores=0,2,4,6
/proc/22331/task/22342/stat : 22342 (java) S 22328 22331 5678 0 -1 1077944384 5205 0 0 0 229 0 0 0 20 0 15 0 11989327 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716222499312 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22343] ppid=22328 vsize=13982084 CPUtime=2.48 cores=0,2,4,6
/proc/22331/task/22343/stat : 22343 (java) S 22328 22331 5678 0 -1 1077944384 4640 0 0 0 247 1 0 0 20 0 15 0 11989327 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716221446768 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22344] ppid=22328 vsize=13982084 CPUtime=1.01 cores=0,2,4,6
/proc/22331/task/22344/stat : 22344 (java) S 22328 22331 5678 0 -1 1077944384 7984 0 0 0 100 1 0 0 20 0 15 0 11989327 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716220394224 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22345] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22345/stat : 22345 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716219341920 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22346] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22346/stat : 22346 (java) S 22328 22331 5678 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 11989333 14317654016 543273 18446744073709551615 4194304 4196468 140732230777488 139716218288432 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
Current children cumulated CPU time (s) 18.57
Current children cumulated vsize (KiB) 13982084
[startup+25.5007 s]
/proc/loadavg: 2.08 1.68 1.56 3/209 22346
/proc/meminfo: memFree=26693032/32770624 swapFree=0/944856
[pid=22331] ppid=22328 vsize=13982084 CPUtime=31.67 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 45480 0 0 0 3117 50 0 0 20 0 15 0 11989314 14317654016 532956 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3495521 532956 3806 1 0 3484303 0
[pid=22331/tid=22333] ppid=22328 vsize=13982084 CPUtime=25.2 cores=0,2,4,6
/proc/22331/task/22333/stat : 22333 (java) R 22328 22331 5678 0 -1 4202560 19765 0 0 0 2485 35 0 0 20 0 15 0 11989321 14317654016 532956 18446744073709551615 4194304 4196468 140732230777488 139716753100096 139716386761808 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22334] ppid=22328 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/22331/task/22334/stat : 22334 (java) S 22328 22331 5678 0 -1 1077944384 568 0 0 0 6 2 0 0 20 0 15 0 11989322 14317654016 532956 18446744073709551615 4194304 4196468 140732230777488 139716705831696 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22335] ppid=22328 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/22331/task/22335/stat : 22335 (java) S 22328 22331 5678 0 -1 1077944384 109 0 0 0 6 1 0 0 20 0 15 0 11989322 14317654016 532956 18446744073709551615 4194304 4196468 140732230777488 139716704779152 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22336] ppid=22328 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/22331/task/22336/stat : 22336 (java) S 22328 22331 5678 0 -1 1077944384 155 0 0 0 5 2 0 0 20 0 15 0 11989322 14317654016 532956 18446744073709551615 4194304 4196468 140732230777488 139716703726608 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22337] ppid=22328 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
/proc/22331/task/22345/stat : 22345 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 484470 18446744073709551615 4194304 4196468 140732230777488 139716219341920 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22346] ppid=22328 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/22331/task/22346/stat : 22346 (java) S 22328 22331 5678 0 -1 1077944384 300 0 0 0 3 3 0 0 20 0 15 0 11989333 14317654016 484470 18446744073709551615 4194304 4196468 140732230777488 139716218288432 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
Current children cumulated CPU time (s) 110.07
Current children cumulated vsize (KiB) 13982084
[startup+162.306 s]
/proc/loadavg: 1.73 1.66 1.57 3/209 22350
/proc/meminfo: memFree=26155308/32770624 swapFree=0/944956
[pid=22331] ppid=22328 vsize=13982084 CPUtime=171.69 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 78506 0 0 0 17090 79 0 0 20 0 15 0 11989314 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3495521 481123 3807 1 0 3484303 0
[pid=22331/tid=22333] ppid=22328 vsize=13982084 CPUtime=160.72 cores=0,2,4,6
/proc/22331/task/22333/stat : 22333 (java) R 22328 22331 5678 0 -1 4202560 26093 0 0 0 16036 36 0 0 20 0 15 0 11989321 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716753102624 139716388558407 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22334] ppid=22328 vsize=13982084 CPUtime=0.94 cores=0,2,4,6
/proc/22331/task/22334/stat : 22334 (java) S 22328 22331 5678 0 -1 1077944384 1904 0 0 0 87 7 0 0 20 0 15 0 11989322 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716705831696 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22335] ppid=22328 vsize=13982084 CPUtime=0.94 cores=0,2,4,6
/proc/22331/task/22335/stat : 22335 (java) S 22328 22331 5678 0 -1 1077944384 1549 0 0 0 88 6 0 0 20 0 15 0 11989322 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716704779152 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22336] ppid=22328 vsize=13982084 CPUtime=0.95 cores=0,2,4,6
/proc/22331/task/22336/stat : 22336 (java) S 22328 22331 5678 0 -1 1077944384 1320 0 0 0 87 8 0 0 20 0 15 0 11989322 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716703726608 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22337] ppid=22328 vsize=13982084 CPUtime=0.93 cores=0,2,4,6
/proc/22331/task/22337/stat : 22337 (java) S 22328 22331 5678 0 -1 1077944384 1827 0 0 0 86 7 0 0 20 0 15 0 11989322 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716702674064 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22338] ppid=22328 vsize=13982084 CPUtime=0.3 cores=0,2,4,6
/proc/22331/task/22338/stat : 22338 (java) S 22328 22331 5678 0 -1 1077944384 2803 0 0 0 25 5 0 0 20 0 15 0 11989323 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716294498288 139716748876418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22339] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22339/stat : 22339 (java) S 22328 22331 5678 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716225655776 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22340] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22340/stat : 22340 (java) S 22328 22331 5678 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716224603136 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22341] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22341/stat : 22341 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716223551696 139716748883867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22342] ppid=22328 vsize=13982084 CPUtime=2.75 cores=0,2,4,6
/proc/22331/task/22342/stat : 22342 (java) S 22328 22331 5678 0 -1 1077944384 13269 0 0 0 274 1 0 0 20 0 15 0 11989327 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716222499312 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22343] ppid=22328 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/22331/task/22343/stat : 22343 (java) S 22328 22331 5678 0 -1 1077944384 13969 0 0 0 288 1 0 0 20 0 15 0 11989327 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716221446768 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22344] ppid=22328 vsize=13982084 CPUtime=1.08 cores=0,2,4,6
/proc/22331/task/22344/stat : 22344 (java) S 22328 22331 5678 0 -1 1077944384 13675 0 0 0 106 2 0 0 20 0 15 0 11989327 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716220394224 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22345] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22345/stat : 22345 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716219341920 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22346] ppid=22328 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/22331/task/22346/stat : 22346 (java) S 22328 22331 5678 0 -1 1077944384 668 0 0 0 5 5 0 0 20 0 15 0 11989333 14317654016 481123 18446744073709551615 4194304 4196468 140732230777488 139716218288432 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
Current children cumulated CPU time (s) 171.69
Current children cumulated vsize (KiB) 13982084
[startup+222.301 s]
/proc/loadavg: 1.52 1.60 1.55 3/209 22352
/proc/meminfo: memFree=26213408/32770624 swapFree=0/944976
[pid=22331] ppid=22328 vsize=13982084 CPUtime=233.23 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 91710 0 0 0 23229 94 0 0 20 0 15 0 11989314 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3495521 474755 3807 1 0 3484303 0
[pid=22331/tid=22333] ppid=22328 vsize=13982084 CPUtime=220.04 cores=0,2,4,6
/proc/22331/task/22333/stat : 22333 (java) R 22328 22331 5678 0 -1 4202560 28849 0 0 0 21967 37 0 0 20 0 15 0 11989321 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716753102752 139716386761976 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22334] ppid=22328 vsize=13982084 CPUtime=1.41 cores=0,2,4,6
/proc/22331/task/22334/stat : 22334 (java) S 22328 22331 5678 0 -1 1077944384 3138 0 0 0 131 10 0 0 20 0 15 0 11989322 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716705831696 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22335] ppid=22328 vsize=13982084 CPUtime=1.4 cores=0,2,4,6
/proc/22331/task/22335/stat : 22335 (java) S 22328 22331 5678 0 -1 1077944384 1941 0 0 0 132 8 0 0 20 0 15 0 11989322 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716704779152 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22336] ppid=22328 vsize=13982084 CPUtime=1.41 cores=0,2,4,6
/proc/22331/task/22336/stat : 22336 (java) S 22328 22331 5678 0 -1 1077944384 1583 0 0 0 131 10 0 0 20 0 15 0 11989322 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716703726608 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22337] ppid=22328 vsize=13982084 CPUtime=1.4 cores=0,2,4,6
/proc/22331/task/22337/stat : 22337 (java) S 22328 22331 5678 0 -1 1077944384 2686 0 0 0 130 10 0 0 20 0 15 0 11989322 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716702674064 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22338] ppid=22328 vsize=13982084 CPUtime=0.45 cores=0,2,4,6
/proc/22331/task/22338/stat : 22338 (java) S 22328 22331 5678 0 -1 1077944384 3305 0 0 0 37 8 0 0 20 0 15 0 11989323 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716294498288 139716748876418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22339] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22339/stat : 22339 (java) S 22328 22331 5678 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716225655776 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22340] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22340/stat : 22340 (java) S 22328 22331 5678 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716224603136 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22341] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22341/stat : 22341 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716223551696 139716748883867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22342] ppid=22328 vsize=13982084 CPUtime=2.81 cores=0,2,4,6
/proc/22331/task/22342/stat : 22342 (java) S 22328 22331 5678 0 -1 1077944384 16307 0 0 0 280 1 0 0 20 0 15 0 11989327 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716222499312 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22343] ppid=22328 vsize=13982084 CPUtime=2.97 cores=0,2,4,6
/proc/22331/task/22343/stat : 22343 (java) S 22328 22331 5678 0 -1 1077944384 17469 0 0 0 295 2 0 0 20 0 15 0 11989327 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716221446768 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22344] ppid=22328 vsize=13982084 CPUtime=1.09 cores=0,2,4,6
/proc/22331/task/22344/stat : 22344 (java) S 22328 22331 5678 0 -1 1077944384 14297 0 0 0 107 2 0 0 20 0 15 0 11989327 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716220394224 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22345] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22345/stat : 22345 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716219341920 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22346] ppid=22328 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/22331/task/22346/stat : 22346 (java) S 22328 22331 5678 0 -1 1077944384 706 0 0 0 7 6 0 0 20 0 15 0 11989333 14317654016 474755 18446744073709551615 4194304 4196468 140732230777488 139716218288432 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
Current children cumulated CPU time (s) 233.23
Current children cumulated vsize (KiB) 13982084
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.72 1.64 1.57 3/203 22424
/proc/meminfo: memFree=29199980/32770624 swapFree=0/945028
[pid=22331] ppid=22328 vsize=13982084 CPUtime=251.38 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 96017 0 0 0 25041 97 0 0 20 0 15 0 11989314 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3495521 470426 3816 1 0 3484303 0
[pid=22331/tid=22333] ppid=22328 vsize=13982084 CPUtime=237.59 cores=0,2,4,6
/proc/22331/task/22333/stat : 22333 (java) R 22328 22331 5678 0 -1 4202560 29562 0 0 0 23722 37 0 0 20 0 15 0 11989321 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716753103792 139716384747624 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22334] ppid=22328 vsize=13982084 CPUtime=1.51 cores=0,2,4,6
/proc/22331/task/22334/stat : 22334 (java) S 22328 22331 5678 0 -1 1077944384 3158 0 0 0 141 10 0 0 20 0 15 0 11989322 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716705831696 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22335] ppid=22328 vsize=13982084 CPUtime=1.51 cores=0,2,4,6
/proc/22331/task/22335/stat : 22335 (java) S 22328 22331 5678 0 -1 1077944384 2041 0 0 0 142 9 0 0 20 0 15 0 11989322 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716704779152 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22336] ppid=22328 vsize=13982084 CPUtime=1.51 cores=0,2,4,6
/proc/22331/task/22336/stat : 22336 (java) S 22328 22331 5678 0 -1 1077944384 1613 0 0 0 141 10 0 0 20 0 15 0 11989322 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716703726608 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22337] ppid=22328 vsize=13982084 CPUtime=1.51 cores=0,2,4,6
/proc/22331/task/22337/stat : 22337 (java) S 22328 22331 5678 0 -1 1077944384 2713 0 0 0 140 11 0 0 20 0 15 0 11989322 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716702674064 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22338] ppid=22328 vsize=13982084 CPUtime=0.47 cores=0,2,4,6
/proc/22331/task/22338/stat : 22338 (java) S 22328 22331 5678 0 -1 1077944384 3316 0 0 0 39 8 0 0 20 0 15 0 11989323 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716294498288 139716748876418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22339] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22339/stat : 22339 (java) S 22328 22331 5678 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716225655776 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22340] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22340/stat : 22340 (java) S 22328 22331 5678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716224603136 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22341] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22341/stat : 22341 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716223551696 139716748883867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22342] ppid=22328 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/22331/task/22342/stat : 22342 (java) S 22328 22331 5678 0 -1 1077944384 17706 0 0 0 288 1 0 0 20 0 15 0 11989327 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716222499312 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22343] ppid=22328 vsize=13982084 CPUtime=3.05 cores=0,2,4,6
/proc/22331/task/22343/stat : 22343 (java) S 22328 22331 5678 0 -1 1077944384 19357 0 0 0 303 2 0 0 20 0 15 0 11989327 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716221446768 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22344] ppid=22328 vsize=13982084 CPUtime=1.09 cores=0,2,4,6
/proc/22331/task/22344/stat : 22344 (java) S 22328 22331 5678 0 -1 1077944384 14403 0 0 0 107 2 0 0 20 0 15 0 11989327 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716220394224 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22345] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22345/stat : 22345 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716219341920 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22346] ppid=22328 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/22331/task/22346/stat : 22346 (java) S 22328 22331 5678 0 -1 1077944384 706 0 0 0 8 7 0 0 20 0 15 0 11989333 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716218288432 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
Current children cumulated CPU time (s) 251.38
Current children cumulated vsize (KiB) 13982084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22331 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.001 s]
/proc/loadavg: 1.72 1.64 1.57 3/203 22424
/proc/meminfo: memFree=29199980/32770624 swapFree=0/945028
[pid=22331] ppid=22328 vsize=13982084 CPUtime=251.38 cores=0,2,4,6
/proc/22331/stat : 22331 (java) S 22328 22331 5678 0 -1 1077944320 96017 0 0 0 25041 97 0 0 20 0 15 0 11989314 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 140732230760032 139716748865271 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
/proc/22331/statm: 3495521 470426 3816 1 0 3484303 0
[pid=22331/tid=22333] ppid=22328 vsize=13982084 CPUtime=237.59 cores=0,2,4,6
/proc/22331/task/22333/stat : 22333 (java) R 22328 22331 5678 0 -1 4202560 29562 0 0 0 23722 37 0 0 20 0 15 0 11989321 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716753103792 139716384747624 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22334] ppid=22328 vsize=13982084 CPUtime=1.51 cores=0,2,4,6
/proc/22331/task/22334/stat : 22334 (java) S 22328 22331 5678 0 -1 1077944384 3158 0 0 0 141 10 0 0 20 0 15 0 11989322 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716705831696 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22335] ppid=22328 vsize=13982084 CPUtime=1.51 cores=0,2,4,6
/proc/22331/task/22335/stat : 22335 (java) S 22328 22331 5678 0 -1 1077944384 2041 0 0 0 142 9 0 0 20 0 15 0 11989322 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716704779152 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22336] ppid=22328 vsize=13982084 CPUtime=1.51 cores=0,2,4,6
/proc/22331/task/22336/stat : 22336 (java) S 22328 22331 5678 0 -1 1077944384 1613 0 0 0 141 10 0 0 20 0 15 0 11989322 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716703726608 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22337] ppid=22328 vsize=13982084 CPUtime=1.51 cores=0,2,4,6
/proc/22331/task/22337/stat : 22337 (java) S 22328 22331 5678 0 -1 1077944384 2713 0 0 0 140 11 0 0 20 0 15 0 11989322 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716702674064 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22338] ppid=22328 vsize=13982084 CPUtime=0.47 cores=0,2,4,6
/proc/22331/task/22338/stat : 22338 (java) S 22328 22331 5678 0 -1 1077944384 3316 0 0 0 39 8 0 0 20 0 15 0 11989323 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716294498288 139716748876418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22339] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22339/stat : 22339 (java) S 22328 22331 5678 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716225655776 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22340] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22340/stat : 22340 (java) S 22328 22331 5678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11989324 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716224603136 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22341] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22341/stat : 22341 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716223551696 139716748883867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22342] ppid=22328 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/22331/task/22342/stat : 22342 (java) S 22328 22331 5678 0 -1 1077944384 17706 0 0 0 288 1 0 0 20 0 15 0 11989327 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716222499312 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22343] ppid=22328 vsize=13982084 CPUtime=3.05 cores=0,2,4,6
/proc/22331/task/22343/stat : 22343 (java) S 22328 22331 5678 0 -1 1077944384 19357 0 0 0 303 2 0 0 20 0 15 0 11989327 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716221446768 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22344] ppid=22328 vsize=13982084 CPUtime=1.09 cores=0,2,4,6
/proc/22331/task/22344/stat : 22344 (java) S 22328 22331 5678 0 -1 1077944384 14403 0 0 0 107 2 0 0 20 0 15 0 11989327 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716220394224 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22345] ppid=22328 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22331/task/22345/stat : 22345 (java) S 22328 22331 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11989327 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716219341920 139716748875477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
[pid=22331/tid=22346] ppid=22328 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/22331/task/22346/stat : 22346 (java) S 22328 22331 5678 0 -1 1077944384 706 0 0 0 8 7 0 0 20 0 15 0 11989333 14317654016 470426 18446744073709551615 4194304 4196468 140732230777488 139716218288432 139716748876418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6832128 140732230779288 140732230779467 140732230779467 140732230782927 0
Current children cumulated CPU time (s) 251.38
Current children cumulated vsize (KiB) 13982084
Child status: 143
Real time (s): 240.023
CPU time (s): 251.413
CPU user time (s): 250.427
CPU system time (s): 0.986235
CPU usage (%): 104.746
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.427
system time used= 0.986235
maximum resident set size= 2175140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20326
involuntary context switches= 763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03913 second user time and 1.50673 second system time
The end