runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481930-1307577016/watcher-3481930-1307577016 -o /tmp/evaluation-result-3481930-1307577016/solver-3481930-1307577016 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481930-1307577016.opb -seed 1688592225 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 1.76 0.94 2/505 1170
/proc/meminfo: memFree=28736452/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=2016 CPUtime=0 cores=0,2,4,6
/proc/1170/stat : 1170 (python) D 1168 1170 32706 0 -1 4194304 85 0 0 0 0 0 0 0 25 0 1 0 869302176 2064384 38 33554432000 4194304 5683644 140736172076432 18446744073709551615 230804242055 0 0 4096 0 18446744071696489144 0 0 17 2 0 0 0
/proc/1170/statm: 504 38 31 364 0 37 0
[startup+0.028527 s]
/proc/loadavg: 2.08 1.76 0.94 2/505 1170
/proc/meminfo: memFree=28736452/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=2016 CPUtime=0 cores=0,2,4,6
/proc/1170/stat : 1170 (python) D 1168 1170 32706 0 -1 4194304 85 0 0 0 0 0 0 0 25 0 1 0 869302176 2064384 38 33554432000 4194304 5683644 140736172076432 18446744073709551615 230804242055 0 0 4096 0 18446744071696489144 0 0 17 2 0 0 0
/proc/1170/statm: 504 38 31 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2016
[startup+0.100514 s]
/proc/loadavg: 2.08 1.76 0.94 2/505 1170
/proc/meminfo: memFree=28736452/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=2016 CPUtime=0 cores=0,2,4,6
/proc/1170/stat : 1170 (python) D 1168 1170 32706 0 -1 4194304 85 0 0 0 0 0 0 0 25 0 1 0 869302176 2064384 38 33554432000 4194304 5683644 140736172076432 18446744073709551615 230804242055 0 0 4096 0 18446744071696489144 0 0 17 2 0 0 0
/proc/1170/statm: 504 38 31 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2016
[startup+0.300478 s]
/proc/loadavg: 2.08 1.76 0.94 2/505 1170
/proc/meminfo: memFree=28736452/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=2016 CPUtime=0 cores=0,2,4,6
/proc/1170/stat : 1170 (python) D 1168 1170 32706 0 -1 4194304 85 0 0 0 0 0 0 0 25 0 1 0 869302176 2064384 38 33554432000 4194304 5683644 140736172076432 18446744073709551615 230804242055 0 0 4096 0 18446744071696489144 0 0 17 2 0 0 0
/proc/1170/statm: 504 38 31 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2016
[startup+0.7015 s]
/proc/loadavg: 2.08 1.76 0.94 2/505 1170
/proc/meminfo: memFree=28736452/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=16812 CPUtime=0.01 cores=0,2,4,6
/proc/1170/stat : 1170 (python) S 1168 1170 32706 0 -1 4202496 1227 0 0 0 1 0 0 0 19 0 1 0 869302176 17215488 1085 33554432000 4194304 5683644 140736172076432 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/1170/statm: 4203 1085 417 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16812
[startup+1.50022 s]
/proc/loadavg: 2.08 1.76 0.94 3/506 1175
/proc/meminfo: memFree=28717024/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=297800 CPUtime=0.72 cores=0,2,4,6
/proc/1170/stat : 1170 (python) R 1168 1170 32706 0 -1 4202496 12482 929 1 0 62 10 0 0 18 0 1 0 869302176 304947200 10345 33554432000 4194304 5683644 140736172076432 18446744073709551615 47792930380485 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/1170/statm: 74450 10345 1781 364 0 9343 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 297800
[startup+3.10093 s]
/proc/loadavg: 2.24 1.80 0.96 3/506 1175
/proc/meminfo: memFree=28696688/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=310112 CPUtime=1.53 cores=0,2,4,6
/proc/1170/stat : 1170 (python) S 1168 1170 32706 0 -1 4202496 16504 929 1 0 143 10 0 0 21 0 2 0 869302176 317554688 11367 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1170/statm: 77528 11367 1870 364 0 12415 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 310112
heavy processes:
[startup+6.30141 s]
/proc/loadavg: 2.24 1.80 0.96 3/549 1219
/proc/meminfo: memFree=28292356/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=310112 CPUtime=1.53 cores=0,2,4,6
/proc/1170/stat : 1170 (python) S 1168 1170 32706 0 -1 4202496 16504 929 1 0 143 10 0 0 21 0 2 0 869302176 317554688 11367 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1170/statm: 77528 11367 1870 364 0 12415 0
[pid=1176] ppid=1170 vsize=299868 CPUtime=0.01 cores=0,2,4,6
/proc/1176/stat : 1176 (python) S 1170 1170 32706 0 -1 4202560 908 0 0 0 0 1 0 0 15 0 1 0 869302407 307064832 9868 33554432000 4194304 5683644 140736172076432 18446744073709551615 230809185807 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/1176/statm: 74967 9868 375 364 0 9854 0
[pid=1178] ppid=1176 vsize=8540960 CPUtime=5.12 cores=0,2,4,6
/proc/1178/stat : 1178 (java) S 1176 1178 1178 0 -1 4202496 67159 0 1 0 504 8 0 0 22 0 19 0 869302407 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/1178/statm: 2135240 62110 2258 9 0 2125981 0
[pid=1178/tid=1179] ppid=1176 vsize=8540960 CPUtime=3.86 cores=0,2,4,6
/proc/1178/task/1179/stat : 1179 (java) R 1176 1178 1178 0 -1 4202560 35303 0 1 0 383 3 0 0 18 0 19 0 869302408 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 46912505837262 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1178/tid=1180] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1180/stat : 1180 (java) S 1176 1178 1178 0 -1 4202560 1484 0 0 0 0 0 0 0 18 0 19 0 869302408 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1181] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1181/stat : 1181 (java) S 1176 1178 1178 0 -1 4202560 3538 0 0 0 0 0 0 0 16 0 19 0 869302408 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1182] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1182/stat : 1182 (java) S 1176 1178 1178 0 -1 4202560 612 0 0 0 0 0 0 0 15 0 19 0 869302408 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 2 0 0 0
[pid=1178/tid=1183] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1183/stat : 1183 (java) S 1176 1178 1178 0 -1 4202560 2467 0 0 0 0 0 0 0 15 0 19 0 869302408 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1184] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1184/stat : 1184 (java) S 1176 1178 1178 0 -1 4202560 2365 0 0 0 0 0 0 0 16 0 19 0 869302408 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 2 0 0 0
[pid=1178/tid=1185] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1185/stat : 1185 (java) S 1176 1178 1178 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869302408 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1186] ppid=1176 vsize=8540960 CPUtime=0.01 cores=0,2,4,6
/proc/1178/task/1186/stat : 1186 (java) S 1176 1178 1178 0 -1 4202560 3153 0 0 0 1 0 0 0 18 0 19 0 869302408 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 2 0 0 0
[pid=1178/tid=1187] ppid=1176 vsize=8540960 CPUtime=0.01 cores=0,2,4,6
/proc/1178/task/1187/stat : 1187 (java) S 1176 1178 1178 0 -1 4202560 595 0 0 0 1 0 0 0 15 0 19 0 869302408 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1188] ppid=1176 vsize=8540960 CPUtime=0.04 cores=0,2,4,6
/proc/1178/task/1188/stat : 1188 (java) S 1176 1178 1178 0 -1 4202560 6825 0 0 0 4 0 0 0 15 0 19 0 869302409 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820982272 0 0 0 16800975 18446604446267341824 0 0 -1 6 0 0 0
[pid=1178/tid=1189] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1189/stat : 1189 (java) S 1176 1178 1178 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869302410 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1190] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1190/stat : 1190 (java) S 1176 1178 1178 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869302410 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1191] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1191/stat : 1191 (java) S 1176 1178 1178 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869302412 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820989361 0 4 0 16800975 18446604446267341824 0 0 -1 6 0 0 0
[pid=1178/tid=1192] ppid=1176 vsize=8540960 CPUtime=0.45 cores=0,2,4,6
/proc/1178/task/1192/stat : 1192 (java) S 1176 1178 1178 0 -1 4202560 2141 0 0 0 45 0 0 0 15 0 19 0 869302412 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 4 0 0 0
[pid=1178/tid=1193] ppid=1176 vsize=8540960 CPUtime=0.65 cores=0,2,4,6
/proc/1178/task/1193/stat : 1193 (java) S 1176 1178 1178 0 -1 4202560 7294 0 0 0 65 0 0 0 15 0 19 0 869302412 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1194] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1194/stat : 1194 (java) S 1176 1178 1178 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869302412 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 6 0 0 0
[pid=1178/tid=1195] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1195/stat : 1195 (java) S 1176 1178 1178 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869302412 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820982272 0 4 0 16800975 18446604446267341824 0 0 -1 2 0 0 0
[pid=1178/tid=1217] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1217/stat : 1217 (java) S 1176 1178 1178 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869302480 8745943040 62110 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820982272 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1170/tid=1177] ppid=1168 vsize=310112 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1177/stat : 1177 (python) S 1168 1170 32706 0 -1 4202560 26 929 0 0 0 0 0 0 21 0 2 0 869302407 317554688 11367 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 9150940
[startup+12.7012 s]
/proc/loadavg: 2.20 1.80 0.97 3/549 1219
/proc/meminfo: memFree=28139012/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=310112 CPUtime=1.53 cores=0,2,4,6
/proc/1170/stat : 1170 (python) S 1168 1170 32706 0 -1 4202496 16504 929 1 0 143 10 0 0 21 0 2 0 869302176 317554688 11367 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1170/statm: 77528 11367 1870 364 0 12415 0
[pid=1176] ppid=1170 vsize=299868 CPUtime=0.03 cores=0,2,4,6
/proc/1176/stat : 1176 (python) S 1170 1170 32706 0 -1 4202560 913 0 0 0 1 2 0 0 15 0 1 0 869302407 307064832 9868 33554432000 4194304 5683644 140736172076432 18446744073709551615 230809185807 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/1176/statm: 74967 9868 375 364 0 9854 0
[pid=1178] ppid=1176 vsize=8540960 CPUtime=11.62 cores=0,2,4,6
/proc/1178/stat : 1178 (java) S 1176 1178 1178 0 -1 4202496 79199 0 1 0 1152 10 0 0 22 0 19 0 869302407 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/1178/statm: 2135240 70847 2258 9 0 2125981 0
[pid=1178/tid=1179] ppid=1176 vsize=8540960 CPUtime=10.16 cores=0,2,4,6
/proc/1178/task/1179/stat : 1179 (java) R 1176 1178 1178 0 -1 4202560 35305 0 1 0 1013 3 0 0 25 0 19 0 869302408 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 46912505837493 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1178/tid=1180] ppid=1176 vsize=8540960 CPUtime=0.01 cores=0,2,4,6
/proc/1178/task/1180/stat : 1180 (java) S 1176 1178 1178 0 -1 4202560 3279 0 0 0 1 0 0 0 15 0 19 0 869302408 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 2 0 0 0
[pid=1178/tid=1181] ppid=1176 vsize=8540960 CPUtime=0.01 cores=0,2,4,6
/proc/1178/task/1181/stat : 1181 (java) S 1176 1178 1178 0 -1 4202560 6367 0 0 0 1 0 0 0 16 0 19 0 869302408 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 2 0 0 0
[pid=1178/tid=1182] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1182/stat : 1182 (java) S 1176 1178 1178 0 -1 4202560 729 0 0 0 0 0 0 0 15 0 19 0 869302408 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1183] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1183/stat : 1183 (java) S 1176 1178 1178 0 -1 4202560 2467 0 0 0 0 0 0 0 15 0 19 0 869302408 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1184] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1184/stat : 1184 (java) S 1176 1178 1178 0 -1 4202560 4577 0 0 0 0 0 0 0 15 0 19 0 869302408 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1185] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1185/stat : 1185 (java) S 1176 1178 1178 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 869302408 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 2 0 0 0
[pid=1178/tid=1186] ppid=1176 vsize=8540960 CPUtime=0.01 cores=0,2,4,6
/proc/1178/task/1186/stat : 1186 (java) S 1176 1178 1178 0 -1 4202560 3781 0 0 0 1 0 0 0 18 0 19 0 869302408 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1187] ppid=1176 vsize=8540960 CPUtime=0.01 cores=0,2,4,6
/proc/1178/task/1187/stat : 1187 (java) S 1176 1178 1178 0 -1 4202560 3655 0 0 0 1 0 0 0 16 0 19 0 869302408 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 2 0 0 0
[pid=1178/tid=1188] ppid=1176 vsize=8540960 CPUtime=0.11 cores=0,2,4,6
/proc/1178/task/1188/stat : 1188 (java) S 1176 1178 1178 0 -1 4202560 7899 0 0 0 11 0 0 0 15 0 19 0 869302409 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820982272 0 0 0 16800975 18446604446267341824 0 0 -1 2 0 0 0
[pid=1178/tid=1189] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1189/stat : 1189 (java) S 1176 1178 1178 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869302410 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1190] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1190/stat : 1190 (java) S 1176 1178 1178 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869302410 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1191] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1191/stat : 1191 (java) S 1176 1178 1178 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869302412 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820989361 0 4 0 16800975 18446604446267341824 0 0 -1 6 0 0 0
[pid=1178/tid=1192] ppid=1176 vsize=8540960 CPUtime=0.47 cores=0,2,4,6
/proc/1178/task/1192/stat : 1192 (java) S 1176 1178 1178 0 -1 4202560 2146 0 0 0 47 0 0 0 15 0 19 0 869302412 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 4 0 0 0
[pid=1178/tid=1193] ppid=1176 vsize=8540960 CPUtime=0.71 cores=0,2,4,6
/proc/1178/task/1193/stat : 1193 (java) S 1176 1178 1178 0 -1 4202560 7304 0 0 0 71 0 0 0 15 0 19 0 869302412 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1194] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1194/stat : 1194 (java) S 1176 1178 1178 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869302412 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446604446267341824 0 0 -1 6 0 0 0
[pid=1178/tid=1195] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1195/stat : 1195 (java) S 1176 1178 1178 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869302412 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820982272 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1178/tid=1217] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1217/stat : 1217 (java) S 1176 1178 1178 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869302480 8745943040 70847 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820982272 0 4 0 16800975 18446604446267341824 0 0 -1 0 0 0 0
[pid=1170/tid=1177] ppid=1168 vsize=310112 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1177/stat : 1177 (python) S 1168 1170 32706 0 -1 4202560 26 929 0 0 0 0 0 0 21 0 2 0 869302407 317554688 11367 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.18
Current children cumulated vsize (KiB) 9150940
[startup+25.5009 s]
/proc/loadavg: 2.17 1.81 0.98 3/549 1220
/proc/meminfo: memFree=28064284/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=310112 CPUtime=1.53 cores=0,2,4,6
/proc/1170/stat : 1170 (python) S 1168 1170 32706 0 -1 4202496 16504 929 1 0 143 10 0 0 21 0 2 0 869302176 317554688 11367 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1170/statm: 77528 11367 1870 364 0 12415 0
[pid=1176] ppid=1170 vsize=299868 CPUtime=0.07 cores=0,2,4,6
/proc/1176/stat : 1176 (python) S 1170 1170 32706 0 -1 4202560 918 0 0 0 3 4 0 0 15 0 1 0 869302407 307064832 9868 33554432000 4194304 5683644 140736172076432 18446744073709551615 230809185807 0 0 16781312 33554946 72556772316949367 0 0 17 6 0 0 0
/proc/1176/statm: 74967 9868 375 364 0 9854 0
[pid=1178] ppid=1176 vsize=8540960 CPUtime=24.55 cores=0,2,4,6
/proc/1178/stat : 1178 (java) S 1176 1178 1178 0 -1 4202496 92927 0 1 0 2442 13 0 0 22 0 19 0 869302407 8745943040 80341 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
################
# More data... #
################
/proc/1240/stat : 1240 (clasp-1.3.7-x86) T 1237 1240 1240 0 -1 4202496 40349 0 0 0 9202 6 0 0 25 0 1 0 869316527 163782656 39695 33554432000 134512640 136139019 4290423088 18446744073709551615 134632486 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/1240/statm: 39986 39695 187 398 0 39586 0
[pid=1237/tid=1292] ppid=1170 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/1237/task/1292/stat : 1292 (python) S 1170 1170 32706 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869325739 328069120 9904 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554946 18446604441095930304 0 0 -1 6 0 0 0
[pid=1296] ppid=1170 vsize=330636 CPUtime=0.15 cores=0,2,4,6
/proc/1296/stat : 1296 (python) S 1170 1170 32706 0 -1 4202560 1128 0 0 0 7 8 0 0 16 0 2 0 869325741 338571264 9902 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/1296/statm: 82659 9902 396 364 0 17537 0
[pid=1298] ppid=1296 vsize=363140 CPUtime=46.34 cores=0,2,4,6
/proc/1298/stat : 1298 (pbct-0.1.2-linu) T 1296 1298 1298 0 -1 4202496 92312 0 0 0 4582 52 0 0 25 0 1 0 869325742 371855360 88494 33554432000 134512640 136422188 4294166432 18446744073709551615 134860207 0 0 16781312 16387 18446744071562691360 0 0 17 2 0 0 0
/proc/1298/statm: 90785 88494 236 467 0 90316 0
[pid=1170/tid=1177] ppid=1168 vsize=351136 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1177/stat : 1177 (python) S 1168 1170 32706 0 -1 4202560 30 929 0 0 0 0 0 0 18 0 6 0 869302407 359563264 11392 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 0 0 0 0
[pid=1170/tid=1224] ppid=1168 vsize=351136 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (python) S 1168 1170 32706 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 869307224 359563264 11392 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 0 0 0 0
[pid=1170/tid=1238] ppid=1168 vsize=351136 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1238/stat : 1238 (python) S 1168 1170 32706 0 -1 4202560 26 929 0 0 0 0 0 0 18 0 6 0 869316527 359563264 11392 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 4 0 0 0
[pid=1170/tid=1297] ppid=1168 vsize=351136 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1297/stat : 1297 (python) S 1168 1170 32706 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 869325742 359563264 11392 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.89
Current children cumulated vsize (KiB) 10719948
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+282.602 s]
/proc/loadavg: 2.04 1.93 1.22 4/582 1411
/proc/meminfo: memFree=26317308/32951124 swapFree=36471928/67111528
[pid=1170] ppid=1168 vsize=351136 CPUtime=1.68 cores=0,2,4,6
/proc/1170/stat : 1170 (python) S 1168 1170 32706 0 -1 4202496 20182 929 1 0 156 12 0 0 19 0 6 0 869302176 359563264 11392 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1170/statm: 87784 11392 1879 364 0 22659 0
[pid=1176] ppid=1170 vsize=310112 CPUtime=0.34 cores=0,2,4,6
/proc/1176/stat : 1176 (python) S 1170 1170 32706 0 -1 4202560 1112 0 0 0 17 17 0 0 15 0 2 0 869302407 317554688 9905 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/1176/statm: 77528 9905 407 364 0 12415 0
[pid=1178] ppid=1176 vsize=8540960 CPUtime=92.47 cores=0,2,4,6
/proc/1178/stat : 1178 (java) T 1176 1178 1178 0 -1 4202496 124632 0 1 0 9229 18 0 0 18 0 19 0 869302407 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/1178/statm: 2135240 102163 2258 9 0 2125981 0
[pid=1178/tid=1179] ppid=1176 vsize=8540960 CPUtime=89.74 cores=0,2,4,6
/proc/1178/task/1179/stat : 1179 (java) T 1176 1178 1178 0 -1 4202560 35319 0 1 0 8970 4 0 0 25 0 19 0 869302408 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 46912506127978 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1178/tid=1180] ppid=1176 vsize=8540960 CPUtime=0.06 cores=0,2,4,6
/proc/1178/task/1180/stat : 1180 (java) T 1176 1178 1178 0 -1 4202560 7717 0 0 0 5 1 0 0 15 0 19 0 869302408 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1178/tid=1181] ppid=1176 vsize=8540960 CPUtime=0.07 cores=0,2,4,6
/proc/1178/task/1181/stat : 1181 (java) T 1176 1178 1178 0 -1 4202560 7200 0 0 0 7 0 0 0 15 0 19 0 869302408 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1178/tid=1182] ppid=1176 vsize=8540960 CPUtime=0.12 cores=0,2,4,6
/proc/1178/task/1182/stat : 1182 (java) T 1176 1178 1178 0 -1 4202560 8843 0 0 0 11 1 0 0 15 0 19 0 869302408 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1178/tid=1183] ppid=1176 vsize=8540960 CPUtime=0.09 cores=0,2,4,6
/proc/1178/task/1183/stat : 1183 (java) T 1176 1178 1178 0 -1 4202560 11877 0 0 0 8 1 0 0 15 0 19 0 869302408 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1178/tid=1184] ppid=1176 vsize=8540960 CPUtime=0.08 cores=0,2,4,6
/proc/1178/task/1184/stat : 1184 (java) T 1176 1178 1178 0 -1 4202560 11018 0 0 0 6 2 0 0 15 0 19 0 869302408 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1178/tid=1185] ppid=1176 vsize=8540960 CPUtime=0.06 cores=0,2,4,6
/proc/1178/task/1185/stat : 1185 (java) T 1176 1178 1178 0 -1 4202560 8007 0 0 0 5 1 0 0 15 0 19 0 869302408 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1178/tid=1186] ppid=1176 vsize=8540960 CPUtime=0.09 cores=0,2,4,6
/proc/1178/task/1186/stat : 1186 (java) T 1176 1178 1178 0 -1 4202560 11175 0 0 0 8 1 0 0 15 0 19 0 869302408 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1178/tid=1187] ppid=1176 vsize=8540960 CPUtime=0.04 cores=0,2,4,6
/proc/1178/task/1187/stat : 1187 (java) T 1176 1178 1178 0 -1 4202560 4717 0 0 0 4 0 0 0 15 0 19 0 869302408 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1178/tid=1188] ppid=1176 vsize=8540960 CPUtime=0.73 cores=0,2,4,6
/proc/1178/task/1188/stat : 1188 (java) T 1176 1178 1178 0 -1 4202560 7906 0 0 0 73 0 0 0 15 0 19 0 869302409 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1178/tid=1189] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1189/stat : 1189 (java) T 1176 1178 1178 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869302410 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1178/tid=1190] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1190/stat : 1190 (java) T 1176 1178 1178 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869302410 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1178/tid=1191] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1191/stat : 1191 (java) T 1176 1178 1178 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869302412 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1178/tid=1192] ppid=1176 vsize=8540960 CPUtime=0.48 cores=0,2,4,6
/proc/1178/task/1192/stat : 1192 (java) T 1176 1178 1178 0 -1 4202560 2148 0 0 0 48 0 0 0 15 0 19 0 869302412 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1178/tid=1193] ppid=1176 vsize=8540960 CPUtime=0.79 cores=0,2,4,6
/proc/1178/task/1193/stat : 1193 (java) T 1176 1178 1178 0 -1 4202560 7316 0 0 0 79 0 0 0 15 0 19 0 869302412 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1178/tid=1194] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1194/stat : 1194 (java) T 1176 1178 1178 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869302412 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1178/tid=1195] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1195/stat : 1195 (java) T 1176 1178 1178 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869302412 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1178/tid=1217] ppid=1176 vsize=8540960 CPUtime=0 cores=0,2,4,6
/proc/1178/task/1217/stat : 1217 (java) T 1176 1178 1178 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869302480 8745943040 102163 33554432000 1073741824 1073778376 140736864062672 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1176/tid=1222] ppid=1170 vsize=310112 CPUtime=0 cores=0,2,4,6
/proc/1176/task/1222/stat : 1222 (python) S 1170 1170 32706 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 869307222 317554688 9905 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554946 18446604447663450816 0 0 -1 6 0 0 0
[pid=1223] ppid=1170 vsize=310124 CPUtime=0.28 cores=0,2,4,6
/proc/1223/stat : 1223 (python) S 1170 1170 32706 0 -1 4202560 1202 0 0 0 18 10 0 0 17 0 2 0 869307224 317566976 9900 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/1223/statm: 77531 9900 402 364 0 12415 0
[pid=1225] ppid=1223 vsize=33516 CPUtime=50.25 cores=0,2,4,6
/proc/1225/stat : 1225 (wbo1.4a) T 1223 1225 1225 0 -1 4202496 111010 0 0 0 4980 45 0 0 25 0 1 0 869307225 34320384 7874 33554432000 134512640 135751879 4289039776 18446744073709551615 134616470 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/1225/statm: 8379 7874 146 303 0 8074 0
[pid=1223/tid=1234] ppid=1170 vsize=310124 CPUtime=0 cores=0,2,4,6
/proc/1223/task/1234/stat : 1234 (python) S 1170 1170 32706 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869312251 317566976 9900 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554946 18446604451891639488 0 0 -1 2 0 0 0
[pid=1237] ppid=1170 vsize=320380 CPUtime=0.3 cores=0,2,4,6
/proc/1237/stat : 1237 (python) S 1170 1170 32706 0 -1 4202560 1193 0 0 0 15 15 0 0 16 0 2 0 869316527 328069120 9904 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1237/statm: 80095 9904 402 364 0 14976 0
[pid=1240] ppid=1237 vsize=159944 CPUtime=92.08 cores=0,2,4,6
/proc/1240/stat : 1240 (clasp-1.3.7-x86) T 1237 1240 1240 0 -1 4202496 40349 0 0 0 9202 6 0 0 25 0 1 0 869316527 163782656 39695 33554432000 134512640 136139019 4290423088 18446744073709551615 134632486 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/1240/statm: 39986 39695 187 398 0 39586 0
[pid=1237/tid=1292] ppid=1170 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/1237/task/1292/stat : 1292 (python) S 1170 1170 32706 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869325739 328069120 9904 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554946 18446604441095930304 0 0 -1 6 0 0 0
[pid=1296] ppid=1170 vsize=330636 CPUtime=0.15 cores=0,2,4,6
/proc/1296/stat : 1296 (python) S 1170 1170 32706 0 -1 4202560 1128 0 0 0 7 8 0 0 16 0 2 0 869325741 338571264 9902 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/1296/statm: 82659 9902 396 364 0 17537 0
[pid=1298] ppid=1296 vsize=363140 CPUtime=46.34 cores=0,2,4,6
/proc/1298/stat : 1298 (pbct-0.1.2-linu) T 1296 1298 1298 0 -1 4202496 92312 0 0 0 4582 52 0 0 25 0 1 0 869325742 371855360 88494 33554432000 134512640 136422188 4294166432 18446744073709551615 134860207 0 0 16781312 16387 18446744071562691360 0 0 17 2 0 0 0
/proc/1298/statm: 90785 88494 236 467 0 90316 0
[pid=1296/tid=1391] ppid=1170 vsize=330636 CPUtime=0 cores=0,2,4,6
/proc/1296/task/1391/stat : 1391 (python) S 1170 1170 32706 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869330376 338571264 9902 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554946 18446604452409495744 0 0 -1 2 0 0 0
[pid=1392] ppid=1170 vsize=340892 CPUtime=0 cores=0,2,4,6
/proc/1392/stat : 1392 (python) S 1170 1170 32706 0 -1 4202560 815 0 0 0 0 0 0 0 18 0 1 0 869330379 349073408 9857 33554432000 4194304 5683644 140736172076432 18446744073709551615 230809185862 0 0 16781312 33554946 4091554075743617024 0 0 17 2 0 0 0
/proc/1392/statm: 85223 9857 348 364 0 20098 0
[pid=1394] ppid=1392 vsize=8601748 CPUtime=1.06 cores=0,2,4,6
/proc/1394/stat : 1394 (java) S 1392 1394 1394 0 -1 4202496 35396 0 1 0 101 5 0 0 21 0 18 0 869330379 8808189952 33396 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/1394/statm: 2150437 33398 2206 9 0 2141178 0
[pid=1394/tid=1395] ppid=1392 vsize=8601748 CPUtime=0.58 cores=0,2,4,6
/proc/1394/task/1395/stat : 1395 (java) R 1392 1394 1394 0 -1 4202560 30281 0 1 0 54 4 0 0 18 0 18 0 869330380 8808189952 34233 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 46912505634550 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1394/tid=1396] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1396/stat : 1396 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869330380 8808189952 34236 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1394/tid=1397] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1397/stat : 1397 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330380 8808189952 34239 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 2 0 0 0
[pid=1394/tid=1398] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1398/stat : 1398 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330380 8808189952 34242 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 2 0 0 0
[pid=1394/tid=1399] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1399/stat : 1399 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330380 8808189952 34244 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 2 0 0 0
[pid=1394/tid=1400] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1400/stat : 1400 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330380 8808189952 34247 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 2 0 0 0
[pid=1394/tid=1401] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1401/stat : 1401 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330380 8808189952 34250 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 2 0 0 0
[pid=1394/tid=1402] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1402/stat : 1402 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330380 8808189952 34253 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 2 0 0 0
[pid=1394/tid=1403] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1403/stat : 1403 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330380 8808189952 34255 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 2 0 0 0
[pid=1394/tid=1404] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1404/stat : 1404 (java) S 1392 1394 1394 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869330381 8808189952 34258 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820982272 0 0 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1394/tid=1405] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1405/stat : 1405 (java) S 1392 1394 1394 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869330382 8808189952 34261 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1394/tid=1406] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1406/stat : 1406 (java) S 1392 1394 1394 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869330382 8808189952 34264 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1394/tid=1407] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1407/stat : 1407 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330384 8808189952 34266 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820989361 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1394/tid=1408] ppid=1392 vsize=8601748 CPUtime=0.23 cores=0,2,4,6
/proc/1394/task/1408/stat : 1408 (java) S 1392 1394 1394 0 -1 4202560 2642 0 0 0 23 0 0 0 18 0 18 0 869330384 8808189952 34269 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1394/tid=1409] ppid=1392 vsize=8601748 CPUtime=0.24 cores=0,2,4,6
/proc/1394/task/1409/stat : 1409 (java) S 1392 1394 1394 0 -1 4202560 1915 0 0 0 24 0 0 0 25 0 18 0 869330384 8808189952 34272 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 0 0 0 0
[pid=1394/tid=1410] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1410/stat : 1410 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330384 8808189952 34275 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820981657 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1394/tid=1411] ppid=1392 vsize=8601748 CPUtime=0 cores=0,2,4,6
/proc/1394/task/1411/stat : 1411 (java) S 1392 1394 1394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869330384 8808189952 34277 33554432000 1073741824 1073778376 140734263429472 18446744073709551615 230820982272 0 4 0 16800975 18446604443927582592 0 0 -1 6 0 0 0
[pid=1170/tid=1177] ppid=1168 vsize=351136 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1177/stat : 1177 (python) S 1168 1170 32706 0 -1 4202560 30 929 0 0 0 0 0 0 18 0 6 0 869302407 359563264 11392 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 0 0 0 0
[pid=1170/tid=1224] ppid=1168 vsize=351136 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (python) S 1168 1170 32706 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 869307224 359563264 11392 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 0 0 0 0
[pid=1170/tid=1238] ppid=1168 vsize=351136 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1238/stat : 1238 (python) S 1168 1170 32706 0 -1 4202560 26 929 0 0 0 0 0 0 18 0 6 0 869316527 359563264 11392 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 4 0 0 0
[pid=1170/tid=1297] ppid=1168 vsize=351136 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1297/stat : 1297 (python) S 1168 1170 32706 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 869325742 359563264 11392 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 0 0 0 0
[pid=1170/tid=1393] ppid=1168 vsize=351136 CPUtime=0 cores=0,2,4,6
/proc/1170/task/1393/stat : 1393 (python) S 1168 1170 32706 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 869330379 359563264 11392 33554432000 4194304 5683644 140736172076432 18446744073709551615 230820989361 0 0 16781312 33554434 18446604443835033792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.95
Current children cumulated vsize (KiB) 19662588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1170 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=563762
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=126980
# CPU time returned by wait4() is 1.69074
# while last known CPU time is 284.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 282.677
CPU time (s): 284.95
CPU user time (s): 283.07
CPU system time (s): 1.88
CPU usage (%): 100.804
Max. virtual memory (cumulated for all children) (KiB): 19662588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.56376
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21114
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= 1011
involuntary context switches= 49
runsolver used 1.48577 second user time and 2.84357 second system time
The end