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 (13753 MiB free)
memory of node 1: 16384 MiB (15146 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387343-1568299991/watcher-4387343-1568299991 -o /tmp/evaluation-result-4387343-1568299991/solver-4387343-1568299991 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568285902-5057 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=390469209 HOME/instance-4387343-1568299991.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=9994, runsolver pid=9991
[startup+0.100138 s]*
/proc/loadavg: 1.76 1.86 1.82 3/224 10051
/proc/meminfo: memFree=29584280/32770624 swapFree=67008344/67108860
[pid=9994] ppid=9991 vsize=9988792 memory=16960 CPUtime=0.08 cores=1,3,5,7
/proc/9994/stat : 9994 (java) S 9991 9994 3137 0 -1 1077944320 4473 13024 0 0 1 0 4 3 20 0 6 0 405921845 10228523008 4240 33554432000 4194304 4196468 140736152548288 140736152530832 140611186491127 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
/proc/9994/statm: 2497198 4240 1971 1 0 2485636 0
[pid=9994/tid=10047] ppid=9991 vsize=10055356 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/9994/task/10047/stat : 10047 (java) R 9991 9994 3137 0 -1 4202560 2349 13024 0 0 1 0 4 3 20 0 7 0 405921854 10296684544 4306 33554432000 4194304 4196468 140736152548288 140611158334224 140611186513053 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10048] ppid=9991 vsize=10055356 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10048/stat : 10048 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 7 0 405921854 10296684544 4306 33554432000 4194304 4196468 140736152548288 140611190733712 140611186501333 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10049] ppid=9991 vsize=10055356 memory=140469574108800 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10049/stat : 10049 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 7 0 405921854 10296684544 4306 33554432000 4194304 4196468 140736152548288 140610759953168 140611186501333 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10050] ppid=9991 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10050/stat : 10050 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 7 0 405921854 10296684544 4306 33554432000 4194304 4196468 140736152548288 140610758900880 140611186501333 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10051] ppid=9991 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10051/stat : 10051 (java) S 9991 9994 3137 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 7 0 405921854 10296684544 4306 33554432000 4194304 4196468 140736152548288 140610757848080 140611186501333 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10052] ppid=9991 vsize=10055356 memory=140469574108800 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10052/stat : 10052 (java) S 9991 9994 3137 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 7 0 405921856 10296684544 4306 33554432000 4194304 4196468 140736152548288 140610189879408 140611186502274 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9988792 KiB
Current children cumulated memory: 16960 KiB
[startup+0.210465 s]*
/proc/loadavg: 1.76 1.86 1.82 5/233 10060
/proc/meminfo: memFree=29566652/32770624 swapFree=67008344/67108860
[pid=9994] ppid=9991 vsize=10818940 memory=38048 CPUtime=0.26 cores=1,3,5,7
/proc/9994/stat : 9994 (java) S 9991 9994 3137 0 -1 1077944320 6865 13024 0 0 18 1 4 3 20 0 15 0 405921845 11078594560 9512 33554432000 4194304 4196468 140736152548288 140736152530832 140611186491127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
/proc/9994/statm: 2704735 9512 2982 1 0 2667149 0
[pid=9994/tid=10047] ppid=9991 vsize=10818940 memory=8514726395714820750 CPUtime=0.18 cores=1,3,5,7
/proc/9994/task/10047/stat : 10047 (java) R 9991 9994 3137 0 -1 4202560 3275 13024 0 0 11 0 4 3 20 0 15 0 405921854 11078594560 9512 33554432000 4194304 4196468 140736152548288 140611158287952 140611169677936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10048] ppid=9991 vsize=10818940 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10048/stat : 10048 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921854 11078594560 9512 33554432000 4194304 4196468 140736152548288 140611190733712 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10049] ppid=9991 vsize=10818940 memory=140469574108800 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10049/stat : 10049 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921854 11078594560 9512 33554432000 4194304 4196468 140736152548288 140610759953168 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10050] ppid=9991 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10050/stat : 10050 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921854 11078594560 9512 33554432000 4194304 4196468 140736152548288 140610758900880 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10051] ppid=9991 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10051/stat : 10051 (java) S 9991 9994 3137 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 405921854 11078594560 9512 33554432000 4194304 4196468 140736152548288 140610757848080 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10052] ppid=9991 vsize=10818940 memory=140469574108800 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10052/stat : 10052 (java) S 9991 9994 3137 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 405921856 11078594560 9512 33554432000 4194304 4196468 140736152548288 140610189879408 140611186502274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10053] ppid=9991 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10053/stat : 10053 (java) S 9991 9994 3137 0 -1 1077944384 13 13024 0 0 0 0 4 3 20 0 15 0 405921856 11078594560 9512 33554432000 4194304 4196468 140736152548288 140610115724064 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10054] ppid=9991 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10054/stat : 10054 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921856 11078594560 9512 33554432000 4194304 4196468 140736152548288 140609981506672 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10055] ppid=9991 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10055/stat : 10055 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11078594560 9512 33554432000 4194304 4196468 140736152548288 140609741215824 140611186509723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10056] ppid=9991 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9994/task/10056/stat : 10056 (java) S 9991 9994 3137 0 -1 1077944384 367 13024 0 0 1 0 4 3 20 0 15 0 405921859 11078594560 9512 33554432000 4194304 4196468 140736152548288 140610188827248 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10057] ppid=9991 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9994/task/10057/stat : 10057 (java) S 9991 9994 3137 0 -1 1077944384 289 13024 0 0 1 0 4 3 20 0 15 0 405921859 11078594560 9512 33554432000 4194304 4196468 140736152548288 140610187774448 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10058] ppid=9991 vsize=10818940 memory=140469574108800 CPUtime=0.1 cores=1,3,5,7
/proc/9994/task/10058/stat : 10058 (java) S 9991 9994 3137 0 -1 1077944384 707 13024 0 0 3 0 4 3 20 0 15 0 405921859 11078594560 9512 33554432000 4194304 4196468 140736152548288 140610186722160 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10059] ppid=9991 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10059/stat : 10059 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11078594560 9512 33554432000 4194304 4196468 140736152548288 140609707658208 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10060] ppid=9991 vsize=10818940 memory=140469574108800 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10060/stat : 10060 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921860 11078594560 9512 33554432000 4194304 4196468 140736152548288 140610185669040 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38048 KiB
[startup+0.310706 s]*
/proc/loadavg: 1.76 1.86 1.82 3/233 10060
/proc/meminfo: memFree=29557384/32770624 swapFree=67008344/67108860
[pid=9994] ppid=9991 vsize=10820244 memory=49872 CPUtime=0.39 cores=1,3,5,7
/proc/9994/stat : 9994 (java) S 9991 9994 3137 0 -1 1077944320 10555 13024 0 0 30 2 4 3 20 0 15 0 405921845 11079929856 12468 33554432000 4194304 4196468 140736152548288 140736152530832 140611186491127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
/proc/9994/statm: 2705061 12468 3308 1 0 2667149 0
[pid=9994/tid=10047] ppid=9991 vsize=10820244 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/9994/task/10047/stat : 10047 (java) R 9991 9994 3137 0 -1 4202560 6907 13024 0 0 20 2 4 3 20 0 15 0 405921854 11079929856 12468 33554432000 4194304 4196468 140736152548288 140611158305640 140611186513053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10048] ppid=9991 vsize=10820244 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10048/stat : 10048 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921854 11079929856 12468 33554432000 4194304 4196468 140736152548288 140611190733712 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10049] ppid=9991 vsize=10820244 memory=140469574115793 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10049/stat : 10049 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921854 11079929856 12468 33554432000 4194304 4196468 140736152548288 140610759953168 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10050] ppid=9991 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10050/stat : 10050 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921854 11079929856 12468 33554432000 4194304 4196468 140736152548288 140610758900880 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10051] ppid=9991 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10051/stat : 10051 (java) S 9991 9994 3137 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 405921854 11079929856 12468 33554432000 4194304 4196468 140736152548288 140610757848080 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10052] ppid=9991 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10052/stat : 10052 (java) S 9991 9994 3137 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 405921856 11079929856 12468 33554432000 4194304 4196468 140736152548288 140610189879408 140611186502274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10053] ppid=9991 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10053/stat : 10053 (java) S 9991 9994 3137 0 -1 1077944384 13 13024 0 0 0 0 4 3 20 0 15 0 405921856 11079929856 12468 33554432000 4194304 4196468 140736152548288 140610115724064 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10054] ppid=9991 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10054/stat : 10054 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921856 11079929856 12468 33554432000 4194304 4196468 140736152548288 140609981506672 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10055] ppid=9991 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10055/stat : 10055 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11079929856 12468 33554432000 4194304 4196468 140736152548288 140609741215824 140611186509723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10056] ppid=9991 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9994/task/10056/stat : 10056 (java) R 9991 9994 3137 0 -1 4202560 376 13024 0 0 2 0 4 3 20 0 15 0 405921859 11079929856 12468 33554432000 4194304 4196468 140736152548288 140610188827248 140611164287019 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10057] ppid=9991 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9994/task/10057/stat : 10057 (java) S 9991 9994 3137 0 -1 1077944384 293 13024 0 0 2 0 4 3 20 0 15 0 405921859 11079929856 12468 33554432000 4194304 4196468 140736152548288 140610187774448 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10058] ppid=9991 vsize=10820244 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9994/task/10058/stat : 10058 (java) S 9991 9994 3137 0 -1 1077944384 754 13024 0 0 5 0 4 3 20 0 15 0 405921859 11079929856 12468 33554432000 4194304 4196468 140736152548288 140610186722160 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10059] ppid=9991 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10059/stat : 10059 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11079929856 12468 33554432000 4194304 4196468 140736152548288 140609707658208 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10060] ppid=9991 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10060/stat : 10060 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921860 11079929856 12468 33554432000 4194304 4196468 140736152548288 140610185669040 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 49872 KiB
[startup+0.702792 s]
/proc/loadavg: 1.76 1.86 1.82 5/233 10060
/proc/meminfo: memFree=29541068/32770624 swapFree=67008344/67108860
[pid=9994] ppid=9991 vsize=10824340 memory=81876 CPUtime=1.14 cores=1,3,5,7
/proc/9994/stat : 9994 (java) S 9991 9994 3137 0 -1 1077944320 14636 13024 0 0 103 4 4 3 20 0 15 0 405921845 11084124160 20469 33554432000 4194304 4196468 140736152548288 140736152530832 140611186491127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
/proc/9994/statm: 2706085 20469 3506 1 0 2668173 0
[pid=9994/tid=10047] ppid=9991 vsize=10824340 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/9994/task/10047/stat : 10047 (java) R 9991 9994 3137 0 -1 4202560 10088 13024 0 0 56 3 4 3 20 0 15 0 405921854 11084124160 20469 33554432000 4194304 4196468 140736152548288 140611158318320 140611170571614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10048] ppid=9991 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10048/stat : 10048 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921854 11084124160 20469 33554432000 4194304 4196468 140736152548288 140611190733712 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10049] ppid=9991 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10049/stat : 10049 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921854 11084124160 20469 33554432000 4194304 4196468 140736152548288 140610759953168 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10050] ppid=9991 vsize=10824340 memory=8751464017575295285 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10050/stat : 10050 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921854 11084124160 20469 33554432000 4194304 4196468 140736152548288 140610758900880 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10051] ppid=9991 vsize=10824340 memory=4638797021879231313 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10051/stat : 10051 (java) S 9991 9994 3137 0 -1 1077944384 2 13024 0 0 0 0 4 3 20 0 15 0 405921854 11084124160 20469 33554432000 4194304 4196468 140736152548288 140610757848080 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10052] ppid=9991 vsize=10824340 memory=7223879631928058176 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10052/stat : 10052 (java) S 9991 9994 3137 0 -1 1077944384 5 13024 0 0 0 0 4 3 20 0 15 0 405921856 11084124160 20469 33554432000 4194304 4196468 140736152548288 140610189879408 140611186502274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10053] ppid=9991 vsize=10824340 memory=6940152923299668032 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10053/stat : 10053 (java) S 9991 9994 3137 0 -1 1077944384 13 13024 0 0 0 0 4 3 20 0 15 0 405921856 11084124160 20469 33554432000 4194304 4196468 140736152548288 140610115724064 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10054] ppid=9991 vsize=10824340 memory=3484 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10054/stat : 10054 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921856 11084124160 20469 33554432000 4194304 4196468 140736152548288 140609981506672 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10055] ppid=9991 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10055/stat : 10055 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11084124160 20469 33554432000 4194304 4196468 140736152548288 140609741215824 140611186509723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10056] ppid=9991 vsize=10824340 memory=15398599362092072 CPUtime=0.19 cores=1,3,5,7
/proc/9994/task/10056/stat : 10056 (java) S 9991 9994 3137 0 -1 1077944384 607 13024 0 0 12 0 4 3 20 0 15 0 405921859 11084124160 20469 33554432000 4194304 4196468 140736152548288 140610188827248 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10057] ppid=9991 vsize=10824340 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9994/task/10057/stat : 10057 (java) S 9991 9994 3137 0 -1 1077944384 693 13024 0 0 15 0 4 3 20 0 15 0 405921859 11084124160 20469 33554432000 4194304 4196468 140736152548288 140610187774448 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10058] ppid=9991 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/9994/task/10058/stat : 10058 (java) R 9991 9994 3137 0 -1 4202560 1015 13024 0 0 17 0 4 3 20 0 15 0 405921859 11084124160 20469 33554432000 4194304 4196468 140736152548288 140610186722160 140611170571614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10059] ppid=9991 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10059/stat : 10059 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11084124160 20469 33554432000 4194304 4196468 140736152548288 140609707658208 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10060] ppid=9991 vsize=10824340 memory=7809523229951467568 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10060/stat : 10060 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921860 11084124160 20469 33554432000 4194304 4196468 140736152548288 140610185669040 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 81876 KiB
[startup+1.50067 s]
/proc/loadavg: 1.76 1.86 1.82 3/233 10060
/proc/meminfo: memFree=29496152/32770624 swapFree=67008344/67108860
[pid=9994] ppid=9991 vsize=10834656 memory=167296 CPUtime=2.47 cores=1,3,5,7
/proc/9994/stat : 9994 (java) S 9991 9994 3137 0 -1 1077944320 19968 13024 0 0 231 9 4 3 20 0 15 0 405921845 11094687744 41824 33554432000 4194304 4196468 140736152548288 140736152530832 140611186491127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
/proc/9994/statm: 2708664 41824 3567 1 0 2670733 0
[pid=9994/tid=10047] ppid=9991 vsize=10834656 memory=143 CPUtime=1.43 cores=1,3,5,7
/proc/9994/task/10047/stat : 10047 (java) R 9991 9994 3137 0 -1 4202560 14573 13024 0 0 131 5 4 3 20 0 15 0 405921854 11094687744 41824 33554432000 4194304 4196468 140736152548288 140611158290368 140611186503062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10048] ppid=9991 vsize=10834656 memory=80 CPUtime=0.08 cores=1,3,5,7
/proc/9994/task/10048/stat : 10048 (java) S 9991 9994 3137 0 -1 1077944384 25 13024 0 0 1 0 4 3 20 0 15 0 405921854 11094687744 41824 33554432000 4194304 4196468 140736152548288 140611190733712 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10049] ppid=9991 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9994/task/10049/stat : 10049 (java) S 9991 9994 3137 0 -1 1077944384 17 13024 0 0 1 0 4 3 20 0 15 0 405921854 11094687744 41824 33554432000 4194304 4196468 140736152548288 140610759953168 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10050] ppid=9991 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10050/stat : 10050 (java) S 9991 9994 3137 0 -1 1077944384 22 13024 0 0 0 0 4 3 20 0 15 0 405921854 11094687744 41824 33554432000 4194304 4196468 140736152548288 140610758900880 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10051] ppid=9991 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9994/task/10051/stat : 10051 (java) S 9991 9994 3137 0 -1 1077944384 42 13024 0 0 1 0 4 3 20 0 15 0 405921854 11094687744 41824 33554432000 4194304 4196468 140736152548288 140610757848080 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10052] ppid=9991 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9994/task/10052/stat : 10052 (java) S 9991 9994 3137 0 -1 1077944384 37 13024 0 0 1 0 4 3 20 0 15 0 405921856 11094687744 41824 33554432000 4194304 4196468 140736152548288 140610189879408 140611186502274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10053] ppid=9991 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10053/stat : 10053 (java) S 9991 9994 3137 0 -1 1077944384 15 13024 0 0 0 0 4 3 20 0 15 0 405921856 11094687744 41824 33554432000 4194304 4196468 140736152548288 140610115724064 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10054] ppid=9991 vsize=10834656 memory=-7880843606118635149 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10054/stat : 10054 (java) S 9991 9994 3137 0 -1 1077944384 6 13024 0 0 0 0 4 3 20 0 15 0 405921856 11094687744 41824 33554432000 4194304 4196468 140736152548288 140609981506672 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10055] ppid=9991 vsize=10834656 memory=-1624781813439352349 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10055/stat : 10055 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11094687744 41824 33554432000 4194304 4196468 140736152548288 140609741215824 140611186509723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10056] ppid=9991 vsize=10834656 memory=8976414709404591081 CPUtime=0.31 cores=1,3,5,7
/proc/9994/task/10056/stat : 10056 (java) R 9991 9994 3137 0 -1 1077944384 662 13024 0 0 24 0 4 3 20 0 15 0 405921859 11094687744 41824 33554432000 4194304 4196468 140736152548288 140610188827248 140611186502274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10057] ppid=9991 vsize=10834656 memory=-4695052241013923951 CPUtime=0.36 cores=1,3,5,7
/proc/9994/task/10057/stat : 10057 (java) R 9991 9994 3137 0 -1 4202560 758 13024 0 0 29 0 4 3 20 0 15 0 405921859 11094687744 41824 33554432000 4194304 4196468 140736152548288 140610187763040 140611170898700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10058] ppid=9991 vsize=10834656 memory=9126232286719478932 CPUtime=0.46 cores=1,3,5,7
/proc/9994/task/10058/stat : 10058 (java) R 9991 9994 3137 0 -1 4202560 1601 13024 0 0 39 0 4 3 20 0 15 0 405921859 11094687744 41824 33554432000 4194304 4196468 140736152548288 140610186722160 140611170571614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10059] ppid=9991 vsize=10834656 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10059/stat : 10059 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11094687744 41824 33554432000 4194304 4196468 140736152548288 140609707658208 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10060] ppid=9991 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10060/stat : 10060 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921860 11094687744 41824 33554432000 4194304 4196468 140736152548288 140610185669040 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 167296 KiB
[startup+3.11126 s]
/proc/loadavg: 1.76 1.86 1.82 4/233 10060
/proc/meminfo: memFree=29361596/32770624 swapFree=67008344/67108860
[pid=9994] ppid=9991 vsize=10849024 memory=255596 CPUtime=6.97 cores=1,3,5,7
/proc/9994/stat : 9994 (java) S 9991 9994 3137 0 -1 1077944320 39683 13024 0 0 676 14 4 3 20 0 15 0 405921845 11109400576 63899 33554432000 4194304 4196468 140736152548288 140736152530832 140611186491127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
/proc/9994/statm: 2712256 63899 3602 1 0 2674317 0
[pid=9994/tid=10047] ppid=9991 vsize=10849024 memory=220816 CPUtime=2.99 cores=1,3,5,7
/proc/9994/task/10047/stat : 10047 (java) R 9991 9994 3137 0 -1 4202560 20577 13024 0 0 284 8 4 3 20 0 15 0 405921854 11109400576 63899 33554432000 4194304 4196468 140736152548288 140611158325872 140610801296803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10048] ppid=9991 vsize=10849024 memory=33 CPUtime=0.1 cores=1,3,5,7
/proc/9994/task/10048/stat : 10048 (java) S 9991 9994 3137 0 -1 1077944384 61 13024 0 0 3 0 4 3 20 0 15 0 405921854 11109400576 63899 33554432000 4194304 4196468 140736152548288 140611190733712 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10049] ppid=9991 vsize=10849024 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/9994/task/10049/stat : 10049 (java) S 9991 9994 3137 0 -1 1077944384 288 13024 0 0 2 0 4 3 20 0 15 0 405921854 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610759953168 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10050] ppid=9991 vsize=10849024 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9994/task/10050/stat : 10050 (java) S 9991 9994 3137 0 -1 1077944384 40 13024 0 0 2 0 4 3 20 0 15 0 405921854 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610758900880 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10051] ppid=9991 vsize=10849024 memory=7521995004687799001 CPUtime=0.1 cores=1,3,5,7
/proc/9994/task/10051/stat : 10051 (java) S 9991 9994 3137 0 -1 1077944384 68 13024 0 0 3 0 4 3 20 0 15 0 405921854 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610757848080 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10052] ppid=9991 vsize=10849024 memory=212492 CPUtime=0.1 cores=1,3,5,7
/proc/9994/task/10052/stat : 10052 (java) S 9991 9994 3137 0 -1 1077944384 299 13024 0 0 3 0 4 3 20 0 15 0 405921856 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610189879408 140611186502274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10053] ppid=9991 vsize=10849024 memory=305 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10053/stat : 10053 (java) S 9991 9994 3137 0 -1 1077944384 15 13024 0 0 0 0 4 3 20 0 15 0 405921856 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610115724128 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10054] ppid=9991 vsize=10849024 memory=7882822598137113194 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10054/stat : 10054 (java) S 9991 9994 3137 0 -1 1077944384 6 13024 0 0 0 0 4 3 20 0 15 0 405921856 11109400576 63899 33554432000 4194304 4196468 140736152548288 140609981506688 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10055] ppid=9991 vsize=10849024 memory=7157735391966881129 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10055/stat : 10055 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11109400576 63899 33554432000 4194304 4196468 140736152548288 140609741215824 140611186509723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10056] ppid=9991 vsize=10849024 memory=143 CPUtime=1.5 cores=1,3,5,7
/proc/9994/task/10056/stat : 10056 (java) R 9991 9994 3137 0 -1 4202560 6577 13024 0 0 142 1 4 3 20 0 15 0 405921859 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610188813304 140611167680322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10057] ppid=9991 vsize=10849024 memory=80 CPUtime=1.29 cores=1,3,5,7
/proc/9994/task/10057/stat : 10057 (java) R 9991 9994 3137 0 -1 4202560 3680 13024 0 0 121 1 4 3 20 0 15 0 405921859 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610187755464 140611171391484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10058] ppid=9991 vsize=10849024 memory=3484 CPUtime=1.18 cores=1,3,5,7
/proc/9994/task/10058/stat : 10058 (java) R 9991 9994 3137 0 -1 4202560 5860 13024 0 0 110 1 4 3 20 0 15 0 405921859 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610186719096 140611178826699 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10059] ppid=9991 vsize=10849024 memory=15088 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10059/stat : 10059 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11109400576 63899 33554432000 4194304 4196468 140736152548288 140609707658208 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10060] ppid=9991 vsize=10849024 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10060/stat : 10060 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921860 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610185669040 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
Current children cumulated CPU time: 6.97 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 255596 KiB
[startup+3.15172 s]
# the end of solver process 9994 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.90394 s, system=0.197082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11126 s]
/proc/loadavg: 1.76 1.86 1.82 4/233 10060
/proc/meminfo: memFree=29361596/32770624 swapFree=67008344/67108860
[pid=9994] ppid=9991 vsize=10849024 memory=255596 CPUtime=6.97 cores=1,3,5,7
/proc/9994/stat : 9994 (java) S 9991 9994 3137 0 -1 1077944320 39683 13024 0 0 676 14 4 3 20 0 15 0 405921845 11109400576 63899 33554432000 4194304 4196468 140736152548288 140736152530832 140611186491127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
/proc/9994/statm: 2712256 63899 3602 1 0 2674317 0
[pid=9994/tid=10047] ppid=9991 vsize=10849024 memory=220816 CPUtime=2.99 cores=1,3,5,7
/proc/9994/task/10047/stat : 10047 (java) R 9991 9994 3137 0 -1 4202560 20577 13024 0 0 284 8 4 3 20 0 15 0 405921854 11109400576 63899 33554432000 4194304 4196468 140736152548288 140611158325872 140610801296803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10048] ppid=9991 vsize=10849024 memory=33 CPUtime=0.1 cores=1,3,5,7
/proc/9994/task/10048/stat : 10048 (java) S 9991 9994 3137 0 -1 1077944384 61 13024 0 0 3 0 4 3 20 0 15 0 405921854 11109400576 63899 33554432000 4194304 4196468 140736152548288 140611190733712 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10049] ppid=9991 vsize=10849024 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/9994/task/10049/stat : 10049 (java) S 9991 9994 3137 0 -1 1077944384 288 13024 0 0 2 0 4 3 20 0 15 0 405921854 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610759953168 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10050] ppid=9991 vsize=10849024 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9994/task/10050/stat : 10050 (java) S 9991 9994 3137 0 -1 1077944384 40 13024 0 0 2 0 4 3 20 0 15 0 405921854 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610758900880 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10051] ppid=9991 vsize=10849024 memory=7521995004687799001 CPUtime=0.1 cores=1,3,5,7
/proc/9994/task/10051/stat : 10051 (java) S 9991 9994 3137 0 -1 1077944384 68 13024 0 0 3 0 4 3 20 0 15 0 405921854 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610757848080 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10052] ppid=9991 vsize=10849024 memory=212492 CPUtime=0.1 cores=1,3,5,7
/proc/9994/task/10052/stat : 10052 (java) S 9991 9994 3137 0 -1 1077944384 299 13024 0 0 3 0 4 3 20 0 15 0 405921856 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610189879408 140611186502274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10053] ppid=9991 vsize=10849024 memory=305 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10053/stat : 10053 (java) S 9991 9994 3137 0 -1 1077944384 15 13024 0 0 0 0 4 3 20 0 15 0 405921856 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610115724128 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10054] ppid=9991 vsize=10849024 memory=7882822598137113194 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10054/stat : 10054 (java) S 9991 9994 3137 0 -1 1077944384 6 13024 0 0 0 0 4 3 20 0 15 0 405921856 11109400576 63899 33554432000 4194304 4196468 140736152548288 140609981506688 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10055] ppid=9991 vsize=10849024 memory=7157735391966881129 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10055/stat : 10055 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11109400576 63899 33554432000 4194304 4196468 140736152548288 140609741215824 140611186509723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10056] ppid=9991 vsize=10849024 memory=143 CPUtime=1.5 cores=1,3,5,7
/proc/9994/task/10056/stat : 10056 (java) R 9991 9994 3137 0 -1 4202560 6577 13024 0 0 142 1 4 3 20 0 15 0 405921859 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610188813304 140611167680322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10057] ppid=9991 vsize=10849024 memory=80 CPUtime=1.29 cores=1,3,5,7
/proc/9994/task/10057/stat : 10057 (java) R 9991 9994 3137 0 -1 4202560 3680 13024 0 0 121 1 4 3 20 0 15 0 405921859 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610187755464 140611171391484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10058] ppid=9991 vsize=10849024 memory=3484 CPUtime=1.18 cores=1,3,5,7
/proc/9994/task/10058/stat : 10058 (java) R 9991 9994 3137 0 -1 4202560 5860 13024 0 0 110 1 4 3 20 0 15 0 405921859 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610186719096 140611178826699 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10059] ppid=9991 vsize=10849024 memory=15088 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10059/stat : 10059 (java) S 9991 9994 3137 0 -1 1077944384 3 13024 0 0 0 0 4 3 20 0 15 0 405921859 11109400576 63899 33554432000 4194304 4196468 140736152548288 140609707658208 140611186501333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
[pid=9994/tid=10060] ppid=9991 vsize=10849024 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/9994/task/10060/stat : 10060 (java) S 9991 9994 3137 0 -1 1077944384 1 13024 0 0 0 0 4 3 20 0 15 0 405921860 11109400576 63899 33554432000 4194304 4196468 140736152548288 140610185669040 140611186502274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140736152554230 140736152556741 140736152556741 140736152559567 0
Current children cumulated CPU time: 6.97 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 255596 KiB
Child status: 0
Real time (s): 3.15178
CPU time (s): 7.10102
CPU user time (s): 6.90394
CPU system time (s): 0.197082
CPU usage (%): 225.302
Max. virtual memory (cumulated for all children) (KiB): 10849024
Max. memory (cumulated for all children) (KiB): 255596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.90394
system time used= 0.197082
maximum resident set size= 259856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5092
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 9994
# total CPU time (s): 7.10102
# total CPU user time (s): 6.90394
# total CPU system time (s): 0.197082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057202 second user time and 0.064106 second system time
The end