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 (13965 MiB free)
memory of node 1: 16384 MiB (11098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258247-1502638479/watcher-4258247-1502638479 -o /tmp/evaluation-result-4258247-1502638479/solver-4258247-1502638479 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15760 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258247-1502638479.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=16116, runsolver pid=16113
[startup+0.108336 s]*
/proc/loadavg: 5.06 4.03 3.18 6/216 16131
/proc/meminfo: memFree=25645532/32770624 swapFree=67108860/67108860
[pid=16116] ppid=16113 vsize=10555432 memory=30228 CPUtime=0.13 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 6338 0 -1 1077944320 6676 0 0 0 12 1 0 0 20 0 15 0 96928991 10808762368 7509 33554432000 4194304 4196468 140726907559136 140726907541680 139726369922807 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
/proc/16116/statm: 2638858 7557 2790 1 0 2627271 0
[pid=16116/tid=16118] ppid=16113 vsize=10555400 memory=-7254947784588945530 CPUtime=0.09 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) R 16113 16116 6338 0 -1 1077944384 4516 0 0 0 9 0 0 0 20 0 15 0 96928991 10808729600 7557 33554432000 4194304 4196468 140726907559136 139726374133984 139726362602029 0 4 0 16800975 18446744072101662244 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16119] ppid=16113 vsize=10555432 memory=5793855312254323129 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928992 10808762368 7557 33554432000 4194304 4196468 140726907559136 139726295997072 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16120] ppid=16113 vsize=10555432 memory=140061244429952 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928992 10808762368 7557 33554432000 4194304 4196468 140726907559136 139726294944272 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16121] ppid=16113 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928992 10808729600 7557 33554432000 4194304 4196468 140726907559136 139726293891472 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16122] ppid=16113 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928992 10808729600 7557 33554432000 4194304 4196468 140726907559136 139725973219600 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16123] ppid=16113 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928993 10808729600 7557 33554432000 4194304 4196468 140726907559136 139725861829488 139726369933954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16124] ppid=16113 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96928994 10808729600 7557 33554432000 4194304 4196468 140726907559136 139725860775456 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16125] ppid=16113 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96928994 10808729600 7557 33554432000 4194304 4196468 140726907559136 139725859722608 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16126] ppid=16113 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808729600 7557 33554432000 4194304 4196468 140726907559136 139725858670928 139726369941403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16127] ppid=16113 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 6338 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 96928996 10808729600 7557 33554432000 4194304 4196468 140726907559136 139725857618288 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16128] ppid=16113 vsize=10555432 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 6338 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 96928996 10808762368 7557 33554432000 4194304 4196468 140726907559136 139725856565488 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16129] ppid=16113 vsize=10555432 memory=140061244429952 CPUtime=0.02 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 6338 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 96928996 10808762368 7557 33554432000 4194304 4196468 140726907559136 139725855512688 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16130] ppid=16113 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808729600 7557 33554432000 4194304 4196468 140726907559136 139725854460128 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16131] ppid=16113 vsize=10555400 memory=140061244429952 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928997 10808729600 7557 33554432000 4194304 4196468 140726907559136 139725853408432 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555432 KiB
Current children cumulated memory: 30228 KiB
[startup+0.210524 s]*
/proc/loadavg: 5.06 4.03 3.18 3/216 16131
/proc/meminfo: memFree=25637452/32770624 swapFree=67108860/67108860
[pid=16116] ppid=16113 vsize=10555400 memory=39848 CPUtime=0.29 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 6338 0 -1 1077944320 8076 0 0 0 27 2 0 0 20 0 15 0 96928991 10808729600 9962 33554432000 4194304 4196468 140726907559136 140726907541680 139726369922807 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
/proc/16116/statm: 2638850 9962 2942 1 0 2627263 0
[pid=16116/tid=16118] ppid=16113 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) R 16113 16116 6338 0 -1 4202560 5220 0 0 0 19 1 0 0 20 0 15 0 96928991 10808729600 9962 33554432000 4194304 4196468 140726907559136 139726374157904 139726369944733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16119] ppid=16113 vsize=10555400 memory=4211973787449220490 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928992 10808729600 9962 33554432000 4194304 4196468 140726907559136 139726295997072 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16120] ppid=16113 vsize=10555400 memory=140061244429952 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928992 10808729600 9962 33554432000 4194304 4196468 140726907559136 139726294944272 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16121] ppid=16113 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928992 10808729600 9962 33554432000 4194304 4196468 140726907559136 139726293891472 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16122] ppid=16113 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928992 10808729600 9962 33554432000 4194304 4196468 140726907559136 139725973219600 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16123] ppid=16113 vsize=10555400 memory=140061244429952 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928993 10808729600 9962 33554432000 4194304 4196468 140726907559136 139725861829488 139726369933954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16124] ppid=16113 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96928994 10808729600 9962 33554432000 4194304 4196468 140726907559136 139725860775456 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16125] ppid=16113 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96928994 10808729600 9962 33554432000 4194304 4196468 140726907559136 139725859722608 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16126] ppid=16113 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808729600 9962 33554432000 4194304 4196468 140726907559136 139725858670928 139726369941403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16127] ppid=16113 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 6338 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 15 0 96928996 10808729600 10027 33554432000 4194304 4196468 140726907559136 139725857618288 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16128] ppid=16113 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 6338 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 15 0 96928996 10808729600 10027 33554432000 4194304 4196468 140726907559136 139725856565488 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16129] ppid=16113 vsize=10555400 memory=140061244429952 CPUtime=0.06 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 6338 0 -1 1077944384 811 0 0 0 6 0 0 0 20 0 15 0 96928996 10808729600 10027 33554432000 4194304 4196468 140726907559136 139725855512688 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16130] ppid=16113 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808729600 10027 33554432000 4194304 4196468 140726907559136 139725854460128 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16131] ppid=16113 vsize=10555400 memory=140061244429952 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928997 10808729600 10027 33554432000 4194304 4196468 140726907559136 139725853408432 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39848 KiB
[startup+0.310144 s]*
/proc/loadavg: 5.06 4.03 3.18 6/216 16131
/proc/meminfo: memFree=25630628/32770624 swapFree=67108860/67108860
[pid=16116] ppid=16113 vsize=10555476 memory=46144 CPUtime=0.5 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 6338 0 -1 1077944320 8672 0 0 0 47 3 0 0 20 0 15 0 96928991 10808807424 11536 33554432000 4194304 4196468 140726907559136 140726907541680 139726369922807 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
/proc/16116/statm: 2638869 11536 3017 1 0 2627263 0
[pid=16116/tid=16118] ppid=16113 vsize=10555476 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) R 16113 16116 6338 0 -1 4202560 5581 0 0 0 28 1 0 0 20 0 15 0 96928991 10808807424 11536 33554432000 4194304 4196468 140726907559136 139726374159200 139725973322342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16119] ppid=16113 vsize=10555476 memory=4211973787449220490 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928992 10808807424 11536 33554432000 4194304 4196468 140726907559136 139726295997072 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16120] ppid=16113 vsize=10555476 memory=140061244432309 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928992 10808807424 11536 33554432000 4194304 4196468 140726907559136 139726294944272 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16121] ppid=16113 vsize=10555476 memory=140061098230482 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928992 10808807424 11536 33554432000 4194304 4196468 140726907559136 139726293891472 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16122] ppid=16113 vsize=10555476 memory=140061098233295 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928992 10808807424 11536 33554432000 4194304 4196468 140726907559136 139725973219600 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16123] ppid=16113 vsize=10555476 memory=140061244436317 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928993 10808807424 11536 33554432000 4194304 4196468 140726907559136 139725861829488 139726369933954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16124] ppid=16113 vsize=10555476 memory=140061098242479 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 11536 33554432000 4194304 4196468 140726907559136 139725860775456 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16125] ppid=16113 vsize=10555476 memory=280122196475792 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 11536 33554432000 4194304 4196468 140726907559136 139725859722608 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16126] ppid=16113 vsize=10555476 memory=280122196473488 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 11536 33554432000 4194304 4196468 140726907559136 139725858670928 139726369941403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16127] ppid=16113 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 6338 0 -1 1077944384 498 0 0 0 4 0 0 0 20 0 15 0 96928996 10808807424 11536 33554432000 4194304 4196468 140726907559136 139725857618288 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16128] ppid=16113 vsize=10555476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 6338 0 -1 1077944384 308 0 0 0 2 0 0 0 20 0 15 0 96928996 10808807424 11536 33554432000 4194304 4196468 140726907559136 139725856565488 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16129] ppid=16113 vsize=10555476 memory=140061244429952 CPUtime=0.13 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) R 16113 16116 6338 0 -1 4202560 917 0 0 0 13 0 0 0 20 0 15 0 96928996 10808807424 11536 33554432000 4194304 4196468 140726907559136 139725855512688 139726349355872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16130] ppid=16113 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 11536 33554432000 4194304 4196468 140726907559136 139725854460128 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16131] ppid=16113 vsize=10555476 memory=140061244429952 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928997 10808807424 11536 33554432000 4194304 4196468 140726907559136 139725853408432 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46144 KiB
[startup+0.700737 s]
/proc/loadavg: 5.06 4.03 3.18 5/216 16131
/proc/meminfo: memFree=25480828/32770624 swapFree=67108860/67108860
[pid=16116] ppid=16113 vsize=10555476 memory=380060 CPUtime=1.48 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 6338 0 -1 1077944320 10085 0 0 0 127 21 0 0 20 0 15 0 96928991 10808807424 95015 33554432000 4194304 4196468 140726907559136 140726907541680 139726369922807 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
/proc/16116/statm: 2638869 95015 3095 1 0 2627263 0
[pid=16116/tid=16118] ppid=16113 vsize=10555476 memory=1952 CPUtime=0.57 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) R 16113 16116 6338 0 -1 4202560 5769 0 0 0 51 6 0 0 20 0 15 0 96928991 10808807424 95015 33554432000 4194304 4196468 140726907559136 139726374160560 139726355990932 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16119] ppid=16113 vsize=10555476 memory=5796 CPUtime=0.09 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 6338 0 -1 1077944384 138 0 0 0 6 3 0 0 20 0 15 0 96928992 10808807424 95015 33554432000 4194304 4196468 140726907559136 139726295997072 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16120] ppid=16113 vsize=10555476 memory=4616 CPUtime=0.09 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 6338 0 -1 1077944384 129 0 0 0 6 3 0 0 20 0 15 0 96928992 10808807424 95015 33554432000 4194304 4196468 140726907559136 139726294944272 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16121] ppid=16113 vsize=10555476 memory=7523356985603351872 CPUtime=0.09 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 6338 0 -1 1077944384 130 0 0 0 6 3 0 0 20 0 15 0 96928992 10808807424 95015 33554432000 4194304 4196468 140726907559136 139726293891472 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16122] ppid=16113 vsize=10555476 memory=7881696724453321575 CPUtime=0.09 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 6338 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 15 0 96928992 10808807424 95015 33554432000 4194304 4196468 140726907559136 139725973219600 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16123] ppid=16113 vsize=10555476 memory=7368009186385350736 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 6338 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 96928993 10808807424 95015 33554432000 4194304 4196468 140726907559136 139725861829488 139726369933954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16124] ppid=16113 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 6338 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 95015 33554432000 4194304 4196468 140726907559136 139725860775456 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16125] ppid=16113 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 95015 33554432000 4194304 4196468 140726907559136 139725859722608 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16126] ppid=16113 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 95015 33554432000 4194304 4196468 140726907559136 139725858670928 139726369941403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16127] ppid=16113 vsize=10555476 memory=72 CPUtime=0.16 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 6338 0 -1 1077944384 763 0 0 0 16 0 0 0 20 0 15 0 96928996 10808807424 95015 33554432000 4194304 4196468 140726907559136 139725857618288 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16128] ppid=16113 vsize=10555476 memory=3 CPUtime=0.11 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 6338 0 -1 1077944384 381 0 0 0 11 0 0 0 20 0 15 0 96928996 10808807424 95015 33554432000 4194304 4196468 140726907559136 139725856565488 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16129] ppid=16113 vsize=10555476 memory=6069 CPUtime=0.2 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 6338 0 -1 1077944384 1063 0 0 0 20 0 0 0 20 0 15 0 96928996 10808807424 95015 33554432000 4194304 4196468 140726907559136 139725855512688 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16130] ppid=16113 vsize=10555476 memory=280122196659696 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 95015 33554432000 4194304 4196468 140726907559136 139725854460128 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16131] ppid=16113 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928997 10808807424 95015 33554432000 4194304 4196468 140726907559136 139725853408432 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 380060 KiB
[startup+1.50077 s]
/proc/loadavg: 5.06 4.03 3.18 5/216 16131
/proc/meminfo: memFree=25214236/32770624 swapFree=67108860/67108860
[pid=16116] ppid=16113 vsize=10555476 memory=566360 CPUtime=3.2 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 6338 0 -1 1077944320 14447 0 0 0 291 29 0 0 20 0 15 0 96928991 10808807424 141590 33554432000 4194304 4196468 140726907559136 140726907541680 139726369922807 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
/proc/16116/statm: 2638869 141590 3108 1 0 2627263 0
[pid=16116/tid=16118] ppid=16113 vsize=10555476 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) R 16113 16116 6338 0 -1 4202560 6254 0 0 0 121 7 0 0 20 0 15 0 96928991 10808807424 141590 33554432000 4194304 4196468 140726907559136 139726374156080 139725976505084 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16119] ppid=16113 vsize=10555476 memory=-6292470442678706534 CPUtime=0.17 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 6338 0 -1 1077944384 172 0 0 0 12 5 0 0 20 0 15 0 96928992 10808807424 141590 33554432000 4194304 4196468 140726907559136 139726295997072 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16120] ppid=16113 vsize=10555476 memory=-5935602824819121961 CPUtime=0.15 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 6338 0 -1 1077944384 182 0 0 0 11 4 0 0 20 0 15 0 96928992 10808807424 141590 33554432000 4194304 4196468 140726907559136 139726294944272 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16121] ppid=16113 vsize=10555476 memory=-1161699032755887712 CPUtime=0.16 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 6338 0 -1 1077944384 395 0 0 0 12 4 0 0 20 0 15 0 96928992 10808807424 141590 33554432000 4194304 4196468 140726907559136 139726293891472 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16122] ppid=16113 vsize=10555476 memory=-6305713888769566080 CPUtime=0.15 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 6338 0 -1 1077944384 166 0 0 0 11 4 0 0 20 0 15 0 96928992 10808807424 141590 33554432000 4194304 4196468 140726907559136 139725973219600 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16123] ppid=16113 vsize=10555476 memory=-6305719381897995392 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 6338 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 96928993 10808807424 141590 33554432000 4194304 4196468 140726907559136 139725861829488 139726369933954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
################
# More data... #
################
/proc/16116/statm: 2638869 2025834 3130 1 0 2627263 0
[pid=16116/tid=16118] ppid=16113 vsize=10555476 memory=28496 CPUtime=13.82 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) S 16113 16116 6338 0 -1 1077944384 16119 0 0 0 1369 13 0 0 20 0 15 0 96928991 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726374159808 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16119] ppid=16113 vsize=10555476 memory=2428 CPUtime=56.06 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) R 16113 16116 6338 0 -1 4202560 22738 0 0 0 5455 151 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726295997192 139726362551015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16120] ppid=16113 vsize=10555476 memory=1292 CPUtime=56.57 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) R 16113 16116 6338 0 -1 4202560 38347 0 0 0 5510 147 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726294944472 139726354622672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16121] ppid=16113 vsize=10555476 memory=6791534058613427641 CPUtime=55.77 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) R 16113 16116 6338 0 -1 4202560 30261 0 0 0 5419 158 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726293891592 139726362551015 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16122] ppid=16113 vsize=10555476 memory=8584 CPUtime=55.94 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) R 16113 16116 6338 0 -1 4202560 18373 0 0 0 5440 154 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725973219408 139726362551015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16123] ppid=16113 vsize=10555476 memory=792 CPUtime=12.39 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 6338 0 -1 1077944384 21254 0 0 0 1237 2 0 0 20 0 15 0 96928993 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725861828032 139726369933013 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16124] ppid=16113 vsize=10555476 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 6338 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725860775520 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16125] ppid=16113 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725859722624 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16126] ppid=16113 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725858670928 139726369941403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16127] ppid=16113 vsize=10555476 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 6338 0 -1 1077944384 2683 0 0 0 57 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725857618336 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16128] ppid=16113 vsize=10555476 memory=54 CPUtime=0.6 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 6338 0 -1 1077944384 5027 0 0 0 59 1 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725856565248 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16129] ppid=16113 vsize=10555476 memory=6791534058613427641 CPUtime=0.26 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 6338 0 -1 1077944384 2311 0 0 0 26 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725855512736 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16130] ppid=16113 vsize=10555476 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725854460128 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16131] ppid=16113 vsize=10555476 memory=6508 CPUtime=0.02 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 6338 0 -1 1077944384 465 0 0 0 1 1 0 0 20 0 15 0 96928997 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725853408432 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8103336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+85.2416 s]
# the end of solver process 16116 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.113 s, system=6.37164 s
Solver just ended.
Dumping a history of the last processes samples
[startup+84.0007 s]*
/proc/loadavg: 5.73 4.50 3.42 9/216 16210
/proc/meminfo: memFree=18907456/32770624 swapFree=67108860/67108860
[pid=16116] ppid=16113 vsize=10555476 memory=8103336 CPUtime=255.23 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 6338 0 -1 1077944320 159727 0 0 0 24892 631 0 0 20 0 15 0 96928991 10808807424 2025834 33554432000 4194304 4196468 140726907559136 140726907541680 139726369922807 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
/proc/16116/statm: 2638869 2025834 3130 1 0 2627263 0
[pid=16116/tid=16118] ppid=16113 vsize=10555476 memory=6791534058613427641 CPUtime=13.82 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) S 16113 16116 6338 0 -1 1077944384 16119 0 0 0 1369 13 0 0 20 0 15 0 96928991 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726374159808 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16119] ppid=16113 vsize=10555476 memory=-7003737579269690708 CPUtime=56.84 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) R 16113 16116 6338 0 -1 4202560 22738 0 0 0 5533 151 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726295997192 139726362551015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16120] ppid=16113 vsize=10555476 memory=8514701219730523551 CPUtime=57.38 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) R 16113 16116 6338 0 -1 4202560 39129 0 0 0 5591 147 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726294944472 139726354622638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16121] ppid=16113 vsize=10555476 memory=7373922467664848996 CPUtime=56.54 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) R 16113 16116 6338 0 -1 4202560 30261 0 0 0 5496 158 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726293891592 139726362551015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16122] ppid=16113 vsize=10555476 memory=7235144317618450282 CPUtime=56.73 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) R 16113 16116 6338 0 -1 4202560 18373 0 0 0 5518 155 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725973219720 139726362551015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16123] ppid=16113 vsize=10555476 memory=7594591147891386984 CPUtime=12.39 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 6338 0 -1 1077944384 21254 0 0 0 1237 2 0 0 20 0 15 0 96928993 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725861828032 139726369933013 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16124] ppid=16113 vsize=10555476 memory=5450909908396308010 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 6338 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725860775520 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16125] ppid=16113 vsize=10555476 memory=6005098660804257128 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725859722624 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16126] ppid=16113 vsize=10555476 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725858670576 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16127] ppid=16113 vsize=10555476 memory=2852 CPUtime=0.57 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 6338 0 -1 1077944384 2683 0 0 0 57 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725857618336 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16128] ppid=16113 vsize=10555476 memory=8103336 CPUtime=0.6 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 6338 0 -1 1077944384 5027 0 0 0 59 1 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725856565248 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16129] ppid=16113 vsize=10555476 memory=1156 CPUtime=0.26 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 6338 0 -1 1077944384 2311 0 0 0 26 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725855512736 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16130] ppid=16113 vsize=10555476 memory=2492 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725854460128 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16131] ppid=16113 vsize=10555476 memory=1322112 CPUtime=0.02 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 6338 0 -1 1077944384 465 0 0 0 1 1 0 0 20 0 15 0 96928997 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725853408432 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
Current children cumulated CPU time: 255.23 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8103336 KiB
[startup+84.8007 s]
/proc/loadavg: 5.73 4.50 3.42 9/216 16210
/proc/meminfo: memFree=18907456/32770624 swapFree=67108860/67108860
[pid=16116] ppid=16113 vsize=10555476 memory=8103336 CPUtime=258.3 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 6338 0 -1 1077944320 159727 0 0 0 25197 633 0 0 20 0 15 0 96928991 10808807424 2025834 33554432000 4194304 4196468 140726907559136 140726907541680 139726369922807 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
/proc/16116/statm: 2638869 2025834 3130 1 0 2627263 0
[pid=16116/tid=16118] ppid=16113 vsize=10555476 memory=26 CPUtime=13.82 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) S 16113 16116 6338 0 -1 1077944384 16119 0 0 0 1369 13 0 0 20 0 15 0 96928991 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726374159808 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16119] ppid=16113 vsize=10555476 memory=6791534058613427641 CPUtime=57.59 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) R 16113 16116 6338 0 -1 4202560 22738 0 0 0 5608 151 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726295997192 139726362551015 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16120] ppid=16113 vsize=10555476 memory=2536 CPUtime=58.17 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) R 16113 16116 6338 0 -1 4202560 39129 0 0 0 5670 147 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726294944472 139726354912361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16121] ppid=16113 vsize=10555476 memory=2536 CPUtime=57.29 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) R 16113 16116 6338 0 -1 4202560 30261 0 0 0 5571 158 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726293891592 139726362551015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16122] ppid=16113 vsize=10555476 memory=8103336 CPUtime=57.48 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) R 16113 16116 6338 0 -1 4202560 18373 0 0 0 5593 155 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725973219408 139726362551015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16123] ppid=16113 vsize=10555476 memory=8103336 CPUtime=12.39 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 6338 0 -1 1077944384 21254 0 0 0 1237 2 0 0 20 0 15 0 96928993 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725861828032 139726369933013 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16124] ppid=16113 vsize=10555476 memory=8103336 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 6338 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725860775520 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16125] ppid=16113 vsize=10555476 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725859722624 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16126] ppid=16113 vsize=10555476 memory=28496 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725858670576 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16127] ppid=16113 vsize=10555476 memory=2428 CPUtime=0.57 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 6338 0 -1 1077944384 2683 0 0 0 57 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725857618336 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16128] ppid=16113 vsize=10555476 memory=1292 CPUtime=0.6 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 6338 0 -1 1077944384 5027 0 0 0 59 1 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725856565248 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16129] ppid=16113 vsize=10555476 memory=1728 CPUtime=0.26 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 6338 0 -1 1077944384 2311 0 0 0 26 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725855512736 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16130] ppid=16113 vsize=10555476 memory=12064 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725854460128 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16131] ppid=16113 vsize=10555476 memory=1004 CPUtime=0.02 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 6338 0 -1 1077944384 465 0 0 0 1 1 0 0 20 0 15 0 96928997 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725853408432 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
Current children cumulated CPU time: 258.3 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8103336 KiB
[startup+85.2007 s]
/proc/loadavg: 5.73 4.50 3.42 6/216 16210
/proc/meminfo: memFree=18905408/32770624 swapFree=67108860/67108860
[pid=16116] ppid=16113 vsize=10555476 memory=8103336 CPUtime=259.43 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 6338 0 -1 1077944320 159739 0 0 0 25310 633 0 0 20 0 15 0 96928991 10808807424 2025834 33554432000 4194304 4196468 140726907559136 140726907541680 139726369922807 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
/proc/16116/statm: 2638869 2025834 3130 1 0 2627263 0
[pid=16116/tid=16118] ppid=16113 vsize=10555476 memory=6944656592455350634 CPUtime=13.82 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) S 16113 16116 6338 0 -1 1077944384 16119 0 0 0 1369 13 0 0 20 0 15 0 96928991 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726374159808 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16119] ppid=16113 vsize=10555476 memory=6655300316396806240 CPUtime=57.83 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 6338 0 -1 1077944384 22738 0 0 0 5632 151 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726295997072 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16120] ppid=16113 vsize=10555476 memory=7373914762459506028 CPUtime=58.43 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 6338 0 -1 1077944384 39129 0 0 0 5696 147 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726294944272 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16121] ppid=16113 vsize=10555476 memory=7235425792595159144 CPUtime=57.54 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 6338 0 -1 1077944384 30261 0 0 0 5596 158 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139726293891472 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16122] ppid=16113 vsize=10555476 memory=7595998441925667948 CPUtime=57.74 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 6338 0 -1 1077944384 18373 0 0 0 5618 156 0 0 20 0 15 0 96928992 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725973219600 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16123] ppid=16113 vsize=10555476 memory=-8412654364556758899 CPUtime=12.53 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) R 16113 16116 6338 0 -1 4202560 21266 0 0 0 1251 2 0 0 20 0 15 0 96928993 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725861828032 139726354919214 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16124] ppid=16113 vsize=10555476 memory=6227746475584612968 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 6338 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725860775520 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16125] ppid=16113 vsize=10555476 memory=6227746475584612968 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96928994 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725859722624 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16126] ppid=16113 vsize=10555476 memory=7882546625416353903 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725858670576 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16127] ppid=16113 vsize=10555476 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 6338 0 -1 1077944384 2683 0 0 0 57 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725857618336 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16128] ppid=16113 vsize=10555476 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 6338 0 -1 1077944384 5027 0 0 0 59 1 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725856565248 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16129] ppid=16113 vsize=10555476 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 6338 0 -1 1077944384 2311 0 0 0 26 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725855512736 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16130] ppid=16113 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928996 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725854460128 139726369933013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
[pid=16116/tid=16131] ppid=16113 vsize=10555476 memory=56 CPUtime=0.02 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 6338 0 -1 1077944384 465 0 0 0 1 1 0 0 20 0 15 0 96928997 10808807424 2025834 33554432000 4194304 4196468 140726907559136 139725853408432 139726369933954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14053376 140726907565195 140726907565348 140726907565348 140726907568079 0
Current children cumulated CPU time: 259.43 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8103336 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 85.2417
CPU time (s): 259.484
CPU user time (s): 253.113
CPU system time (s): 6.37164
CPU usage (%): 304.41
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8103336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.113
system time used= 6.37164
maximum resident set size= 8103656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6295
involuntary context switches= 5507
# summary of solver processes directly reported to runsolver:
# pid: 16116
# total CPU time (s): 259.484
# total CPU user time (s): 253.113
# total CPU system time (s): 6.37164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.532807 second user time and 0.856083 second system time
The end