runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3251522-1303586727/watcher-3251522-1303586727 -o /tmp/evaluation-result-3251522-1303586727/solver-3251522-1303586727 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3251522-1303586727.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.53 3.91 3.90 4/197 21284
/proc/meminfo: memFree=14079632/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=23028 CPUtime=0 cores=1,3
/proc/21284/stat : 21284 (java) R 21280 21284 20395 0 -1 4202496 452 0 0 0 0 0 0 0 18 0 1 0 470273440 23580672 197 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222916807531 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21284/statm: 5757 207 163 9 0 124 0
[startup+0.0477301 s]
/proc/loadavg: 3.53 3.91 3.90 4/197 21284
/proc/meminfo: memFree=14079632/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=7564352 CPUtime=0.02 cores=1,3
/proc/21284/stat : 21284 (java) S 21280 21284 20395 0 -1 4202496 8743 0 1 0 2 0 0 0 18 0 13 0 470273440 7745896448 8440 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21284/statm: 1891088 8441 1671 9 0 1881836 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7564352
[startup+0.11171 s]
/proc/loadavg: 3.53 3.91 3.90 4/197 21284
/proc/meminfo: memFree=14079632/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=7636684 CPUtime=0.11 cores=1,3
/proc/21284/stat : 21284 (java) S 21280 21284 20395 0 -1 4202496 10839 0 1 0 10 1 0 0 18 0 18 0 470273440 7819964416 10536 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21284/statm: 1909171 10537 2094 9 0 1899909 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7636684
[startup+0.300694 s]
/proc/loadavg: 3.53 3.91 3.90 4/197 21284
/proc/meminfo: memFree=14079632/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=7639180 CPUtime=0.42 cores=1,3
/proc/21284/stat : 21284 (java) S 21280 21284 20395 0 -1 4202496 14622 0 1 0 40 2 0 0 18 0 18 0 470273440 7822520320 14093 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21284/statm: 1909795 14094 2198 9 0 1900533 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 7639180
[startup+0.700601 s]
/proc/loadavg: 3.53 3.91 3.90 4/197 21284
/proc/meminfo: memFree=14079632/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=7646176 CPUtime=1.04 cores=1,3
/proc/21284/stat : 21284 (java) S 21280 21284 20395 0 -1 4202496 18744 0 1 0 101 3 0 0 18 0 19 0 470273440 7829684224 17404 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21284/statm: 1911544 17405 2220 9 0 1902282 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 7646176
[startup+1.50145 s]
/proc/loadavg: 3.53 3.91 3.90 8/262 21354
/proc/meminfo: memFree=13859160/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=7646176 CPUtime=1.87 cores=1,3
/proc/21284/stat : 21284 (java) S 21280 21284 20395 0 -1 4202496 20013 0 1 0 184 3 0 0 18 0 19 0 470273440 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21284/statm: 1911544 18349 2225 9 0 1902282 0
[pid=21284/tid=21290] ppid=21280 vsize=7646176 CPUtime=1.45 cores=1,3
/proc/21284/task/21290/stat : 21290 (java) R 21280 21284 20395 0 -1 4202560 14430 0 1 0 143 2 0 0 20 0 19 0 470273441 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 46912505597398 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21284/tid=21296] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21296/stat : 21296 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470273442 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21298] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21298/stat : 21298 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273442 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21300] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21300/stat : 21300 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273442 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21302] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21302/stat : 21302 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273442 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21304] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21304/stat : 21304 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273442 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21305] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21305/stat : 21305 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273442 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21306] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21306/stat : 21306 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273442 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21307] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21307/stat : 21307 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273443 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21309] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21309/stat : 21309 (java) S 21280 21284 20395 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 470273444 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 0 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21311] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21311/stat : 21311 (java) S 21280 21284 20395 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 470273444 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21313] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21313/stat : 21313 (java) S 21280 21284 20395 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 470273444 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21314] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21314/stat : 21314 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273446 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933600689 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21315] ppid=21280 vsize=7646176 CPUtime=0.17 cores=1,3
/proc/21284/task/21315/stat : 21315 (java) S 21280 21284 20395 0 -1 4202560 972 0 0 0 17 0 0 0 17 0 19 0 470273446 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21318] ppid=21280 vsize=7646176 CPUtime=0.23 cores=1,3
/proc/21284/task/21318/stat : 21318 (java) S 21280 21284 20395 0 -1 4202560 3451 0 0 0 23 0 0 0 17 0 19 0 470273446 7829684224 18349 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21319] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21319/stat : 21319 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273446 7829684224 18350 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21321] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21321/stat : 21321 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273446 7829684224 18350 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21337] ppid=21280 vsize=7646176 CPUtime=0 cores=1,3
/proc/21284/task/21337/stat : 21337 (java) S 21280 21284 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273474 7829684224 18350 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 7646176
[startup+3.10116 s]
/proc/loadavg: 3.53 3.91 3.90 6/262 21354
/proc/meminfo: memFree=13715444/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=7661904 CPUtime=3.68 cores=1,3
/proc/21284/stat : 21284 (java) S 21280 21284 20395 0 -1 4202496 34075 0 1 0 364 4 0 0 18 0 19 0 470273440 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21284/statm: 1915476 30464 2252 9 0 1906214 0
[pid=21284/tid=21290] ppid=21280 vsize=7661904 CPUtime=2.95 cores=1,3
/proc/21284/task/21290/stat : 21290 (java) R 21280 21284 20395 0 -1 4202560 14506 0 1 0 293 2 0 0 25 0 19 0 470273441 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 46912505594965 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21284/tid=21296] ppid=21280 vsize=7661904 CPUtime=0.01 cores=1,3
/proc/21284/task/21296/stat : 21296 (java) S 21280 21284 20395 0 -1 4202560 2225 0 0 0 1 0 0 0 17 0 19 0 470273442 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21298] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21298/stat : 21298 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 470273442 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21300] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21300/stat : 21300 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470273442 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21302] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21302/stat : 21302 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470273442 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21304] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21304/stat : 21304 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470273442 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21305] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21305/stat : 21305 (java) S 21280 21284 20395 0 -1 4202560 93 0 0 0 0 0 0 0 18 0 19 0 470273442 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21306] ppid=21280 vsize=7661904 CPUtime=0.02 cores=1,3
/proc/21284/task/21306/stat : 21306 (java) S 21280 21284 20395 0 -1 4202560 1767 0 0 0 2 0 0 0 17 0 19 0 470273442 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21307] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21307/stat : 21307 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 470273443 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21309] ppid=21280 vsize=7661904 CPUtime=0.05 cores=1,3
/proc/21284/task/21309/stat : 21309 (java) S 21280 21284 20395 0 -1 4202560 4041 0 0 0 5 0 0 0 15 0 19 0 470273444 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 0 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21311] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21311/stat : 21311 (java) S 21280 21284 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21313] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21313/stat : 21313 (java) S 21280 21284 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273444 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21314] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21314/stat : 21314 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273446 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933600689 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21315] ppid=21280 vsize=7661904 CPUtime=0.35 cores=1,3
/proc/21284/task/21315/stat : 21315 (java) S 21280 21284 20395 0 -1 4202560 6751 0 0 0 35 0 0 0 15 0 19 0 470273446 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21318] ppid=21280 vsize=7661904 CPUtime=0.25 cores=1,3
/proc/21284/task/21318/stat : 21318 (java) S 21280 21284 20395 0 -1 4202560 3537 0 0 0 25 0 0 0 16 0 19 0 470273446 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21319] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21319/stat : 21319 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273446 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21321] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21321/stat : 21321 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273446 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21337] ppid=21280 vsize=7661904 CPUtime=0 cores=1,3
/proc/21284/task/21337/stat : 21337 (java) S 21280 21284 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273474 7845789696 30464 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 7661904
[startup+6.30157 s]
/proc/loadavg: 3.65 3.92 3.90 6/262 21354
/proc/meminfo: memFree=13608708/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=7645980 CPUtime=6.9 cores=1,3
/proc/21284/stat : 21284 (java) S 21280 21284 20395 0 -1 4202496 35851 0 1 0 685 5 0 0 18 0 19 0 470273440 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21284/statm: 1911495 28378 2254 9 0 1902233 0
[pid=21284/tid=21290] ppid=21280 vsize=7645980 CPUtime=6.08 cores=1,3
/proc/21284/task/21290/stat : 21290 (java) R 21280 21284 20395 0 -1 4202560 14509 0 1 0 606 2 0 0 25 0 19 0 470273441 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 46912505614912 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21284/tid=21296] ppid=21280 vsize=7645980 CPUtime=0.01 cores=1,3
/proc/21284/task/21296/stat : 21296 (java) S 21280 21284 20395 0 -1 4202560 2225 0 0 0 1 0 0 0 15 0 19 0 470273442 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21298] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21298/stat : 21298 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273442 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21300] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21300/stat : 21300 (java) S 21280 21284 20395 0 -1 4202560 541 0 0 0 0 0 0 0 16 0 19 0 470273442 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21302] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21302/stat : 21302 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273442 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21304] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21304/stat : 21304 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273442 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21305] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21305/stat : 21305 (java) S 21280 21284 20395 0 -1 4202560 93 0 0 0 0 0 0 0 18 0 19 0 470273442 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21306] ppid=21280 vsize=7645980 CPUtime=0.02 cores=1,3
/proc/21284/task/21306/stat : 21306 (java) S 21280 21284 20395 0 -1 4202560 1767 0 0 0 2 0 0 0 15 0 19 0 470273442 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21307] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21307/stat : 21307 (java) S 21280 21284 20395 0 -1 4202560 716 0 0 0 0 0 0 0 15 0 19 0 470273443 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21309] ppid=21280 vsize=7645980 CPUtime=0.1 cores=1,3
/proc/21284/task/21309/stat : 21309 (java) S 21280 21284 20395 0 -1 4202560 4536 0 0 0 10 0 0 0 15 0 19 0 470273444 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 0 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21311] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21311/stat : 21311 (java) S 21280 21284 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21313] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21313/stat : 21313 (java) S 21280 21284 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273444 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21314] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21314/stat : 21314 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273446 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933600689 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21315] ppid=21280 vsize=7645980 CPUtime=0.36 cores=1,3
/proc/21284/task/21315/stat : 21315 (java) S 21280 21284 20395 0 -1 4202560 6751 0 0 0 36 0 0 0 15 0 19 0 470273446 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21318] ppid=21280 vsize=7645980 CPUtime=0.27 cores=1,3
/proc/21284/task/21318/stat : 21318 (java) S 21280 21284 20395 0 -1 4202560 3560 0 0 0 27 0 0 0 15 0 19 0 470273446 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21319] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21319/stat : 21319 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273446 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21321] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21321/stat : 21321 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273446 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21337] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21337/stat : 21337 (java) S 21280 21284 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273474 7829483520 28378 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 7645980
[startup+12.7014 s]
################
# More data... #
################
[pid=21284/tid=21305] ppid=21280 vsize=7645980 CPUtime=0.12 cores=1,3
/proc/21284/task/21305/stat : 21305 (java) S 21280 21284 20395 0 -1 4202560 468 0 0 0 12 0 0 0 15 0 19 0 470273442 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21306] ppid=21280 vsize=7645980 CPUtime=0.1 cores=1,3
/proc/21284/task/21306/stat : 21306 (java) S 21280 21284 20395 0 -1 4202560 2374 0 0 0 10 0 0 0 15 0 19 0 470273442 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21307] ppid=21280 vsize=7645980 CPUtime=0.15 cores=1,3
/proc/21284/task/21307/stat : 21307 (java) S 21280 21284 20395 0 -1 4202560 2831 0 0 0 15 0 0 0 16 0 19 0 470273443 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21309] ppid=21280 vsize=7645980 CPUtime=2.95 cores=1,3
/proc/21284/task/21309/stat : 21309 (java) S 21280 21284 20395 0 -1 4202560 14348 0 0 0 293 2 0 0 15 0 19 0 470273444 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 0 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21311] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21311/stat : 21311 (java) S 21280 21284 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21313] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21313/stat : 21313 (java) S 21280 21284 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273444 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21314] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21314/stat : 21314 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273446 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933600689 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21315] ppid=21280 vsize=7645980 CPUtime=0.36 cores=1,3
/proc/21284/task/21315/stat : 21315 (java) S 21280 21284 20395 0 -1 4202560 6751 0 0 0 36 0 0 0 15 0 19 0 470273446 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21318] ppid=21280 vsize=7645980 CPUtime=0.31 cores=1,3
/proc/21284/task/21318/stat : 21318 (java) S 21280 21284 20395 0 -1 4202560 3871 0 0 0 31 0 0 0 15 0 19 0 470273446 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21319] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21319/stat : 21319 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273446 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21321] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21321/stat : 21321 (java) S 21280 21284 20395 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 470273446 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21337] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21337/stat : 21337 (java) S 21280 21284 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273474 7829483520 47763 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1123.28
Current children cumulated vsize (KiB) 7645980
[startup+1182.3 s]
/proc/loadavg: 4.03 4.02 3.97 6/262 21385
/proc/meminfo: memFree=13204780/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=7645980 CPUtime=1183.31 cores=1,3
/proc/21284/stat : 21284 (java) S 21280 21284 20395 0 -1 4202496 57476 0 1 0 118320 11 0 0 18 0 19 0 470273440 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21284/statm: 1911495 49526 2254 9 0 1902233 0
[pid=21284/tid=21290] ppid=21280 vsize=7645980 CPUtime=1178.68 cores=1,3
/proc/21284/task/21290/stat : 21290 (java) R 21280 21284 20395 0 -1 4202560 17528 0 1 0 117864 4 0 0 25 0 19 0 470273441 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 46912505595054 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21284/tid=21296] ppid=21280 vsize=7645980 CPUtime=0.11 cores=1,3
/proc/21284/task/21296/stat : 21296 (java) S 21280 21284 20395 0 -1 4202560 3700 0 0 0 10 1 0 0 15 0 19 0 470273442 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21298] ppid=21280 vsize=7645980 CPUtime=0.08 cores=1,3
/proc/21284/task/21298/stat : 21298 (java) S 21280 21284 20395 0 -1 4202560 670 0 0 0 8 0 0 0 15 0 19 0 470273442 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21300] ppid=21280 vsize=7645980 CPUtime=0.1 cores=1,3
/proc/21284/task/21300/stat : 21300 (java) S 21280 21284 20395 0 -1 4202560 1519 0 0 0 10 0 0 0 15 0 19 0 470273442 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21302] ppid=21280 vsize=7645980 CPUtime=0.08 cores=1,3
/proc/21284/task/21302/stat : 21302 (java) S 21280 21284 20395 0 -1 4202560 316 0 0 0 8 0 0 0 15 0 19 0 470273442 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21304] ppid=21280 vsize=7645980 CPUtime=0.07 cores=1,3
/proc/21284/task/21304/stat : 21304 (java) S 21280 21284 20395 0 -1 4202560 1280 0 0 0 7 0 0 0 15 0 19 0 470273442 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21305] ppid=21280 vsize=7645980 CPUtime=0.12 cores=1,3
/proc/21284/task/21305/stat : 21305 (java) S 21280 21284 20395 0 -1 4202560 468 0 0 0 12 0 0 0 15 0 19 0 470273442 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21306] ppid=21280 vsize=7645980 CPUtime=0.12 cores=1,3
/proc/21284/task/21306/stat : 21306 (java) S 21280 21284 20395 0 -1 4202560 2974 0 0 0 12 0 0 0 16 0 19 0 470273442 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21307] ppid=21280 vsize=7645980 CPUtime=0.15 cores=1,3
/proc/21284/task/21307/stat : 21307 (java) S 21280 21284 20395 0 -1 4202560 2831 0 0 0 15 0 0 0 15 0 19 0 470273443 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21309] ppid=21280 vsize=7645980 CPUtime=3.03 cores=1,3
/proc/21284/task/21309/stat : 21309 (java) S 21280 21284 20395 0 -1 4202560 14350 0 0 0 301 2 0 0 15 0 19 0 470273444 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 0 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21311] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21311/stat : 21311 (java) S 21280 21284 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21313] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21313/stat : 21313 (java) S 21280 21284 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273444 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21314] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21314/stat : 21314 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273446 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933600689 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21315] ppid=21280 vsize=7645980 CPUtime=0.36 cores=1,3
/proc/21284/task/21315/stat : 21315 (java) S 21280 21284 20395 0 -1 4202560 6751 0 0 0 36 0 0 0 15 0 19 0 470273446 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21318] ppid=21280 vsize=7645980 CPUtime=0.31 cores=1,3
/proc/21284/task/21318/stat : 21318 (java) S 21280 21284 20395 0 -1 4202560 3871 0 0 0 31 0 0 0 15 0 19 0 470273446 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21319] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21319/stat : 21319 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273446 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21321] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21321/stat : 21321 (java) S 21280 21284 20395 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 470273446 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21337] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21337/stat : 21337 (java) S 21280 21284 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273474 7829483520 49526 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1183.31
Current children cumulated vsize (KiB) 7645980
[startup+1242.3 s]
/proc/loadavg: 4.01 4.01 3.97 6/262 21387
/proc/meminfo: memFree=13200288/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=7645980 CPUtime=1243.32 cores=1,3
/proc/21284/stat : 21284 (java) S 21280 21284 20395 0 -1 4202496 57609 0 1 0 124321 11 0 0 18 0 19 0 470273440 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21284/statm: 1911495 49652 2254 9 0 1902233 0
[pid=21284/tid=21290] ppid=21280 vsize=7645980 CPUtime=1238.59 cores=1,3
/proc/21284/task/21290/stat : 21290 (java) R 21280 21284 20395 0 -1 4202560 17529 0 1 0 123855 4 0 0 25 0 19 0 470273441 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 46912505635730 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21284/tid=21296] ppid=21280 vsize=7645980 CPUtime=0.12 cores=1,3
/proc/21284/task/21296/stat : 21296 (java) S 21280 21284 20395 0 -1 4202560 3700 0 0 0 11 1 0 0 15 0 19 0 470273442 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21298] ppid=21280 vsize=7645980 CPUtime=0.09 cores=1,3
/proc/21284/task/21298/stat : 21298 (java) S 21280 21284 20395 0 -1 4202560 670 0 0 0 9 0 0 0 15 0 19 0 470273442 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21300] ppid=21280 vsize=7645980 CPUtime=0.1 cores=1,3
/proc/21284/task/21300/stat : 21300 (java) S 21280 21284 20395 0 -1 4202560 1519 0 0 0 10 0 0 0 15 0 19 0 470273442 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21302] ppid=21280 vsize=7645980 CPUtime=0.08 cores=1,3
/proc/21284/task/21302/stat : 21302 (java) S 21280 21284 20395 0 -1 4202560 316 0 0 0 8 0 0 0 15 0 19 0 470273442 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21304] ppid=21280 vsize=7645980 CPUtime=0.07 cores=1,3
/proc/21284/task/21304/stat : 21304 (java) S 21280 21284 20395 0 -1 4202560 1280 0 0 0 7 0 0 0 15 0 19 0 470273442 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21305] ppid=21280 vsize=7645980 CPUtime=0.12 cores=1,3
/proc/21284/task/21305/stat : 21305 (java) S 21280 21284 20395 0 -1 4202560 468 0 0 0 12 0 0 0 15 0 19 0 470273442 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21306] ppid=21280 vsize=7645980 CPUtime=0.12 cores=1,3
/proc/21284/task/21306/stat : 21306 (java) S 21280 21284 20395 0 -1 4202560 2974 0 0 0 12 0 0 0 15 0 19 0 470273442 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21307] ppid=21280 vsize=7645980 CPUtime=0.15 cores=1,3
/proc/21284/task/21307/stat : 21307 (java) S 21280 21284 20395 0 -1 4202560 2831 0 0 0 15 0 0 0 15 0 19 0 470273443 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21309] ppid=21280 vsize=7645980 CPUtime=3.11 cores=1,3
/proc/21284/task/21309/stat : 21309 (java) S 21280 21284 20395 0 -1 4202560 14478 0 0 0 309 2 0 0 15 0 19 0 470273444 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 0 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21311] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21311/stat : 21311 (java) S 21280 21284 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21313] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21313/stat : 21313 (java) S 21280 21284 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273444 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21314] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21314/stat : 21314 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273446 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933600689 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21315] ppid=21280 vsize=7645980 CPUtime=0.36 cores=1,3
/proc/21284/task/21315/stat : 21315 (java) S 21280 21284 20395 0 -1 4202560 6751 0 0 0 36 0 0 0 15 0 19 0 470273446 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21318] ppid=21280 vsize=7645980 CPUtime=0.31 cores=1,3
/proc/21284/task/21318/stat : 21318 (java) S 21280 21284 20395 0 -1 4202560 3871 0 0 0 31 0 0 0 15 0 19 0 470273446 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21319] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21319/stat : 21319 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273446 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21321] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21321/stat : 21321 (java) S 21280 21284 20395 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 470273446 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21337] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21337/stat : 21337 (java) S 21280 21284 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273474 7829483520 49652 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1243.32
Current children cumulated vsize (KiB) 7645980
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.08 4.02 3.97 6/245 21391
/proc/meminfo: memFree=13342700/32951124 swapFree=67111528/67111528
[pid=21284] ppid=21280 vsize=7645980 CPUtime=1301.04 cores=1,3
/proc/21284/stat : 21284 (java) S 21280 21284 20395 0 -1 4202496 58096 0 1 0 130093 11 0 0 18 0 19 0 470273440 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21284/statm: 1911495 50132 2254 9 0 1902233 0
[pid=21284/tid=21290] ppid=21280 vsize=7645980 CPUtime=1296.2 cores=1,3
/proc/21284/task/21290/stat : 21290 (java) R 21280 21284 20395 0 -1 4202560 17578 0 1 0 129616 4 0 0 25 0 19 0 470273441 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 46912505636000 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21284/tid=21296] ppid=21280 vsize=7645980 CPUtime=0.12 cores=1,3
/proc/21284/task/21296/stat : 21296 (java) S 21280 21284 20395 0 -1 4202560 3700 0 0 0 11 1 0 0 15 0 19 0 470273442 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21298] ppid=21280 vsize=7645980 CPUtime=0.11 cores=1,3
/proc/21284/task/21298/stat : 21298 (java) S 21280 21284 20395 0 -1 4202560 670 0 0 0 11 0 0 0 15 0 19 0 470273442 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21300] ppid=21280 vsize=7645980 CPUtime=0.1 cores=1,3
/proc/21284/task/21300/stat : 21300 (java) S 21280 21284 20395 0 -1 4202560 1519 0 0 0 10 0 0 0 15 0 19 0 470273442 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21302] ppid=21280 vsize=7645980 CPUtime=0.08 cores=1,3
/proc/21284/task/21302/stat : 21302 (java) S 21280 21284 20395 0 -1 4202560 316 0 0 0 8 0 0 0 15 0 19 0 470273442 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21304] ppid=21280 vsize=7645980 CPUtime=0.07 cores=1,3
/proc/21284/task/21304/stat : 21304 (java) S 21280 21284 20395 0 -1 4202560 1280 0 0 0 7 0 0 0 15 0 19 0 470273442 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21305] ppid=21280 vsize=7645980 CPUtime=0.14 cores=1,3
/proc/21284/task/21305/stat : 21305 (java) S 21280 21284 20395 0 -1 4202560 468 0 0 0 14 0 0 0 15 0 19 0 470273442 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21306] ppid=21280 vsize=7645980 CPUtime=0.12 cores=1,3
/proc/21284/task/21306/stat : 21306 (java) S 21280 21284 20395 0 -1 4202560 2974 0 0 0 12 0 0 0 15 0 19 0 470273442 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21307] ppid=21280 vsize=7645980 CPUtime=0.15 cores=1,3
/proc/21284/task/21307/stat : 21307 (java) S 21280 21284 20395 0 -1 4202560 2831 0 0 0 15 0 0 0 15 0 19 0 470273443 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21309] ppid=21280 vsize=7645980 CPUtime=3.2 cores=1,3
/proc/21284/task/21309/stat : 21309 (java) S 21280 21284 20395 0 -1 4202560 14912 0 0 0 318 2 0 0 15 0 19 0 470273444 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 0 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21311] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21311/stat : 21311 (java) S 21280 21284 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21313] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21313/stat : 21313 (java) S 21280 21284 20395 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 470273444 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21314] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21314/stat : 21314 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 470273446 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933600689 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21315] ppid=21280 vsize=7645980 CPUtime=0.36 cores=1,3
/proc/21284/task/21315/stat : 21315 (java) S 21280 21284 20395 0 -1 4202560 6751 0 0 0 36 0 0 0 15 0 19 0 470273446 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21318] ppid=21280 vsize=7645980 CPUtime=0.31 cores=1,3
/proc/21284/task/21318/stat : 21318 (java) S 21280 21284 20395 0 -1 4202560 3871 0 0 0 31 0 0 0 15 0 19 0 470273446 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 1 0 0 0
[pid=21284/tid=21319] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21319/stat : 21319 (java) S 21280 21284 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273446 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933592985 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21321] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21321/stat : 21321 (java) S 21280 21284 20395 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 470273446 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
[pid=21284/tid=21337] ppid=21280 vsize=7645980 CPUtime=0 cores=1,3
/proc/21284/task/21337/stat : 21337 (java) S 21280 21284 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273474 7829483520 50132 33554432000 1073741824 1073778376 140735360505360 18446744073709551615 222933593600 0 4 0 16800975 18446604457856152512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1301.04
Current children cumulated vsize (KiB) 7645980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.11
CPU user time (s): 1300.98
CPU system time (s): 0.12798
CPU usage (%): 100.081
Max. virtual memory (cumulated for all children) (KiB): 7661904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.98
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58661
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= 27838
involuntary context switches= 4364
runsolver used 2.18967 second user time and 5.07023 second system time
The end