runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688802-1337879856/watcher-3688802-1337879856 -o /tmp/evaluation-result-3688802-1337879856/solver-3688802-1337879856 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688802-1337879856.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.57 3.70 3.71 4/197 25022
/proc/meminfo: memFree=27175076/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25022/stat : 25022 (java) R 25020 25022 22409 0 -1 4202496 1020 0 0 0 0 0 0 0 20 0 1 0 254112896 23793664 747 33554432000 1073741824 1073778376 140733680707408 140733680696472 139775437812845 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 5809 760 558 9 0 128 0
[startup+0.0573169 s]
/proc/loadavg: 3.57 3.70 3.71 4/197 25022
/proc/meminfo: memFree=27175076/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/25022/stat : 25022 (java) S 25020 25022 22409 0 -1 4202496 3224 0 1 0 4 0 0 0 20 0 18 0 254112896 9787813888 4432 33554432000 1073741824 1073778376 140733680707408 140733680698544 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 2389603 4433 1759 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412
[startup+0.100209 s]
/proc/loadavg: 3.57 3.70 3.71 4/197 25022
/proc/meminfo: memFree=27175076/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/25022/stat : 25022 (java) S 25020 25022 22409 0 -1 4202496 4483 0 1 0 10 0 0 0 20 0 18 0 254112896 9787813888 6153 33554432000 1073741824 1073778376 140733680707408 140733680698544 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 2389603 6153 2142 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300168 s]
/proc/loadavg: 3.57 3.70 3.71 4/197 25022
/proc/meminfo: memFree=27175076/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/25022/stat : 25022 (java) S 25020 25022 22409 0 -1 4202496 5683 0 1 0 47 1 0 0 20 0 18 0 254112896 9787813888 9030 33554432000 1073741824 1073778376 140733680707408 140733680698544 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 2389603 9030 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700182 s]
/proc/loadavg: 3.57 3.70 3.71 4/197 25022
/proc/meminfo: memFree=27175076/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=9824668 CPUtime=1.94 cores=0,2,4,6
/proc/25022/stat : 25022 (java) S 25020 25022 22409 0 -1 4202496 15873 0 1 0 191 3 0 0 20 0 22 0 254112896 10060460032 21518 33554432000 1073741824 1073778376 140733680707408 140733680698544 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 2456167 21518 2250 9 0 2446860 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9824668
[startup+1.50076 s]
/proc/loadavg: 3.57 3.70 3.71 7/219 25044
/proc/meminfo: memFree=27084228/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=9824668 CPUtime=4.49 cores=0,2,4,6
/proc/25022/stat : 25022 (java) S 25020 25022 22409 0 -1 4202496 22311 0 1 0 444 5 0 0 20 0 22 0 254112896 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 140733680698544 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 2456167 36953 2259 9 0 2446860 0
[pid=25022/tid=25024] ppid=25020 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/25022/task/25024/stat : 25024 (java) S 25020 25022 22409 0 -1 4202560 2491 0 1 0 37 0 0 0 20 0 22 0 254112896 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775429862392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25025] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25025/stat : 25025 (java) S 25020 25022 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254112897 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775418923304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25026] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25026/stat : 25026 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112897 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775417870504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25027] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25027/stat : 25027 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112897 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775416818216 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25028] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25028/stat : 25028 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112897 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775270664616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25029] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25029/stat : 25029 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112897 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775269612328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25030] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25030/stat : 25030 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112897 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775268559528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25031] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25031/stat : 25031 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112897 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775267507240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25032] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25032/stat : 25032 (java) S 25020 25022 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254112897 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775266454440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25033] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25033/stat : 25033 (java) S 25020 25022 22409 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775254042856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25034] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25034/stat : 25034 (java) S 25020 25022 22409 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775252988920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25035] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25035/stat : 25035 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775251936520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25036] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25036/stat : 25036 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112900 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775250885008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25037] ppid=25020 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/25022/task/25037/stat : 25037 (java) S 25020 25022 22409 0 -1 4202560 7770 0 0 0 92 2 0 0 20 0 22 0 254112900 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775249832632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25038] ppid=25020 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/25022/task/25038/stat : 25038 (java) S 25020 25022 22409 0 -1 4202560 10707 0 0 0 92 2 0 0 20 0 22 0 254112900 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775248779832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25039] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25039/stat : 25039 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112900 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775247727736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25040] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25040/stat : 25040 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112901 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775246675144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25041] ppid=25020 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/25022/task/25041/stat : 25041 (java) R 25020 25022 22409 0 -1 4202560 37 0 0 0 108 0 0 0 20 0 22 0 254112936 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775244972696 139775298854345 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25042] ppid=25020 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/25022/task/25042/stat : 25042 (java) R 25020 25022 22409 0 -1 4202560 104 0 0 0 108 0 0 0 20 0 22 0 254112936 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775243918616 139775298966266 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25043] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25043/stat : 25043 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112937 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775242867880 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25044] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25044/stat : 25044 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112937 10060460032 36953 33554432000 1073741824 1073778376 140733680707408 139775241815080 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 9824668
[startup+3.10078 s]
/proc/loadavg: 3.57 3.70 3.71 4/219 25044
/proc/meminfo: memFree=26944096/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=9824668 CPUtime=7.95 cores=0,2,4,6
/proc/25022/stat : 25022 (java) S 25020 25022 22409 0 -1 4202496 23010 0 1 0 779 16 0 0 20 0 22 0 254112896 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 140733680698544 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 2456167 90955 2285 9 0 2446860 0
[pid=25022/tid=25024] ppid=25020 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/25022/task/25024/stat : 25024 (java) S 25020 25022 22409 0 -1 4202560 2491 0 1 0 37 0 0 0 20 0 22 0 254112896 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775429862392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25025] ppid=25020 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25022/task/25025/stat : 25025 (java) S 25020 25022 22409 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254112897 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775418923304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25026] ppid=25020 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25022/task/25026/stat : 25026 (java) S 25020 25022 22409 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 22 0 254112897 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775417870504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25027] ppid=25020 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25022/task/25027/stat : 25027 (java) S 25020 25022 22409 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 254112897 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775416818216 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25028] ppid=25020 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25022/task/25028/stat : 25028 (java) S 25020 25022 22409 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 254112897 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775270664616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25029] ppid=25020 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25022/task/25029/stat : 25029 (java) S 25020 25022 22409 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 22 0 254112897 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775269612328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25030] ppid=25020 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25022/task/25030/stat : 25030 (java) S 25020 25022 22409 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254112897 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775268559528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25031] ppid=25020 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25022/task/25031/stat : 25031 (java) S 25020 25022 22409 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254112897 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775267507240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25032] ppid=25020 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25022/task/25032/stat : 25032 (java) S 25020 25022 22409 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254112897 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775266454440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25033] ppid=25020 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25022/task/25033/stat : 25033 (java) S 25020 25022 22409 0 -1 4202560 226 0 0 0 4 0 0 0 20 0 22 0 254112898 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775254042856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25034] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25034/stat : 25034 (java) S 25020 25022 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775252988920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25035] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25035/stat : 25035 (java) S 25020 25022 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775251936520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25036] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25036/stat : 25036 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112900 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775250885008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25037] ppid=25020 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/25022/task/25037/stat : 25037 (java) S 25020 25022 22409 0 -1 4202560 7772 0 0 0 99 2 0 0 20 0 22 0 254112900 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775249832632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25038] ppid=25020 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/25022/task/25038/stat : 25038 (java) S 25020 25022 22409 0 -1 4202560 10971 0 0 0 103 2 0 0 20 0 22 0 254112900 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775248779832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25039] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25039/stat : 25039 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112900 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775247727736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25040] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25040/stat : 25040 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112901 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775246675144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25041] ppid=25020 vsize=9824668 CPUtime=2.52 cores=0,2,4,6
/proc/25022/task/25041/stat : 25041 (java) R 25020 25022 22409 0 -1 4202560 42 0 0 0 252 0 0 0 20 0 22 0 254112936 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775244972440 139775299250311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25042] ppid=25020 vsize=9824668 CPUtime=2.54 cores=0,2,4,6
/proc/25022/task/25042/stat : 25042 (java) R 25020 25022 22409 0 -1 4202560 172 0 0 0 250 4 0 0 20 0 22 0 254112936 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775243917984 139775299073760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25043] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25043/stat : 25043 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112937 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775242867880 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25044] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25044/stat : 25044 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112937 10060460032 90955 33554432000 1073741824 1073778376 140733680707408 139775241815080 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+4.70078 s]
/proc/loadavg: 3.60 3.70 3.72 5/219 25044
/proc/meminfo: memFree=26798752/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=9824668 CPUtime=11.41 cores=0,2,4,6
/proc/25022/stat : 25022 (java) S 25020 25022 22409 0 -1 4202496 28143 0 1 0 1121 20 0 0 20 0 22 0 254112896 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 140733680698544 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 2456167 108178 2285 9 0 2446860 0
[pid=25022/tid=25024] ppid=25020 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/25022/task/25024/stat : 25024 (java) S 25020 25022 22409 0 -1 4202560 2491 0 1 0 37 0 0 0 20 0 22 0 254112896 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775429862392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25025] ppid=25020 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25022/task/25025/stat : 25025 (java) S 25020 25022 22409 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254112897 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775418923304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25026] ppid=25020 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/25022/task/25026/stat : 25026 (java) S 25020 25022 22409 0 -1 4202560 40 0 0 0 7 1 0 0 20 0 22 0 254112897 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775417870504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25027] ppid=25020 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25022/task/25027/stat : 25027 (java) S 25020 25022 22409 0 -1 4202560 15 0 0 0 3 1 0 0 20 0 22 0 254112897 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775416818216 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25028] ppid=25020 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25022/task/25028/stat : 25028 (java) S 25020 25022 22409 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 254112897 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775270664616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25029] ppid=25020 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25022/task/25029/stat : 25029 (java) S 25020 25022 22409 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 254112897 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775269612328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25030] ppid=25020 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25022/task/25030/stat : 25030 (java) S 25020 25022 22409 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 254112897 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775268559528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25031] ppid=25020 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25022/task/25031/stat : 25031 (java) S 25020 25022 22409 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 22 0 254112897 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775267507240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25032] ppid=25020 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25022/task/25032/stat : 25032 (java) S 25020 25022 22409 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254112897 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775266454440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25033] ppid=25020 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/25022/task/25033/stat : 25033 (java) S 25020 25022 22409 0 -1 4202560 236 0 0 0 16 2 0 0 20 0 22 0 254112898 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775254042856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25034] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25034/stat : 25034 (java) S 25020 25022 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775252988920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25035] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25035/stat : 25035 (java) S 25020 25022 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775251936520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25036] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25036/stat : 25036 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112900 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775250885008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25037] ppid=25020 vsize=9824668 CPUtime=1.19 cores=0,2,4,6
/proc/25022/task/25037/stat : 25037 (java) S 25020 25022 22409 0 -1 4202560 10776 0 0 0 117 2 0 0 20 0 22 0 254112900 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775249832632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25038] ppid=25020 vsize=9824668 CPUtime=1.22 cores=0,2,4,6
/proc/25022/task/25038/stat : 25038 (java) S 25020 25022 22409 0 -1 4202560 13032 0 0 0 119 3 0 0 20 0 22 0 254112900 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775248779832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25039] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25039/stat : 25039 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112900 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775247727736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25040] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25040/stat : 25040 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112901 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775246675144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25041] ppid=25020 vsize=9824668 CPUtime=3.94 cores=0,2,4,6
/proc/25022/task/25041/stat : 25041 (java) R 25020 25022 22409 0 -1 4202560 43 0 0 0 394 0 0 0 20 0 22 0 254112936 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775244972216 139775299485031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25042] ppid=25020 vsize=9824668 CPUtime=3.96 cores=0,2,4,6
/proc/25022/task/25042/stat : 25042 (java) R 25020 25022 22409 0 -1 4202560 187 0 0 0 392 4 0 0 20 0 22 0 254112936 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775243917768 139775299076081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25043] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25043/stat : 25043 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112937 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775242867880 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25044] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25044/stat : 25044 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112937 10060460032 108178 33554432000 1073741824 1073778376 140733680707408 139775241815080 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 9824668
[startup+5.10078 s]
/proc/loadavg: 3.60 3.70 3.72 5/219 25044
/proc/meminfo: memFree=26798752/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=9824668 CPUtime=12.21 cores=0,2,4,6
/proc/25022/stat : 25022 (java) S 25020 25022 22409 0 -1 4202496 28143 0 1 0 1201 20 0 0 20 0 22 0 254112896 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 140733680698544 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 2456167 108059 2285 9 0 2446860 0
[pid=25022/tid=25024] ppid=25020 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/25022/task/25024/stat : 25024 (java) S 25020 25022 22409 0 -1 4202560 2491 0 1 0 37 0 0 0 20 0 22 0 254112896 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775429862392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25025] ppid=25020 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25022/task/25025/stat : 25025 (java) S 25020 25022 22409 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254112897 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775418923304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25026] ppid=25020 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/25022/task/25026/stat : 25026 (java) S 25020 25022 22409 0 -1 4202560 40 0 0 0 7 1 0 0 20 0 22 0 254112897 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775417870504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25027] ppid=25020 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25022/task/25027/stat : 25027 (java) S 25020 25022 22409 0 -1 4202560 15 0 0 0 3 1 0 0 20 0 22 0 254112897 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775416818216 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25028] ppid=25020 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25022/task/25028/stat : 25028 (java) S 25020 25022 22409 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 254112897 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775270664616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25029] ppid=25020 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25022/task/25029/stat : 25029 (java) S 25020 25022 22409 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 254112897 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775269612328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25030] ppid=25020 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25022/task/25030/stat : 25030 (java) S 25020 25022 22409 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 254112897 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775268559528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25031] ppid=25020 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25022/task/25031/stat : 25031 (java) S 25020 25022 22409 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 22 0 254112897 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775267507240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25032] ppid=25020 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25022/task/25032/stat : 25032 (java) S 25020 25022 22409 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254112897 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775266454440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25033] ppid=25020 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/25022/task/25033/stat : 25033 (java) S 25020 25022 22409 0 -1 4202560 236 0 0 0 16 2 0 0 20 0 22 0 254112898 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775254042856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25034] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25034/stat : 25034 (java) S 25020 25022 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775252988920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25035] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25035/stat : 25035 (java) S 25020 25022 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775251936520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25036] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25036/stat : 25036 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112900 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775250885008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25037] ppid=25020 vsize=9824668 CPUtime=1.19 cores=0,2,4,6
/proc/25022/task/25037/stat : 25037 (java) S 25020 25022 22409 0 -1 4202560 10776 0 0 0 117 2 0 0 20 0 22 0 254112900 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775249832632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25038] ppid=25020 vsize=9824668 CPUtime=1.22 cores=0,2,4,6
/proc/25022/task/25038/stat : 25038 (java) S 25020 25022 22409 0 -1 4202560 13032 0 0 0 119 3 0 0 20 0 22 0 254112900 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775248779832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25039] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25039/stat : 25039 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112900 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775247727736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25040] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25040/stat : 25040 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112901 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775246675144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25041] ppid=25020 vsize=9824668 CPUtime=4.34 cores=0,2,4,6
/proc/25022/task/25041/stat : 25041 (java) R 25020 25022 22409 0 -1 4202560 43 0 0 0 434 0 0 0 20 0 22 0 254112936 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775244972256 139775299250286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25042] ppid=25020 vsize=9824668 CPUtime=4.36 cores=0,2,4,6
/proc/25022/task/25042/stat : 25042 (java) R 25020 25022 22409 0 -1 4202560 187 0 0 0 432 4 0 0 20 0 22 0 254112936 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775243917768 139775299075992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25043] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25043/stat : 25043 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112937 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775242867880 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25044] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25044/stat : 25044 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112937 10060460032 108059 33554432000 1073741824 1073778376 140733680707408 139775241815080 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 9824668
[startup+5.30078 s]
/proc/loadavg: 3.60 3.70 3.72 5/219 25044
/proc/meminfo: memFree=26798752/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=9824668 CPUtime=12.61 cores=0,2,4,6
/proc/25022/stat : 25022 (java) S 25020 25022 22409 0 -1 4202496 28167 0 1 0 1240 21 0 0 20 0 22 0 254112896 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 140733680698544 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 2456167 120347 2285 9 0 2446860 0
[pid=25022/tid=25024] ppid=25020 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/25022/task/25024/stat : 25024 (java) S 25020 25022 22409 0 -1 4202560 2491 0 1 0 37 0 0 0 20 0 22 0 254112896 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775429862392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25025] ppid=25020 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25022/task/25025/stat : 25025 (java) S 25020 25022 22409 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254112897 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775418923304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25026] ppid=25020 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/25022/task/25026/stat : 25026 (java) S 25020 25022 22409 0 -1 4202560 40 0 0 0 7 1 0 0 20 0 22 0 254112897 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775417870504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25027] ppid=25020 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25022/task/25027/stat : 25027 (java) S 25020 25022 22409 0 -1 4202560 15 0 0 0 3 1 0 0 20 0 22 0 254112897 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775416818216 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25028] ppid=25020 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25022/task/25028/stat : 25028 (java) S 25020 25022 22409 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 254112897 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775270664616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25029] ppid=25020 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25022/task/25029/stat : 25029 (java) S 25020 25022 22409 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 254112897 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775269612328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25030] ppid=25020 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25022/task/25030/stat : 25030 (java) S 25020 25022 22409 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 254112897 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775268559528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25031] ppid=25020 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25022/task/25031/stat : 25031 (java) S 25020 25022 22409 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 22 0 254112897 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775267507240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25032] ppid=25020 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25022/task/25032/stat : 25032 (java) S 25020 25022 22409 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254112897 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775266454440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25033] ppid=25020 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/25022/task/25033/stat : 25033 (java) S 25020 25022 22409 0 -1 4202560 236 0 0 0 16 2 0 0 20 0 22 0 254112898 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775254042856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25034] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25034/stat : 25034 (java) S 25020 25022 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775252988920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25035] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25035/stat : 25035 (java) S 25020 25022 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254112898 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775251936520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25036] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25036/stat : 25036 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112900 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775250885008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25037] ppid=25020 vsize=9824668 CPUtime=1.19 cores=0,2,4,6
/proc/25022/task/25037/stat : 25037 (java) S 25020 25022 22409 0 -1 4202560 10776 0 0 0 117 2 0 0 20 0 22 0 254112900 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775249832632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25022/tid=25038] ppid=25020 vsize=9824668 CPUtime=1.22 cores=0,2,4,6
/proc/25022/task/25038/stat : 25038 (java) S 25020 25022 22409 0 -1 4202560 13032 0 0 0 119 3 0 0 20 0 22 0 254112900 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775248779832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25039] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25039/stat : 25039 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112900 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775247727736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25022/tid=25040] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25040/stat : 25040 (java) S 25020 25022 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112901 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775246675144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25041] ppid=25020 vsize=9824668 CPUtime=4.54 cores=0,2,4,6
/proc/25022/task/25041/stat : 25041 (java) R 25020 25022 22409 0 -1 4202560 43 0 0 0 454 0 0 0 20 0 22 0 254112936 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775244972256 139775299250311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25042] ppid=25020 vsize=9824668 CPUtime=4.56 cores=0,2,4,6
/proc/25022/task/25042/stat : 25042 (java) R 25020 25022 22409 0 -1 4202560 211 0 0 0 451 5 0 0 20 0 22 0 254112936 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775243917768 139775299163708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25022/tid=25043] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25043/stat : 25043 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112937 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775242867880 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25022/tid=25044] ppid=25020 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25022/task/25044/stat : 25044 (java) S 25020 25022 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112937 10060460032 120347 33554432000 1073741824 1073778376 140733680707408 139775241815080 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 9824668
[startup+5.40089 s]
/proc/loadavg: 3.60 3.70 3.72 2/216 25044
/proc/meminfo: memFree=26665692/32873648 swapFree=6336/6336
[pid=25022] ppid=25020 vsize=0 CPUtime=12.84 cores=0,2,4,6
/proc/25022/stat : 25022 (java) Z 25020 25022 22409 0 -1 4203532 28199 0 1 0 1252 32 0 0 20 0 2 0 254112896 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25022/statm: 0 0 0 0 0 0 0
[pid=25022/tid=25025] ppid=25020 vsize=0 CPUtime=0.02 cores=0,2,4,6
/proc/25022/task/25025/stat : 25025 (java) R 25020 25022 22409 0 -1 4203588 10 0 0 0 2 0 0 0 20 0 2 0 254112897 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.84
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 5.40879
CPU time (s): 12.862
CPU user time (s): 12.5291
CPU system time (s): 0.332949
CPU usage (%): 237.799
Max. virtual memory (cumulated for all children) (KiB): 9825036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.5291
system time used= 0.332949
maximum resident set size= 524372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28199
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 756
involuntary context switches= 901
runsolver used 0.013997 second user time and 0.028995 second system time
The end