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 (14573 MiB free)
memory of node 1: 16384 MiB (13326 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400827-1568686610/watcher-4400827-1568686610 -o /tmp/evaluation-result-4400827-1568686610/solver-4400827-1568686610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568673289-32268 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1917960574 HOME/instance-4400827-1568686610.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3251, runsolver pid=3248
[startup+0.102078 s]*
/proc/loadavg: 1.17 1.32 1.34 3/218 3308
/proc/meminfo: memFree=28560776/32770624 swapFree=66958320/67108860
[pid=3251] ppid=3248 vsize=9972712 memory=16908 CPUtime=0.09 cores=1,3,5,7
/proc/3251/stat : 3251 (java) S 3248 3251 32236 0 -1 1077944320 4501 13412 0 0 1 0 5 3 20 0 6 0 444597542 10212057088 4227 33554432000 4194304 4196468 140721721556976 140721721539520 139807769947895 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
/proc/3251/statm: 2493178 4227 1935 1 0 2481616 0
[pid=3251/tid=3304] ppid=3248 vsize=9972712 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/3251/task/3304/stat : 3304 (java) R 3248 3251 32236 0 -1 4202560 2356 13412 0 0 1 0 5 3 20 0 6 0 444597551 10212057088 4293 33554432000 4194304 4196468 140721721556976 139807741784656 139807769969821 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3305] ppid=3248 vsize=9972712 memory=7948963741541478447 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3305/stat : 3305 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 6 0 444597552 10212057088 4293 33554432000 4194304 4196468 140721721556976 139807774190352 139807769958101 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3306] ppid=3248 vsize=9972712 memory=140697987114624 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3306/stat : 3306 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 6 0 444597552 10212057088 4359 33554432000 4194304 4196468 140721721556976 139807343586192 139807769958101 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3307] ppid=3248 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3307/stat : 3307 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 6 0 444597552 10212057088 4359 33554432000 4194304 4196468 140721721556976 139807342533648 139807769958101 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3308] ppid=3248 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3308/stat : 3308 (java) S 3248 3251 32236 0 -1 1077944384 2 13412 0 0 0 0 5 3 20 0 6 0 444597552 10212057088 4359 33554432000 4194304 4196468 140721721556976 139807341481104 139807769958101 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16908 KiB
[startup+0.210759 s]*
/proc/loadavg: 1.17 1.32 1.34 3/227 3317
/proc/meminfo: memFree=28539896/32770624 swapFree=66958320/67108860
[pid=3251] ppid=3248 vsize=10819856 memory=43984 CPUtime=0.27 cores=1,3,5,7
/proc/3251/stat : 3251 (java) S 3248 3251 32236 0 -1 1077944320 7479 13412 0 0 17 2 5 3 20 0 15 0 444597542 11079532544 10996 33554432000 4194304 4196468 140721721556976 140721721539520 139807769947895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
/proc/3251/statm: 2704964 10996 3186 1 0 2667149 0
[pid=3251/tid=3304] ppid=3248 vsize=10820164 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/3251/task/3304/stat : 3304 (java) R 3248 3251 32236 0 -1 4202560 4058 13412 0 0 11 0 5 3 20 0 15 0 444597551 11079847936 11062 33554432000 4194304 4196468 140721721556976 139807741741952 139807625805421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3305] ppid=3248 vsize=10820164 memory=4294967638 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3305/stat : 3305 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597552 11079847936 11062 33554432000 4194304 4196468 140721721556976 139807774190352 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3306] ppid=3248 vsize=10820164 memory=288371074138826368 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3306/stat : 3306 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597552 11079847936 11062 33554432000 4194304 4196468 140721721556976 139807343586192 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3307] ppid=3248 vsize=10820164 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3307/stat : 3307 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597552 11079847936 11062 33554432000 4194304 4196468 140721721556976 139807342533648 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3308] ppid=3248 vsize=10820164 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3308/stat : 3308 (java) S 3248 3251 32236 0 -1 1077944384 2 13412 0 0 0 0 5 3 20 0 15 0 444597552 11079847936 11062 33554432000 4194304 4196468 140721721556976 139807341481104 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3309] ppid=3248 vsize=10820164 memory=140697987114624 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3309/stat : 3309 (java) S 3248 3251 32236 0 -1 1077944384 2 13412 0 0 0 0 5 3 20 0 15 0 444597554 11079847936 11062 33554432000 4194304 4196468 140721721556976 139807296530416 139807769959042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3310] ppid=3248 vsize=10820164 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3310/stat : 3310 (java) S 3248 3251 32236 0 -1 1077944384 13 13412 0 0 0 0 5 3 20 0 15 0 444597554 11079847936 11062 33554432000 4194304 4196468 140721721556976 139806688404384 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3311] ppid=3248 vsize=10820164 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3311/stat : 3311 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597554 11079847936 11062 33554432000 4194304 4196468 140721721556976 139806554186736 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3312] ppid=3248 vsize=10820164 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3312/stat : 3312 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11079847936 11062 33554432000 4194304 4196468 140721721556976 139806313896144 139807769966491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3313] ppid=3248 vsize=10820176 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3251/task/3313/stat : 3313 (java) R 3248 3251 32236 0 -1 4202560 501 13412 0 0 1 0 5 3 20 0 15 0 444597557 11079860224 11062 33554432000 4194304 4196468 140721721556976 139807295478256 139807762932937 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3314] ppid=3248 vsize=10820176 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3314/stat : 3314 (java) S 3248 3251 32236 0 -1 1077944384 178 13412 0 0 0 0 5 3 20 0 15 0 444597557 11079860224 11062 33554432000 4194304 4196468 140721721556976 139807294425712 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3315] ppid=3248 vsize=10820176 memory=140697987114624 CPUtime=0.11 cores=1,3,5,7
/proc/3251/task/3315/stat : 3315 (java) S 3248 3251 32236 0 -1 1077944384 591 13412 0 0 3 0 5 3 20 0 15 0 444597557 11079860224 11062 33554432000 4194304 4196468 140721721556976 139806769146608 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3316] ppid=3248 vsize=10820176 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3316/stat : 3316 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11079860224 11062 33554432000 4194304 4196468 140721721556976 139806280338528 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3317] ppid=3248 vsize=10820184 memory=140697987114624 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3317/stat : 3317 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597558 11079868416 11062 33554432000 4194304 4196468 140721721556976 139806768093488 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819856 KiB
Current children cumulated memory: 43984 KiB
[startup+0.310682 s]*
/proc/loadavg: 1.17 1.32 1.34 3/227 3317
/proc/meminfo: memFree=28528824/32770624 swapFree=66958320/67108860
[pid=3251] ppid=3248 vsize=10820196 memory=52792 CPUtime=0.4 cores=1,3,5,7
/proc/3251/stat : 3251 (java) S 3248 3251 32236 0 -1 1077944320 10915 13412 0 0 28 4 5 3 20 0 15 0 444597542 11079880704 13198 33554432000 4194304 4196468 140721721556976 140721721539520 139807769947895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
/proc/3251/statm: 2705049 13198 3309 1 0 2667149 0
[pid=3251/tid=3304] ppid=3248 vsize=10820196 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/3251/task/3304/stat : 3304 (java) R 3248 3251 32236 0 -1 4202560 7400 13412 0 0 19 2 5 3 20 0 15 0 444597551 11079880704 13198 33554432000 4194304 4196468 140721721556976 139807741753264 139807754028382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3305] ppid=3248 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3305/stat : 3305 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597552 11079880704 13198 33554432000 4194304 4196468 140721721556976 139807774190352 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3306] ppid=3248 vsize=10820196 memory=-2843873993364718750 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3306/stat : 3306 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597552 11079880704 13198 33554432000 4194304 4196468 140721721556976 139807343586192 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3307] ppid=3248 vsize=10820196 memory=-8412656567334364540 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3307/stat : 3307 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597552 11079880704 13198 33554432000 4194304 4196468 140721721556976 139807342533648 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3308] ppid=3248 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3308/stat : 3308 (java) S 3248 3251 32236 0 -1 1077944384 2 13412 0 0 0 0 5 3 20 0 15 0 444597552 11079880704 13198 33554432000 4194304 4196468 140721721556976 139807341481104 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3309] ppid=3248 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3309/stat : 3309 (java) S 3248 3251 32236 0 -1 1077944384 2 13412 0 0 0 0 5 3 20 0 15 0 444597554 11079880704 13198 33554432000 4194304 4196468 140721721556976 139807296530416 139807769959042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3310] ppid=3248 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3310/stat : 3310 (java) S 3248 3251 32236 0 -1 1077944384 13 13412 0 0 0 0 5 3 20 0 15 0 444597554 11079880704 13198 33554432000 4194304 4196468 140721721556976 139806688404384 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3311] ppid=3248 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3311/stat : 3311 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597554 11079880704 13198 33554432000 4194304 4196468 140721721556976 139806554186736 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3312] ppid=3248 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3312/stat : 3312 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11079880704 13198 33554432000 4194304 4196468 140721721556976 139806313896144 139807769966491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3313] ppid=3248 vsize=10820196 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/3251/task/3313/stat : 3313 (java) S 3248 3251 32236 0 -1 1077944384 511 13412 0 0 3 0 5 3 20 0 15 0 444597557 11079880704 13198 33554432000 4194304 4196468 140721721556976 139807295478256 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3314] ppid=3248 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3251/task/3314/stat : 3314 (java) S 3248 3251 32236 0 -1 1077944384 178 13412 0 0 1 0 5 3 20 0 15 0 444597557 11079880704 13198 33554432000 4194304 4196468 140721721556976 139807294425712 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3315] ppid=3248 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/3251/task/3315/stat : 3315 (java) S 3248 3251 32236 0 -1 1077944384 598 13412 0 0 5 0 5 3 20 0 15 0 444597557 11079880704 13198 33554432000 4194304 4196468 140721721556976 139806769146608 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3316] ppid=3248 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3316/stat : 3316 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11079880704 13198 33554432000 4194304 4196468 140721721556976 139806280338528 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3317] ppid=3248 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3317/stat : 3317 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597558 11079880704 13198 33554432000 4194304 4196468 140721721556976 139806768093488 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52792 KiB
[startup+0.704682 s]
/proc/loadavg: 1.17 1.32 1.34 5/227 3317
/proc/meminfo: memFree=28514060/32770624 swapFree=66958320/67108860
[pid=3251] ppid=3248 vsize=10824364 memory=85684 CPUtime=1.12 cores=1,3,5,7
/proc/3251/stat : 3251 (java) S 3248 3251 32236 0 -1 1077944320 15134 13412 0 0 99 5 5 3 20 0 15 0 444597542 11084148736 21421 33554432000 4194304 4196468 140721721556976 140721721539520 139807769947895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
/proc/3251/statm: 2706091 21421 3509 1 0 2668173 0
[pid=3251/tid=3304] ppid=3248 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/3251/task/3304/stat : 3304 (java) R 3248 3251 32236 0 -1 4202560 10380 13412 0 0 55 4 5 3 20 0 15 0 444597551 11084148736 21421 33554432000 4194304 4196468 140721721556976 139807741780320 139807755642877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3305] ppid=3248 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3305/stat : 3305 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597552 11084148736 21421 33554432000 4194304 4196468 140721721556976 139807774190352 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3306] ppid=3248 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3306/stat : 3306 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597552 11084148736 21421 33554432000 4194304 4196468 140721721556976 139807343586192 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3307] ppid=3248 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3307/stat : 3307 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597552 11084148736 21421 33554432000 4194304 4196468 140721721556976 139807342533648 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3308] ppid=3248 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3308/stat : 3308 (java) S 3248 3251 32236 0 -1 1077944384 2 13412 0 0 0 0 5 3 20 0 15 0 444597552 11084148736 21421 33554432000 4194304 4196468 140721721556976 139807341481104 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3309] ppid=3248 vsize=10824364 memory=154 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3309/stat : 3309 (java) S 3248 3251 32236 0 -1 1077944384 6 13412 0 0 0 0 5 3 20 0 15 0 444597554 11084148736 21421 33554432000 4194304 4196468 140721721556976 139807296530416 139807769959042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3310] ppid=3248 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3310/stat : 3310 (java) S 3248 3251 32236 0 -1 1077944384 13 13412 0 0 0 0 5 3 20 0 15 0 444597554 11084148736 21421 33554432000 4194304 4196468 140721721556976 139806688404384 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3311] ppid=3248 vsize=10824364 memory=8458433173657106229 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3311/stat : 3311 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597554 11084148736 21421 33554432000 4194304 4196468 140721721556976 139806554186736 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3312] ppid=3248 vsize=10824364 memory=5787495302175482944 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3312/stat : 3312 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11084148736 21421 33554432000 4194304 4196468 140721721556976 139806313896144 139807769966491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3313] ppid=3248 vsize=10824364 memory=7007714649526264384 CPUtime=0.21 cores=1,3,5,7
/proc/3251/task/3313/stat : 3313 (java) R 3248 3251 32236 0 -1 4202560 1050 13412 0 0 13 0 5 3 20 0 15 0 444597557 11084148736 21421 33554432000 4194304 4196468 140721721556976 139807295478256 139807749246954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3314] ppid=3248 vsize=10824364 memory=2867664571609120 CPUtime=0.21 cores=1,3,5,7
/proc/3251/task/3314/stat : 3314 (java) R 3248 3251 32236 0 -1 4202560 673 13412 0 0 13 0 5 3 20 0 15 0 444597557 11084148736 21421 33554432000 4194304 4196468 140721721556976 139807294425712 139807753855190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3315] ppid=3248 vsize=10824364 memory=2497 CPUtime=0.25 cores=1,3,5,7
/proc/3251/task/3315/stat : 3315 (java) S 3248 3251 32236 0 -1 1077944384 794 13412 0 0 17 0 5 3 20 0 15 0 444597557 11084148736 21421 33554432000 4194304 4196468 140721721556976 139806769146608 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3316] ppid=3248 vsize=10824364 memory=281395654600256 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3316/stat : 3316 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11084148736 21421 33554432000 4194304 4196468 140721721556976 139806280338528 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3317] ppid=3248 vsize=10824364 memory=140698833650256 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3317/stat : 3317 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597558 11084148736 21421 33554432000 4194304 4196468 140721721556976 139806768093488 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85684 KiB
[startup+1.50083 s]
/proc/loadavg: 1.17 1.32 1.34 4/227 3317
/proc/meminfo: memFree=28475596/32770624 swapFree=66958320/67108860
[pid=3251] ppid=3248 vsize=10834680 memory=180528 CPUtime=2.66 cores=1,3,5,7
/proc/3251/stat : 3251 (java) S 3248 3251 32236 0 -1 1077944320 23969 13412 0 0 247 11 5 3 20 0 15 0 444597542 11094712320 45132 33554432000 4194304 4196468 140721721556976 140721721539520 139807769947895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
/proc/3251/statm: 2708670 45132 3583 1 0 2670733 0
[pid=3251/tid=3304] ppid=3248 vsize=10834680 memory=6944652177228980320 CPUtime=1.43 cores=1,3,5,7
/proc/3251/task/3304/stat : 3304 (java) R 3248 3251 32236 0 -1 4202560 15541 13412 0 0 129 6 5 3 20 0 15 0 444597551 11094712320 45132 33554432000 4194304 4196468 140721721556976 139807741779776 139807769969821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3305] ppid=3248 vsize=10834680 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/3251/task/3305/stat : 3305 (java) S 3248 3251 32236 0 -1 1077944384 329 13412 0 0 1 0 5 3 20 0 15 0 444597552 11094712320 45132 33554432000 4194304 4196468 140721721556976 139807774190352 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3306] ppid=3248 vsize=10834680 memory=4206186544037388384 CPUtime=0.09 cores=1,3,5,7
/proc/3251/task/3306/stat : 3306 (java) S 3248 3251 32236 0 -1 1077944384 61 13412 0 0 1 0 5 3 20 0 15 0 444597552 11094712320 45132 33554432000 4194304 4196468 140721721556976 139807343586192 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3307] ppid=3248 vsize=10834680 memory=6944656575208382560 CPUtime=0.09 cores=1,3,5,7
/proc/3251/task/3307/stat : 3307 (java) S 3248 3251 32236 0 -1 1077944384 32 13412 0 0 1 0 5 3 20 0 15 0 444597552 11094712320 45132 33554432000 4194304 4196468 140721721556976 139807342533648 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3308] ppid=3248 vsize=10834680 memory=6943526294502006880 CPUtime=0.09 cores=1,3,5,7
/proc/3251/task/3308/stat : 3308 (java) S 3248 3251 32236 0 -1 1077944384 86 13412 0 0 1 0 5 3 20 0 15 0 444597552 11094712320 45132 33554432000 4194304 4196468 140721721556976 139807341481104 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3309] ppid=3248 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3251/task/3309/stat : 3309 (java) S 3248 3251 32236 0 -1 1077944384 1381 13412 0 0 1 0 5 3 20 0 15 0 444597554 11094712320 45132 33554432000 4194304 4196468 140721721556976 139807296530416 139807769959042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3310] ppid=3248 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3310/stat : 3310 (java) S 3248 3251 32236 0 -1 1077944384 13 13412 0 0 0 0 5 3 20 0 15 0 444597554 11094712320 45132 33554432000 4194304 4196468 140721721556976 139806688404448 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3311] ppid=3248 vsize=10834680 memory=-7966001967407402336 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3311/stat : 3311 (java) S 3248 3251 32236 0 -1 1077944384 2 13412 0 0 0 0 5 3 20 0 15 0 444597554 11094712320 45132 33554432000 4194304 4196468 140721721556976 139806554186752 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3312] ppid=3248 vsize=10834680 memory=6944613755495348631 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3312/stat : 3312 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11094712320 45132 33554432000 4194304 4196468 140721721556976 139806313896144 139807769966491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3313] ppid=3248 vsize=10834680 memory=7100839870102598768 CPUtime=0.44 cores=1,3,5,7
/proc/3251/task/3313/stat : 3313 (java) S 3248 3251 32236 0 -1 1077944384 1725 13412 0 0 36 0 5 3 20 0 15 0 444597557 11094712320 45132 33554432000 4194304 4196468 140721721556976 139807295478256 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3314] ppid=3248 vsize=10834680 memory=4627829655977429107 CPUtime=0.39 cores=1,3,5,7
/proc/3251/task/3314/stat : 3314 (java) R 3248 3251 32236 0 -1 1077944384 1048 13412 0 0 31 0 5 3 20 0 15 0 444597557 11094712320 45132 33554432000 4194304 4196468 140721721556976 139807294425712 139807769959042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3315] ppid=3248 vsize=10834680 memory=8514726395714820750 CPUtime=0.52 cores=1,3,5,7
/proc/3251/task/3315/stat : 3315 (java) R 3248 3251 32236 0 -1 4202560 1541 13412 0 0 44 0 5 3 20 0 15 0 444597557 11094712320 45132 33554432000 4194304 4196468 140721721556976 139806769146608 139807754028382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3316] ppid=3248 vsize=10834680 memory=8940607975817108597 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3316/stat : 3316 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11094712320 45132 33554432000 4194304 4196468 140721721556976 139806280338528 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3317] ppid=3248 vsize=10834680 memory=281395654290752 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3317/stat : 3317 (java) S 3248 3251 32236 0 -1 1077944384 1 13412 0 0 0 0 5 3 20 0 15 0 444597558 11094712320 45132 33554432000 4194304 4196468 140721721556976 139806768093488 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/3251/task/3304/stat : 3304 (java) R 3248 3251 32236 0 -1 4202560 71433 13412 0 0 235445 59 5 3 20 0 15 0 444597551 11107315712 344291 33554432000 4194304 4196468 140721721556976 139807741783808 139807387490866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3305] ppid=3248 vsize=10846988 memory=1377164 CPUtime=13.11 cores=1,3,5,7
/proc/3251/task/3305/stat : 3305 (java) S 3248 3251 32236 0 -1 1077944384 14690 13412 0 0 1243 60 5 3 20 0 15 0 444597552 11107315712 344291 33554432000 4194304 4196468 140721721556976 139807774190352 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3306] ppid=3248 vsize=10846988 memory=1196 CPUtime=13.04 cores=1,3,5,7
/proc/3251/task/3306/stat : 3306 (java) S 3248 3251 32236 0 -1 1077944384 14247 13412 0 0 1232 64 5 3 20 0 15 0 444597552 11107315712 344291 33554432000 4194304 4196468 140721721556976 139807343586192 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3307] ppid=3248 vsize=10846988 memory=281395655300160 CPUtime=13.09 cores=1,3,5,7
/proc/3251/task/3307/stat : 3307 (java) S 3248 3251 32236 0 -1 1077944384 16281 13412 0 0 1237 64 5 3 20 0 15 0 444597552 11107315712 344291 33554432000 4194304 4196468 140721721556976 139807342533648 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3308] ppid=3248 vsize=10846988 memory=1377164 CPUtime=13.06 cores=1,3,5,7
/proc/3251/task/3308/stat : 3308 (java) S 3248 3251 32236 0 -1 1077944384 23392 13412 0 0 1237 61 5 3 20 0 15 0 444597552 11107315712 344291 33554432000 4194304 4196468 140721721556976 139807341481104 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3309] ppid=3248 vsize=10846988 memory=1377164 CPUtime=11.31 cores=1,3,5,7
/proc/3251/task/3309/stat : 3309 (java) S 3248 3251 32236 0 -1 1077944384 16467 13412 0 0 1059 64 5 3 20 0 15 0 444597554 11107315712 344291 33554432000 4194304 4196468 140721721556976 139807296530416 139807769959042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3310] ppid=3248 vsize=10846988 memory=1377164 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3310/stat : 3310 (java) S 3248 3251 32236 0 -1 1077944384 15 13412 0 0 0 0 5 3 20 0 15 0 444597554 11107315712 344291 33554432000 4194304 4196468 140721721556976 139806688404448 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3311] ppid=3248 vsize=10846988 memory=1377164 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3311/stat : 3311 (java) S 3248 3251 32236 0 -1 1077944384 6 13412 0 0 0 0 5 3 20 0 15 0 444597554 11107315712 344291 33554432000 4194304 4196468 140721721556976 139806554186752 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3312] ppid=3248 vsize=10846988 memory=1377164 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3312/stat : 3312 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11107315712 344291 33554432000 4194304 4196468 140721721556976 139806313896144 139807769966491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3313] ppid=3248 vsize=10846988 memory=97 CPUtime=3.07 cores=1,3,5,7
/proc/3251/task/3313/stat : 3313 (java) S 3248 3251 32236 0 -1 1077944384 16471 13412 0 0 296 3 5 3 20 0 15 0 444597557 11107315712 344291 33554432000 4194304 4196468 140721721556976 139807295478256 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3314] ppid=3248 vsize=10846988 memory=1377164 CPUtime=2.9 cores=1,3,5,7
/proc/3251/task/3314/stat : 3314 (java) S 3248 3251 32236 0 -1 1077944384 16172 13412 0 0 279 3 5 3 20 0 15 0 444597557 11107315712 344291 33554432000 4194304 4196468 140721721556976 139807294425712 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3315] ppid=3248 vsize=10846988 memory=1377164 CPUtime=1.68 cores=1,3,5,7
/proc/3251/task/3315/stat : 3315 (java) S 3248 3251 32236 0 -1 1077944384 13511 13412 0 0 156 4 5 3 20 0 15 0 444597557 11107315712 344291 33554432000 4194304 4196468 140721721556976 139806769146608 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3316] ppid=3248 vsize=10846988 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3316/stat : 3316 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11107315712 344291 33554432000 4194304 4196468 140721721556976 139806280338528 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3317] ppid=3248 vsize=10846988 memory=14012 CPUtime=1.46 cores=1,3,5,7
/proc/3251/task/3317/stat : 3317 (java) S 3248 3251 32236 0 -1 1077944384 1079 13412 0 0 65 73 5 3 20 0 15 0 444597558 11107315712 344291 33554432000 4194304 4196468 140721721556976 139806768093488 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
Current children cumulated CPU time: 2427.24 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1377164 KiB
[startup+2442.3 s]
/proc/loadavg: 1.46 1.58 1.48 3/227 3668
/proc/meminfo: memFree=27287412/32770624 swapFree=66958320/67108860
[pid=3251] ppid=3248 vsize=10846988 memory=1379352 CPUtime=2488.27 cores=1,3,5,7
/proc/3251/stat : 3251 (java) S 3248 3251 32236 0 -1 1077944320 207985 13412 0 0 248421 398 5 3 20 0 15 0 444597542 11107315712 344838 33554432000 4194304 4196468 140721721556976 140721721539520 139807769947895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
/proc/3251/statm: 2711747 344838 3623 1 0 2673805 0
[pid=3251/tid=3304] ppid=3248 vsize=10846988 memory=1379352 CPUtime=2414.42 cores=1,3,5,7
/proc/3251/task/3304/stat : 3304 (java) R 3248 3251 32236 0 -1 4202560 72550 13412 0 0 241374 60 5 3 20 0 15 0 444597551 11107315712 344838 33554432000 4194304 4196468 140721721556976 139807741783328 139807382157646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3305] ppid=3248 vsize=10846988 memory=1379352 CPUtime=13.46 cores=1,3,5,7
/proc/3251/task/3305/stat : 3305 (java) S 3248 3251 32236 0 -1 1077944384 14762 13412 0 0 1277 61 5 3 20 0 15 0 444597552 11107315712 344838 33554432000 4194304 4196468 140721721556976 139807774190352 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3306] ppid=3248 vsize=10846988 memory=1379248 CPUtime=13.37 cores=1,3,5,7
/proc/3251/task/3306/stat : 3306 (java) S 3248 3251 32236 0 -1 1077944384 14493 13412 0 0 1264 65 5 3 20 0 15 0 444597552 11107315712 344838 33554432000 4194304 4196468 140721721556976 139807343586192 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3307] ppid=3248 vsize=10846988 memory=1379304 CPUtime=13.44 cores=1,3,5,7
/proc/3251/task/3307/stat : 3307 (java) S 3248 3251 32236 0 -1 1077944384 16529 13412 0 0 1270 66 5 3 20 0 15 0 444597552 11107315712 344838 33554432000 4194304 4196468 140721721556976 139807342533648 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3308] ppid=3248 vsize=10846988 memory=1379352 CPUtime=13.41 cores=1,3,5,7
/proc/3251/task/3308/stat : 3308 (java) S 3248 3251 32236 0 -1 1077944384 23439 13412 0 0 1271 62 5 3 20 0 15 0 444597552 11107315712 344838 33554432000 4194304 4196468 140721721556976 139807341481104 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3309] ppid=3248 vsize=10846988 memory=1379352 CPUtime=11.6 cores=1,3,5,7
/proc/3251/task/3309/stat : 3309 (java) S 3248 3251 32236 0 -1 1077944384 16701 13412 0 0 1087 65 5 3 20 0 15 0 444597554 11107315712 344838 33554432000 4194304 4196468 140721721556976 139807296530416 139807769959042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3310] ppid=3248 vsize=10846988 memory=1379248 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3310/stat : 3310 (java) S 3248 3251 32236 0 -1 1077944384 15 13412 0 0 0 0 5 3 20 0 15 0 444597554 11107315712 344838 33554432000 4194304 4196468 140721721556976 139806688404448 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3311] ppid=3248 vsize=10846988 memory=1377200 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3311/stat : 3311 (java) S 3248 3251 32236 0 -1 1077944384 6 13412 0 0 0 0 5 3 20 0 15 0 444597554 11107315712 344838 33554432000 4194304 4196468 140721721556976 139806554186752 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3312] ppid=3248 vsize=10846988 memory=1379352 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3312/stat : 3312 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11107315712 344838 33554432000 4194304 4196468 140721721556976 139806313896144 139807769966491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3313] ppid=3248 vsize=10846988 memory=1379352 CPUtime=3.07 cores=1,3,5,7
/proc/3251/task/3313/stat : 3313 (java) S 3248 3251 32236 0 -1 1077944384 16475 13412 0 0 296 3 5 3 20 0 15 0 444597557 11107315712 344838 33554432000 4194304 4196468 140721721556976 139807295478256 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3314] ppid=3248 vsize=10846988 memory=1379352 CPUtime=2.91 cores=1,3,5,7
/proc/3251/task/3314/stat : 3314 (java) S 3248 3251 32236 0 -1 1077944384 16176 13412 0 0 280 3 5 3 20 0 15 0 444597557 11107315712 344838 33554432000 4194304 4196468 140721721556976 139807294425712 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3315] ppid=3248 vsize=10846988 memory=1379352 CPUtime=1.68 cores=1,3,5,7
/proc/3251/task/3315/stat : 3315 (java) S 3248 3251 32236 0 -1 1077944384 13515 13412 0 0 156 4 5 3 20 0 15 0 444597557 11107315712 344838 33554432000 4194304 4196468 140721721556976 139806769146608 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3316] ppid=3248 vsize=10846988 memory=1379352 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3316/stat : 3316 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11107315712 344838 33554432000 4194304 4196468 140721721556976 139806280338528 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3317] ppid=3248 vsize=10846988 memory=3612 CPUtime=1.5 cores=1,3,5,7
/proc/3251/task/3317/stat : 3317 (java) S 3248 3251 32236 0 -1 1077944384 1113 13412 0 0 67 75 5 3 20 0 15 0 444597558 11107315712 344838 33554432000 4194304 4196468 140721721556976 139806768093488 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
Current children cumulated CPU time: 2488.27 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1379352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.5 s]
/proc/loadavg: 1.42 1.56 1.48 3/227 3672
/proc/meminfo: memFree=27286956/32770624 swapFree=66958320/67108860
[pid=3251] ppid=3248 vsize=10846988 memory=1379364 CPUtime=2520.01 cores=1,3,5,7
/proc/3251/stat : 3251 (java) S 3248 3251 32236 0 -1 1077944320 208755 13412 0 0 251589 404 5 3 20 0 15 0 444597542 11107315712 344841 33554432000 4194304 4196468 140721721556976 140721721539520 139807769947895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
/proc/3251/statm: 2711747 344841 3623 1 0 2673805 0
[pid=3251/tid=3304] ppid=3248 vsize=10846988 memory=1379352 CPUtime=2445.26 cores=1,3,5,7
/proc/3251/task/3304/stat : 3304 (java) R 3248 3251 32236 0 -1 4202560 73085 13412 0 0 244458 60 5 3 20 0 15 0 444597551 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807741783456 139807387562325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3305] ppid=3248 vsize=10846988 memory=1379364 CPUtime=13.65 cores=1,3,5,7
/proc/3251/task/3305/stat : 3305 (java) S 3248 3251 32236 0 -1 1077944384 14771 13412 0 0 1294 63 5 3 20 0 15 0 444597552 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807774190352 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3306] ppid=3248 vsize=10846988 memory=1379364 CPUtime=13.57 cores=1,3,5,7
/proc/3251/task/3306/stat : 3306 (java) S 3248 3251 32236 0 -1 1077944384 14513 13412 0 0 1282 67 5 3 20 0 15 0 444597552 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807343586192 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3307] ppid=3248 vsize=10846988 memory=1379364 CPUtime=13.62 cores=1,3,5,7
/proc/3251/task/3307/stat : 3307 (java) S 3248 3251 32236 0 -1 1077944384 16653 13412 0 0 1286 68 5 3 20 0 15 0 444597552 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807342533648 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3308] ppid=3248 vsize=10846988 memory=1379364 CPUtime=13.59 cores=1,3,5,7
/proc/3251/task/3308/stat : 3308 (java) S 3248 3251 32236 0 -1 1077944384 23478 13412 0 0 1288 63 5 3 20 0 15 0 444597552 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807341481104 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3309] ppid=3248 vsize=10846988 memory=0 CPUtime=11.76 cores=1,3,5,7
/proc/3251/task/3309/stat : 3309 (java) S 3248 3251 32236 0 -1 1077944384 16726 13412 0 0 1102 66 5 3 20 0 15 0 444597554 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807296530416 139807769959042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3310] ppid=3248 vsize=10846988 memory=1379364 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3310/stat : 3310 (java) S 3248 3251 32236 0 -1 1077944384 15 13412 0 0 0 0 5 3 20 0 15 0 444597554 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806688404448 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3311] ppid=3248 vsize=10846988 memory=1379364 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3311/stat : 3311 (java) S 3248 3251 32236 0 -1 1077944384 6 13412 0 0 0 0 5 3 20 0 15 0 444597554 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806554186752 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3312] ppid=3248 vsize=10846988 memory=1379364 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3312/stat : 3312 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806313896144 139807769966491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3313] ppid=3248 vsize=10846988 memory=1379364 CPUtime=3.07 cores=1,3,5,7
/proc/3251/task/3313/stat : 3313 (java) S 3248 3251 32236 0 -1 1077944384 16475 13412 0 0 296 3 5 3 20 0 15 0 444597557 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807295478256 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3314] ppid=3248 vsize=10846988 memory=1379364 CPUtime=2.91 cores=1,3,5,7
/proc/3251/task/3314/stat : 3314 (java) S 3248 3251 32236 0 -1 1077944384 16176 13412 0 0 280 3 5 3 20 0 15 0 444597557 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807294425712 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3315] ppid=3248 vsize=10846988 memory=3244 CPUtime=1.68 cores=1,3,5,7
/proc/3251/task/3315/stat : 3315 (java) S 3248 3251 32236 0 -1 1077944384 13517 13412 0 0 156 4 5 3 20 0 15 0 444597557 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806769146608 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3316] ppid=3248 vsize=10846988 memory=1379364 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3316/stat : 3316 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806280338528 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3317] ppid=3248 vsize=10846988 memory=1379364 CPUtime=1.52 cores=1,3,5,7
/proc/3251/task/3317/stat : 3317 (java) S 3248 3251 32236 0 -1 1077944384 1129 13412 0 0 68 76 5 3 20 0 15 0 444597558 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806768093488 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1379364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.53 s]
# the end of solver process 3251 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.96 s, system=4.09375 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.5 s]
/proc/loadavg: 1.42 1.56 1.48 3/227 3672
/proc/meminfo: memFree=27286956/32770624 swapFree=66958320/67108860
[pid=3251] ppid=3248 vsize=10846988 memory=1379364 CPUtime=2520.01 cores=1,3,5,7
/proc/3251/stat : 3251 (java) S 3248 3251 32236 0 -1 1077944320 208755 13412 0 0 251589 404 5 3 20 0 15 0 444597542 11107315712 344841 33554432000 4194304 4196468 140721721556976 140721721539520 139807769947895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
/proc/3251/statm: 2711747 344841 3623 1 0 2673805 0
[pid=3251/tid=3304] ppid=3248 vsize=10846988 memory=1379352 CPUtime=2445.26 cores=1,3,5,7
/proc/3251/task/3304/stat : 3304 (java) R 3248 3251 32236 0 -1 4202560 73085 13412 0 0 244458 60 5 3 20 0 15 0 444597551 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807741783456 139807387562325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3305] ppid=3248 vsize=10846988 memory=1379364 CPUtime=13.65 cores=1,3,5,7
/proc/3251/task/3305/stat : 3305 (java) S 3248 3251 32236 0 -1 1077944384 14771 13412 0 0 1294 63 5 3 20 0 15 0 444597552 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807774190352 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3306] ppid=3248 vsize=10846988 memory=1379364 CPUtime=13.57 cores=1,3,5,7
/proc/3251/task/3306/stat : 3306 (java) S 3248 3251 32236 0 -1 1077944384 14513 13412 0 0 1282 67 5 3 20 0 15 0 444597552 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807343586192 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3307] ppid=3248 vsize=10846988 memory=1379364 CPUtime=13.62 cores=1,3,5,7
/proc/3251/task/3307/stat : 3307 (java) S 3248 3251 32236 0 -1 1077944384 16653 13412 0 0 1286 68 5 3 20 0 15 0 444597552 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807342533648 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3308] ppid=3248 vsize=10846988 memory=1379364 CPUtime=13.59 cores=1,3,5,7
/proc/3251/task/3308/stat : 3308 (java) S 3248 3251 32236 0 -1 1077944384 23478 13412 0 0 1288 63 5 3 20 0 15 0 444597552 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807341481104 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3309] ppid=3248 vsize=10846988 memory=0 CPUtime=11.76 cores=1,3,5,7
/proc/3251/task/3309/stat : 3309 (java) S 3248 3251 32236 0 -1 1077944384 16726 13412 0 0 1102 66 5 3 20 0 15 0 444597554 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807296530416 139807769959042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3310] ppid=3248 vsize=10846988 memory=1379364 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3310/stat : 3310 (java) S 3248 3251 32236 0 -1 1077944384 15 13412 0 0 0 0 5 3 20 0 15 0 444597554 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806688404448 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3311] ppid=3248 vsize=10846988 memory=1379364 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3311/stat : 3311 (java) S 3248 3251 32236 0 -1 1077944384 6 13412 0 0 0 0 5 3 20 0 15 0 444597554 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806554186752 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3312] ppid=3248 vsize=10846988 memory=1379364 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3312/stat : 3312 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806313896144 139807769966491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3313] ppid=3248 vsize=10846988 memory=1379364 CPUtime=3.07 cores=1,3,5,7
/proc/3251/task/3313/stat : 3313 (java) S 3248 3251 32236 0 -1 1077944384 16475 13412 0 0 296 3 5 3 20 0 15 0 444597557 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807295478256 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3314] ppid=3248 vsize=10846988 memory=1379364 CPUtime=2.91 cores=1,3,5,7
/proc/3251/task/3314/stat : 3314 (java) S 3248 3251 32236 0 -1 1077944384 16176 13412 0 0 280 3 5 3 20 0 15 0 444597557 11107315712 344841 33554432000 4194304 4196468 140721721556976 139807294425712 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3315] ppid=3248 vsize=10846988 memory=3244 CPUtime=1.68 cores=1,3,5,7
/proc/3251/task/3315/stat : 3315 (java) S 3248 3251 32236 0 -1 1077944384 13517 13412 0 0 156 4 5 3 20 0 15 0 444597557 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806769146608 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3316] ppid=3248 vsize=10846988 memory=1379364 CPUtime=0.08 cores=1,3,5,7
/proc/3251/task/3316/stat : 3316 (java) S 3248 3251 32236 0 -1 1077944384 3 13412 0 0 0 0 5 3 20 0 15 0 444597557 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806280338528 139807769958101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
[pid=3251/tid=3317] ppid=3248 vsize=10846988 memory=1379364 CPUtime=1.52 cores=1,3,5,7
/proc/3251/task/3317/stat : 3317 (java) S 3248 3251 32236 0 -1 1077944384 1129 13412 0 0 68 76 5 3 20 0 15 0 444597558 11107315712 344841 33554432000 4194304 4196468 140721721556976 139806768093488 139807769959042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7598080 140721721563887 140721721566405 140721721566405 140721721569231 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1379364 KiB
Child status: 143
Real time (s): 2473.53
CPU time (s): 2520.05
CPU user time (s): 2515.96
CPU system time (s): 4.09375
CPU usage (%): 101.881
Max. virtual memory (cumulated for all children) (KiB): 10852440
Max. memory (cumulated for all children) (KiB): 1379364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.96
system time used= 4.09375
maximum resident set size= 1383560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306977
involuntary context switches= 6144
# summary of solver processes directly reported to runsolver:
# pid: 3251
# total CPU time (s): 2520.05
# total CPU user time (s): 2515.96
# total CPU system time (s): 4.09375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1321 second user time and 24.4733 second system time
The end