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-3313326-1304073032/watcher-3313326-1304073032 -o /tmp/evaluation-result-3313326-1304073032/solver-3313326-1304073032 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313326-1304073032.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.28 7.67 7.73 3/174 14723
/proc/meminfo: memFree=14077236/32950928 swapFree=67111528/67111528
[pid=14723] ppid=14721 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/14723/stat : 14723 (java) R 14721 14723 14691 0 -1 4202496 873 0 0 0 0 0 0 0 21 0 1 0 518903082 23580672 360 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248084735744 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14723/statm: 5757 372 290 9 0 124 0
[startup+0.0870649 s]
/proc/loadavg: 6.28 7.67 7.73 3/174 14723
/proc/meminfo: memFree=14077236/32950928 swapFree=67111528/67111528
[pid=14723] ppid=14721 vsize=15676384 CPUtime=0.08 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 14691 0 -1 4202496 5344 0 1 0 7 1 0 0 21 0 18 0 518903082 16052617216 4748 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 3919096 4749 2115 9 0 3909815 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15676384
[startup+0.10106 s]
/proc/loadavg: 6.28 7.67 7.73 3/174 14723
/proc/meminfo: memFree=14077236/32950928 swapFree=67111528/67111528
[pid=14723] ppid=14721 vsize=15676384 CPUtime=0.1 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 14691 0 -1 4202496 5542 0 1 0 9 1 0 0 21 0 18 0 518903082 16052617216 4945 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 3919096 4945 2116 9 0 3909815 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676384
[startup+0.301028 s]
/proc/loadavg: 6.28 7.67 7.73 3/174 14723
/proc/meminfo: memFree=14077236/32950928 swapFree=67111528/67111528
[pid=14723] ppid=14721 vsize=15682284 CPUtime=0.5 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 14691 0 -1 4202496 15284 0 1 0 48 2 0 0 21 0 18 0 518903082 16058658816 13506 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 3920571 13512 2206 9 0 3911290 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15682284
[startup+0.701071 s]
/proc/loadavg: 6.28 7.67 7.73 3/174 14723
/proc/meminfo: memFree=14077236/32950928 swapFree=67111528/67111528
[pid=14723] ppid=14721 vsize=15682284 CPUtime=0.92 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 14691 0 -1 4202496 42254 0 1 0 86 6 0 0 21 0 18 0 518903082 16058658816 40474 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 3920571 40474 2228 9 0 3911290 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15682284
[startup+1.50094 s]
/proc/loadavg: 6.28 7.67 7.73 3/212 14764
/proc/meminfo: memFree=13767440/32950928 swapFree=67111528/67111528
[pid=14723] ppid=14721 vsize=15682284 CPUtime=1.74 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 14691 0 -1 4202496 76215 0 1 0 164 10 0 0 21 0 18 0 518903082 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 3920571 74432 2228 9 0 3911290 0
[pid=14723/tid=14725] ppid=14721 vsize=15682284 CPUtime=1.46 cores=0,2,4,6
/proc/14723/task/14725/stat : 14725 (java) R 14721 14723 14691 0 -1 4202560 65802 0 1 0 138 8 0 0 25 0 18 0 518903083 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 46912505527183 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 14691 0 -1 4202560 1369 0 0 0 0 0 0 0 16 0 18 0 518903083 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 14691 0 -1 4202560 579 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 14691 0 -1 4202560 2144 0 0 0 0 0 0 0 16 0 18 0 518903083 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 14691 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 18 0 518903083 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 14691 0 -1 4202560 691 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 14691 0 -1 4202560 334 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 14691 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) S 14721 14723 14691 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 18 0 518903084 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 0 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 14691 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 518903085 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 14691 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 518903085 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 518903087 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101521841 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=15682284 CPUtime=0.13 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) S 14721 14723 14691 0 -1 4202560 2417 0 0 0 13 0 0 0 17 0 18 0 518903087 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=15682284 CPUtime=0.09 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) S 14721 14723 14691 0 -1 4202560 1266 0 0 0 9 0 0 0 25 0 18 0 518903087 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14740] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14740/stat : 14740 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 518903087 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14741] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 518903087 16058658816 74432 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 15682284
[startup+3.10053 s]
/proc/loadavg: 5.94 7.57 7.70 3/212 14764
/proc/meminfo: memFree=13447024/32950928 swapFree=67111528/67111528
[pid=14723] ppid=14721 vsize=15682284 CPUtime=3.41 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 14691 0 -1 4202496 140580 0 1 0 324 17 0 0 21 0 18 0 518903082 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 3920571 138473 2246 9 0 3911290 0
[pid=14723/tid=14725] ppid=14721 vsize=15682284 CPUtime=3.06 cores=0,2,4,6
/proc/14723/task/14725/stat : 14725 (java) R 14721 14723 14691 0 -1 4202560 126865 0 1 0 291 15 0 0 25 0 18 0 518903083 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 46912505638139 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 14691 0 -1 4202560 1369 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 14691 0 -1 4202560 579 0 0 0 0 0 0 0 16 0 18 0 518903083 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 14691 0 -1 4202560 5040 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 14691 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 14691 0 -1 4202560 733 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 14691 0 -1 4202560 589 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 518903083 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 14691 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 18 0 518903083 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) S 14721 14723 14691 0 -1 4202560 187 0 0 0 0 0 0 0 15 0 18 0 518903084 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 0 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 14691 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 518903085 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 14691 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 518903085 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 518903087 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101521841 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=15682284 CPUtime=0.16 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) S 14721 14723 14691 0 -1 4202560 2482 0 0 0 16 0 0 0 15 0 18 0 518903087 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=15682284 CPUtime=0.11 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) S 14721 14723 14691 0 -1 4202560 1293 0 0 0 11 0 0 0 15 0 18 0 518903087 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14740] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14740/stat : 14740 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 518903087 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14741] ppid=14721 vsize=15682284 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 518903087 16058658816 138473 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 15682284
[startup+6.30102 s]
/proc/loadavg: 5.94 7.57 7.70 4/220 14772
/proc/meminfo: memFree=12581764/32950928 swapFree=67111528/67111528
[pid=14723] ppid=14721 vsize=15686632 CPUtime=7.59 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 14691 0 -1 4202496 175502 0 1 0 737 22 0 0 21 0 22 0 518903082 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 3921658 167547 2266 9 0 3912377 0
[pid=14723/tid=14725] ppid=14721 vsize=15686632 CPUtime=6.2 cores=0,2,4,6
/proc/14723/task/14725/stat : 14725 (java) R 14721 14723 14691 0 -1 4202560 126969 0 1 0 604 16 0 0 19 0 22 0 518903083 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 46912505950751 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=15686632 CPUtime=0.01 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 14691 0 -1 4202560 6491 0 0 0 1 0 0 0 15 0 22 0 518903083 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=15686632 CPUtime=0.01 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 14691 0 -1 4202560 579 0 0 0 1 0 0 0 15 0 22 0 518903083 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 14691 0 -1 4202560 5040 0 0 0 0 0 0 0 15 0 22 0 518903083 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=15686632 CPUtime=0.05 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 14691 0 -1 4202560 4246 0 0 0 5 0 0 0 16 0 22 0 518903083 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=15686632 CPUtime=0.05 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 14691 0 -1 4202560 3621 0 0 0 5 0 0 0 16 0 22 0 518903083 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 14691 0 -1 4202560 589 0 0 0 0 0 0 0 16 0 22 0 518903083 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=15686632 CPUtime=0.04 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 14691 0 -1 4202560 3990 0 0 0 4 0 0 0 16 0 22 0 518903083 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=15686632 CPUtime=0.05 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 14691 0 -1 4202560 7050 0 0 0 5 0 0 0 16 0 22 0 518903083 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) S 14721 14723 14691 0 -1 4202560 587 0 0 0 0 0 0 0 15 0 22 0 518903084 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 0 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 14691 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 518903085 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 14691 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 518903085 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 518903087 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101521841 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=15686632 CPUtime=0.48 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) S 14721 14723 14691 0 -1 4202560 3916 0 0 0 48 0 0 0 16 0 22 0 518903087 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=15686632 CPUtime=0.6 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) S 14721 14723 14691 0 -1 4202560 10987 0 0 0 59 1 0 0 15 0 22 0 518903087 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14740] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14740/stat : 14740 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 518903087 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14741] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 518903087 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14769] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14769/stat : 14769 (java) S 14721 14723 14691 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 518903519 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14770] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14770/stat : 14770 (java) S 14721 14723 14691 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 518903519 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14771] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14771/stat : 14771 (java) S 14721 14723 14691 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 518903519 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14772] ppid=14721 vsize=15686632 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14772/stat : 14772 (java) S 14721 14723 14691 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 518903519 16063111168 167547 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 15686632
################
# More data... #
################
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 14691 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14769] ppid=14721 vsize=15690052 CPUtime=853.81 cores=0,2,4,6
/proc/14723/task/14769/stat : 14769 (java) S 14721 14723 14691 0 -1 4202560 30956 0 0 0 85373 8 0 0 15 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14770] ppid=14721 vsize=15690052 CPUtime=794.6 cores=0,2,4,6
/proc/14723/task/14770/stat : 14770 (java) S 14721 14723 14691 0 -1 4202560 122 0 0 0 79453 7 0 0 15 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14771] ppid=14721 vsize=15690052 CPUtime=853.64 cores=0,2,4,6
/proc/14723/task/14771/stat : 14771 (java) S 14721 14723 14691 0 -1 4202560 17695 0 0 0 85361 3 0 0 16 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14772] ppid=14721 vsize=15690052 CPUtime=803.01 cores=0,2,4,6
/proc/14723/task/14772/stat : 14772 (java) S 14721 14723 14691 0 -1 4202560 71 0 0 0 80301 0 0 0 15 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3642.76
Current children cumulated vsize (KiB) 15690052
[startup+1242.3 s]
/proc/loadavg: 3.79 5.16 6.36 3/220 14805
/proc/meminfo: memFree=100772/32950928 swapFree=67111428/67111528
[pid=14723] ppid=14721 vsize=15690052 CPUtime=3745.89 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 14691 0 -1 4202496 3921995 0 1 0 373277 1312 0 0 21 0 22 0 518903082 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 3922513 3824322 2297 9 0 3913232 0
[pid=14723/tid=14725] ppid=14721 vsize=15690052 CPUtime=126 cores=0,2,4,6
/proc/14723/task/14725/stat : 14725 (java) S 14721 14723 14691 0 -1 4202560 127027 0 1 0 12584 16 0 0 25 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=15690052 CPUtime=10.01 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 14691 0 -1 4202560 418599 0 0 0 887 114 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=15690052 CPUtime=10.03 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 14691 0 -1 4202560 531885 0 0 0 809 194 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=15690052 CPUtime=10.11 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 14691 0 -1 4202560 493890 0 0 0 866 145 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=15690052 CPUtime=9.61 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 14691 0 -1 4202560 388476 0 0 0 810 151 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=15690052 CPUtime=10.41 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 14691 0 -1 4202560 424972 0 0 0 890 151 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=15690052 CPUtime=9.1 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 14691 0 -1 4202560 378716 0 0 0 788 122 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=15690052 CPUtime=10.67 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 14691 0 -1 4202560 570839 0 0 0 867 200 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=15690052 CPUtime=10.61 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 14691 0 -1 4202560 494683 0 0 0 878 183 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=15690052 CPUtime=173.83 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) S 14721 14723 14691 0 -1 4202560 26654 0 0 0 17376 7 0 0 16 0 22 0 518903084 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 0 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=15690052 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 14691 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 518903085 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=15690052 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 14691 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 518903085 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=15690052 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101521841 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=15690052 CPUtime=1.25 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) S 14721 14723 14691 0 -1 4202560 4721 0 0 0 125 0 0 0 15 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=15690052 CPUtime=1.47 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) S 14721 14723 14691 0 -1 4202560 11124 0 0 0 146 1 0 0 15 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14740] ppid=14721 vsize=15690052 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14740/stat : 14740 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14741] ppid=14721 vsize=15690052 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 14691 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14769] ppid=14721 vsize=15690052 CPUtime=868.21 cores=0,2,4,6
/proc/14723/task/14769/stat : 14769 (java) R 14721 14723 14691 0 -1 4202560 30992 0 0 0 86812 9 0 0 16 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 46912505583616 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14723/tid=14770] ppid=14721 vsize=15690052 CPUtime=809.02 cores=0,2,4,6
/proc/14723/task/14770/stat : 14770 (java) R 14721 14723 14691 0 -1 4202560 137 0 0 0 80895 7 0 0 16 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 46912506424306 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14723/tid=14771] ppid=14721 vsize=15690052 CPUtime=868.05 cores=0,2,4,6
/proc/14723/task/14771/stat : 14771 (java) R 14721 14723 14691 0 -1 4202560 17725 0 0 0 86802 3 0 0 16 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 46912505898024 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14723/tid=14772] ppid=14721 vsize=15690052 CPUtime=817.34 cores=0,2,4,6
/proc/14723/task/14772/stat : 14772 (java) R 14721 14723 14691 0 -1 4202560 97 0 0 0 81734 0 0 0 16 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 46912505938328 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3745.89
Current children cumulated vsize (KiB) 15690052
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300.01 s]
/proc/loadavg: 3.68 4.86 6.18 3/220 14807
/proc/meminfo: memFree=100712/32950928 swapFree=67111428/67111528
[pid=14723] ppid=14721 vsize=15690052 CPUtime=3883.39 cores=0,2,4,6
/proc/14723/stat : 14723 (java) S 14721 14723 14691 0 -1 4202496 3922067 0 1 0 387026 1313 0 0 21 0 22 0 518903082 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 3922513 3824322 2297 9 0 3913232 0
[pid=14723/tid=14725] ppid=14721 vsize=15690052 CPUtime=126 cores=0,2,4,6
/proc/14723/task/14725/stat : 14725 (java) S 14721 14723 14691 0 -1 4202560 127027 0 1 0 12584 16 0 0 25 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14726] ppid=14721 vsize=15690052 CPUtime=10.01 cores=0,2,4,6
/proc/14723/task/14726/stat : 14726 (java) S 14721 14723 14691 0 -1 4202560 418599 0 0 0 887 114 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14727] ppid=14721 vsize=15690052 CPUtime=10.03 cores=0,2,4,6
/proc/14723/task/14727/stat : 14727 (java) S 14721 14723 14691 0 -1 4202560 531885 0 0 0 809 194 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14728] ppid=14721 vsize=15690052 CPUtime=10.11 cores=0,2,4,6
/proc/14723/task/14728/stat : 14728 (java) S 14721 14723 14691 0 -1 4202560 493890 0 0 0 866 145 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=15690052 CPUtime=9.61 cores=0,2,4,6
/proc/14723/task/14729/stat : 14729 (java) S 14721 14723 14691 0 -1 4202560 388476 0 0 0 810 151 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=15690052 CPUtime=10.41 cores=0,2,4,6
/proc/14723/task/14730/stat : 14730 (java) S 14721 14723 14691 0 -1 4202560 424972 0 0 0 890 151 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14731] ppid=14721 vsize=15690052 CPUtime=9.1 cores=0,2,4,6
/proc/14723/task/14731/stat : 14731 (java) S 14721 14723 14691 0 -1 4202560 378716 0 0 0 788 122 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14732] ppid=14721 vsize=15690052 CPUtime=10.67 cores=0,2,4,6
/proc/14723/task/14732/stat : 14732 (java) S 14721 14723 14691 0 -1 4202560 570839 0 0 0 867 200 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14733] ppid=14721 vsize=15690052 CPUtime=10.61 cores=0,2,4,6
/proc/14723/task/14733/stat : 14733 (java) S 14721 14723 14691 0 -1 4202560 494683 0 0 0 878 183 0 0 16 0 22 0 518903083 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=15690052 CPUtime=204.88 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) R 14721 14723 14691 0 -1 4202560 26658 0 0 0 20480 8 0 0 21 0 22 0 518903084 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 47213036818781 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=14723/tid=14735] ppid=14721 vsize=15690052 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14735/stat : 14735 (java) S 14721 14723 14691 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 518903085 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14736] ppid=14721 vsize=15690052 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14736/stat : 14736 (java) S 14721 14723 14691 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 518903085 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14737] ppid=14721 vsize=15690052 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14737/stat : 14737 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101521841 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14738] ppid=14721 vsize=15690052 CPUtime=1.25 cores=0,2,4,6
/proc/14723/task/14738/stat : 14738 (java) S 14721 14723 14691 0 -1 4202560 4721 0 0 0 125 0 0 0 15 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14739] ppid=14721 vsize=15690052 CPUtime=1.47 cores=0,2,4,6
/proc/14723/task/14739/stat : 14739 (java) S 14721 14723 14691 0 -1 4202560 11124 0 0 0 146 1 0 0 15 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14740] ppid=14721 vsize=15690052 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14740/stat : 14740 (java) S 14721 14723 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14741] ppid=14721 vsize=15690052 CPUtime=0 cores=0,2,4,6
/proc/14723/task/14741/stat : 14741 (java) S 14721 14723 14691 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 518903087 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514752 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
[pid=14723/tid=14769] ppid=14721 vsize=15690052 CPUtime=894.7 cores=0,2,4,6
/proc/14723/task/14769/stat : 14769 (java) S 14721 14723 14691 0 -1 4202560 31007 0 0 0 89461 9 0 0 16 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 6 0 0 0
[pid=14723/tid=14770] ppid=14721 vsize=15690052 CPUtime=835.68 cores=0,2,4,6
/proc/14723/task/14770/stat : 14770 (java) S 14721 14723 14691 0 -1 4202560 155 0 0 0 83560 8 0 0 16 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 4 0 0 0
[pid=14723/tid=14771] ppid=14721 vsize=15690052 CPUtime=894.7 cores=0,2,4,6
/proc/14723/task/14771/stat : 14771 (java) S 14721 14723 14691 0 -1 4202560 17739 0 0 0 89467 3 0 0 16 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 0 0 0 0
[pid=14723/tid=14772] ppid=14721 vsize=15690052 CPUtime=843.99 cores=0,2,4,6
/proc/14723/task/14772/stat : 14772 (java) S 14721 14723 14691 0 -1 4202560 114 0 0 0 84399 0 0 0 16 0 22 0 518903519 16066613248 3824322 33554432000 1073741824 1073778376 140737351560336 18446744073709551615 248101514137 0 4 0 16800975 18446604453836456256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3883.39
Current children cumulated vsize (KiB) 15690052
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14723
[startup+1302.3 s]
/proc/loadavg: 4.02 4.92 6.19 3/180 14810
/proc/meminfo: memFree=2376756/32950928 swapFree=67111428/67111528
[pid=14723] ppid=14721 vsize=0 CPUtime=3887.87 cores=0,2,4,6
/proc/14723/stat : 14723 (java) Z 14721 14723 14691 0 -1 4203548 3922083 0 1 0 387447 1340 0 0 18 0 2 0 518903082 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 0 0 0 0 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=0 CPUtime=206.42 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) R 14721 14723 14691 0 -1 4203588 26658 0 0 0 20607 35 0 0 18 0 2 0 518903084 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3887.87
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.6 s]
/proc/loadavg: 4.02 4.92 6.19 3/180 14810
/proc/meminfo: memFree=2376756/32950928 swapFree=67111428/67111528
[pid=14723] ppid=14721 vsize=0 CPUtime=3888.17 cores=0,2,4,6
/proc/14723/stat : 14723 (java) Z 14721 14723 14691 0 -1 4203548 3922083 0 1 0 387447 1370 0 0 18 0 2 0 518903082 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 0 0 0 0 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=0 CPUtime=206.72 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) R 14721 14723 14691 0 -1 4203588 26658 0 0 0 20607 65 0 0 19 0 2 0 518903084 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3888.17
Current children cumulated vsize (KiB) 0
[startup+1302.8 s]
/proc/loadavg: 4.02 4.92 6.19 3/180 14810
/proc/meminfo: memFree=2376756/32950928 swapFree=67111428/67111528
[pid=14723] ppid=14721 vsize=0 CPUtime=3888.37 cores=0,2,4,6
/proc/14723/stat : 14723 (java) Z 14721 14723 14691 0 -1 4203548 3922083 0 1 0 387447 1390 0 0 18 0 2 0 518903082 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 0 0 0 0 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=0 CPUtime=206.92 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) R 14721 14723 14691 0 -1 4203588 26658 0 0 0 20607 85 0 0 19 0 2 0 518903084 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3888.37
Current children cumulated vsize (KiB) 0
[startup+1302.9 s]
/proc/loadavg: 4.02 4.92 6.19 3/180 14810
/proc/meminfo: memFree=2376756/32950928 swapFree=67111428/67111528
[pid=14723] ppid=14721 vsize=0 CPUtime=3888.47 cores=0,2,4,6
/proc/14723/stat : 14723 (java) Z 14721 14723 14691 0 -1 4203548 3922083 0 1 0 387447 1400 0 0 18 0 2 0 518903082 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14723/statm: 0 0 0 0 0 0 0
[pid=14723/tid=14734] ppid=14721 vsize=0 CPUtime=207.02 cores=0,2,4,6
/proc/14723/task/14734/stat : 14734 (java) R 14721 14723 14691 0 -1 4203588 26658 0 0 0 20607 95 0 0 19 0 2 0 518903084 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3888.47
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.93
CPU time (s): 3888.51
CPU user time (s): 3874.48
CPU system time (s): 14.0299
CPU usage (%): 298.444
Max. virtual memory (cumulated for all children) (KiB): 15691080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3874.48
system time used= 14.0299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3922083
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= 54048
involuntary context switches= 74659
runsolver used 2.14667 second user time and 5.02923 second system time
The end