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-3743504-1338781338/watcher-3743504-1338781338 -o /tmp/evaluation-result-3743504-1338781338/solver-3743504-1338781338 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3743504-1338781338.opb
running on 4 cores: 1,3,5,7
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: 2.01 2.00 2.00 4/194 20018
/proc/meminfo: memFree=24753072/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/20018/stat : 20018 (java) D 20016 20018 16961 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 344258127 2560000 46 33554432000 1073741824 1073778376 140736461278272 140736461275400 251035479335 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/20018/statm: 625 46 37 9 0 29 0
[startup+0.0512451 s]
/proc/loadavg: 2.01 2.00 2.00 4/194 20018
/proc/meminfo: memFree=24753072/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=2490788 CPUtime=0.01 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 3328 0 1 0 1 0 0 0 20 0 11 0 344258127 2550566912 5050 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20018/statm: 622697 5050 1651 9 0 613398 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2490788
[startup+0.100229 s]
/proc/loadavg: 2.01 2.00 2.00 4/194 20018
/proc/meminfo: memFree=24753072/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 3616 0 1 0 5 1 0 0 20 0 18 0 344258127 3028844544 5846 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20018/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.300197 s]
/proc/loadavg: 2.01 2.00 2.00 4/194 20018
/proc/meminfo: memFree=24753072/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=2957856 CPUtime=0.46 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 6017 0 1 0 44 2 0 0 20 0 18 0 344258127 3028844544 11049 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20018/statm: 739464 11049 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856
[startup+0.700211 s]
/proc/loadavg: 2.01 2.00 2.00 4/194 20018
/proc/meminfo: memFree=24753072/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=2957856 CPUtime=1.28 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 9007 0 1 0 123 5 0 0 20 0 18 0 344258127 3028844544 42322 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20018/statm: 739464 42322 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 2957856
[startup+1.50075 s]
/proc/loadavg: 2.01 2.00 2.00 5/212 20036
/proc/meminfo: memFree=24506992/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=3024420 CPUtime=2.71 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 15603 0 1 0 263 8 0 0 20 0 19 0 344258127 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20018/statm: 756105 65581 2280 9 0 746526 0
[pid=20018/tid=20020] ppid=20016 vsize=3024420 CPUtime=1.44 cores=1,3,5,7
/proc/20018/task/20020/stat : 20020 (java) R 20016 20018 16961 0 -1 4202560 2630 0 1 0 139 5 0 0 20 0 19 0 344258128 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139903206740408 139903074502288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20021] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20021/stat : 20021 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139903192353576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20022] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20022/stat : 20022 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139903071324840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20023] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20023/stat : 20023 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139903070272552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20024] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20024/stat : 20024 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139903069219752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20025] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20025/stat : 20025 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139903068166440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20026] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20026/stat : 20026 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139903067113640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20027] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20027/stat : 20027 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139903066061352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20028] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20028/stat : 20028 (java) S 20016 20018 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139903065008552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20029] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20029/stat : 20029 (java) S 20016 20018 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 344258131 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139902582762216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20030] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20030/stat : 20030 (java) S 20016 20018 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 344258132 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139902581708280 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20031] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20031/stat : 20031 (java) S 20016 20018 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 344258132 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139902580655880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20032] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20032/stat : 20032 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258135 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139902579604368 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20033] ppid=20016 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/20018/task/20033/stat : 20033 (java) S 20016 20018 16961 0 -1 4202560 6191 0 0 0 67 1 0 0 20 0 19 0 344258135 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139902578550968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20034] ppid=20016 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/20018/task/20034/stat : 20034 (java) S 20016 20018 16961 0 -1 4202560 5589 0 0 0 53 2 0 0 20 0 19 0 344258135 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139902577498168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20035] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20035/stat : 20035 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258135 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139902576446072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20036] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20036/stat : 20036 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258135 3097006080 65581 33554432000 1073741824 1073778376 140734463871936 139902575393480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 3024420
[startup+3.10075 s]
/proc/loadavg: 2.01 2.00 2.00 3/212 20037
/proc/meminfo: memFree=24499104/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=3024420 CPUtime=4.43 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 15881 0 1 0 435 8 0 0 20 0 19 0 344258127 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20018/statm: 756105 72240 2282 9 0 746526 0
[pid=20018/tid=20020] ppid=20016 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/20018/task/20020/stat : 20020 (java) R 20016 20018 16961 0 -1 4202560 2645 0 1 0 298 6 0 0 20 0 19 0 344258128 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139903206740264 139903074468058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20021] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20021/stat : 20021 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139903192353576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20022] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20022/stat : 20022 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139903071324840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20023] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20023/stat : 20023 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139903070272552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20024] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20024/stat : 20024 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139903069219752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20025] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20025/stat : 20025 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139903068166440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20026] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20026/stat : 20026 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139903067113640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20027] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20027/stat : 20027 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139903066061352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20028] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20028/stat : 20028 (java) S 20016 20018 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139903065008552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20029] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20029/stat : 20029 (java) S 20016 20018 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 344258131 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139902582762216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20030] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20030/stat : 20030 (java) S 20016 20018 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 344258132 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139902581708280 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20031] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20031/stat : 20031 (java) S 20016 20018 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 344258132 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139902580655880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20032] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20032/stat : 20032 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258135 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139902579604368 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20033] ppid=20016 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/20018/task/20033/stat : 20033 (java) S 20016 20018 16961 0 -1 4202560 6191 0 0 0 69 2 0 0 20 0 19 0 344258135 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139902578550968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20034] ppid=20016 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/20018/task/20034/stat : 20034 (java) S 20016 20018 16961 0 -1 4202560 5848 0 0 0 63 2 0 0 20 0 19 0 344258135 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139902577498168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20035] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20035/stat : 20035 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258135 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139902576446072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20036] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20036/stat : 20036 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258135 3097006080 72240 33554432000 1073741824 1073778376 140734463871936 139902575393480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 3024420
[startup+6.30078 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 20038
/proc/meminfo: memFree=24447460/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=3024420 CPUtime=7.71 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 15903 0 1 0 762 9 0 0 20 0 19 0 344258127 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20018/statm: 756105 82436 2282 9 0 746526 0
[pid=20018/tid=20020] ppid=20016 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/20018/task/20020/stat : 20020 (java) R 20016 20018 16961 0 -1 4202560 2667 0 1 0 617 6 0 0 20 0 19 0 344258128 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139903206738304 139903074467596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20021] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20021/stat : 20021 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139903192353576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20022] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20022/stat : 20022 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139903071324840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20023] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20023/stat : 20023 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139903070272552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20024] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20024/stat : 20024 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139903069219752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20025] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20025/stat : 20025 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139903068166440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20026] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20026/stat : 20026 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139903067113640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20027] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20027/stat : 20027 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139903066061352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20028] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20028/stat : 20028 (java) S 20016 20018 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 344258130 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139903065008552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20029] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20029/stat : 20029 (java) S 20016 20018 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 344258131 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139902582762216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20030] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20030/stat : 20030 (java) S 20016 20018 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 344258132 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139902581708280 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20031] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20031/stat : 20031 (java) S 20016 20018 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 344258132 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139902580655880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20032] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20032/stat : 20032 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258135 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139902579604368 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20033] ppid=20016 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/20018/task/20033/stat : 20033 (java) S 20016 20018 16961 0 -1 4202560 6191 0 0 0 74 2 0 0 20 0 19 0 344258135 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139902578550968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20034] ppid=20016 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/20018/task/20034/stat : 20034 (java) S 20016 20018 16961 0 -1 4202560 5848 0 0 0 66 2 0 0 20 0 19 0 344258135 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139902577498168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20035] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20035/stat : 20035 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258135 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139902576446072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20036] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20036/stat : 20036 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 344258135 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139902575393480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20038] ppid=20016 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20038/stat : 20038 (java) S 20016 20018 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 344258363 3097006080 82436 33554432000 1073741824 1073778376 140734463871936 139902573262120 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 20038
/proc/meminfo: memFree=24359040/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=3024420 CPUtime=14.14 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 15949 0 1 0 1404 10 0 0 20 0 19 0 344258127 3097006080 102922 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/20018/task/20032/stat : 20032 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344258135 3165167616 419445 33554432000 1073741824 1073778376 140734463871936 139902579604368 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20033] ppid=20016 vsize=3090984 CPUtime=0.78 cores=1,3,5,7
/proc/20018/task/20033/stat : 20033 (java) S 20016 20018 16961 0 -1 4202560 6195 0 0 0 76 2 0 0 20 0 20 0 344258135 3165167616 419445 33554432000 1073741824 1073778376 140734463871936 139902578544664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20034] ppid=20016 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/20018/task/20034/stat : 20034 (java) S 20016 20018 16961 0 -1 4202560 5860 0 0 0 74 2 0 0 20 0 20 0 344258135 3165167616 419445 33554432000 1073741824 1073778376 140734463871936 139902577498168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20035] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20035/stat : 20035 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344258135 3165167616 419445 33554432000 1073741824 1073778376 140734463871936 139902576446072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20036] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20036/stat : 20036 (java) S 20016 20018 16961 0 -1 4202560 91 0 0 0 22 16 0 0 20 0 20 0 344258135 3165167616 419445 33554432000 1073741824 1073778376 140734463871936 139902575393480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20038] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20038/stat : 20038 (java) S 20016 20018 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 344258363 3165167616 419445 33554432000 1073741824 1073778376 140734463871936 139902573262120 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20133] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20133/stat : 20133 (java) S 20016 20018 16961 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 20 0 344416167 3165167616 419445 33554432000 1073741824 1073778376 140734463871936 139902572209064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1586.73
Current children cumulated vsize (KiB) 3090984
[startup+1582.7 s]
/proc/loadavg: 2.15 2.05 2.01 3/214 20133
/proc/meminfo: memFree=22166012/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=3090984 CPUtime=1587.13 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 18264 0 1 0 158523 190 0 0 20 0 20 0 344258127 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20018/statm: 772746 419468 2302 9 0 763167 0
[pid=20018/tid=20020] ppid=20016 vsize=3090984 CPUtime=1572.98 cores=1,3,5,7
/proc/20018/task/20020/stat : 20020 (java) S 20016 20018 16961 0 -1 4202560 2752 0 1 0 157265 33 0 0 20 0 20 0 344258128 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139903206741176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20021] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20021/stat : 20021 (java) S 20016 20018 16961 0 -1 4202560 218 0 0 0 22 16 0 0 20 0 20 0 344258130 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139903192353576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20022] ppid=20016 vsize=3090984 CPUtime=0.61 cores=1,3,5,7
/proc/20018/task/20022/stat : 20022 (java) S 20016 20018 16961 0 -1 4202560 345 0 0 0 33 28 0 0 20 0 20 0 344258130 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139903071324840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20023] ppid=20016 vsize=3090984 CPUtime=0.35 cores=1,3,5,7
/proc/20018/task/20023/stat : 20023 (java) S 20016 20018 16961 0 -1 4202560 171 0 0 0 21 14 0 0 20 0 20 0 344258130 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139903070272552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20024] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20024/stat : 20024 (java) S 20016 20018 16961 0 -1 4202560 210 0 0 0 21 17 0 0 20 0 20 0 344258130 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139903069219752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20025] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20025/stat : 20025 (java) S 20016 20018 16961 0 -1 4202560 197 0 0 0 23 15 0 0 20 0 20 0 344258130 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139903068166440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20026] ppid=20016 vsize=3090984 CPUtime=0.39 cores=1,3,5,7
/proc/20018/task/20026/stat : 20026 (java) S 20016 20018 16961 0 -1 4202560 185 0 0 0 25 14 0 0 20 0 20 0 344258130 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139903067113640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20027] ppid=20016 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/20018/task/20027/stat : 20027 (java) S 20016 20018 16961 0 -1 4202560 334 0 0 0 31 27 0 0 20 0 20 0 344258130 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139903066061352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20028] ppid=20016 vsize=3090984 CPUtime=0.53 cores=1,3,5,7
/proc/20018/task/20028/stat : 20028 (java) S 20016 20018 16961 0 -1 4202560 278 0 0 0 31 22 0 0 20 0 20 0 344258130 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139903065008552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20029] ppid=20016 vsize=3090984 CPUtime=4.63 cores=1,3,5,7
/proc/20018/task/20029/stat : 20029 (java) R 20016 20018 16961 0 -1 4202560 209 0 0 0 458 5 0 0 20 0 20 0 344258131 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139902582762336 139903208935561 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20030] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20030/stat : 20030 (java) S 20016 20018 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 344258132 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139902581708280 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20031] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20031/stat : 20031 (java) S 20016 20018 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 344258132 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139902580655880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20032] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20032/stat : 20032 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344258135 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139902579604368 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20033] ppid=20016 vsize=3090984 CPUtime=0.78 cores=1,3,5,7
/proc/20018/task/20033/stat : 20033 (java) S 20016 20018 16961 0 -1 4202560 6197 0 0 0 76 2 0 0 20 0 20 0 344258135 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139902578542024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20034] ppid=20016 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/20018/task/20034/stat : 20034 (java) S 20016 20018 16961 0 -1 4202560 5861 0 0 0 74 2 0 0 20 0 20 0 344258135 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139902577490136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20035] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20035/stat : 20035 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344258135 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139902576446072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20036] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20036/stat : 20036 (java) S 20016 20018 16961 0 -1 4202560 91 0 0 0 22 16 0 0 20 0 20 0 344258135 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139902575393480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20038] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20038/stat : 20038 (java) S 20016 20018 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 344258363 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139902573262120 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20133] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20133/stat : 20133 (java) S 20016 20018 16961 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 20 0 344416167 3165167616 419468 33554432000 1073741824 1073778376 140734463871936 139902572209064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1587.13
Current children cumulated vsize (KiB) 3090984
[startup+1583.1 s]
/proc/loadavg: 2.14 2.05 2.01 3/214 20133
/proc/meminfo: memFree=22165764/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=3090984 CPUtime=1587.53 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 18291 0 1 0 158563 190 0 0 20 0 20 0 344258127 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20018/statm: 772746 419492 2302 9 0 763167 0
[pid=20018/tid=20020] ppid=20016 vsize=3090984 CPUtime=1572.98 cores=1,3,5,7
/proc/20018/task/20020/stat : 20020 (java) S 20016 20018 16961 0 -1 4202560 2752 0 1 0 157265 33 0 0 20 0 20 0 344258128 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139903206741176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20021] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20021/stat : 20021 (java) S 20016 20018 16961 0 -1 4202560 218 0 0 0 22 16 0 0 20 0 20 0 344258130 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139903192353576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20022] ppid=20016 vsize=3090984 CPUtime=0.61 cores=1,3,5,7
/proc/20018/task/20022/stat : 20022 (java) S 20016 20018 16961 0 -1 4202560 345 0 0 0 33 28 0 0 20 0 20 0 344258130 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139903071324840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20023] ppid=20016 vsize=3090984 CPUtime=0.35 cores=1,3,5,7
/proc/20018/task/20023/stat : 20023 (java) S 20016 20018 16961 0 -1 4202560 171 0 0 0 21 14 0 0 20 0 20 0 344258130 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139903070272552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20024] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20024/stat : 20024 (java) S 20016 20018 16961 0 -1 4202560 210 0 0 0 21 17 0 0 20 0 20 0 344258130 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139903069219752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20025] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20025/stat : 20025 (java) S 20016 20018 16961 0 -1 4202560 197 0 0 0 23 15 0 0 20 0 20 0 344258130 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139903068166440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20026] ppid=20016 vsize=3090984 CPUtime=0.39 cores=1,3,5,7
/proc/20018/task/20026/stat : 20026 (java) S 20016 20018 16961 0 -1 4202560 185 0 0 0 25 14 0 0 20 0 20 0 344258130 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139903067113640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20027] ppid=20016 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/20018/task/20027/stat : 20027 (java) S 20016 20018 16961 0 -1 4202560 334 0 0 0 31 27 0 0 20 0 20 0 344258130 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139903066061352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20028] ppid=20016 vsize=3090984 CPUtime=0.53 cores=1,3,5,7
/proc/20018/task/20028/stat : 20028 (java) S 20016 20018 16961 0 -1 4202560 278 0 0 0 31 22 0 0 20 0 20 0 344258130 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139903065008552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20029] ppid=20016 vsize=3090984 CPUtime=5.02 cores=1,3,5,7
/proc/20018/task/20029/stat : 20029 (java) R 20016 20018 16961 0 -1 4202560 225 0 0 0 497 5 0 0 20 0 20 0 344258131 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139902582762336 139903213594676 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20030] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20030/stat : 20030 (java) S 20016 20018 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 344258132 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139902581708280 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20031] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20031/stat : 20031 (java) S 20016 20018 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 344258132 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139902580655880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20032] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20032/stat : 20032 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344258135 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139902579604368 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20033] ppid=20016 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/20018/task/20033/stat : 20033 (java) S 20016 20018 16961 0 -1 4202560 6200 0 0 0 77 2 0 0 20 0 20 0 344258135 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139902578527416 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20034] ppid=20016 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/20018/task/20034/stat : 20034 (java) S 20016 20018 16961 0 -1 4202560 5868 0 0 0 74 2 0 0 20 0 20 0 344258135 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139902577484328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20035] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20035/stat : 20035 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344258135 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139902576446072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20036] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20036/stat : 20036 (java) S 20016 20018 16961 0 -1 4202560 91 0 0 0 22 16 0 0 20 0 20 0 344258135 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139902575393480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20038] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20038/stat : 20038 (java) S 20016 20018 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 344258363 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139902573262120 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20133] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20133/stat : 20133 (java) S 20016 20018 16961 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 20 0 344416167 3165167616 419492 33554432000 1073741824 1073778376 140734463871936 139902572209064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1587.53
Current children cumulated vsize (KiB) 3090984
[startup+1583.2 s]
/proc/loadavg: 2.14 2.05 2.01 3/214 20133
/proc/meminfo: memFree=22165764/32873844 swapFree=7628/7628
[pid=20018] ppid=20016 vsize=3090984 CPUtime=1587.63 cores=1,3,5,7
/proc/20018/stat : 20018 (java) S 20016 20018 16961 0 -1 4202496 18294 0 1 0 158573 190 0 0 20 0 20 0 344258127 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 140734463863072 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20018/statm: 772746 419493 2302 9 0 763167 0
[pid=20018/tid=20020] ppid=20016 vsize=3090984 CPUtime=1572.98 cores=1,3,5,7
/proc/20018/task/20020/stat : 20020 (java) S 20016 20018 16961 0 -1 4202560 2752 0 1 0 157265 33 0 0 20 0 20 0 344258128 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139903206741176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20021] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20021/stat : 20021 (java) S 20016 20018 16961 0 -1 4202560 218 0 0 0 22 16 0 0 20 0 20 0 344258130 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139903192353576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20022] ppid=20016 vsize=3090984 CPUtime=0.61 cores=1,3,5,7
/proc/20018/task/20022/stat : 20022 (java) S 20016 20018 16961 0 -1 4202560 345 0 0 0 33 28 0 0 20 0 20 0 344258130 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139903071324840 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20023] ppid=20016 vsize=3090984 CPUtime=0.35 cores=1,3,5,7
/proc/20018/task/20023/stat : 20023 (java) S 20016 20018 16961 0 -1 4202560 171 0 0 0 21 14 0 0 20 0 20 0 344258130 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139903070272552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20024] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20024/stat : 20024 (java) S 20016 20018 16961 0 -1 4202560 210 0 0 0 21 17 0 0 20 0 20 0 344258130 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139903069219752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20025] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20025/stat : 20025 (java) S 20016 20018 16961 0 -1 4202560 197 0 0 0 23 15 0 0 20 0 20 0 344258130 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139903068166440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20026] ppid=20016 vsize=3090984 CPUtime=0.39 cores=1,3,5,7
/proc/20018/task/20026/stat : 20026 (java) S 20016 20018 16961 0 -1 4202560 185 0 0 0 25 14 0 0 20 0 20 0 344258130 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139903067113640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20027] ppid=20016 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/20018/task/20027/stat : 20027 (java) S 20016 20018 16961 0 -1 4202560 334 0 0 0 31 27 0 0 20 0 20 0 344258130 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139903066061352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20028] ppid=20016 vsize=3090984 CPUtime=0.53 cores=1,3,5,7
/proc/20018/task/20028/stat : 20028 (java) S 20016 20018 16961 0 -1 4202560 278 0 0 0 31 22 0 0 20 0 20 0 344258130 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139903065008552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20029] ppid=20016 vsize=3090984 CPUtime=5.12 cores=1,3,5,7
/proc/20018/task/20029/stat : 20029 (java) R 20016 20018 16961 0 -1 4202560 226 0 0 0 507 5 0 0 20 0 20 0 344258131 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139902582762152 139903213594792 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20030] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20030/stat : 20030 (java) S 20016 20018 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 344258132 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139902581708280 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20018/tid=20031] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20031/stat : 20031 (java) S 20016 20018 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 344258132 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139902580655880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20032] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20032/stat : 20032 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344258135 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139902579604368 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20033] ppid=20016 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/20018/task/20033/stat : 20033 (java) S 20016 20018 16961 0 -1 4202560 6201 0 0 0 77 2 0 0 20 0 20 0 344258135 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139902578528264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20034] ppid=20016 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/20018/task/20034/stat : 20034 (java) S 20016 20018 16961 0 -1 4202560 5868 0 0 0 74 2 0 0 20 0 20 0 344258135 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139902577484328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20035] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20035/stat : 20035 (java) S 20016 20018 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344258135 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139902576446072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20018/tid=20036] ppid=20016 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/20018/task/20036/stat : 20036 (java) S 20016 20018 16961 0 -1 4202560 91 0 0 0 22 16 0 0 20 0 20 0 344258135 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139902575393480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20018/tid=20038] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20038/stat : 20038 (java) S 20016 20018 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 344258363 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139902573262120 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20018/tid=20133] ppid=20016 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20018/task/20133/stat : 20133 (java) S 20016 20018 16961 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 344416167 3165167616 419493 33554432000 1073741824 1073778376 140734463871936 139902572209272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1587.63
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20018 and gives
# childrusage.ru_utime.tv_sec=1581
# childrusage.ru_utime.tv_usec=690546
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=250657
# CPU time returned by wait4() is 1583.94
# while last known CPU time is 1587.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1583.26
CPU time (s): 1587.63
CPU user time (s): 1585.73
CPU system time (s): 1.9
CPU usage (%): 100.276
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1581.69
system time used= 2.25066
maximum resident set size= 1677996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18303
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33896
involuntary context switches= 11458
runsolver used 6.72798 second user time and 17.3014 second system time
The end