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-4105694-1466256803/watcher-4105694-1466256803 -o /tmp/evaluation-result-4105694-1466256803/solver-4105694-1466256803 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466241279-6375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105694-1466256803.opb
pid=11893
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.19 4.17 4.11 4/197 11896
/proc/meminfo: memFree=28688812/32872528 swapFree=681964/737152
[pid=11896] ppid=11893 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11896/stat : 11896 (java) D 11893 11896 6358 0 -1 4202496 522 0 0 0 0 0 0 0 20 0 1 0 27729549 9515008 175 33554432000 1073741824 1073778376 140733692172960 140733692155688 213866333072 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/11896/statm: 2323 175 133 9 0 71 0
[startup+0.100115 s]
/proc/loadavg: 4.19 4.17 4.11 4/197 11896
/proc/meminfo: memFree=28688812/32872528 swapFree=681964/737152
[pid=11896] ppid=11893 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/11896/stat : 11896 (java) S 11893 11896 6358 0 -1 4202496 4418 0 1 0 8 1 0 0 20 0 18 0 27729549 9787879424 6043 33554432000 1073741824 1073778376 140733692172960 140733692164096 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11896/statm: 2389619 6043 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200278 s]
/proc/loadavg: 4.19 4.17 4.11 4/197 11896
/proc/meminfo: memFree=28688812/32872528 swapFree=681964/737152
[pid=11896] ppid=11893 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/11896/stat : 11896 (java) S 11893 11896 6358 0 -1 4202496 4696 0 1 0 23 1 0 0 20 0 18 0 27729549 9787879424 6756 33554432000 1073741824 1073778376 140733692172960 140733692164096 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11896/statm: 2389619 6756 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300288 s]
/proc/loadavg: 4.19 4.17 4.11 4/197 11896
/proc/meminfo: memFree=28688812/32872528 swapFree=681964/737152
[pid=11896] ppid=11893 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/11896/stat : 11896 (java) S 11893 11896 6358 0 -1 4202496 5550 0 1 0 46 1 0 0 20 0 18 0 27729549 9787879424 8951 33554432000 1073741824 1073778376 140733692172960 140733692164096 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11896/statm: 2389619 8951 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700276 s]
/proc/loadavg: 4.19 4.17 4.11 4/197 11896
/proc/meminfo: memFree=28688812/32872528 swapFree=681964/737152
[pid=11896] ppid=11893 vsize=9558476 CPUtime=1.64 cores=1,3,5,7
/proc/11896/stat : 11896 (java) S 11893 11896 6358 0 -1 4202496 20405 0 1 0 159 5 0 0 20 0 18 0 27729549 9787879424 47148 33554432000 1073741824 1073778376 140733692172960 140733692164096 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11896/statm: 2389619 47148 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9558476
[startup+1.50075 s]
/proc/loadavg: 4.19 4.17 4.11 5/215 11914
/proc/meminfo: memFree=28485692/32872528 swapFree=681964/737152
[pid=11896] ppid=11893 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/11896/stat : 11896 (java) S 11893 11896 6358 0 -1 4202496 20599 0 1 0 370 6 0 0 20 0 22 0 27729549 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140733692164096 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11896/statm: 2456183 52945 2278 9 0 2446860 0
[pid=11896/tid=11898] ppid=11893 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/11896/task/11898/stat : 11898 (java) S 11893 11896 6358 0 -1 4202560 2482 0 1 0 104 2 0 0 20 0 22 0 27729550 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140177288979320 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11899] ppid=11893 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11896/task/11899/stat : 11899 (java) S 11893 11896 6358 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 27729551 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140177267080232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11900] ppid=11893 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11896/task/11900/stat : 11900 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 22 0 27729551 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140177266027432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11901] ppid=11893 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11896/task/11901/stat : 11901 (java) S 11893 11896 6358 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 27729551 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140177264974632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11902] ppid=11893 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11896/task/11902/stat : 11902 (java) S 11893 11896 6358 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 27729551 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176928008872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11903] ppid=11893 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11896/task/11903/stat : 11903 (java) S 11893 11896 6358 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 27729551 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176926956072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11904] ppid=11893 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11896/task/11904/stat : 11904 (java) S 11893 11896 6358 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 27729551 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176925903272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11905] ppid=11893 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11896/task/11905/stat : 11905 (java) S 11893 11896 6358 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 27729551 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176924850472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11906] ppid=11893 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11896/task/11906/stat : 11906 (java) S 11893 11896 6358 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 22 0 27729551 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176923797672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11907] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11907/stat : 11907 (java) S 11893 11896 6358 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 27729552 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176911600616 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11908] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11908/stat : 11908 (java) S 11893 11896 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176910546680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11909] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11909/stat : 11909 (java) S 11893 11896 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176909493768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11910] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11910/stat : 11910 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176908442256 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11911] ppid=11893 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/11896/task/11911/stat : 11911 (java) R 11893 11896 6358 0 -1 4202560 9318 0 0 0 87 2 0 0 20 0 22 0 27729555 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176907389368 140177295433463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11912] ppid=11893 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/11896/task/11912/stat : 11912 (java) R 11893 11896 6358 0 -1 4202560 7374 0 0 0 88 2 0 0 20 0 22 0 27729555 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176906336568 140177293096436 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11913] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11913/stat : 11913 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176905283960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11914] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11914/stat : 11914 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 52945 33554432000 1073741824 1073778376 140733692172960 140176904231368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 4.19 4.17 4.11 5/219 11918
/proc/meminfo: memFree=28448728/32872528 swapFree=681964/737152
[pid=11896] ppid=11893 vsize=9824732 CPUtime=7.34 cores=1,3,5,7
/proc/11896/stat : 11896 (java) S 11893 11896 6358 0 -1 4202496 21002 0 1 0 724 10 0 0 20 0 22 0 27729549 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140733692164096 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11896/statm: 2456183 61989 2282 9 0 2446860 0
[pid=11896/tid=11898] ppid=11893 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/11896/task/11898/stat : 11898 (java) S 11893 11896 6358 0 -1 4202560 2483 0 1 0 104 2 0 0 20 0 22 0 27729550 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140177288979320 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11899] ppid=11893 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11896/task/11899/stat : 11899 (java) S 11893 11896 6358 0 -1 4202560 113 0 0 0 6 0 0 0 20 0 22 0 27729551 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140177267080232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11900] ppid=11893 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/11896/task/11900/stat : 11900 (java) S 11893 11896 6358 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 27729551 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140177266027432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11901] ppid=11893 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11896/task/11901/stat : 11901 (java) S 11893 11896 6358 0 -1 4202560 63 0 0 0 2 0 0 0 20 0 22 0 27729551 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140177264974632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11902] ppid=11893 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11896/task/11902/stat : 11902 (java) S 11893 11896 6358 0 -1 4202560 68 0 0 0 4 0 0 0 20 0 22 0 27729551 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176928008872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11903] ppid=11893 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11896/task/11903/stat : 11903 (java) S 11893 11896 6358 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 27729551 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176926956072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11904] ppid=11893 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11896/task/11904/stat : 11904 (java) S 11893 11896 6358 0 -1 4202560 64 0 0 0 2 0 0 0 20 0 22 0 27729551 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176925903272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11905] ppid=11893 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11896/task/11905/stat : 11905 (java) S 11893 11896 6358 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 27729551 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176924850472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11906] ppid=11893 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11896/task/11906/stat : 11906 (java) S 11893 11896 6358 0 -1 4202560 103 0 0 0 4 0 0 0 20 0 22 0 27729551 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176923797672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11907] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11907/stat : 11907 (java) S 11893 11896 6358 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 27729552 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176911600616 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11908] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11908/stat : 11908 (java) S 11893 11896 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176910546680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11909] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11909/stat : 11909 (java) S 11893 11896 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176909493768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11910] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11910/stat : 11910 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176908442256 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11911] ppid=11893 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/11896/task/11911/stat : 11911 (java) S 11893 11896 6358 0 -1 4202560 9323 0 0 0 102 2 0 0 20 0 22 0 27729555 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176907389368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11912] ppid=11893 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/11896/task/11912/stat : 11912 (java) S 11893 11896 6358 0 -1 4202560 7374 0 0 0 104 2 0 0 20 0 22 0 27729555 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176906336568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11913] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11913/stat : 11913 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176905283960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11914] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11914/stat : 11914 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176904231368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11915] ppid=11893 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/11896/task/11915/stat : 11915 (java) R 11893 11896 6358 0 -1 4202560 20 0 0 0 186 0 0 0 20 0 22 0 27729665 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176903077848 140177147250530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11916] ppid=11893 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/11896/task/11916/stat : 11916 (java) R 11893 11896 6358 0 -1 4202560 23 0 0 0 185 0 0 0 20 0 22 0 27729665 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176902023816 140177147553769 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11917] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11917/stat : 11917 (java) S 11893 11896 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27729668 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176900973992 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11918] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11918/stat : 11918 (java) S 11893 11896 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27729669 10060525568 61989 33554432000 1073741824 1073778376 140733692172960 140176899921192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.17 4.16 4.11 5/219 11918
/proc/meminfo: memFree=28350800/32872528 swapFree=681964/737152
[pid=11896] ppid=11893 vsize=9824732 CPUtime=13.98 cores=1,3,5,7
/proc/11896/stat : 11896 (java) S 11893 11896 6358 0 -1 4202496 21390 0 1 0 1381 17 0 0 20 0 22 0 27729549 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140733692164096 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11896/statm: 2456183 101959 2282 9 0 2446860 0
[pid=11896/tid=11898] ppid=11893 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/11896/task/11898/stat : 11898 (java) S 11893 11896 6358 0 -1 4202560 2483 0 1 0 104 2 0 0 20 0 22 0 27729550 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140177288979320 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11899] ppid=11893 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/11896/task/11899/stat : 11899 (java) S 11893 11896 6358 0 -1 4202560 161 0 0 0 8 2 0 0 20 0 22 0 27729551 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140177267080232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11900] ppid=11893 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/11896/task/11900/stat : 11900 (java) S 11893 11896 6358 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 22 0 27729551 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140177266027432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11901] ppid=11893 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11896/task/11901/stat : 11901 (java) S 11893 11896 6358 0 -1 4202560 105 0 0 0 6 0 0 0 20 0 22 0 27729551 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140177264974632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11902] ppid=11893 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11896/task/11902/stat : 11902 (java) S 11893 11896 6358 0 -1 4202560 82 0 0 0 5 1 0 0 20 0 22 0 27729551 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176928008872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11903] ppid=11893 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/11896/task/11903/stat : 11903 (java) S 11893 11896 6358 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 22 0 27729551 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176926956072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11904] ppid=11893 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/11896/task/11904/stat : 11904 (java) S 11893 11896 6358 0 -1 4202560 99 0 0 0 5 2 0 0 20 0 22 0 27729551 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176925903272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11905] ppid=11893 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/11896/task/11905/stat : 11905 (java) S 11893 11896 6358 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 22 0 27729551 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176924850472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11906] ppid=11893 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/11896/task/11906/stat : 11906 (java) S 11893 11896 6358 0 -1 4202560 119 0 0 0 7 2 0 0 20 0 22 0 27729551 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176923797672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11907] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11907/stat : 11907 (java) S 11893 11896 6358 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 27729552 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176911600616 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11908] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11908/stat : 11908 (java) S 11893 11896 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176910546680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11909] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11909/stat : 11909 (java) S 11893 11896 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176909493768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11910] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11910/stat : 11910 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176908442256 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11911] ppid=11893 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/11896/task/11911/stat : 11911 (java) S 11893 11896 6358 0 -1 4202560 9323 0 0 0 110 2 0 0 20 0 22 0 27729555 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176907389368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11912] ppid=11893 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/11896/task/11912/stat : 11912 (java) S 11893 11896 6358 0 -1 4202560 7374 0 0 0 110 2 0 0 20 0 22 0 27729555 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176906336568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11913] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11913/stat : 11913 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176905283960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11914] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11914/stat : 11914 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 101959 33554432000 1073741824 1073778376 140733692172960 140176904231368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11915] ppid=11893 vsize=9824732 CPUtime=4.98 cores=1,3,5,7
################
# More data... #
################
/proc/11896/task/11901/stat : 11901 (java) S 11893 11896 6358 0 -1 4202560 365 0 0 0 89 9 0 0 20 0 22 0 27729551 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140177264974632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11902] ppid=11893 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/11896/task/11902/stat : 11902 (java) S 11893 11896 6358 0 -1 4202560 354 0 0 0 89 9 0 0 20 0 22 0 27729551 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176928008872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11903] ppid=11893 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/11896/task/11903/stat : 11903 (java) S 11893 11896 6358 0 -1 4202560 429 0 0 0 89 11 0 0 20 0 22 0 27729551 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176926956072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11904] ppid=11893 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/11896/task/11904/stat : 11904 (java) S 11893 11896 6358 0 -1 4202560 344 0 0 0 97 14 0 0 20 0 22 0 27729551 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176925903272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11905] ppid=11893 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/11896/task/11905/stat : 11905 (java) S 11893 11896 6358 0 -1 4202560 306 0 0 0 91 12 0 0 20 0 22 0 27729551 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176924850472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11906] ppid=11893 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/11896/task/11906/stat : 11906 (java) S 11893 11896 6358 0 -1 4202560 359 0 0 0 90 11 0 0 20 0 22 0 27729551 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176923797672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11907] ppid=11893 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/11896/task/11907/stat : 11907 (java) S 11893 11896 6358 0 -1 4202560 3398 0 0 0 123 21 0 0 20 0 22 0 27729552 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176911600616 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11908] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11908/stat : 11908 (java) S 11893 11896 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176910546680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11909] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11909/stat : 11909 (java) S 11893 11896 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176909493768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11910] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11910/stat : 11910 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176908442256 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11911] ppid=11893 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/11896/task/11911/stat : 11911 (java) S 11893 11896 6358 0 -1 4202560 9339 0 0 0 122 2 0 0 20 0 22 0 27729555 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176907389368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11912] ppid=11893 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/11896/task/11912/stat : 11912 (java) S 11893 11896 6358 0 -1 4202560 7385 0 0 0 144 2 0 0 20 0 22 0 27729555 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176906336568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11913] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11913/stat : 11913 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176905283960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11914] ppid=11893 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/11896/task/11914/stat : 11914 (java) S 11893 11896 6358 0 -1 4202560 47 0 0 0 11 19 0 0 20 0 22 0 27729555 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176904231368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11915] ppid=11893 vsize=9824732 CPUtime=814.87 cores=1,3,5,7
/proc/11896/task/11915/stat : 11915 (java) R 11893 11896 6358 0 -1 4202560 1797 0 0 0 81446 41 0 0 20 0 22 0 27729665 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176903079064 140177147409691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11916] ppid=11893 vsize=9824732 CPUtime=814.94 cores=1,3,5,7
/proc/11896/task/11916/stat : 11916 (java) R 11893 11896 6358 0 -1 4202560 309 0 0 0 81473 21 0 0 20 0 22 0 27729665 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176902024224 140177147250530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11917] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11917/stat : 11917 (java) S 11893 11896 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27729668 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176900973992 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11918] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11918/stat : 11918 (java) S 11893 11896 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27729669 10060525568 369781 33554432000 1073741824 1073778376 140733692172960 140176899921192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1647.45
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.26 4.20 4.14 5/219 12286
/proc/meminfo: memFree=26978268/32872528 swapFree=681964/737152
[pid=11896] ppid=11893 vsize=9824732 CPUtime=1767.61 cores=1,3,5,7
/proc/11896/stat : 11896 (java) S 11893 11896 6358 0 -1 4202496 29320 0 1 0 176587 174 0 0 20 0 22 0 27729549 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140733692164096 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11896/statm: 2456183 339783 2300 9 0 2446860 0
[pid=11896/tid=11898] ppid=11893 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/11896/task/11898/stat : 11898 (java) S 11893 11896 6358 0 -1 4202560 2488 0 1 0 106 5 0 0 20 0 22 0 27729550 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140177288979320 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11899] ppid=11893 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/11896/task/11899/stat : 11899 (java) S 11893 11896 6358 0 -1 4202560 469 0 0 0 101 11 0 0 20 0 22 0 27729551 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140177267080232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11900] ppid=11893 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/11896/task/11900/stat : 11900 (java) S 11893 11896 6358 0 -1 4202560 285 0 0 0 89 11 0 0 20 0 22 0 27729551 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140177266027432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11901] ppid=11893 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/11896/task/11901/stat : 11901 (java) S 11893 11896 6358 0 -1 4202560 406 0 0 0 98 10 0 0 20 0 22 0 27729551 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140177264974632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11902] ppid=11893 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/11896/task/11902/stat : 11902 (java) S 11893 11896 6358 0 -1 4202560 447 0 0 0 97 10 0 0 20 0 22 0 27729551 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176928008872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11903] ppid=11893 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/11896/task/11903/stat : 11903 (java) S 11893 11896 6358 0 -1 4202560 439 0 0 0 98 12 0 0 20 0 22 0 27729551 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176926956072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11904] ppid=11893 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/11896/task/11904/stat : 11904 (java) S 11893 11896 6358 0 -1 4202560 378 0 0 0 103 15 0 0 20 0 22 0 27729551 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176925903272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11905] ppid=11893 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/11896/task/11905/stat : 11905 (java) S 11893 11896 6358 0 -1 4202560 409 0 0 0 99 12 0 0 20 0 22 0 27729551 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176924850472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11906] ppid=11893 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/11896/task/11906/stat : 11906 (java) S 11893 11896 6358 0 -1 4202560 367 0 0 0 96 12 0 0 20 0 22 0 27729551 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176923797672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11907] ppid=11893 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/11896/task/11907/stat : 11907 (java) S 11893 11896 6358 0 -1 4202560 3448 0 0 0 124 23 0 0 20 0 22 0 27729552 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176911600616 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11908] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11908/stat : 11908 (java) S 11893 11896 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176910546680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11909] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11909/stat : 11909 (java) S 11893 11896 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176909493768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11910] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11910/stat : 11910 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176908442256 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11911] ppid=11893 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/11896/task/11911/stat : 11911 (java) S 11893 11896 6358 0 -1 4202560 9339 0 0 0 122 2 0 0 20 0 22 0 27729555 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176907389368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11912] ppid=11893 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/11896/task/11912/stat : 11912 (java) S 11893 11896 6358 0 -1 4202560 7385 0 0 0 144 2 0 0 20 0 22 0 27729555 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176906336568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11913] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11913/stat : 11913 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176905283960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11914] ppid=11893 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/11896/task/11914/stat : 11914 (java) S 11893 11896 6358 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 27729555 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176904231368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11915] ppid=11893 vsize=9824732 CPUtime=874.4 cores=1,3,5,7
/proc/11896/task/11915/stat : 11915 (java) R 11893 11896 6358 0 -1 4202560 1826 0 0 0 87398 42 0 0 20 0 22 0 27729665 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176903077712 140177147409712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11916] ppid=11893 vsize=9824732 CPUtime=874.54 cores=1,3,5,7
/proc/11896/task/11916/stat : 11916 (java) R 11893 11896 6358 0 -1 4202560 318 0 0 0 87432 22 0 0 20 0 22 0 27729665 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176902023808 140177147561761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11917] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11917/stat : 11917 (java) S 11893 11896 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27729668 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176900973992 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11918] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11918/stat : 11918 (java) S 11893 11896 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27729669 10060525568 339783 33554432000 1073741824 1073778376 140733692172960 140176899921192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1767.61
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.808 s]
/proc/loadavg: 4.12 4.18 4.13 5/219 12286
/proc/meminfo: memFree=26953360/32872528 swapFree=681964/737152
[pid=11896] ppid=11893 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/11896/stat : 11896 (java) S 11893 11896 6358 0 -1 4202496 31158 0 1 0 179822 178 0 0 20 0 22 0 27729549 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140733692164096 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11896/statm: 2456183 346142 2300 9 0 2446860 0
[pid=11896/tid=11898] ppid=11893 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/11896/task/11898/stat : 11898 (java) S 11893 11896 6358 0 -1 4202560 2488 0 1 0 106 5 0 0 20 0 22 0 27729550 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140177288979320 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11899] ppid=11893 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/11896/task/11899/stat : 11899 (java) S 11893 11896 6358 0 -1 4202560 473 0 0 0 103 11 0 0 20 0 22 0 27729551 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140177267080232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11900] ppid=11893 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/11896/task/11900/stat : 11900 (java) S 11893 11896 6358 0 -1 4202560 316 0 0 0 91 11 0 0 20 0 22 0 27729551 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140177266027432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11901] ppid=11893 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/11896/task/11901/stat : 11901 (java) S 11893 11896 6358 0 -1 4202560 408 0 0 0 99 10 0 0 20 0 22 0 27729551 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140177264974632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11896/tid=11902] ppid=11893 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/11896/task/11902/stat : 11902 (java) S 11893 11896 6358 0 -1 4202560 450 0 0 0 98 10 0 0 20 0 22 0 27729551 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176928008872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11903] ppid=11893 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/11896/task/11903/stat : 11903 (java) S 11893 11896 6358 0 -1 4202560 441 0 0 0 99 12 0 0 20 0 22 0 27729551 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176926956072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11904] ppid=11893 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/11896/task/11904/stat : 11904 (java) S 11893 11896 6358 0 -1 4202560 434 0 0 0 107 15 0 0 20 0 22 0 27729551 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176925903272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11905] ppid=11893 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/11896/task/11905/stat : 11905 (java) S 11893 11896 6358 0 -1 4202560 436 0 0 0 101 13 0 0 20 0 22 0 27729551 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176924850472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11906] ppid=11893 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/11896/task/11906/stat : 11906 (java) S 11893 11896 6358 0 -1 4202560 369 0 0 0 97 12 0 0 20 0 22 0 27729551 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176923797672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11907] ppid=11893 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/11896/task/11907/stat : 11907 (java) S 11893 11896 6358 0 -1 4202560 4668 0 0 0 190 24 0 0 20 0 22 0 27729552 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176911600616 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11908] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11908/stat : 11908 (java) S 11893 11896 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176910546680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11909] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11909/stat : 11909 (java) S 11893 11896 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27729553 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176909493768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11910] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11910/stat : 11910 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176908442256 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11911] ppid=11893 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/11896/task/11911/stat : 11911 (java) S 11893 11896 6358 0 -1 4202560 9339 0 0 0 122 2 0 0 20 0 22 0 27729555 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176907389368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11912] ppid=11893 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/11896/task/11912/stat : 11912 (java) S 11893 11896 6358 0 -1 4202560 7385 0 0 0 144 2 0 0 20 0 22 0 27729555 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176906336568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11913] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11913/stat : 11913 (java) S 11893 11896 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27729555 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176905283960 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11914] ppid=11893 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/11896/task/11914/stat : 11914 (java) S 11893 11896 6358 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 27729555 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176904231368 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11896/tid=11915] ppid=11893 vsize=9824732 CPUtime=890.14 cores=1,3,5,7
/proc/11896/task/11915/stat : 11915 (java) R 11893 11896 6358 0 -1 4202560 2312 0 0 0 88972 42 0 0 20 0 22 0 27729665 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176903077760 140177147250813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11896/tid=11916] ppid=11893 vsize=9824732 CPUtime=890.28 cores=1,3,5,7
/proc/11896/task/11916/stat : 11916 (java) R 11893 11896 6358 0 -1 4202560 323 0 0 0 89006 22 0 0 20 0 22 0 27729665 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176902023808 140177147561691 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11917] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11917/stat : 11917 (java) S 11893 11896 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27729668 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176900973992 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11896/tid=11918] ppid=11893 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11896/task/11918/stat : 11918 (java) S 11893 11896 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27729669 10060525568 346142 33554432000 1073741824 1073778376 140733692172960 140176899921192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 11896 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 11896 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=629326
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=261656
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 898.824
CPU time (s): 1800
CPU user time (s): 1798.22
CPU system time (s): 1.78
CPU usage (%): 200.262
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.63
system time used= 2.26166
maximum resident set size= 2911872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31190
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31464
involuntary context switches= 32372
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84311 second user time and 7.54485 second system time
The end