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-3481902-1307576969/watcher-3481902-1307576969 -o /tmp/evaluation-result-3481902-1307576969/solver-3481902-1307576969 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481902-1307576969.opb -seed 1224744113 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 1.70 0.89 2/513 1099
/proc/meminfo: memFree=28911372/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/1099/stat : 1099 (python) S 1097 1099 32706 0 -1 4202496 727 0 0 0 0 0 0 0 20 0 1 0 869297477 15548416 617 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/1099/statm: 3796 617 322 364 0 283 0
[startup+0.0389039 s]
/proc/loadavg: 2.01 1.70 0.89 2/513 1099
/proc/meminfo: memFree=28911372/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=18888 CPUtime=0.01 cores=1,3,5,7
/proc/1099/stat : 1099 (python) S 1097 1099 32706 0 -1 4202496 1250 0 0 0 1 0 0 0 17 0 1 0 869297477 19341312 1105 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/1099/statm: 4722 1105 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.100886 s]
/proc/loadavg: 2.01 1.70 0.89 2/513 1099
/proc/meminfo: memFree=28911372/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/1099/stat : 1099 (python) R 1097 1099 32706 0 -1 4202496 2662 0 0 0 4 2 0 0 17 0 1 0 869297477 87674880 2382 33554432000 4194304 5683644 140737019463328 18446744073709551615 5212553 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1099/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300889 s]
/proc/loadavg: 2.01 1.70 0.89 2/513 1099
/proc/meminfo: memFree=28911372/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/1099/stat : 1099 (python) R 1097 1099 32706 0 -1 4202496 5357 932 1 0 11 6 0 0 16 0 1 0 869297477 126709760 3744 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809161733 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/1099/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700776 s]
/proc/loadavg: 2.01 1.70 0.89 2/513 1099
/proc/meminfo: memFree=28911372/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=285032 CPUtime=0.42 cores=1,3,5,7
/proc/1099/stat : 1099 (python) R 1097 1099 32706 0 -1 4202496 9422 932 1 0 30 12 0 0 15 0 1 0 869297477 291872768 7284 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809165568 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1099/statm: 71258 7322 1776 364 0 6151 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 285032
[startup+1.50061 s]
/proc/loadavg: 2.01 1.70 0.89 3/514 1104
/proc/meminfo: memFree=28874032/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=301072 CPUtime=1.23 cores=1,3,5,7
/proc/1099/stat : 1099 (python) R 1097 1099 32706 0 -1 4202496 16988 932 1 0 110 13 0 0 16 0 1 0 869297477 308297728 11616 33554432000 4194304 5683644 140737019463328 18446744073709551615 47382268734035 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/1099/statm: 75268 11616 1816 364 0 10161 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 301072
[startup+3.10031 s]
/proc/loadavg: 2.01 1.70 0.89 3/517 1108
/proc/meminfo: memFree=28857640/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=313052 CPUtime=1.76 cores=1,3,5,7
/proc/1099/stat : 1099 (python) S 1097 1099 32706 0 -1 4202496 17704 932 1 0 163 13 0 0 19 0 2 0 869297477 320565248 12102 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1099/statm: 78263 12102 1870 364 0 13150 0
[pid=1106] ppid=1099 vsize=302808 CPUtime=0 cores=1,3,5,7
/proc/1106/stat : 1106 (python) S 1099 1099 32706 0 -1 4202560 737 0 0 0 0 0 0 0 17 0 1 0 869297681 310075392 10579 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809185807 0 0 16781312 33554946 15123302267010121990 0 0 17 1 0 0 0
/proc/1106/statm: 75702 10579 351 364 0 10589 0
[pid=1108] ppid=1106 vsize=11384 CPUtime=1.05 cores=1,3,5,7
/proc/1108/stat : 1108 (wbo1.4a) R 1106 1108 1108 0 -1 4202496 7063 0 0 0 105 0 0 0 21 0 1 0 869297681 11657216 2347 33554432000 134512640 135751879 4291347280 18446744073709551615 135202590 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/1108/statm: 2846 2347 142 303 0 2541 0
[pid=1099/tid=1107] ppid=1097 vsize=313052 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1107/stat : 1107 (python) S 1097 1099 32706 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 869297681 320565248 12102 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 627244
[startup+6.30072 s]
/proc/loadavg: 2.01 1.71 0.89 3/517 1108
/proc/meminfo: memFree=28837820/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=313052 CPUtime=1.76 cores=1,3,5,7
/proc/1099/stat : 1099 (python) S 1097 1099 32706 0 -1 4202496 17704 932 1 0 163 13 0 0 19 0 2 0 869297477 320565248 12102 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1099/statm: 78263 12102 1870 364 0 13150 0
[pid=1106] ppid=1099 vsize=302808 CPUtime=0 cores=1,3,5,7
/proc/1106/stat : 1106 (python) S 1099 1099 32706 0 -1 4202560 890 0 0 0 0 0 0 0 15 0 1 0 869297681 310075392 10603 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809185807 0 0 16781312 33554946 732640782686585094 0 0 17 1 0 0 0
/proc/1106/statm: 75702 10603 375 364 0 10589 0
[pid=1108] ppid=1106 vsize=11368 CPUtime=4.25 cores=1,3,5,7
/proc/1108/stat : 1108 (wbo1.4a) R 1106 1108 1108 0 -1 4202496 20255 0 0 0 423 2 0 0 25 0 1 0 869297681 11640832 2350 33554432000 134512640 135751879 4291347280 18446744073709551615 135200202 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/1108/statm: 2842 2350 142 303 0 2537 0
[pid=1099/tid=1107] ppid=1097 vsize=313052 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1107/stat : 1107 (python) S 1097 1099 32706 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 869297681 320565248 12102 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 627228
[startup+12.7006 s]
/proc/loadavg: 2.01 1.71 0.90 3/517 1108
/proc/meminfo: memFree=28821636/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=313052 CPUtime=1.76 cores=1,3,5,7
/proc/1099/stat : 1099 (python) S 1097 1099 32706 0 -1 4202496 17704 932 1 0 163 13 0 0 19 0 2 0 869297477 320565248 12102 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1099/statm: 78263 12102 1870 364 0 13150 0
[pid=1106] ppid=1099 vsize=302808 CPUtime=0.02 cores=1,3,5,7
/proc/1106/stat : 1106 (python) S 1099 1099 32706 0 -1 4202560 894 0 0 0 1 1 0 0 15 0 1 0 869297681 310075392 10603 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809185807 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/1106/statm: 75702 10603 375 364 0 10589 0
[pid=1108] ppid=1106 vsize=12952 CPUtime=10.65 cores=1,3,5,7
/proc/1108/stat : 1108 (wbo1.4a) R 1106 1108 1108 0 -1 4202496 44001 0 0 0 1061 4 0 0 25 0 1 0 869297681 13262848 2770 33554432000 134512640 135751879 4291347280 18446744073709551615 135211014 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/1108/statm: 3238 2770 142 303 0 2933 0
[pid=1099/tid=1107] ppid=1097 vsize=313052 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1107/stat : 1107 (python) S 1097 1099 32706 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 869297681 320565248 12102 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 628812
[startup+25.5012 s]
/proc/loadavg: 2.00 1.73 0.91 3/517 1109
/proc/meminfo: memFree=28786412/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=313052 CPUtime=1.76 cores=1,3,5,7
/proc/1099/stat : 1099 (python) S 1097 1099 32706 0 -1 4202496 17704 932 1 0 163 13 0 0 19 0 2 0 869297477 320565248 12102 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1099/statm: 78263 12102 1870 364 0 13150 0
[pid=1106] ppid=1099 vsize=302808 CPUtime=0.07 cores=1,3,5,7
/proc/1106/stat : 1106 (python) S 1099 1099 32706 0 -1 4202560 904 0 0 0 3 4 0 0 15 0 1 0 869297681 310075392 10603 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809185807 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/1106/statm: 75702 10603 375 364 0 10589 0
[pid=1108] ppid=1106 vsize=18744 CPUtime=23.45 cores=1,3,5,7
/proc/1108/stat : 1108 (wbo1.4a) R 1106 1108 1108 0 -1 4202496 82627 0 0 0 2335 10 0 0 25 0 1 0 869297681 19193856 4179 33554432000 134512640 135751879 4291347280 18446744073709551615 135202521 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/1108/statm: 4686 4179 142 303 0 4381 0
[pid=1099/tid=1107] ppid=1097 vsize=313052 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1107/stat : 1107 (python) S 1097 1099 32706 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 869297681 320565248 12102 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 634604
[startup+51.1015 s]
/proc/loadavg: 2.24 1.80 0.96 4/549 1219
/proc/meminfo: memFree=28376924/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=323308 CPUtime=1.78 cores=1,3,5,7
/proc/1099/stat : 1099 (python) S 1097 1099 32706 0 -1 4202496 18615 932 1 0 165 13 0 0 20 0 3 0 869297477 331067392 12109 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1099/statm: 80827 12109 1873 364 0 15711 0
[pid=1106] ppid=1099 vsize=313052 CPUtime=0.24 cores=1,3,5,7
/proc/1106/stat : 1106 (python) S 1099 1099 32706 0 -1 4202560 1169 0 0 0 14 10 0 0 17 0 2 0 869297681 320565248 10644 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/1106/statm: 78263 10644 411 364 0 13150 0
[pid=1108] ppid=1106 vsize=27964 CPUtime=47.37 cores=1,3,5,7
/proc/1108/stat : 1108 (wbo1.4a) T 1106 1108 1108 0 -1 4202496 139598 0 0 0 4700 37 0 0 25 0 1 0 869297681 28635136 6506 33554432000 134512640 135751879 4291347280 18446744073709551615 134620559 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/1108/statm: 6991 6506 146 303 0 6686 0
[pid=1106/tid=1196] ppid=1099 vsize=313052 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1196/stat : 1196 (python) S 1099 1099 32706 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869302419 320565248 10644 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554946 18446604465627245440 0 0 -1 5 0 0 0
[pid=1197] ppid=1099 vsize=313064 CPUtime=0 cores=1,3,5,7
/proc/1197/stat : 1197 (python) S 1099 1099 32706 0 -1 4202560 788 0 0 0 0 0 0 0 15 0 1 0 869302421 320577536 10580 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809185862 0 0 16781312 33554946 234317425506516992 0 0 17 3 0 0 0
/proc/1197/statm: 78266 10580 348 364 0 13150 0
[pid=1199] ppid=1197 vsize=8538852 CPUtime=2.55 cores=1,3,5,7
/proc/1199/stat : 1199 (java) S 1197 1199 1199 0 -1 4202496 45335 0 1 0 248 7 0 0 22 0 19 0 869302421 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1199/statm: 2134713 41244 2242 9 0 2125454 0
[pid=1199/tid=1200] ppid=1197 vsize=8538852 CPUtime=1.63 cores=1,3,5,7
/proc/1199/task/1200/stat : 1200 (java) R 1197 1199 1199 0 -1 4202560 35263 0 1 0 158 5 0 0 25 0 19 0 869302422 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 46912505840343 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1199/tid=1201] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1201/stat : 1201 (java) S 1197 1199 1199 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869302422 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 3 0 0 0
[pid=1199/tid=1202] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1202/stat : 1202 (java) S 1197 1199 1199 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869302422 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 3 0 0 0
[pid=1199/tid=1203] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1203/stat : 1203 (java) S 1197 1199 1199 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869302422 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 3 0 0 0
[pid=1199/tid=1204] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1204/stat : 1204 (java) S 1197 1199 1199 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869302422 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 3 0 0 0
[pid=1199/tid=1205] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1205/stat : 1205 (java) S 1197 1199 1199 0 -1 4202560 220 0 0 0 0 0 0 0 19 0 19 0 869302422 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 3 0 0 0
[pid=1199/tid=1206] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1206/stat : 1206 (java) S 1197 1199 1199 0 -1 4202560 271 0 0 0 0 0 0 0 19 0 19 0 869302422 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 7 0 0 0
[pid=1199/tid=1207] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1207/stat : 1207 (java) S 1197 1199 1199 0 -1 4202560 371 0 0 0 0 0 0 0 19 0 19 0 869302422 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 5 0 0 0
[pid=1199/tid=1208] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1208/stat : 1208 (java) S 1197 1199 1199 0 -1 4202560 222 0 0 0 0 0 0 0 19 0 19 0 869302422 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 7 0 0 0
[pid=1199/tid=1209] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1209/stat : 1209 (java) S 1197 1199 1199 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 19 0 869302423 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820982272 0 0 0 16800975 18446604462144046912 0 0 -1 5 0 0 0
[pid=1199/tid=1210] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1210/stat : 1210 (java) S 1197 1199 1199 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869302424 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 5 0 0 0
[pid=1199/tid=1211] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1211/stat : 1211 (java) S 1197 1199 1199 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869302424 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 5 0 0 0
[pid=1199/tid=1212] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1212/stat : 1212 (java) S 1197 1199 1199 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869302426 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820989361 0 4 0 16800975 18446604462144046912 0 0 -1 5 0 0 0
[pid=1199/tid=1213] ppid=1197 vsize=8538852 CPUtime=0.44 cores=1,3,5,7
/proc/1199/task/1213/stat : 1213 (java) S 1197 1199 1199 0 -1 4202560 2991 0 0 0 44 0 0 0 23 0 19 0 869302426 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 7 0 0 0
[pid=1199/tid=1214] ppid=1197 vsize=8538852 CPUtime=0.44 cores=1,3,5,7
/proc/1199/task/1214/stat : 1214 (java) S 1197 1199 1199 0 -1 4202560 4533 0 0 0 44 0 0 0 15 0 19 0 869302426 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 3 0 0 0
[pid=1199/tid=1215] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1215/stat : 1215 (java) S 1197 1199 1199 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869302426 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446604462144046912 0 0 -1 5 0 0 0
[pid=1199/tid=1216] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1216/stat : 1216 (java) S 1197 1199 1199 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869302426 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820982272 0 4 0 16800975 18446604462144046912 0 0 -1 7 0 0 0
[pid=1199/tid=1219] ppid=1197 vsize=8538852 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1219/stat : 1219 (java) S 1197 1199 1199 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869302499 8743784448 41244 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820982272 0 4 0 16800975 18446604462144046912 0 0 -1 7 0 0 0
[pid=1099/tid=1107] ppid=1097 vsize=323308 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1107/stat : 1107 (python) S 1097 1099 32706 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 3 0 869297681 331067392 12109 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 1 0 0 0
[pid=1099/tid=1198] ppid=1097 vsize=323308 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=1199/tid=1216] ppid=1197 vsize=8536880 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1216/stat : 1216 (java) T 1197 1199 1199 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869302426 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1199/tid=1219] ppid=1197 vsize=8536880 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1219/stat : 1219 (java) T 1197 1199 1199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869302499 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1197/tid=1229] ppid=1099 vsize=313064 CPUtime=0 cores=1,3,5,7
/proc/1197/task/1229/stat : 1229 (python) S 1099 1099 32706 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869311489 320577536 10629 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554946 18446604468893689088 0 0 -1 3 0 0 0
[pid=1230] ppid=1099 vsize=323320 CPUtime=0.27 cores=1,3,5,7
/proc/1230/stat : 1230 (python) S 1099 1099 32706 0 -1 4202560 962 0 0 0 14 13 0 0 15 0 1 0 869311492 331079680 10608 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809185862 0 0 16781312 33554946 5623753486446373656 0 0 17 7 0 0 0
/proc/1230/statm: 80830 10608 372 364 0 15711 0
[pid=1232] ppid=1230 vsize=203128 CPUtime=82.14 cores=1,3,5,7
/proc/1232/stat : 1232 (clasp-1.3.7-x86) R 1230 1232 1232 0 -1 4202496 51164 0 0 0 8206 8 0 0 25 0 1 0 869311492 208003072 50479 33554432000 134512640 136139019 4292253328 18446744073709551615 134634749 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/1232/statm: 50782 50479 187 398 0 50382 0
[pid=1099/tid=1107] ppid=1097 vsize=333564 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1107/stat : 1107 (python) S 1097 1099 32706 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 4 0 869297681 341569536 12115 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 1 0 0 0
[pid=1099/tid=1198] ppid=1097 vsize=333564 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1198/stat : 1198 (python) S 1097 1099 32706 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 4 0 869302421 341569536 12115 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 7 0 0 0
[pid=1099/tid=1231] ppid=1097 vsize=333564 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1231/stat : 1231 (python) S 1097 1099 32706 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 4 0 869311492 341569536 12115 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 224.34
Current children cumulated vsize (KiB) 10050972
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+280.402 s]
/proc/loadavg: 2.00 1.90 1.18 4/586 1270
/proc/meminfo: memFree=26882272/32951124 swapFree=36471928/67111528
[pid=1099] ppid=1097 vsize=354076 CPUtime=1.86 cores=1,3,5,7
/proc/1099/stat : 1099 (python) S 1097 1099 32706 0 -1 4202496 21359 932 1 0 172 14 0 0 20 0 6 0 869297477 362573824 12127 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1099/statm: 88519 12127 1879 364 0 23394 0
[pid=1106] ppid=1099 vsize=313052 CPUtime=0.24 cores=1,3,5,7
/proc/1106/stat : 1106 (python) S 1099 1099 32706 0 -1 4202560 1169 0 0 0 14 10 0 0 17 0 2 0 869297681 320565248 10644 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/1106/statm: 78263 10644 411 364 0 13150 0
[pid=1108] ppid=1106 vsize=27964 CPUtime=47.37 cores=1,3,5,7
/proc/1108/stat : 1108 (wbo1.4a) T 1106 1108 1108 0 -1 4202496 139598 0 0 0 4700 37 0 0 25 0 1 0 869297681 28635136 6506 33554432000 134512640 135751879 4291347280 18446744073709551615 134620559 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/1108/statm: 6991 6506 146 303 0 6686 0
[pid=1106/tid=1196] ppid=1099 vsize=313052 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1196/stat : 1196 (python) S 1099 1099 32706 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869302419 320565248 10644 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554946 18446604465627245440 0 0 -1 5 0 0 0
[pid=1197] ppid=1099 vsize=313064 CPUtime=0.32 cores=1,3,5,7
/proc/1197/stat : 1197 (python) S 1099 1099 32706 0 -1 4202560 1113 0 0 0 16 16 0 0 17 0 2 0 869302421 320577536 10629 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/1197/statm: 78266 10629 396 364 0 13150 0
[pid=1199] ppid=1197 vsize=8536880 CPUtime=92.19 cores=1,3,5,7
/proc/1199/stat : 1199 (java) T 1197 1199 1199 0 -1 4202496 127848 0 1 0 9202 17 0 0 18 0 19 0 869302421 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1199/statm: 2134220 105313 2258 9 0 2124961 0
[pid=1199/tid=1200] ppid=1197 vsize=8536880 CPUtime=89.56 cores=1,3,5,7
/proc/1199/task/1200/stat : 1200 (java) T 1197 1199 1199 0 -1 4202560 35287 0 1 0 8951 5 0 0 25 0 19 0 869302422 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 46912505840886 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1199/tid=1201] ppid=1197 vsize=8536880 CPUtime=0.12 cores=1,3,5,7
/proc/1199/task/1201/stat : 1201 (java) T 1197 1199 1199 0 -1 4202560 13746 0 0 0 11 1 0 0 15 0 19 0 869302422 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1199/tid=1202] ppid=1197 vsize=8536880 CPUtime=0.07 cores=1,3,5,7
/proc/1199/task/1202/stat : 1202 (java) T 1197 1199 1199 0 -1 4202560 5892 0 0 0 7 0 0 0 15 0 19 0 869302422 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1199/tid=1203] ppid=1197 vsize=8536880 CPUtime=0.13 cores=1,3,5,7
/proc/1199/task/1203/stat : 1203 (java) T 1197 1199 1199 0 -1 4202560 12660 0 0 0 12 1 0 0 15 0 19 0 869302422 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1199/tid=1204] ppid=1197 vsize=8536880 CPUtime=0.07 cores=1,3,5,7
/proc/1199/task/1204/stat : 1204 (java) T 1197 1199 1199 0 -1 4202560 10362 0 0 0 6 1 0 0 15 0 19 0 869302422 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1199/tid=1205] ppid=1197 vsize=8536880 CPUtime=0.02 cores=1,3,5,7
/proc/1199/task/1205/stat : 1205 (java) T 1197 1199 1199 0 -1 4202560 239 0 0 0 2 0 0 0 15 0 19 0 869302422 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1199/tid=1206] ppid=1197 vsize=8536880 CPUtime=0.06 cores=1,3,5,7
/proc/1199/task/1206/stat : 1206 (java) T 1197 1199 1199 0 -1 4202560 7184 0 0 0 5 1 0 0 15 0 19 0 869302422 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1199/tid=1207] ppid=1197 vsize=8536880 CPUtime=0.12 cores=1,3,5,7
/proc/1199/task/1207/stat : 1207 (java) T 1197 1199 1199 0 -1 4202560 12877 0 0 0 11 1 0 0 15 0 19 0 869302422 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1199/tid=1208] ppid=1197 vsize=8536880 CPUtime=0.08 cores=1,3,5,7
/proc/1199/task/1208/stat : 1208 (java) T 1197 1199 1199 0 -1 4202560 12090 0 0 0 7 1 0 0 15 0 19 0 869302422 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1199/tid=1209] ppid=1197 vsize=8536880 CPUtime=0.79 cores=1,3,5,7
/proc/1199/task/1209/stat : 1209 (java) T 1197 1199 1199 0 -1 4202560 8552 0 0 0 79 0 0 0 15 0 19 0 869302423 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1199/tid=1210] ppid=1197 vsize=8536880 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1210/stat : 1210 (java) T 1197 1199 1199 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869302424 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1199/tid=1211] ppid=1197 vsize=8536880 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1211/stat : 1211 (java) T 1197 1199 1199 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869302424 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1199/tid=1212] ppid=1197 vsize=8536880 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1212/stat : 1212 (java) T 1197 1199 1199 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869302426 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1199/tid=1213] ppid=1197 vsize=8536880 CPUtime=0.52 cores=1,3,5,7
/proc/1199/task/1213/stat : 1213 (java) T 1197 1199 1199 0 -1 4202560 3010 0 0 0 52 0 0 0 15 0 19 0 869302426 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1199/tid=1214] ppid=1197 vsize=8536880 CPUtime=0.53 cores=1,3,5,7
/proc/1199/task/1214/stat : 1214 (java) T 1197 1199 1199 0 -1 4202560 4555 0 0 0 53 0 0 0 15 0 19 0 869302426 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1199/tid=1215] ppid=1197 vsize=8536880 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1215/stat : 1215 (java) T 1197 1199 1199 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869302426 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1199/tid=1216] ppid=1197 vsize=8536880 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1216/stat : 1216 (java) T 1197 1199 1199 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869302426 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1199/tid=1219] ppid=1197 vsize=8536880 CPUtime=0 cores=1,3,5,7
/proc/1199/task/1219/stat : 1219 (java) T 1197 1199 1199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869302499 8741765120 105313 33554432000 1073741824 1073778376 140737082243344 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1197/tid=1229] ppid=1099 vsize=313064 CPUtime=0 cores=1,3,5,7
/proc/1197/task/1229/stat : 1229 (python) S 1099 1099 32706 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869311489 320577536 10629 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554946 18446604468893689088 0 0 -1 3 0 0 0
[pid=1230] ppid=1099 vsize=323320 CPUtime=0.3 cores=1,3,5,7
/proc/1230/stat : 1230 (python) S 1099 1099 32706 0 -1 4202560 1126 0 0 0 15 15 0 0 17 0 2 0 869311492 331079680 10633 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1230/statm: 80830 10633 396 364 0 15711 0
[pid=1232] ppid=1230 vsize=203128 CPUtime=91.55 cores=1,3,5,7
/proc/1232/stat : 1232 (clasp-1.3.7-x86) T 1230 1232 1232 0 -1 4202496 51167 0 0 0 9147 8 0 0 25 0 1 0 869311492 208003072 50482 33554432000 134512640 136139019 4292253328 18446744073709551615 134876053 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/1232/statm: 50782 50482 187 398 0 50382 0
[pid=1230/tid=1242] ppid=1099 vsize=323320 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1242/stat : 1242 (python) S 1099 1099 32706 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869320648 331079680 10633 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554946 18446604454509199552 0 0 -1 7 0 0 0
[pid=1243] ppid=1099 vsize=333576 CPUtime=0.15 cores=1,3,5,7
/proc/1243/stat : 1243 (python) S 1099 1099 32706 0 -1 4202560 1124 0 0 0 8 7 0 0 16 0 2 0 869320651 341581824 10637 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/1243/statm: 83394 10637 396 364 0 18272 0
[pid=1245] ppid=1243 vsize=554360 CPUtime=48.28 cores=1,3,5,7
/proc/1245/stat : 1245 (pbct-0.1.2-linu) T 1243 1245 1245 0 -1 4202496 140573 0 0 0 4758 70 0 0 25 0 1 0 869320651 567664640 136413 33554432000 134512640 136422188 4294377664 18446744073709551615 134862222 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/1245/statm: 138590 136413 236 467 0 138121 0
[pid=1243/tid=1247] ppid=1099 vsize=333576 CPUtime=0 cores=1,3,5,7
/proc/1243/task/1247/stat : 1247 (python) S 1099 1099 32706 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869325481 341581824 10637 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554946 18446604465627242752 0 0 -1 5 0 0 0
[pid=1248] ppid=1099 vsize=343832 CPUtime=0 cores=1,3,5,7
/proc/1248/stat : 1248 (python) S 1099 1099 32706 0 -1 4202560 811 0 0 0 0 0 0 0 16 0 1 0 869325483 352083968 10592 33554432000 4194304 5683644 140737019463328 18446744073709551615 230809185862 0 0 16781312 33554946 4284559383355981824 0 0 17 7 0 0 0
/proc/1248/statm: 85958 10592 348 364 0 20833 0
[pid=1250] ppid=1248 vsize=8536836 CPUtime=0.59 cores=1,3,5,7
/proc/1250/stat : 1250 (java) S 1248 1250 1250 0 -1 4202496 10854 0 1 0 58 1 0 0 18 0 18 0 869325483 8741720064 9549 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1250/statm: 2134209 9550 2202 9 0 2124950 0
[pid=1250/tid=1251] ppid=1248 vsize=8536836 CPUtime=0.33 cores=1,3,5,7
/proc/1250/task/1251/stat : 1251 (java) R 1248 1250 1250 0 -1 4202560 7094 0 1 0 32 1 0 0 22 0 18 0 869325484 8741720064 9959 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1250/tid=1252] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1252/stat : 1252 (java) S 1248 1250 1250 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869325485 8741720064 9961 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1253] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1253/stat : 1253 (java) S 1248 1250 1250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 869325485 8741720064 9962 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1254] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1254/stat : 1254 (java) S 1248 1250 1250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869325485 8741720064 9963 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1256] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1256/stat : 1256 (java) S 1248 1250 1250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869325485 8741720064 9964 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1257] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1257/stat : 1257 (java) S 1248 1250 1250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869325485 8741720064 9966 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1259] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1259/stat : 1259 (java) S 1248 1250 1250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869325485 8741720064 9967 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1260] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1260/stat : 1260 (java) S 1248 1250 1250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869325485 8741720064 9968 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1261] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1261/stat : 1261 (java) S 1248 1250 1250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869325485 8741720064 9969 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1262] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1262/stat : 1262 (java) S 1248 1250 1250 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 869325486 8741720064 9970 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820982272 0 0 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1263] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1263/stat : 1263 (java) S 1248 1250 1250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 869325486 8741720064 9972 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1264] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1264/stat : 1264 (java) S 1248 1250 1250 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 869325487 8741720064 9973 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1265] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1265/stat : 1265 (java) S 1248 1250 1250 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869325489 8741720064 9974 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820989361 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1266] ppid=1248 vsize=8536836 CPUtime=0.1 cores=1,3,5,7
/proc/1250/task/1266/stat : 1266 (java) S 1248 1250 1250 0 -1 4202560 814 0 0 0 10 0 0 0 19 0 18 0 869325489 8741720064 9976 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1268] ppid=1248 vsize=8536836 CPUtime=0.16 cores=1,3,5,7
/proc/1250/task/1268/stat : 1268 (java) S 1248 1250 1250 0 -1 4202560 1962 0 0 0 16 0 0 0 20 0 18 0 869325489 8741720064 9977 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 5 0 0 0
[pid=1250/tid=1269] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1269/stat : 1269 (java) S 1248 1250 1250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869325489 8741720064 9978 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820981657 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1250/tid=1270] ppid=1248 vsize=8536836 CPUtime=0 cores=1,3,5,7
/proc/1250/task/1270/stat : 1270 (java) S 1248 1250 1250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869325489 8741720064 9979 33554432000 1073741824 1073778376 140735059132256 18446744073709551615 230820982272 0 4 0 16800975 18446604465864551360 0 0 -1 1 0 0 0
[pid=1099/tid=1107] ppid=1097 vsize=354076 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1107/stat : 1107 (python) S 1097 1099 32706 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 6 0 869297681 362573824 12127 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 1 0 0 0
[pid=1099/tid=1198] ppid=1097 vsize=354076 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1198/stat : 1198 (python) S 1097 1099 32706 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 6 0 869302421 362573824 12127 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 7 0 0 0
[pid=1099/tid=1231] ppid=1097 vsize=354076 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1231/stat : 1231 (python) S 1097 1099 32706 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 869311492 362573824 12127 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 5 0 0 0
[pid=1099/tid=1244] ppid=1097 vsize=354076 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1244/stat : 1244 (python) S 1097 1099 32706 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 869320651 362573824 12127 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 5 0 0 0
[pid=1099/tid=1249] ppid=1097 vsize=354076 CPUtime=0 cores=1,3,5,7
/proc/1099/task/1249/stat : 1249 (python) S 1097 1099 32706 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 6 0 869325483 362573824 12127 33554432000 4194304 5683644 140737019463328 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110090624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 282.85
Current children cumulated vsize (KiB) 19840088
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 1099 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=726737
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=150977
# CPU time returned by wait4() is 1.87771
# while last known CPU time is 282.85
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 280.477
CPU time (s): 282.85
CPU user time (s): 280.9
CPU system time (s): 1.95
CPU usage (%): 100.846
Max. virtual memory (cumulated for all children) (KiB): 19840088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.72674
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22293
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= 2868
involuntary context switches= 18
runsolver used 1.3298 second user time and 2.83557 second system time
The end