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-4101442-1466214241/watcher-4101442-1466214241 -o /tmp/evaluation-result-4101442-1466214241/solver-4101442-1466214241 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13554 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101442-1466214241.opb
pid=16683
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.76 4.05 4.10 4/197 16686
/proc/meminfo: memFree=27832456/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 23474018 98570240 977 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 24065 977 744 9 0 16771 0
[pid=16686/tid=16687] ppid=16683 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) R 16683 16686 13538 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 23474018 98570240 977 33554432000 1073741824 1073778376 140736671731568 139834663231016 224922518912 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 3.76 4.05 4.10 4/197 16686
/proc/meminfo: memFree=27832456/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 4506 0 1 0 10 1 0 0 20 0 18 0 23474018 9787879424 6138 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 2389619 6138 2158 9 0 2380296 0
[pid=16686/tid=16687] ppid=16683 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) R 16683 16686 13538 0 -1 4202560 2388 0 1 0 6 1 0 0 20 0 18 0 23474018 9787879424 6138 33554432000 1073741824 1073778376 140736671731568 139834663234464 224925902093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200264 s]
/proc/loadavg: 3.76 4.05 4.10 4/197 16686
/proc/meminfo: memFree=27832456/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 5110 0 1 0 29 1 0 0 20 0 18 0 23474018 9787879424 8163 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 2389619 8163 2221 9 0 2380296 0
[pid=16686/tid=16687] ppid=16683 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) R 16683 16686 13538 0 -1 4202560 2409 0 1 0 16 1 0 0 20 0 18 0 23474018 9787879424 8163 33554432000 1073741824 1073778376 140736671731568 139834663234464 139834488335964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300263 s]
/proc/loadavg: 3.76 4.05 4.10 4/197 16686
/proc/meminfo: memFree=27832456/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=9558476 CPUtime=0.59 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 13556 0 1 0 57 2 0 0 20 0 18 0 23474018 9787879424 15525 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 2389619 15525 2225 9 0 2380296 0
[pid=16686/tid=16687] ppid=16683 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) R 16683 16686 13538 0 -1 4202560 2414 0 1 0 26 1 0 0 20 0 18 0 23474018 9787879424 15525 33554432000 1073741824 1073778376 140736671731568 139834663234808 139834666521495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558476
[startup+0.700217 s]
/proc/loadavg: 3.76 4.05 4.10 4/197 16686
/proc/meminfo: memFree=27832456/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=9558476 CPUtime=1.5 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 16132 0 1 0 143 7 0 0 20 0 18 0 23474018 9787879424 50628 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 2389619 50628 2256 9 0 2380296 0
[pid=16686/tid=16687] ppid=16683 vsize=9558476 CPUtime=0.64 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) S 16683 16686 13538 0 -1 4202560 2476 0 1 0 61 3 0 0 20 0 18 0 23474018 9787879424 50628 33554432000 1073741824 1073778376 140736671731568 139834663233528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9558476
[startup+1.50083 s]
/proc/loadavg: 3.76 4.05 4.10 7/219 16708
/proc/meminfo: memFree=27620592/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=9824732 CPUtime=3.99 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 20067 0 1 0 383 16 0 0 20 0 22 0 23474018 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 2456183 66487 2276 9 0 2446860 0
[pid=16686/tid=16687] ppid=16683 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) S 16683 16686 13538 0 -1 4202560 2492 0 1 0 79 3 0 0 20 0 22 0 23474018 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834663236472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16689] ppid=16683 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/16686/task/16689/stat : 16689 (java) S 16683 16686 13538 0 -1 4202560 126 0 0 0 5 2 0 0 20 0 22 0 23474019 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834624727336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16690] ppid=16683 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16686/task/16690/stat : 16690 (java) S 16683 16686 13538 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 22 0 23474019 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834623674536 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16691] ppid=16683 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16686/task/16691/stat : 16691 (java) S 16683 16686 13538 0 -1 4202560 106 0 0 0 2 2 0 0 20 0 22 0 23474019 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834622622248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16692] ppid=16683 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/16686/task/16692/stat : 16692 (java) S 16683 16686 13538 0 -1 4202560 109 0 0 0 6 2 0 0 20 0 22 0 23474019 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834621569448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16693] ppid=16683 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/16686/task/16693/stat : 16693 (java) S 16683 16686 13538 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 23474019 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834620517160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16694] ppid=16683 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16686/task/16694/stat : 16694 (java) S 16683 16686 13538 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 22 0 23474019 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834619464360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16695] ppid=16683 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16686/task/16695/stat : 16695 (java) S 16683 16686 13538 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 22 0 23474019 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834618412072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16696] ppid=16683 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/16686/task/16696/stat : 16696 (java) S 16683 16686 13538 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 22 0 23474019 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834617359272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16697] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16697/stat : 16697 (java) S 16683 16686 13538 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23474020 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834487199976 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16698] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16698/stat : 16698 (java) S 16683 16686 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23474021 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834486146040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16699] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16699/stat : 16699 (java) S 16683 16686 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23474021 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834485093640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16700] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16700/stat : 16700 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834484042128 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16701] ppid=16683 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/16686/task/16701/stat : 16701 (java) R 16683 16686 13538 0 -1 4202560 6329 0 0 0 81 0 0 0 20 0 22 0 23474023 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834482977160 139834665870874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16702] ppid=16683 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/16686/task/16702/stat : 16702 (java) R 16683 16686 13538 0 -1 4202560 9318 0 0 0 78 2 0 0 20 0 22 0 23474023 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834481930992 139834669080003 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16703] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16703/stat : 16703 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834480884856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16704] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16704/stat : 16704 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834479832264 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16705] ppid=16683 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/16686/task/16705/stat : 16705 (java) R 16683 16686 13538 0 -1 4202560 22 0 0 0 51 0 0 0 20 0 22 0 23474109 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834478776976 139834489105764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16706] ppid=16683 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/16686/task/16706/stat : 16706 (java) R 16683 16686 13538 0 -1 4202560 24 0 0 0 51 0 0 0 20 0 22 0 23474109 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834477722032 139834489145276 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16707] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16707/stat : 16707 (java) S 16683 16686 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474121 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834476672168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16708] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16708/stat : 16708 (java) S 16683 16686 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474121 10060525568 66487 33554432000 1073741824 1073778376 140736671731568 139834475619368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 3.78 4.05 4.10 6/219 16708
/proc/meminfo: memFree=27574284/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=9824732 CPUtime=7.56 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 20472 0 1 0 740 16 0 0 20 0 22 0 23474018 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 2456183 66491 2279 9 0 2446860 0
[pid=16686/tid=16687] ppid=16683 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) S 16683 16686 13538 0 -1 4202560 2492 0 1 0 79 3 0 0 20 0 22 0 23474018 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834663236472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16689] ppid=16683 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/16686/task/16689/stat : 16689 (java) S 16683 16686 13538 0 -1 4202560 126 0 0 0 5 2 0 0 20 0 22 0 23474019 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834624727336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16690] ppid=16683 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16686/task/16690/stat : 16690 (java) S 16683 16686 13538 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 22 0 23474019 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834623674536 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16691] ppid=16683 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16686/task/16691/stat : 16691 (java) S 16683 16686 13538 0 -1 4202560 106 0 0 0 2 2 0 0 20 0 22 0 23474019 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834622622248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16692] ppid=16683 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/16686/task/16692/stat : 16692 (java) S 16683 16686 13538 0 -1 4202560 109 0 0 0 6 2 0 0 20 0 22 0 23474019 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834621569448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16693] ppid=16683 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/16686/task/16693/stat : 16693 (java) S 16683 16686 13538 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 23474019 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834620517160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16694] ppid=16683 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16686/task/16694/stat : 16694 (java) S 16683 16686 13538 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 22 0 23474019 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834619464360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16695] ppid=16683 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16686/task/16695/stat : 16695 (java) S 16683 16686 13538 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 22 0 23474019 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834618412072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16696] ppid=16683 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/16686/task/16696/stat : 16696 (java) S 16683 16686 13538 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 22 0 23474019 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834617359272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16697] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16697/stat : 16697 (java) S 16683 16686 13538 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23474020 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834487199976 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16698] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16698/stat : 16698 (java) S 16683 16686 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23474021 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834486146040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16699] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16699/stat : 16699 (java) S 16683 16686 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23474021 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834485093640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16700] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16700/stat : 16700 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834484042128 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16701] ppid=16683 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/16686/task/16701/stat : 16701 (java) S 16683 16686 13538 0 -1 4202560 6329 0 0 0 97 0 0 0 20 0 22 0 23474023 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834482989752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16702] ppid=16683 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/16686/task/16702/stat : 16702 (java) S 16683 16686 13538 0 -1 4202560 9721 0 0 0 99 2 0 0 20 0 22 0 23474023 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834481936952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16703] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16703/stat : 16703 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834480884856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16704] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16704/stat : 16704 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834479832264 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16705] ppid=16683 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/16686/task/16705/stat : 16705 (java) R 16683 16686 13538 0 -1 4202560 23 0 0 0 211 0 0 0 20 0 22 0 23474109 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834478777016 139834488324026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16706] ppid=16683 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/16686/task/16706/stat : 16706 (java) R 16683 16686 13538 0 -1 4202560 25 0 0 0 211 0 0 0 20 0 22 0 23474109 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834477723384 139834489315923 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16707] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16707/stat : 16707 (java) S 16683 16686 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474121 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834476672168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16708] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16708/stat : 16708 (java) S 16683 16686 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474121 10060525568 66491 33554432000 1073741824 1073778376 140736671731568 139834475619368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 9824732
[startup+6.30093 s]
/proc/loadavg: 3.78 4.05 4.10 6/219 16708
/proc/meminfo: memFree=27434176/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=9824732 CPUtime=14.21 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 20716 0 1 0 1400 21 0 0 20 0 22 0 23474018 10060525568 101285 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 2456183 101285 2283 9 0 2446860 0
[pid=16686/tid=16687] ppid=16683 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) S 16683 16686 13538 0 -1 4202560 2492 0 1 0 79 3 0 0 20 0 22 0 23474018 10060525568 101285 33554432000 1073741824 1073778376 140736671731568 139834663236472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16689] ppid=16683 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/16686/task/16689/stat : 16689 (java) S 16683 16686 13538 0 -1 4202560 132 0 0 0 6 2 0 0 20 0 22 0 23474019 10060525568 101285 33554432000 1073741824 1073778376 140736671731568 139834624727336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16690] ppid=16683 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16686/task/16690/stat : 16690 (java) S 16683 16686 13538 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 22 0 23474019 10060525568 101285 33554432000 1073741824 1073778376 140736671731568 139834623674536 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16691] ppid=16683 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16686/task/16691/stat : 16691 (java) S 16683 16686 13538 0 -1 4202560 112 0 0 0 4 2 0 0 20 0 22 0 23474019 10060525568 101285 33554432000 1073741824 1073778376 140736671731568 139834622622248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16692] ppid=16683 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/16686/task/16692/stat : 16692 (java) S 16683 16686 13538 0 -1 4202560 111 0 0 0 7 3 0 0 20 0 22 0 23474019 10060525568 101285 33554432000 1073741824 1073778376 140736671731568 139834621569448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16693] ppid=16683 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16686/task/16693/stat : 16693 (java) S 16683 16686 13538 0 -1 4202560 27 0 0 0 4 1 0 0 20 0 22 0 23474019 10060525568 101285 33554432000 1073741824 1073778376 140736671731568 139834620517160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16694] ppid=16683 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16686/task/16694/stat : 16694 (java) S 16683 16686 13538 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 23474019 10060525568 101285 33554432000 1073741824 1073778376 140736671731568 139834619464360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16695] ppid=16683 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16686/task/16695/stat : 16695 (java) S 16683 16686 13538 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 23474019 10060525568 101285 33554432000 1073741824 1073778376 140736671731568 139834618412072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16696] ppid=16683 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.34 4.12 4.04 5/219 16959
/proc/meminfo: memFree=23761500/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=9824732 CPUtime=1648.56 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 36389 0 1 0 164659 197 0 0 20 0 22 0 23474018 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 2456183 830569 2291 9 0 2446860 0
[pid=16686/tid=16687] ppid=16683 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) S 16683 16686 13538 0 -1 4202560 2495 0 1 0 81 4 0 0 20 0 22 0 23474018 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834663236472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16689] ppid=16683 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/16686/task/16689/stat : 16689 (java) S 16683 16686 13538 0 -1 4202560 680 0 0 0 107 18 0 0 20 0 22 0 23474019 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834624727336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16690] ppid=16683 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/16686/task/16690/stat : 16690 (java) S 16683 16686 13538 0 -1 4202560 375 0 0 0 102 16 0 0 20 0 22 0 23474019 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834623674536 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16691] ppid=16683 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/16686/task/16691/stat : 16691 (java) S 16683 16686 13538 0 -1 4202560 542 0 0 0 104 17 0 0 20 0 22 0 23474019 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834622622248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16692] ppid=16683 vsize=9824732 CPUtime=1.43 cores=0,2,4,6
/proc/16686/task/16692/stat : 16692 (java) S 16683 16686 13538 0 -1 4202560 745 0 0 0 121 22 0 0 20 0 22 0 23474019 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834621569448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16693] ppid=16683 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/16686/task/16693/stat : 16693 (java) S 16683 16686 13538 0 -1 4202560 337 0 0 0 101 16 0 0 20 0 22 0 23474019 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834620517160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16694] ppid=16683 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/16686/task/16694/stat : 16694 (java) S 16683 16686 13538 0 -1 4202560 438 0 0 0 111 17 0 0 20 0 22 0 23474019 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834619464360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16695] ppid=16683 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/16686/task/16695/stat : 16695 (java) S 16683 16686 13538 0 -1 4202560 346 0 0 0 102 16 0 0 20 0 22 0 23474019 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834618412072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16696] ppid=16683 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/16686/task/16696/stat : 16696 (java) S 16683 16686 13538 0 -1 4202560 476 0 0 0 109 21 0 0 20 0 22 0 23474019 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834617359272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16697] ppid=16683 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/16686/task/16697/stat : 16697 (java) S 16683 16686 13538 0 -1 4202560 2477 0 0 0 314 5 0 0 20 0 22 0 23474020 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834487199976 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16698] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16698/stat : 16698 (java) S 16683 16686 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23474021 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834486146040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16699] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16699/stat : 16699 (java) S 16683 16686 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23474021 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834485093640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16700] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16700/stat : 16700 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834484042128 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16701] ppid=16683 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/16686/task/16701/stat : 16701 (java) S 16683 16686 13538 0 -1 4202560 14659 0 0 0 209 2 0 0 20 0 22 0 23474023 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834482989752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16702] ppid=16683 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/16686/task/16702/stat : 16702 (java) S 16683 16686 13538 0 -1 4202560 9725 0 0 0 122 2 0 0 20 0 22 0 23474023 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834481936952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16703] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16703/stat : 16703 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834480884856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16704] ppid=16683 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/16686/task/16704/stat : 16704 (java) S 16683 16686 13538 0 -1 4202560 47 0 0 0 11 13 0 0 20 0 22 0 23474023 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834479832264 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16705] ppid=16683 vsize=9824732 CPUtime=815.61 cores=0,2,4,6
/proc/16686/task/16705/stat : 16705 (java) R 16683 16686 13538 0 -1 4202560 601 0 0 0 81540 21 0 0 20 0 22 0 23474109 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834478775632 139834489209720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16706] ppid=16683 vsize=9824732 CPUtime=815.52 cores=0,2,4,6
/proc/16686/task/16706/stat : 16706 (java) R 16683 16686 13538 0 -1 4202560 1182 0 0 0 81516 36 0 0 20 0 22 0 23474109 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834477721520 139834489315852 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16707] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16707/stat : 16707 (java) S 16683 16686 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474121 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834476672168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16708] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16708/stat : 16708 (java) S 16683 16686 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474121 10060525568 830569 33554432000 1073741824 1073778376 140736671731568 139834475619368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1648.56
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.17 4.11 4.04 5/219 16960
/proc/meminfo: memFree=23802732/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=9824732 CPUtime=1768.66 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 36407 0 1 0 176668 198 0 0 20 0 22 0 23474018 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 2456183 820160 2291 9 0 2446860 0
[pid=16686/tid=16687] ppid=16683 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) S 16683 16686 13538 0 -1 4202560 2495 0 1 0 81 4 0 0 20 0 22 0 23474018 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834663236472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16689] ppid=16683 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/16686/task/16689/stat : 16689 (java) S 16683 16686 13538 0 -1 4202560 686 0 0 0 109 18 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834624727336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16690] ppid=16683 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/16686/task/16690/stat : 16690 (java) S 16683 16686 13538 0 -1 4202560 377 0 0 0 107 16 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834623674536 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16691] ppid=16683 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/16686/task/16691/stat : 16691 (java) S 16683 16686 13538 0 -1 4202560 544 0 0 0 112 17 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834622622248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16692] ppid=16683 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/16686/task/16692/stat : 16692 (java) S 16683 16686 13538 0 -1 4202560 745 0 0 0 130 22 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834621569448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16693] ppid=16683 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/16686/task/16693/stat : 16693 (java) S 16683 16686 13538 0 -1 4202560 337 0 0 0 103 16 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834620517160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16694] ppid=16683 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/16686/task/16694/stat : 16694 (java) S 16683 16686 13538 0 -1 4202560 438 0 0 0 115 17 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834619464360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16695] ppid=16683 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/16686/task/16695/stat : 16695 (java) S 16683 16686 13538 0 -1 4202560 346 0 0 0 104 16 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834618412072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16696] ppid=16683 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/16686/task/16696/stat : 16696 (java) S 16683 16686 13538 0 -1 4202560 477 0 0 0 111 21 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834617359272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16697] ppid=16683 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/16686/task/16697/stat : 16697 (java) S 16683 16686 13538 0 -1 4202560 2479 0 0 0 314 5 0 0 20 0 22 0 23474020 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834487199976 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16698] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16698/stat : 16698 (java) S 16683 16686 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23474021 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834486146040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16699] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16699/stat : 16699 (java) S 16683 16686 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23474021 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834485093640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16700] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16700/stat : 16700 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834484042128 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16701] ppid=16683 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/16686/task/16701/stat : 16701 (java) S 16683 16686 13538 0 -1 4202560 14659 0 0 0 209 2 0 0 20 0 22 0 23474023 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834482989752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16702] ppid=16683 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/16686/task/16702/stat : 16702 (java) S 16683 16686 13538 0 -1 4202560 9725 0 0 0 122 2 0 0 20 0 22 0 23474023 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834481936952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16703] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16703/stat : 16703 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834480884856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16704] ppid=16683 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/16686/task/16704/stat : 16704 (java) S 16683 16686 13538 0 -1 4202560 51 0 0 0 12 13 0 0 20 0 22 0 23474023 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834479832264 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16705] ppid=16683 vsize=9824732 CPUtime=875.52 cores=0,2,4,6
/proc/16686/task/16705/stat : 16705 (java) R 16683 16686 13538 0 -1 4202560 601 0 0 0 87530 22 0 0 20 0 22 0 23474109 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834478774848 139834489105739 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16706] ppid=16683 vsize=9824732 CPUtime=875.42 cores=0,2,4,6
/proc/16686/task/16706/stat : 16706 (java) R 16683 16686 13538 0 -1 4202560 1183 0 0 0 87505 37 0 0 20 0 22 0 23474109 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834477722368 139834489315884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16707] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16707/stat : 16707 (java) S 16683 16686 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474121 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834476672168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16708] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16708/stat : 16708 (java) S 16683 16686 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474121 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834475619368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1768.66
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.001 s]
/proc/loadavg: 4.13 4.10 4.04 5/219 16960
/proc/meminfo: memFree=23802736/32872528 swapFree=163656/177964
[pid=16686] ppid=16683 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/16686/stat : 16686 (java) S 16683 16686 13538 0 -1 4202496 36407 0 1 0 179805 198 0 0 20 0 22 0 23474018 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 140736671722704 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16686/statm: 2456183 820160 2291 9 0 2446860 0
[pid=16686/tid=16687] ppid=16683 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/16686/task/16687/stat : 16687 (java) S 16683 16686 13538 0 -1 4202560 2495 0 1 0 81 5 0 0 20 0 22 0 23474018 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834663236472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16689] ppid=16683 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/16686/task/16689/stat : 16689 (java) S 16683 16686 13538 0 -1 4202560 686 0 0 0 109 18 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834624727336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16690] ppid=16683 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/16686/task/16690/stat : 16690 (java) S 16683 16686 13538 0 -1 4202560 377 0 0 0 107 16 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834623674536 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16691] ppid=16683 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/16686/task/16691/stat : 16691 (java) S 16683 16686 13538 0 -1 4202560 544 0 0 0 112 17 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834622622248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16692] ppid=16683 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/16686/task/16692/stat : 16692 (java) S 16683 16686 13538 0 -1 4202560 745 0 0 0 130 22 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834621569448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16693] ppid=16683 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/16686/task/16693/stat : 16693 (java) S 16683 16686 13538 0 -1 4202560 337 0 0 0 103 16 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834620517160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16694] ppid=16683 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/16686/task/16694/stat : 16694 (java) S 16683 16686 13538 0 -1 4202560 438 0 0 0 115 17 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834619464360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16695] ppid=16683 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/16686/task/16695/stat : 16695 (java) S 16683 16686 13538 0 -1 4202560 346 0 0 0 104 16 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834618412072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16696] ppid=16683 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/16686/task/16696/stat : 16696 (java) S 16683 16686 13538 0 -1 4202560 477 0 0 0 111 21 0 0 20 0 22 0 23474019 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834617359272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16697] ppid=16683 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/16686/task/16697/stat : 16697 (java) S 16683 16686 13538 0 -1 4202560 2479 0 0 0 314 5 0 0 20 0 22 0 23474020 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834487199976 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16698] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16698/stat : 16698 (java) S 16683 16686 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23474021 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834486146040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16686/tid=16699] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16699/stat : 16699 (java) S 16683 16686 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23474021 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834485093640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16700] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16700/stat : 16700 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834484042128 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16701] ppid=16683 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/16686/task/16701/stat : 16701 (java) S 16683 16686 13538 0 -1 4202560 14659 0 0 0 209 2 0 0 20 0 22 0 23474023 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834482989752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16702] ppid=16683 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/16686/task/16702/stat : 16702 (java) S 16683 16686 13538 0 -1 4202560 9725 0 0 0 122 2 0 0 20 0 22 0 23474023 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834481936952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16703] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16703/stat : 16703 (java) S 16683 16686 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474023 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834480884856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16686/tid=16704] ppid=16683 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/16686/task/16704/stat : 16704 (java) S 16683 16686 13538 0 -1 4202560 51 0 0 0 13 13 0 0 20 0 22 0 23474023 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834479832264 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16705] ppid=16683 vsize=9824732 CPUtime=891.22 cores=0,2,4,6
/proc/16686/task/16705/stat : 16705 (java) R 16683 16686 13538 0 -1 4202560 601 0 0 0 89100 22 0 0 20 0 22 0 23474109 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834478774848 139834489209746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16706] ppid=16683 vsize=9824732 CPUtime=891.11 cores=0,2,4,6
/proc/16686/task/16706/stat : 16706 (java) R 16683 16686 13538 0 -1 4202560 1183 0 0 0 89074 37 0 0 20 0 22 0 23474109 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834477722368 139834489310988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16686/tid=16707] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16707/stat : 16707 (java) S 16683 16686 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474121 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834476672168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16686/tid=16708] ppid=16683 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16686/task/16708/stat : 16708 (java) S 16683 16686 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474121 10060525568 820160 33554432000 1073741824 1073778376 140736671731568 139834475619368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 16686 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.043
CPU time (s): 1800.68
CPU user time (s): 1798.22
CPU system time (s): 2.46163
CPU usage (%): 200.512
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.22
system time used= 2.46162
maximum resident set size= 3702740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36448
page faults= 1
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21946
involuntary context switches= 21435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80212 second user time and 7.07392 second system time
The end