runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4099866-1466207036/watcher-4099866-1466207036 -o /tmp/evaluation-result-4099866-1466207036/solver-4099866-1466207036 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7346 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4099866-1466207036.opb
pid=9730
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: 4.18 4.14 2.84 4/199 9733
/proc/meminfo: memFree=29424064/32872528 swapFree=1505436/1685308
[pid=9733] ppid=9730 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/9733/stat : 9733 (java) S 9730 9733 7329 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 22749557 98570240 978 33554432000 1073741824 1073778376 140734611342944 140734611334080 215127982141 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9733/statm: 24065 978 744 9 0 16771 0
[pid=9733/tid=9734] ppid=9730 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9734/stat : 9734 (java) R 9730 9733 7329 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 22749558 98570240 978 33554432000 1073741824 1073778376 140734611342944 140109767216680 215124624768 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100116 s]
/proc/loadavg: 4.18 4.14 2.84 4/199 9733
/proc/meminfo: memFree=29424064/32872528 swapFree=1505436/1685308
[pid=9733] ppid=9730 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/9733/stat : 9733 (java) S 9730 9733 7329 0 -1 4202496 4506 0 1 0 10 1 0 0 20 0 18 0 22749557 9787879424 6134 33554432000 1073741824 1073778376 140734611342944 140734611334080 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9733/statm: 2389619 6134 2156 9 0 2380296 0
[pid=9733/tid=9734] ppid=9730 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/9733/task/9734/stat : 9734 (java) R 9730 9733 7329 0 -1 4202560 2389 0 1 0 6 1 0 0 20 0 18 0 22749558 9787879424 6134 33554432000 1073741824 1073778376 140734611342944 140109767205568 140109634601954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200352 s]
/proc/loadavg: 4.18 4.14 2.84 4/199 9733
/proc/meminfo: memFree=29424064/32872528 swapFree=1505436/1685308
[pid=9733] ppid=9730 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/9733/stat : 9733 (java) S 9730 9733 7329 0 -1 4202496 5022 0 1 0 29 2 0 0 20 0 18 0 22749557 9787879424 8942 33554432000 1073741824 1073778376 140734611342944 140734611334080 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9733/statm: 2389619 8942 2223 9 0 2380296 0
[pid=9733/tid=9734] ppid=9730 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/9733/task/9734/stat : 9734 (java) R 9730 9733 7329 0 -1 4202560 2409 0 1 0 16 1 0 0 20 0 18 0 22749558 9787879424 8942 33554432000 1073741824 1073778376 140734611342944 140109767212848 140109770507155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476
[startup+0.300365 s]
/proc/loadavg: 4.18 4.14 2.84 4/199 9733
/proc/meminfo: memFree=29424064/32872528 swapFree=1505436/1685308
[pid=9733] ppid=9730 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/9733/stat : 9733 (java) S 9730 9733 7329 0 -1 4202496 5437 0 1 0 44 2 0 0 20 0 18 0 22749557 9787879424 15765 33554432000 1073741824 1073778376 140734611342944 140734611334080 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9733/statm: 2389619 15765 2232 9 0 2380296 0
[pid=9733/tid=9734] ppid=9730 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/9733/task/9734/stat : 9734 (java) R 9730 9733 7329 0 -1 4202560 2422 0 1 0 26 1 0 0 20 0 18 0 22749558 9787879424 15765 33554432000 1073741824 1073778376 140734611342944 140109767212848 215128007949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700333 s]
/proc/loadavg: 4.18 4.14 2.84 4/199 9733
/proc/meminfo: memFree=29424064/32872528 swapFree=1505436/1685308
[pid=9733] ppid=9730 vsize=9558476 CPUtime=1.28 cores=1,3,5,7
/proc/9733/stat : 9733 (java) S 9730 9733 7329 0 -1 4202496 7910 0 1 0 121 7 0 0 20 0 18 0 22749557 9787879424 48601 33554432000 1073741824 1073778376 140734611342944 140734611334080 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9733/statm: 2389619 48601 2269 9 0 2380296 0
[pid=9733/tid=9734] ppid=9730 vsize=9558476 CPUtime=0.63 cores=1,3,5,7
/proc/9733/task/9734/stat : 9734 (java) R 9730 9733 7329 0 -1 4202560 2481 0 1 0 60 3 0 0 20 0 18 0 22749558 9787879424 48601 33554432000 1073741824 1073778376 140734611342944 140109767219176 140109635156138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9558476
[startup+1.50077 s]
/proc/loadavg: 4.18 4.14 2.84 4/217 9751
/proc/meminfo: memFree=28978852/32872528 swapFree=1505436/1685308
[pid=9733] ppid=9730 vsize=9558476 CPUtime=2.52 cores=1,3,5,7
/proc/9733/stat : 9733 (java) S 9730 9733 7329 0 -1 4202496 8675 0 1 0 231 21 0 0 20 0 18 0 22749557 9787879424 111030 33554432000 1073741824 1073778376 140734611342944 140734611334080 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9733/statm: 2389619 111030 2269 9 0 2380296 0
[pid=9733/tid=9734] ppid=9730 vsize=9558476 CPUtime=1.24 cores=1,3,5,7
/proc/9733/task/9734/stat : 9734 (java) S 9730 9733 7329 0 -1 4202560 2534 0 1 0 120 4 0 0 20 0 18 0 22749558 9787879424 111030 33554432000 1073741824 1073778376 140734611342944 140109767219192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9736] ppid=9730 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/9733/task/9736/stat : 9736 (java) R 9730 9733 7329 0 -1 4202560 152 0 0 0 7 3 0 0 20 0 18 0 22749559 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109756283480 140109771383596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9737] ppid=9730 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/9733/task/9737/stat : 9737 (java) R 9730 9733 7329 0 -1 4202560 122 0 0 0 5 2 0 0 20 0 18 0 22749559 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109755230936 140109769692873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9738] ppid=9730 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/9733/task/9738/stat : 9738 (java) R 9730 9733 7329 0 -1 4202560 36 0 0 0 6 1 0 0 20 0 18 0 22749559 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109754177584 140109774117804 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9739] ppid=9730 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/9733/task/9739/stat : 9739 (java) R 9730 9733 7329 0 -1 4202560 237 0 0 0 8 3 0 0 20 0 18 0 22749559 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109753125336 140109769692873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9740] ppid=9730 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/9733/task/9740/stat : 9740 (java) R 9730 9733 7329 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 18 0 22749559 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109607025752 140109769692857 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9741] ppid=9730 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/9733/task/9741/stat : 9741 (java) R 9730 9733 7329 0 -1 4202560 144 0 0 0 6 2 0 0 20 0 18 0 22749559 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109605973208 140109769692873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9742] ppid=9730 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/9733/task/9742/stat : 9742 (java) R 9730 9733 7329 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 18 0 22749559 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109604920152 140109771397295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9743] ppid=9730 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/9733/task/9743/stat : 9743 (java) R 9730 9733 7329 0 -1 4202560 45 0 0 0 8 2 0 0 20 0 18 0 22749559 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109603867608 140109769692865 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9744] ppid=9730 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9744/stat : 9744 (java) S 9730 9733 7329 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 22749560 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109591454984 215127995452 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9745] ppid=9730 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9745/stat : 9745 (java) S 9730 9733 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 22749560 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109590402424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9746] ppid=9730 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9746/stat : 9746 (java) S 9730 9733 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 22749560 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109589349256 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9747] ppid=9730 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9747/stat : 9747 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22749562 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109588298000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9748] ppid=9730 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/9733/task/9748/stat : 9748 (java) S 9730 9733 7329 0 -1 4202560 2050 0 0 0 24 0 0 0 20 0 18 0 22749562 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109587245880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9749] ppid=9730 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/9733/task/9749/stat : 9749 (java) S 9730 9733 7329 0 -1 4202560 1963 0 0 0 21 0 0 0 20 0 18 0 22749562 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109586193336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9750] ppid=9730 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9750/stat : 9750 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22749562 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109585140472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9751] ppid=9730 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9751/stat : 9751 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22749562 9787879424 111542 33554432000 1073741824 1073778376 140734611342944 140109584088136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 9558476
[startup+3.1033 s]
/proc/loadavg: 4.18 4.14 2.84 6/221 9755
/proc/meminfo: memFree=28361972/32872528 swapFree=1505436/1685308
[pid=9733] ppid=9730 vsize=9824732 CPUtime=6.71 cores=1,3,5,7
/proc/9733/stat : 9733 (java) S 9730 9733 7329 0 -1 4202496 19449 0 1 0 643 28 0 0 20 0 22 0 22749557 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140734611334080 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9733/statm: 2456183 126413 2284 9 0 2446860 0
[pid=9733/tid=9734] ppid=9730 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/9733/task/9734/stat : 9734 (java) S 9730 9733 7329 0 -1 4202560 2542 0 1 0 161 4 0 0 20 0 22 0 22749558 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109767222136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9736] ppid=9730 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/9733/task/9736/stat : 9736 (java) R 9730 9733 7329 0 -1 4202560 193 0 0 0 11 3 0 0 20 0 22 0 22749559 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109756283304 140109774117559 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9737] ppid=9730 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/9733/task/9737/stat : 9737 (java) R 9730 9733 7329 0 -1 4202560 136 0 0 0 8 2 0 0 20 0 22 0 22749559 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109755230936 140109774117712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9738] ppid=9730 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/9733/task/9738/stat : 9738 (java) R 9730 9733 7329 0 -1 4202560 46 0 0 0 7 3 0 0 20 0 22 0 22749559 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109754177880 140109774117804 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9739] ppid=9730 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/9733/task/9739/stat : 9739 (java) R 9730 9733 7329 0 -1 4202560 271 0 0 0 11 4 0 0 20 0 22 0 22749559 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109753125160 140109770978444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9740] ppid=9730 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/9733/task/9740/stat : 9740 (java) R 9730 9733 7329 0 -1 4202560 47 0 0 0 8 2 0 0 20 0 22 0 22749559 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109607025752 140109774117785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9741] ppid=9730 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/9733/task/9741/stat : 9741 (java) R 9730 9733 7329 0 -1 4202560 162 0 0 0 9 3 0 0 20 0 22 0 22749559 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109605973208 140109769692881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9742] ppid=9730 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/9733/task/9742/stat : 9742 (java) R 9730 9733 7329 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 22 0 22749559 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109604919976 140109770499996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9743] ppid=9730 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/9733/task/9743/stat : 9743 (java) R 9730 9733 7329 0 -1 4202560 65 0 0 0 9 3 0 0 20 0 22 0 22749559 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109603867608 140109771397295 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9744] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9744/stat : 9744 (java) S 9730 9733 7329 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109591454984 215127995452 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9745] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9745/stat : 9745 (java) S 9730 9733 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109590402424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9746] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9746/stat : 9746 (java) S 9730 9733 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109589349256 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9747] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9747/stat : 9747 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749562 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109588298000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9748] ppid=9730 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/9733/task/9748/stat : 9748 (java) S 9730 9733 7329 0 -1 4202560 7574 0 0 0 90 2 0 0 20 0 22 0 22749562 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109587245880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9749] ppid=9730 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/9733/task/9749/stat : 9749 (java) S 9730 9733 7329 0 -1 4202560 6868 0 0 0 82 2 0 0 20 0 22 0 22749562 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109586193336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9750] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9750/stat : 9750 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749562 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109585140472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9751] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9751/stat : 9751 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749562 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109584088136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9752] ppid=9730 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/9733/task/9752/stat : 9752 (java) S 9730 9733 7329 0 -1 4202560 22 0 0 0 110 0 0 0 20 0 22 0 22749752 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109582981848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9753] ppid=9730 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/9733/task/9753/stat : 9753 (java) S 9730 9733 7329 0 -1 4202560 24 0 0 0 111 0 0 0 20 0 22 0 22749752 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109581930184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9754] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9754/stat : 9754 (java) S 9730 9733 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749767 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109580878632 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9755] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9755/stat : 9755 (java) S 9730 9733 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749767 10060525568 126413 33554432000 1073741824 1073778376 140734611342944 140109579826088 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 9824732
[startup+6.30094 s]
/proc/loadavg: 4.24 4.15 2.85 6/221 9755
/proc/meminfo: memFree=27884988/32872528 swapFree=1505436/1685308
[pid=9733] ppid=9730 vsize=9824732 CPUtime=13.7 cores=1,3,5,7
/proc/9733/stat : 9733 (java) S 9730 9733 7329 0 -1 4202496 22995 0 1 0 1330 40 0 0 20 0 22 0 22749557 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140734611334080 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9733/statm: 2456183 203738 2289 9 0 2446860 0
[pid=9733/tid=9734] ppid=9730 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/9733/task/9734/stat : 9734 (java) S 9730 9733 7329 0 -1 4202560 2542 0 1 0 161 4 0 0 20 0 22 0 22749558 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109767222136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9736] ppid=9730 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/9733/task/9736/stat : 9736 (java) S 9730 9733 7329 0 -1 4202560 216 0 0 0 15 5 0 0 20 0 22 0 22749559 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109756283304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9737] ppid=9730 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/9733/task/9737/stat : 9737 (java) S 9730 9733 7329 0 -1 4202560 149 0 0 0 10 3 0 0 20 0 22 0 22749559 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109755230760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9738] ppid=9730 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/9733/task/9738/stat : 9738 (java) S 9730 9733 7329 0 -1 4202560 74 0 0 0 14 4 0 0 20 0 22 0 22749559 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109754177704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9739] ppid=9730 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/9733/task/9739/stat : 9739 (java) S 9730 9733 7329 0 -1 4202560 291 0 0 0 16 5 0 0 20 0 22 0 22749559 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109753125160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9740] ppid=9730 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/9733/task/9740/stat : 9740 (java) S 9730 9733 7329 0 -1 4202560 81 0 0 0 16 4 0 0 20 0 22 0 22749559 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109607025576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9741] ppid=9730 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/9733/task/9741/stat : 9741 (java) S 9730 9733 7329 0 -1 4202560 168 0 0 0 12 3 0 0 20 0 22 0 22749559 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109605973032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9742] ppid=9730 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/9733/task/9742/stat : 9742 (java) S 9730 9733 7329 0 -1 4202560 46 0 0 0 10 3 0 0 20 0 22 0 22749559 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109604919976 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9743] ppid=9730 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/9733/task/9743/stat : 9743 (java) S 9730 9733 7329 0 -1 4202560 93 0 0 0 18 4 0 0 20 0 22 0 22749559 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109603867432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9744] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9744/stat : 9744 (java) S 9730 9733 7329 0 -1 4202560 518 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109591456104 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9745] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9745/stat : 9745 (java) S 9730 9733 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109590402424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9746] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9746/stat : 9746 (java) S 9730 9733 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 203738 33554432000 1073741824 1073778376 140734611342944 140109589349256 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9747] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/9733/task/9738/stat : 9738 (java) S 9730 9733 7329 0 -1 4202560 8629 0 0 0 196 32 0 0 20 0 22 0 22749559 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109754177704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9739] ppid=9730 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/9733/task/9739/stat : 9739 (java) S 9730 9733 7329 0 -1 4202560 7523 0 0 0 182 33 0 0 20 0 22 0 22749559 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109753125160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9740] ppid=9730 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/9733/task/9740/stat : 9740 (java) S 9730 9733 7329 0 -1 4202560 7836 0 0 0 221 36 0 0 20 0 22 0 22749559 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109607025576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9741] ppid=9730 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/9733/task/9741/stat : 9741 (java) S 9730 9733 7329 0 -1 4202560 11019 0 0 0 170 30 0 0 20 0 22 0 22749559 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109605973032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9742] ppid=9730 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/9733/task/9742/stat : 9742 (java) S 9730 9733 7329 0 -1 4202560 10891 0 0 0 180 32 0 0 20 0 22 0 22749559 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109604919976 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9743] ppid=9730 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/9733/task/9743/stat : 9743 (java) S 9730 9733 7329 0 -1 4202560 8080 0 0 0 194 33 0 0 20 0 22 0 22749559 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109603867432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9744] ppid=9730 vsize=9824732 CPUtime=6.76 cores=1,3,5,7
/proc/9733/task/9744/stat : 9744 (java) S 9730 9733 7329 0 -1 4202560 2959 0 0 0 671 5 0 0 20 0 22 0 22749560 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109591456104 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9745] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9745/stat : 9745 (java) S 9730 9733 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109590402424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9746] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9746/stat : 9746 (java) S 9730 9733 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109589349256 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9747] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9747/stat : 9747 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749562 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109588298000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9748] ppid=9730 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/9733/task/9748/stat : 9748 (java) S 9730 9733 7329 0 -1 4202560 7688 0 0 0 128 2 0 0 20 0 22 0 22749562 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109587245880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9749] ppid=9730 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/9733/task/9749/stat : 9749 (java) S 9730 9733 7329 0 -1 4202560 11210 0 0 0 157 3 0 0 20 0 22 0 22749562 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109586193336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9750] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9750/stat : 9750 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749562 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109585140472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9751] ppid=9730 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/9733/task/9751/stat : 9751 (java) S 9730 9733 7329 0 -1 4202560 47 0 0 0 13 14 0 0 20 0 22 0 22749562 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109584088136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9752] ppid=9730 vsize=9824732 CPUtime=806.84 cores=1,3,5,7
/proc/9733/task/9752/stat : 9752 (java) R 9730 9733 7329 0 -1 4202560 174 0 0 0 80665 19 0 0 20 0 22 0 22749752 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109582982592 140109635503699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9753] ppid=9730 vsize=9824732 CPUtime=806.91 cores=1,3,5,7
/proc/9733/task/9753/stat : 9753 (java) R 9730 9733 7329 0 -1 4202560 1300 0 0 0 80661 30 0 0 20 0 22 0 22749752 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109581929168 140109635654517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9754] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9754/stat : 9754 (java) S 9730 9733 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749767 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109580878632 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9755] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9755/stat : 9755 (java) S 9730 9733 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749767 10060525568 1115531 33554432000 1073741824 1073778376 140734611342944 140109579826088 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1647.14
Current children cumulated vsize (KiB) 9824732
[startup+882.301 s]
/proc/loadavg: 4.30 4.34 3.73 5/221 9775
/proc/meminfo: memFree=21376900/32872528 swapFree=1505436/1685308
[pid=9733] ppid=9730 vsize=9824732 CPUtime=1767.68 cores=1,3,5,7
/proc/9733/stat : 9733 (java) S 9730 9733 7329 0 -1 4202496 103956 0 1 0 176457 311 0 0 20 0 22 0 22749557 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140734611334080 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9733/statm: 2456183 1105997 2298 9 0 2446860 0
[pid=9733/tid=9734] ppid=9730 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/9733/task/9734/stat : 9734 (java) S 9730 9733 7329 0 -1 4202560 2560 0 1 0 164 5 0 0 20 0 22 0 22749558 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109767222136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9736] ppid=9730 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/9733/task/9736/stat : 9736 (java) S 9730 9733 7329 0 -1 4202560 11063 0 0 0 193 29 0 0 20 0 22 0 22749559 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109756283304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9737] ppid=9730 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/9733/task/9737/stat : 9737 (java) S 9730 9733 7329 0 -1 4202560 11648 0 0 0 215 33 0 0 20 0 22 0 22749559 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109755230760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9738] ppid=9730 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/9733/task/9738/stat : 9738 (java) S 9730 9733 7329 0 -1 4202560 8629 0 0 0 207 32 0 0 20 0 22 0 22749559 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109754177704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9739] ppid=9730 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/9733/task/9739/stat : 9739 (java) S 9730 9733 7329 0 -1 4202560 7523 0 0 0 192 33 0 0 20 0 22 0 22749559 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109753125160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9740] ppid=9730 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/9733/task/9740/stat : 9740 (java) S 9730 9733 7329 0 -1 4202560 7836 0 0 0 240 36 0 0 20 0 22 0 22749559 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109607025576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9741] ppid=9730 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/9733/task/9741/stat : 9741 (java) S 9730 9733 7329 0 -1 4202560 11019 0 0 0 186 30 0 0 20 0 22 0 22749559 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109605973032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9742] ppid=9730 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/9733/task/9742/stat : 9742 (java) S 9730 9733 7329 0 -1 4202560 10905 0 0 0 186 32 0 0 20 0 22 0 22749559 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109604919976 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9743] ppid=9730 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/9733/task/9743/stat : 9743 (java) S 9730 9733 7329 0 -1 4202560 8080 0 0 0 209 33 0 0 20 0 22 0 22749559 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109603867432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9744] ppid=9730 vsize=9824732 CPUtime=6.77 cores=1,3,5,7
/proc/9733/task/9744/stat : 9744 (java) S 9730 9733 7329 0 -1 4202560 3002 0 0 0 672 5 0 0 20 0 22 0 22749560 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109591456104 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9745] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9745/stat : 9745 (java) S 9730 9733 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109590402424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9746] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9746/stat : 9746 (java) S 9730 9733 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109589349256 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9747] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9747/stat : 9747 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749562 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109588298000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9748] ppid=9730 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/9733/task/9748/stat : 9748 (java) S 9730 9733 7329 0 -1 4202560 7688 0 0 0 128 2 0 0 20 0 22 0 22749562 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109587245880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9749] ppid=9730 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/9733/task/9749/stat : 9749 (java) S 9730 9733 7329 0 -1 4202560 11210 0 0 0 157 3 0 0 20 0 22 0 22749562 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109586193336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9750] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9750/stat : 9750 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749562 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109585140472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9751] ppid=9730 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/9733/task/9751/stat : 9751 (java) S 9730 9733 7329 0 -1 4202560 51 0 0 0 13 16 0 0 20 0 22 0 22749562 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109584088136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9752] ppid=9730 vsize=9824732 CPUtime=866.39 cores=1,3,5,7
/proc/9733/task/9752/stat : 9752 (java) R 9730 9733 7329 0 -1 4202560 175 0 0 0 86619 20 0 0 20 0 22 0 22749752 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109582981808 140109635773523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9753] ppid=9730 vsize=9824732 CPUtime=866.47 cores=1,3,5,7
/proc/9733/task/9753/stat : 9753 (java) R 9730 9733 7329 0 -1 4202560 1301 0 0 0 86616 31 0 0 20 0 22 0 22749752 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109581930064 140109635654479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9754] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9754/stat : 9754 (java) S 9730 9733 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749767 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109580878632 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9755] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9755/stat : 9755 (java) S 9730 9733 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749767 10060525568 1105997 33554432000 1073741824 1073778376 140734611342944 140109579826088 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1767.68
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.301 s]
/proc/loadavg: 4.09 4.29 3.72 11/221 9844
/proc/meminfo: memFree=24006608/32872528 swapFree=1505436/1685308
[pid=9733] ppid=9730 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/9733/stat : 9733 (java) S 9730 9733 7329 0 -1 4202496 103968 0 1 0 179690 312 0 0 20 0 22 0 22749557 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140734611334080 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9733/statm: 2456183 1105993 2298 9 0 2446860 0
[pid=9733/tid=9734] ppid=9730 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/9733/task/9734/stat : 9734 (java) S 9730 9733 7329 0 -1 4202560 2561 0 1 0 164 5 0 0 20 0 22 0 22749558 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109767222136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9736] ppid=9730 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/9733/task/9736/stat : 9736 (java) S 9730 9733 7329 0 -1 4202560 11063 0 0 0 202 29 0 0 20 0 22 0 22749559 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109756283304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9737] ppid=9730 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/9733/task/9737/stat : 9737 (java) S 9730 9733 7329 0 -1 4202560 11648 0 0 0 217 33 0 0 20 0 22 0 22749559 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109755230760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9738] ppid=9730 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/9733/task/9738/stat : 9738 (java) S 9730 9733 7329 0 -1 4202560 8629 0 0 0 221 32 0 0 20 0 22 0 22749559 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109754177704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9739] ppid=9730 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/9733/task/9739/stat : 9739 (java) S 9730 9733 7329 0 -1 4202560 7528 0 0 0 201 33 0 0 20 0 22 0 22749559 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109753125160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9740] ppid=9730 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/9733/task/9740/stat : 9740 (java) S 9730 9733 7329 0 -1 4202560 7841 0 0 0 254 36 0 0 20 0 22 0 22749559 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109607025576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9741] ppid=9730 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/9733/task/9741/stat : 9741 (java) S 9730 9733 7329 0 -1 4202560 11019 0 0 0 189 30 0 0 20 0 22 0 22749559 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109605973032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9742] ppid=9730 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/9733/task/9742/stat : 9742 (java) S 9730 9733 7329 0 -1 4202560 10906 0 0 0 201 32 0 0 20 0 22 0 22749559 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109604919976 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9743] ppid=9730 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/9733/task/9743/stat : 9743 (java) S 9730 9733 7329 0 -1 4202560 8080 0 0 0 218 33 0 0 20 0 22 0 22749559 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109603867432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9744] ppid=9730 vsize=9824732 CPUtime=6.77 cores=1,3,5,7
/proc/9733/task/9744/stat : 9744 (java) S 9730 9733 7329 0 -1 4202560 3002 0 0 0 672 5 0 0 20 0 22 0 22749560 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109591456104 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9745] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9745/stat : 9745 (java) S 9730 9733 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109590402424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9746] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9746/stat : 9746 (java) S 9730 9733 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22749560 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109589349256 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9747] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9747/stat : 9747 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749562 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109588298000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9748] ppid=9730 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/9733/task/9748/stat : 9748 (java) S 9730 9733 7329 0 -1 4202560 7688 0 0 0 128 2 0 0 20 0 22 0 22749562 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109587245880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9733/tid=9749] ppid=9730 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/9733/task/9749/stat : 9749 (java) S 9730 9733 7329 0 -1 4202560 11210 0 0 0 157 3 0 0 20 0 22 0 22749562 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109586193336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9750] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9750/stat : 9750 (java) S 9730 9733 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749562 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109585140472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9733/tid=9751] ppid=9730 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/9733/task/9751/stat : 9751 (java) S 9730 9733 7329 0 -1 4202560 51 0 0 0 13 16 0 0 20 0 22 0 22749562 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109584088136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9752] ppid=9730 vsize=9824732 CPUtime=882.14 cores=1,3,5,7
/proc/9733/task/9752/stat : 9752 (java) R 9730 9733 7329 0 -1 4202560 175 0 0 0 88194 20 0 0 20 0 22 0 22749752 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109582982480 140109635217447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9733/tid=9753] ppid=9730 vsize=9824732 CPUtime=882.22 cores=1,3,5,7
/proc/9733/task/9753/stat : 9753 (java) R 9730 9733 7329 0 -1 4202560 1301 0 0 0 88191 31 0 0 20 0 22 0 22749752 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109581928928 140109635654539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9754] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9754/stat : 9754 (java) S 9730 9733 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749767 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109580878632 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9733/tid=9755] ppid=9730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9733/task/9755/stat : 9755 (java) S 9730 9733 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749767 10060525568 1105993 33554432000 1073741824 1073778376 140734611342944 140109579826088 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9733 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9733 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=459504
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=591454
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 898.364
CPU time (s): 1800.02
CPU user time (s): 1796.9
CPU system time (s): 3.12
CPU usage (%): 200.366
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.46
system time used= 3.59145
maximum resident set size= 4479232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104012
page faults= 1
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24874
involuntary context switches= 21536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97409 second user time and 7.46186 second system time
The end