runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454337-1307644912/watcher-3454337-1307644912 -o /tmp/evaluation-result-3454337-1307644912/solver-3454337-1307644912 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454337-1307644912.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.48 3.30 3.32 3/196 12160
/proc/meminfo: memFree=31276964/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/12160/stat : 12160 (java) R 12158 12160 11485 0 -1 4202496 948 0 0 0 0 0 0 0 25 0 1 0 876090852 23580672 692 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274659886512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12160/statm: 5757 693 509 9 0 124 0
[startup+0.079612 s]
/proc/loadavg: 3.48 3.30 3.32 3/196 12160
/proc/meminfo: memFree=31276964/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/12160/stat : 12160 (java) S 12158 12160 11485 0 -1 4202496 11951 0 1 0 5 1 0 0 25 0 18 0 876090852 10724442112 11648 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 2618272 11648 1755 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100583 s]
/proc/loadavg: 3.48 3.30 3.32 3/196 12160
/proc/meminfo: memFree=31276964/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=10539796 CPUtime=0.1 cores=1,3,5,7
/proc/12160/stat : 12160 (java) S 12158 12160 11485 0 -1 4202496 13045 0 1 0 8 2 0 0 25 0 18 0 876090852 10792751104 12708 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 2634949 12710 2092 9 0 2625683 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539796
[startup+0.300511 s]
/proc/loadavg: 3.48 3.30 3.32 3/196 12160
/proc/meminfo: memFree=31276964/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=10540528 CPUtime=0.47 cores=1,3,5,7
/proc/12160/stat : 12160 (java) S 12158 12160 11485 0 -1 4202496 15980 0 1 0 45 2 0 0 25 0 18 0 876090852 10793500672 15056 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 2635132 15057 2199 9 0 2625866 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540528
[startup+0.700481 s]
/proc/loadavg: 3.48 3.30 3.32 3/196 12160
/proc/meminfo: memFree=31276964/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=10550148 CPUtime=1.16 cores=1,3,5,7
/proc/12160/stat : 12160 (java) S 12158 12160 11485 0 -1 4202496 49076 0 1 0 110 6 0 0 25 0 19 0 876090852 10803351552 47247 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 2637537 47247 2229 9 0 2628271 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10550148
[startup+1.5013 s]
/proc/loadavg: 3.48 3.30 3.32 7/215 12182
/proc/meminfo: memFree=31096484/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=10565032 CPUtime=2.49 cores=1,3,5,7
/proc/12160/stat : 12160 (java) S 12158 12160 11485 0 -1 4202496 59337 0 1 0 241 8 0 0 25 0 22 0 876090852 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 2641258 54875 2239 9 0 2631992 0
[pid=12160/tid=12162] ppid=12158 vsize=10565032 CPUtime=0.64 cores=1,3,5,7
/proc/12160/task/12162/stat : 12162 (java) S 12158 12160 11485 0 -1 4202560 42633 0 1 0 59 5 0 0 21 0 22 0 876090853 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12163] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12163/stat : 12163 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090855 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12164] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12164/stat : 12164 (java) S 12158 12160 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 876090855 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12165] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12165/stat : 12165 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090855 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12166] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12166/stat : 12166 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090855 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12167] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12167/stat : 12167 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090855 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12168] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12168/stat : 12168 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090855 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12169] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12169/stat : 12169 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090855 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12170] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12170/stat : 12170 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090855 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12171] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12171/stat : 12171 (java) S 12158 12160 11485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 876090856 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 0 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12172] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12172/stat : 12172 (java) S 12158 12160 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 876090856 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12173] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12173/stat : 12173 (java) S 12158 12160 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 876090856 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12174] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12174/stat : 12174 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676631985 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12175] ppid=12158 vsize=10565032 CPUtime=0.58 cores=1,3,5,7
/proc/12160/task/12175/stat : 12175 (java) R 12158 12160 11485 0 -1 4202560 3873 0 0 0 58 0 0 0 19 0 22 0 876090859 10818592768 54875 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 47279430842457 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12160/tid=12176] ppid=12158 vsize=10565032 CPUtime=0.54 cores=1,3,5,7
/proc/12160/task/12176/stat : 12176 (java) R 12158 12160 11485 0 -1 4202560 8372 0 0 0 54 0 0 0 16 0 22 0 876090859 10818592768 54876 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 47279430842457 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12160/tid=12177] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12177/stat : 12177 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 54876 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12178] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12178/stat : 12178 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876090859 10818592768 54876 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12181] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12181/stat : 12181 (java) S 12158 12160 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 876090919 10818592768 54876 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 10565032
[startup+3.10103 s]
/proc/loadavg: 3.44 3.30 3.32 5/218 12185
/proc/meminfo: memFree=30960308/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=10565032 CPUtime=6.13 cores=1,3,5,7
/proc/12160/stat : 12160 (java) S 12158 12160 11485 0 -1 4202496 129969 0 1 0 596 17 0 0 25 0 22 0 876090852 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 2641258 122989 2268 9 0 2631992 0
[pid=12160/tid=12162] ppid=12158 vsize=10565032 CPUtime=0.64 cores=1,3,5,7
/proc/12160/task/12162/stat : 12162 (java) S 12158 12160 11485 0 -1 4202560 42633 0 1 0 59 5 0 0 15 0 22 0 876090853 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12163] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12163/stat : 12163 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 876090855 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12164] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12164/stat : 12164 (java) S 12158 12160 11485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 876090855 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12165] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12165/stat : 12165 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 876090855 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12166] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12166/stat : 12166 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 876090855 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12167] ppid=12158 vsize=10565032 CPUtime=0.01 cores=1,3,5,7
/proc/12160/task/12167/stat : 12167 (java) S 12158 12160 11485 0 -1 4202560 1591 0 0 0 1 0 0 0 18 0 22 0 876090855 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12168] ppid=12158 vsize=10565032 CPUtime=0.01 cores=1,3,5,7
/proc/12160/task/12168/stat : 12168 (java) S 12158 12160 11485 0 -1 4202560 1636 0 0 0 1 0 0 0 18 0 22 0 876090855 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12169] ppid=12158 vsize=10565032 CPUtime=0.01 cores=1,3,5,7
/proc/12160/task/12169/stat : 12169 (java) S 12158 12160 11485 0 -1 4202560 1722 0 0 0 1 0 0 0 18 0 22 0 876090855 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12170] ppid=12158 vsize=10565032 CPUtime=0.01 cores=1,3,5,7
/proc/12160/task/12170/stat : 12170 (java) S 12158 12160 11485 0 -1 4202560 3116 0 0 0 1 0 0 0 18 0 22 0 876090855 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12171] ppid=12158 vsize=10565032 CPUtime=0.07 cores=1,3,5,7
/proc/12160/task/12171/stat : 12171 (java) S 12158 12160 11485 0 -1 4202560 7817 0 0 0 7 0 0 0 15 0 22 0 876090856 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 0 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12172] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12172/stat : 12172 (java) S 12158 12160 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876090856 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12173] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12173/stat : 12173 (java) S 12158 12160 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 876090856 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12174] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12174/stat : 12174 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676631985 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12175] ppid=12158 vsize=10565032 CPUtime=0.84 cores=1,3,5,7
/proc/12160/task/12175/stat : 12175 (java) S 12158 12160 11485 0 -1 4202560 7663 0 0 0 83 1 0 0 15 0 22 0 876090859 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12176] ppid=12158 vsize=10565032 CPUtime=0.78 cores=1,3,5,7
/proc/12160/task/12176/stat : 12176 (java) S 12158 12160 11485 0 -1 4202560 8531 0 0 0 77 1 0 0 15 0 22 0 876090859 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12177] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12177/stat : 12177 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12178] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12178/stat : 12178 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876090859 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12181] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12181/stat : 12181 (java) S 12158 12160 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 876090919 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12183] ppid=12158 vsize=10565032 CPUtime=1.81 cores=1,3,5,7
/proc/12160/task/12183/stat : 12183 (java) R 12158 12160 11485 0 -1 4202560 4830 0 0 0 181 0 0 0 25 0 22 0 876090969 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 46912505892545 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12160/tid=12184] ppid=12158 vsize=10565032 CPUtime=1.81 cores=1,3,5,7
/proc/12160/task/12184/stat : 12184 (java) R 12158 12160 11485 0 -1 4202560 49139 0 0 0 176 5 0 0 25 0 22 0 876090969 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 46912505910465 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12160/tid=12185] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12185/stat : 12185 (java) S 12158 12160 11485 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 22 0 876090970 10818592768 122989 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 10565032
[startup+6.30153 s]
/proc/loadavg: 3.44 3.30 3.32 5/218 12191
/proc/meminfo: memFree=30596312/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=10565032 CPUtime=11.93 cores=1,3,5,7
/proc/12160/stat : 12160 (java) S 12158 12160 11485 0 -1 4202496 178733 0 1 0 1170 23 0 0 25 0 22 0 876090852 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 2641258 171379 2268 9 0 2631992 0
[pid=12160/tid=12162] ppid=12158 vsize=10565032 CPUtime=0.64 cores=1,3,5,7
/proc/12160/task/12162/stat : 12162 (java) R 12158 12160 11485 0 -1 4202560 42635 0 1 0 59 5 0 0 15 0 22 0 876090853 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12160/tid=12163] ppid=12158 vsize=10565032 CPUtime=0.01 cores=1,3,5,7
/proc/12160/task/12163/stat : 12163 (java) S 12158 12160 11485 0 -1 4202560 1695 0 0 0 1 0 0 0 15 0 22 0 876090855 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12164] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12164/stat : 12164 (java) S 12158 12160 11485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 22 0 876090855 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12165] ppid=12158 vsize=10565032 CPUtime=0.02 cores=1,3,5,7
/proc/12160/task/12165/stat : 12165 (java) S 12158 12160 11485 0 -1 4202560 1519 0 0 0 2 0 0 0 16 0 22 0 876090855 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12166] ppid=12158 vsize=10565032 CPUtime=0.01 cores=1,3,5,7
/proc/12160/task/12166/stat : 12166 (java) S 12158 12160 11485 0 -1 4202560 1869 0 0 0 1 0 0 0 15 0 22 0 876090855 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12167] ppid=12158 vsize=10565032 CPUtime=0.01 cores=1,3,5,7
/proc/12160/task/12167/stat : 12167 (java) S 12158 12160 11485 0 -1 4202560 1591 0 0 0 1 0 0 0 15 0 22 0 876090855 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12168] ppid=12158 vsize=10565032 CPUtime=0.02 cores=1,3,5,7
/proc/12160/task/12168/stat : 12168 (java) S 12158 12160 11485 0 -1 4202560 1709 0 0 0 2 0 0 0 15 0 22 0 876090855 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12169] ppid=12158 vsize=10565032 CPUtime=0.04 cores=1,3,5,7
/proc/12160/task/12169/stat : 12169 (java) S 12158 12160 11485 0 -1 4202560 1802 0 0 0 4 0 0 0 15 0 22 0 876090855 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12170] ppid=12158 vsize=10565032 CPUtime=0.03 cores=1,3,5,7
/proc/12160/task/12170/stat : 12170 (java) S 12158 12160 11485 0 -1 4202560 4835 0 0 0 3 0 0 0 15 0 22 0 876090855 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12171] ppid=12158 vsize=10565032 CPUtime=0.28 cores=1,3,5,7
/proc/12160/task/12171/stat : 12171 (java) R 12158 12160 11485 0 -1 4202560 16600 0 0 0 26 2 0 0 15 0 22 0 876090856 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 47279430430857 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=12160/tid=12172] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12172/stat : 12172 (java) S 12158 12160 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876090856 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12173] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12173/stat : 12173 (java) S 12158 12160 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 876090856 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12174] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12174/stat : 12174 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676631985 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12175] ppid=12158 vsize=10565032 CPUtime=0.91 cores=1,3,5,7
/proc/12160/task/12175/stat : 12175 (java) S 12158 12160 11485 0 -1 4202560 7884 0 0 0 90 1 0 0 15 0 22 0 876090859 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12176] ppid=12158 vsize=10565032 CPUtime=0.96 cores=1,3,5,7
/proc/12160/task/12176/stat : 12176 (java) S 12158 12160 11485 0 -1 4202560 8556 0 0 0 95 1 0 0 15 0 22 0 876090859 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12177] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12177/stat : 12177 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12178] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12178/stat : 12178 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876090859 10818592768 171379 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/12160/task/12163/stat : 12163 (java) S 12158 12160 11485 0 -1 4202560 27719 0 0 0 127 4 0 0 15 0 22 0 876090855 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12164] ppid=12158 vsize=10565032 CPUtime=1.37 cores=1,3,5,7
/proc/12160/task/12164/stat : 12164 (java) S 12158 12160 11485 0 -1 4202560 15874 0 0 0 135 2 0 0 16 0 22 0 876090855 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12165] ppid=12158 vsize=10565032 CPUtime=1.32 cores=1,3,5,7
/proc/12160/task/12165/stat : 12165 (java) S 12158 12160 11485 0 -1 4202560 25023 0 0 0 128 4 0 0 16 0 22 0 876090855 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12166] ppid=12158 vsize=10565032 CPUtime=1.36 cores=1,3,5,7
/proc/12160/task/12166/stat : 12166 (java) S 12158 12160 11485 0 -1 4202560 17014 0 0 0 134 2 0 0 16 0 22 0 876090855 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12167] ppid=12158 vsize=10565032 CPUtime=1.77 cores=1,3,5,7
/proc/12160/task/12167/stat : 12167 (java) S 12158 12160 11485 0 -1 4202560 24677 0 0 0 174 3 0 0 16 0 22 0 876090855 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12168] ppid=12158 vsize=10565032 CPUtime=1.7 cores=1,3,5,7
/proc/12160/task/12168/stat : 12168 (java) S 12158 12160 11485 0 -1 4202560 24125 0 0 0 167 3 0 0 15 0 22 0 876090855 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12169] ppid=12158 vsize=10565032 CPUtime=1.31 cores=1,3,5,7
/proc/12160/task/12169/stat : 12169 (java) S 12158 12160 11485 0 -1 4202560 11801 0 0 0 130 1 0 0 15 0 22 0 876090855 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12170] ppid=12158 vsize=10565032 CPUtime=1.47 cores=1,3,5,7
/proc/12160/task/12170/stat : 12170 (java) S 12158 12160 11485 0 -1 4202560 21849 0 0 0 144 3 0 0 16 0 22 0 876090855 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12171] ppid=12158 vsize=10565032 CPUtime=53.9 cores=1,3,5,7
/proc/12160/task/12171/stat : 12171 (java) S 12158 12160 11485 0 -1 4202560 226267 0 0 0 5368 22 0 0 15 0 22 0 876090856 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 0 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12172] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12172/stat : 12172 (java) S 12158 12160 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876090856 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12173] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12173/stat : 12173 (java) S 12158 12160 11485 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 876090856 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12174] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12174/stat : 12174 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676631985 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12175] ppid=12158 vsize=10565032 CPUtime=0.97 cores=1,3,5,7
/proc/12160/task/12175/stat : 12175 (java) S 12158 12160 11485 0 -1 4202560 7893 0 0 0 96 1 0 0 15 0 22 0 876090859 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12176] ppid=12158 vsize=10565032 CPUtime=1.54 cores=1,3,5,7
/proc/12160/task/12176/stat : 12176 (java) S 12158 12160 11485 0 -1 4202560 8717 0 0 0 153 1 0 0 15 0 22 0 876090859 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12177] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12177/stat : 12177 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12178] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12178/stat : 12178 (java) S 12158 12160 11485 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 876090859 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12181] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12181/stat : 12181 (java) S 12158 12160 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 876090919 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12194] ppid=12158 vsize=10565032 CPUtime=722.99 cores=1,3,5,7
/proc/12160/task/12194/stat : 12194 (java) R 12158 12160 11485 0 -1 4202560 20633 0 0 0 72294 5 0 0 25 0 22 0 876095474 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 46912505943821 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12160/tid=12195] ppid=12158 vsize=10565032 CPUtime=722.98 cores=1,3,5,7
/proc/12160/task/12195/stat : 12195 (java) R 12158 12160 11485 0 -1 4202560 468955 0 0 0 72243 55 0 0 25 0 22 0 876095474 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 46912505897233 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12160/tid=12196] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12196/stat : 12196 (java) S 12158 12160 11485 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 876095475 10818592768 1089747 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1596.15
Current children cumulated vsize (KiB) 10565032
[startup+882.301 s]
/proc/loadavg: 3.83 3.80 3.61 4/218 12349
/proc/meminfo: memFree=25429408/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=10565032 CPUtime=1711.91 cores=1,3,5,7
/proc/12160/stat : 12160 (java) S 12158 12160 11485 0 -1 4202496 1197933 0 1 0 171043 148 0 0 25 0 22 0 876090852 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 2641258 1186014 2269 9 0 2631992 0
[pid=12160/tid=12162] ppid=12158 vsize=10565032 CPUtime=0.65 cores=1,3,5,7
/proc/12160/task/12162/stat : 12162 (java) S 12158 12160 11485 0 -1 4202560 42682 0 1 0 60 5 0 0 15 0 22 0 876090853 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12163] ppid=12158 vsize=10565032 CPUtime=1.51 cores=1,3,5,7
/proc/12160/task/12163/stat : 12163 (java) S 12158 12160 11485 0 -1 4202560 44734 0 0 0 145 6 0 0 16 0 22 0 876090855 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12164] ppid=12158 vsize=10565032 CPUtime=1.47 cores=1,3,5,7
/proc/12160/task/12164/stat : 12164 (java) S 12158 12160 11485 0 -1 4202560 19061 0 0 0 145 2 0 0 15 0 22 0 876090855 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12165] ppid=12158 vsize=10565032 CPUtime=1.49 cores=1,3,5,7
/proc/12160/task/12165/stat : 12165 (java) S 12158 12160 11485 0 -1 4202560 29173 0 0 0 145 4 0 0 16 0 22 0 876090855 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12166] ppid=12158 vsize=10565032 CPUtime=1.47 cores=1,3,5,7
/proc/12160/task/12166/stat : 12166 (java) S 12158 12160 11485 0 -1 4202560 22875 0 0 0 144 3 0 0 16 0 22 0 876090855 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12167] ppid=12158 vsize=10565032 CPUtime=1.96 cores=1,3,5,7
/proc/12160/task/12167/stat : 12167 (java) S 12158 12160 11485 0 -1 4202560 37327 0 0 0 191 5 0 0 16 0 22 0 876090855 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12168] ppid=12158 vsize=10565032 CPUtime=1.92 cores=1,3,5,7
/proc/12160/task/12168/stat : 12168 (java) S 12158 12160 11485 0 -1 4202560 46045 0 0 0 186 6 0 0 16 0 22 0 876090855 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12169] ppid=12158 vsize=10565032 CPUtime=1.43 cores=1,3,5,7
/proc/12160/task/12169/stat : 12169 (java) S 12158 12160 11485 0 -1 4202560 18048 0 0 0 141 2 0 0 16 0 22 0 876090855 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12170] ppid=12158 vsize=10565032 CPUtime=1.74 cores=1,3,5,7
/proc/12160/task/12170/stat : 12170 (java) S 12158 12160 11485 0 -1 4202560 50742 0 0 0 167 7 0 0 16 0 22 0 876090855 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12171] ppid=12158 vsize=10565032 CPUtime=58.82 cores=1,3,5,7
/proc/12160/task/12171/stat : 12171 (java) S 12158 12160 11485 0 -1 4202560 226707 0 0 0 5860 22 0 0 17 0 22 0 876090856 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 0 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12172] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12172/stat : 12172 (java) S 12158 12160 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876090856 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12173] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12173/stat : 12173 (java) S 12158 12160 11485 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 876090856 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12174] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12174/stat : 12174 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676631985 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12175] ppid=12158 vsize=10565032 CPUtime=0.97 cores=1,3,5,7
/proc/12160/task/12175/stat : 12175 (java) S 12158 12160 11485 0 -1 4202560 7893 0 0 0 96 1 0 0 15 0 22 0 876090859 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12176] ppid=12158 vsize=10565032 CPUtime=1.55 cores=1,3,5,7
/proc/12160/task/12176/stat : 12176 (java) S 12158 12160 11485 0 -1 4202560 8718 0 0 0 154 1 0 0 15 0 22 0 876090859 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12177] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12177/stat : 12177 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12178] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12178/stat : 12178 (java) S 12158 12160 11485 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 876090859 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12181] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12181/stat : 12181 (java) S 12158 12160 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 876090919 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12194] ppid=12158 vsize=10565032 CPUtime=777.71 cores=1,3,5,7
/proc/12160/task/12194/stat : 12194 (java) R 12158 12160 11485 0 -1 4202560 20633 0 0 0 77766 5 0 0 18 0 22 0 876095474 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 46912505554858 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12160/tid=12195] ppid=12158 vsize=10565032 CPUtime=777.71 cores=1,3,5,7
/proc/12160/task/12195/stat : 12195 (java) R 12158 12160 11485 0 -1 4202560 468957 0 0 0 77716 55 0 0 18 0 22 0 876095474 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 46912505943821 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12160/tid=12196] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12196/stat : 12196 (java) S 12158 12160 11485 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 876095475 10818592768 1186014 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1711.91
Current children cumulated vsize (KiB) 10565032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+926.901 s]
/proc/loadavg: 4.09 3.87 3.64 4/218 12351
/proc/meminfo: memFree=25214712/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=10565032 CPUtime=1800.1 cores=1,3,5,7
/proc/12160/stat : 12160 (java) S 12158 12160 11485 0 -1 4202496 1245039 0 1 0 179854 156 0 0 25 0 22 0 876090852 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 2641258 1232165 2269 9 0 2631992 0
[pid=12160/tid=12162] ppid=12158 vsize=10565032 CPUtime=0.65 cores=1,3,5,7
/proc/12160/task/12162/stat : 12162 (java) S 12158 12160 11485 0 -1 4202560 42683 0 1 0 60 5 0 0 15 0 22 0 876090853 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12163] ppid=12158 vsize=10565032 CPUtime=1.54 cores=1,3,5,7
/proc/12160/task/12163/stat : 12163 (java) S 12158 12160 11485 0 -1 4202560 44734 0 0 0 148 6 0 0 16 0 22 0 876090855 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12164] ppid=12158 vsize=10565032 CPUtime=1.58 cores=1,3,5,7
/proc/12160/task/12164/stat : 12164 (java) S 12158 12160 11485 0 -1 4202560 31238 0 0 0 155 3 0 0 16 0 22 0 876090855 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12165] ppid=12158 vsize=10565032 CPUtime=1.49 cores=1,3,5,7
/proc/12160/task/12165/stat : 12165 (java) S 12158 12160 11485 0 -1 4202560 29173 0 0 0 145 4 0 0 15 0 22 0 876090855 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12166] ppid=12158 vsize=10565032 CPUtime=1.61 cores=1,3,5,7
/proc/12160/task/12166/stat : 12166 (java) S 12158 12160 11485 0 -1 4202560 38275 0 0 0 155 6 0 0 16 0 22 0 876090855 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12167] ppid=12158 vsize=10565032 CPUtime=2.11 cores=1,3,5,7
/proc/12160/task/12167/stat : 12167 (java) S 12158 12160 11485 0 -1 4202560 45859 0 0 0 204 7 0 0 16 0 22 0 876090855 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12168] ppid=12158 vsize=10565032 CPUtime=1.93 cores=1,3,5,7
/proc/12160/task/12168/stat : 12168 (java) S 12158 12160 11485 0 -1 4202560 46045 0 0 0 187 6 0 0 15 0 22 0 876090855 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12169] ppid=12158 vsize=10565032 CPUtime=1.43 cores=1,3,5,7
/proc/12160/task/12169/stat : 12169 (java) S 12158 12160 11485 0 -1 4202560 18048 0 0 0 141 2 0 0 15 0 22 0 876090855 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12170] ppid=12158 vsize=10565032 CPUtime=1.89 cores=1,3,5,7
/proc/12160/task/12170/stat : 12170 (java) S 12158 12160 11485 0 -1 4202560 61731 0 0 0 180 9 0 0 16 0 22 0 876090855 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12171] ppid=12158 vsize=10565032 CPUtime=60.14 cores=1,3,5,7
/proc/12160/task/12171/stat : 12171 (java) S 12158 12160 11485 0 -1 4202560 226709 0 0 0 5992 22 0 0 15 0 22 0 876090856 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 0 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12172] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12172/stat : 12172 (java) S 12158 12160 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876090856 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12173] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12173/stat : 12173 (java) S 12158 12160 11485 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 876090856 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12174] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12174/stat : 12174 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676631985 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12175] ppid=12158 vsize=10565032 CPUtime=0.97 cores=1,3,5,7
/proc/12160/task/12175/stat : 12175 (java) S 12158 12160 11485 0 -1 4202560 7893 0 0 0 96 1 0 0 15 0 22 0 876090859 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 1 0 0 0
[pid=12160/tid=12176] ppid=12158 vsize=10565032 CPUtime=1.55 cores=1,3,5,7
/proc/12160/task/12176/stat : 12176 (java) S 12158 12160 11485 0 -1 4202560 8718 0 0 0 154 1 0 0 15 0 22 0 876090859 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 3 0 0 0
[pid=12160/tid=12177] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12177/stat : 12177 (java) S 12158 12160 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876090859 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624281 0 4 0 16800975 18446604460057417664 0 0 -1 7 0 0 0
[pid=12160/tid=12178] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12178/stat : 12178 (java) S 12158 12160 11485 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 876090859 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12181] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12181/stat : 12181 (java) S 12158 12160 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 876090919 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
[pid=12160/tid=12194] ppid=12158 vsize=10565032 CPUtime=820.85 cores=1,3,5,7
/proc/12160/task/12194/stat : 12194 (java) R 12158 12160 11485 0 -1 4202560 20633 0 0 0 82080 5 0 0 25 0 22 0 876095474 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 46912505943821 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12160/tid=12195] ppid=12158 vsize=10565032 CPUtime=820.85 cores=1,3,5,7
/proc/12160/task/12195/stat : 12195 (java) R 12158 12160 11485 0 -1 4202560 468958 0 0 0 82030 55 0 0 25 0 22 0 876095474 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 46912506059340 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12160/tid=12196] ppid=12158 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/12160/task/12196/stat : 12196 (java) S 12158 12160 11485 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 876095475 10818592768 1232165 33554432000 1073741824 1073778376 140736395037968 18446744073709551615 274676624896 0 4 0 16800975 18446604460057417664 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10565032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+927.012 s]
/proc/loadavg: 4.09 3.87 3.64 4/218 12351
/proc/meminfo: memFree=25214712/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/12160/stat : 12160 (java) R 12158 12160 11485 0 -1 4203524 1245070 0 1 0 179867 162 0 0 17 0 1 0 876090852 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
[startup+927.101 s]
/proc/loadavg: 4.09 3.87 3.64 4/218 12351
/proc/meminfo: memFree=25214712/32951132 swapFree=67054608/67111528
[pid=12160] ppid=12158 vsize=0 CPUtime=1800.38 cores=1,3,5,7
/proc/12160/stat : 12160 (java) R 12158 12160 11485 0 -1 4203524 1245070 0 1 0 179867 171 0 0 17 0 1 0 876090852 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12160/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 927.129
CPU time (s): 1800.41
CPU user time (s): 1798.67
CPU system time (s): 1.74173
CPU usage (%): 194.192
Max. virtual memory (cumulated for all children) (KiB): 10565032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.74173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1245070
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23627
involuntary context switches= 17267
runsolver used 1.46278 second user time and 3.64045 second system time
The end