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-3482328-1307576541/watcher-3482328-1307576541 -o /tmp/evaluation-result-3482328-1307576541/solver-3482328-1307576541 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482328-1307576541.opb -seed 1143243355 -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: 1.98 0.95 0.36 2/546 1309
/proc/meminfo: memFree=28780916/32951124 swapFree=58212620/67111528
[pid=1309] ppid=1307 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/1309/stat : 1309 (python) R 1307 1309 758 0 -1 4202496 691 0 0 0 0 0 0 0 20 0 1 0 869252126 15548416 584 33554432000 4194304 5683644 140733408141424 18446744073709551615 228244045335 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1309/statm: 3796 587 320 364 0 283 0
[startup+0.047212 s]
/proc/loadavg: 1.98 0.95 0.36 2/546 1309
/proc/meminfo: memFree=28780916/32951124 swapFree=58212620/67111528
[pid=1309] ppid=1307 vsize=29784 CPUtime=0.02 cores=1,3,5,7
/proc/1309/stat : 1309 (python) R 1307 1309 758 0 -1 4202496 1393 0 0 0 2 0 0 0 20 0 1 0 869252126 30498816 1236 33554432000 4194304 5683644 140733408141424 18446744073709551615 4539424 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1309/statm: 7446 1237 443 364 0 816 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29784
[startup+0.10021 s]
/proc/loadavg: 1.98 0.95 0.36 2/546 1309
/proc/meminfo: memFree=28780916/32951124 swapFree=58212620/67111528
[pid=1309] ppid=1307 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/1309/stat : 1309 (python) D 1307 1309 758 0 -1 4202496 2593 0 0 0 4 1 0 0 17 0 1 0 869252126 87408640 2315 33554432000 4194304 5683644 140733408141424 18446744073709551615 228244354615 0 0 16781312 2 18446744071562154983 0 0 17 5 0 0 0
/proc/1309/statm: 21340 2315 714 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.300224 s]
/proc/loadavg: 1.98 0.95 0.36 2/546 1309
/proc/meminfo: memFree=28780916/32951124 swapFree=58212620/67111528
[pid=1309] ppid=1307 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/1309/stat : 1309 (python) R 1307 1309 758 0 -1 4202496 5358 930 1 0 11 4 0 0 17 0 1 0 869252126 126709760 3744 33554432000 4194304 5683644 140733408141424 18446744073709551615 228244041424 0 0 16781312 2 0 0 0 17 5 0 0 8
/proc/1309/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.70106 s]
/proc/loadavg: 1.98 0.95 0.36 2/546 1309
/proc/meminfo: memFree=28780916/32951124 swapFree=58212620/67111528
[pid=1309] ppid=1307 vsize=283356 CPUtime=0.41 cores=1,3,5,7
/proc/1309/stat : 1309 (python) S 1307 1309 758 0 -1 4202496 9435 930 1 0 30 11 0 0 17 0 1 0 869252126 290156544 7166 33554432000 4194304 5683644 140733408141424 18446744073709551615 228244368911 0 0 16781312 2 4294934791 0 0 17 5 0 0 8
/proc/1309/statm: 70839 7166 1777 364 0 5732 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 283356
[startup+1.50096 s]
/proc/loadavg: 1.98 0.95 0.36 3/547 1315
/proc/meminfo: memFree=28746064/32951124 swapFree=58212620/67111528
[pid=1309] ppid=1307 vsize=292272 CPUtime=1.38 cores=1,3,5,7
/proc/1309/stat : 1309 (python) R 1307 1309 758 0 -1 4202496 15217 1444 1 0 102 15 18 3 17 0 1 0 869252126 299286528 9452 33554432000 4194304 5683644 140733408141424 18446744073709551615 228244169109 0 0 16781312 33554434 0 0 0 17 5 0 0 8
/proc/1309/statm: 73068 9452 1858 364 0 7955 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 292272
[startup+3.10068 s]
/proc/loadavg: 1.98 0.95 0.36 5/567 1335
/proc/meminfo: memFree=28682548/32951124 swapFree=58212620/67111528
[pid=1309] ppid=1307 vsize=302516 CPUtime=1.38 cores=1,3,5,7
/proc/1309/stat : 1309 (python) S 1307 1309 758 0 -1 4202496 15442 1444 1 0 102 15 18 3 19 0 2 0 869252126 309776384 9463 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 8
/proc/1309/statm: 75629 9463 1865 364 0 10516 0
[pid=1316] ppid=1309 vsize=292272 CPUtime=0 cores=1,3,5,7
/proc/1316/stat : 1316 (python) S 1309 1309 758 0 -1 4202560 738 0 0 0 0 0 0 0 15 0 1 0 869252276 299286528 7912 33554432000 4194304 5683644 140733408141424 18446744073709551615 228244368911 0 0 16781312 33554946 2722912890892812552 0 0 17 5 0 0 0
/proc/1316/statm: 73068 7912 318 364 0 7955 0
[pid=1318] ppid=1316 vsize=8543360 CPUtime=3 cores=1,3,5,7
/proc/1318/stat : 1318 (java) S 1316 1318 1318 0 -1 4202496 35563 0 1 0 295 5 0 0 19 0 19 0 869252276 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1318/statm: 2135840 32611 2229 9 0 2126581 0
[pid=1318/tid=1319] ppid=1316 vsize=8543360 CPUtime=1.53 cores=1,3,5,7
/proc/1318/task/1319/stat : 1319 (java) R 1316 1318 1318 0 -1 4202560 24832 0 1 0 150 3 0 0 18 0 19 0 869252276 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 46912506035174 0 4 0 16800975 0 0 0 -1 1 0 0 4
[pid=1318/tid=1320] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1320/stat : 1320 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869252277 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1321] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1321/stat : 1321 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252277 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1322] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1322/stat : 1322 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252277 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1323] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1323/stat : 1323 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252277 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1324] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1324/stat : 1324 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252277 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1325] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1325/stat : 1325 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252277 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1326] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1326/stat : 1326 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252277 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1327] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1327/stat : 1327 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869252277 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 5 0 0 0
[pid=1318/tid=1328] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1328/stat : 1328 (java) S 1316 1318 1318 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 869252278 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256165376 0 0 0 16800975 18446604455235605568 0 0 -1 5 0 0 0
[pid=1318/tid=1329] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1329/stat : 1329 (java) S 1316 1318 1318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869252278 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1330] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1330/stat : 1330 (java) S 1316 1318 1318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869252278 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1331] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1331/stat : 1331 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252280 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256172465 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1332] ppid=1316 vsize=8543360 CPUtime=0.72 cores=1,3,5,7
/proc/1318/task/1332/stat : 1332 (java) S 1316 1318 1318 0 -1 4202560 5507 0 0 0 72 0 0 0 21 0 19 0 869252280 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 7 0 0 0
[pid=1318/tid=1333] ppid=1316 vsize=8543360 CPUtime=0.71 cores=1,3,5,7
/proc/1318/task/1333/stat : 1333 (java) S 1316 1318 1318 0 -1 4202560 3835 0 0 0 71 0 0 0 21 0 19 0 869252281 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 5 0 0 0
[pid=1318/tid=1334] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1334/stat : 1334 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252281 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1335] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1335/stat : 1335 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252281 8748400640 32611 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256165376 0 4 0 16800975 18446604455235605568 0 0 -1 5 0 0 0
[pid=1309/tid=1317] ppid=1307 vsize=302516 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1317/stat : 1317 (python) S 1307 1309 758 0 -1 4202560 27 1444 0 0 0 0 18 3 19 0 2 0 869252276 309776384 9463 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 9138148
[startup+6.30111 s]
/proc/loadavg: 1.98 0.96 0.37 3/569 1337
/proc/meminfo: memFree=28559772/32951124 swapFree=58212620/67111528
[pid=1309] ppid=1307 vsize=302516 CPUtime=1.38 cores=1,3,5,7
/proc/1309/stat : 1309 (python) S 1307 1309 758 0 -1 4202496 15442 1444 1 0 102 15 18 3 19 0 2 0 869252126 309776384 9463 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 8
/proc/1309/statm: 75629 9463 1865 364 0 10516 0
[pid=1316] ppid=1309 vsize=292272 CPUtime=0.02 cores=1,3,5,7
/proc/1316/stat : 1316 (python) S 1309 1309 758 0 -1 4202560 880 0 0 0 1 1 0 0 15 0 1 0 869252276 299286528 7936 33554432000 4194304 5683644 140733408141424 18446744073709551615 228244368911 0 0 16781312 33554946 2722903064007639304 0 0 17 5 0 0 0
/proc/1316/statm: 73068 7936 342 364 0 7955 0
[pid=1318] ppid=1316 vsize=8543360 CPUtime=6.38 cores=1,3,5,7
/proc/1318/stat : 1318 (java) S 1316 1318 1318 0 -1 4202496 51072 0 1 0 632 6 0 0 19 0 19 0 869252276 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1318/statm: 2135840 48109 2244 9 0 2126581 0
[pid=1318/tid=1319] ppid=1316 vsize=8543360 CPUtime=4.71 cores=1,3,5,7
/proc/1318/task/1319/stat : 1319 (java) R 1316 1318 1318 0 -1 4202560 35319 0 1 0 467 4 0 0 22 0 19 0 869252276 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 46912506024507 0 4 0 16800975 0 0 0 -1 1 0 0 4
[pid=1318/tid=1320] ppid=1316 vsize=8543360 CPUtime=0.02 cores=1,3,5,7
/proc/1318/task/1320/stat : 1320 (java) S 1316 1318 1318 0 -1 4202560 1790 0 0 0 2 0 0 0 18 0 19 0 869252277 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 3 0 0 0
[pid=1318/tid=1321] ppid=1316 vsize=8543360 CPUtime=0.02 cores=1,3,5,7
/proc/1318/task/1321/stat : 1321 (java) S 1316 1318 1318 0 -1 4202560 1381 0 0 0 2 0 0 0 18 0 19 0 869252277 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 5 0 0 0
[pid=1318/tid=1322] ppid=1316 vsize=8543360 CPUtime=0.01 cores=1,3,5,7
/proc/1318/task/1322/stat : 1322 (java) S 1316 1318 1318 0 -1 4202560 1731 0 0 0 1 0 0 0 18 0 19 0 869252277 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 7 0 0 0
[pid=1318/tid=1323] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1323/stat : 1323 (java) S 1316 1318 1318 0 -1 4202560 103 0 0 0 0 0 0 0 18 0 19 0 869252277 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 3 0 0 0
[pid=1318/tid=1324] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1324/stat : 1324 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252277 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 7 0 0 0
[pid=1318/tid=1325] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1325/stat : 1325 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252277 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1326] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1326/stat : 1326 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252277 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1327] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1327/stat : 1327 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252277 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 5 0 0 0
[pid=1318/tid=1328] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1328/stat : 1328 (java) S 1316 1318 1318 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869252278 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256165376 0 0 0 16800975 18446604455235605568 0 0 -1 5 0 0 0
[pid=1318/tid=1329] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1329/stat : 1329 (java) S 1316 1318 1318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869252278 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1330] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1330/stat : 1330 (java) S 1316 1318 1318 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869252278 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1331] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1331/stat : 1331 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252280 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256172465 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1332] ppid=1316 vsize=8543360 CPUtime=0.75 cores=1,3,5,7
/proc/1318/task/1332/stat : 1332 (java) S 1316 1318 1318 0 -1 4202560 5509 0 0 0 75 0 0 0 15 0 19 0 869252280 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 7 0 0 0
[pid=1318/tid=1333] ppid=1316 vsize=8543360 CPUtime=0.81 cores=1,3,5,7
/proc/1318/task/1333/stat : 1333 (java) S 1316 1318 1318 0 -1 4202560 3846 0 0 0 81 0 0 0 15 0 19 0 869252281 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 5 0 0 0
[pid=1318/tid=1334] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1334/stat : 1334 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252281 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 1 0 0 0
[pid=1318/tid=1335] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1335/stat : 1335 (java) S 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252281 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256165376 0 4 0 16800975 18446604455235605568 0 0 -1 3 0 0 0
[pid=1318/tid=1336] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1336/stat : 1336 (java) S 1316 1318 1318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869252346 8748400640 48109 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256165376 0 4 0 16800975 18446604455235605568 0 0 -1 7 0 0 0
[pid=1309/tid=1317] ppid=1307 vsize=302516 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1317/stat : 1317 (python) S 1307 1309 758 0 -1 4202560 27 1444 0 0 0 0 18 3 19 0 2 0 869252276 309776384 9463 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 9138148
[startup+12.701 s]
/proc/loadavg: 1.98 0.98 0.38 3/569 1337
/proc/meminfo: memFree=28513544/32951124 swapFree=58212620/67111528
[pid=1309] ppid=1307 vsize=302516 CPUtime=1.38 cores=1,3,5,7
/proc/1309/stat : 1309 (python) S 1307 1309 758 0 -1 4202496 15442 1444 1 0 102 15 18 3 19 0 2 0 869252126 309776384 9463 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 8
/proc/1309/statm: 75629 9463 1865 364 0 10516 0
[pid=1316] ppid=1309 vsize=292272 CPUtime=0.04 cores=1,3,5,7
/proc/1316/stat : 1316 (python) S 1309 1309 758 0 -1 4202560 980 0 0 0 2 2 0 0 15 0 1 0 869252276 299286528 7941 33554432000 4194304 5683644 140733408141424 18446744073709551615 228244368911 0 0 16781312 33554946 5623458817330129762 0 0 17 3 0 0 0
/proc/1316/statm: 73068 7941 347 364 0 7955 0
[pid=1318] ppid=1316 vsize=8543360 CPUtime=12.97 cores=1,3,5,7
/proc/1318/stat : 1318 (java) S 1316 1318 1318 0 -1 4202496 62865 0 1 0 1290 7 0 0 19 0 19 0 869252276 8748400640 59627 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1318/statm: 2135840 59627 2244 9 0 2126581 0
[pid=1318/tid=1319] ppid=1316 vsize=8543360 CPUtime=11.06 cores=1,3,5,7
/proc/1318/task/1319/stat : 1319 (java) R 1316 1318 1318 0 -1 4202560 35325 0 1 0 1102 4 0 0 25 0 19 0 869252276 8748400640 59627 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 46912506035298 0 4 0 16800975 0 0 0 -1 1 0 0 4
[pid=1318/tid=1320] ppid=1316 vsize=8543360 CPUtime=0.02 cores=1,3,5,7
/proc/1318/task/1320/stat : 1320 (java) S 1316 1318 1318 0 -1 4202560 1807 0 0 0 2 0 0 0 16 0 19 0 869252277 8748400640 59627 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 3 0 0 0
[pid=1318/tid=1321] ppid=1316 vsize=8543360 CPUtime=0.04 cores=1,3,5,7
/proc/1318/task/1321/stat : 1321 (java) S 1316 1318 1318 0 -1 4202560 4187 0 0 0 4 0 0 0 18 0 19 0 869252277 8748400640 59627 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 7 0 0 0
[pid=1318/tid=1322] ppid=1316 vsize=8543360 CPUtime=0.03 cores=1,3,5,7
/proc/1318/task/1322/stat : 1322 (java) S 1316 1318 1318 0 -1 4202560 3012 0 0 0 3 0 0 0 18 0 19 0 869252277 8748400640 59627 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 3 0 0 0
[pid=1318/tid=1323] ppid=1316 vsize=8543360 CPUtime=0.01 cores=1,3,5,7
/proc/1318/task/1323/stat : 1323 (java) S 1316 1318 1318 0 -1 4202560 1265 0 0 0 1 0 0 0 16 0 19 0 869252277 8748400640 59627 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446604455235605568 0 0 -1 3 0 0 0
[pid=1318/tid=1324] ppid=1316 vsize=8543360 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
/proc/1493/stat : 1493 (minion) T 1491 1493 1493 0 -1 4202496 120032 0 0 0 4871 16 0 0 25 0 1 0 869418631 283033600 61701 33554432000 134512640 165565024 4289012736 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 7 0 0 0
/proc/1493/statm: 69100 61701 359 7582 0 61515 0
[pid=1491/tid=1499] ppid=1309 vsize=364064 CPUtime=0 cores=1,3,5,7
/proc/1491/task/1499/stat : 1499 (python) S 1309 1309 758 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869423525 372801536 8019 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554946 18446604458504574848 0 0 -1 5 0 0 0
[pid=1309/tid=1317] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1317/stat : 1317 (python) S 1307 1309 758 0 -1 4202560 27 1444 0 0 0 0 18 3 19 0 9 0 869252276 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 7 0 0 0
[pid=1309/tid=1341] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1341/stat : 1341 (python) S 1307 1309 758 0 -1 4202560 49 1444 0 0 0 0 18 3 18 0 9 0 869256665 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 1 0 0 0
[pid=1309/tid=1346] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1346/stat : 1346 (python) S 1307 1309 758 0 -1 4202560 35 1444 0 0 0 0 18 3 15 0 9 0 869261530 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 7 0 0 0
[pid=1309/tid=1354] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1354/stat : 1354 (python) S 1307 1309 758 0 -1 4202560 36 1444 0 0 0 0 18 3 18 0 9 0 869266355 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 3 0 0 0
[pid=1309/tid=1368] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1368/stat : 1368 (python) S 1307 1309 758 0 -1 4202560 30 1444 0 0 0 0 18 3 20 0 9 0 869298901 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 3 0 0 0
[pid=1309/tid=1389] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1389/stat : 1389 (python) S 1307 1309 758 0 -1 4202560 30 1444 0 0 0 0 18 3 20 0 9 0 869349113 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 7 0 0 0
[pid=1309/tid=1450] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1450/stat : 1450 (python) S 1307 1309 758 0 -1 4202560 30 1444 0 0 0 0 18 3 20 0 9 0 869409159 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 7 0 0 0
[pid=1309/tid=1492] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1492/stat : 1492 (python) S 1307 1309 758 0 -1 4202560 28 1444 0 0 0 0 18 3 23 0 9 0 869418631 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1792.31
Current children cumulated vsize (KiB) 12941592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790 s]
/proc/loadavg: 2.02 2.07 1.79 3/622 1505
/proc/meminfo: memFree=25394532/32951124 swapFree=58212620/67111528
[pid=1309] ppid=1307 vsize=374308 CPUtime=3.76 cores=1,3,5,7
/proc/1309/stat : 1309 (python) S 1307 1309 758 0 -1 4202496 22756 1444 1 0 338 17 18 3 18 0 9 0 869252126 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 19
/proc/1309/statm: 93577 9514 1888 364 0 28443 0
[pid=1316] ppid=1309 vsize=302516 CPUtime=0.19 cores=1,3,5,7
/proc/1316/stat : 1316 (python) S 1309 1309 758 0 -1 4202560 1167 0 0 0 10 9 0 0 16 0 2 0 869252276 309776384 8009 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1316/statm: 75629 8009 410 364 0 10516 0
[pid=1318] ppid=1316 vsize=8543360 CPUtime=46.11 cores=1,3,5,7
/proc/1318/stat : 1318 (java) T 1316 1318 1318 0 -1 4202496 89388 0 1 0 4598 13 0 0 18 0 19 0 869252276 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1318/statm: 2135840 58781 2245 9 0 2126581 0
[pid=1318/tid=1319] ppid=1316 vsize=8543360 CPUtime=43.46 cores=1,3,5,7
/proc/1318/task/1319/stat : 1319 (java) T 1316 1318 1318 0 -1 4202560 40412 0 1 0 4341 5 0 0 25 0 19 0 869252276 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 46912506024497 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 4
[pid=1318/tid=1320] ppid=1316 vsize=8543360 CPUtime=0.09 cores=1,3,5,7
/proc/1318/task/1320/stat : 1320 (java) T 1316 1318 1318 0 -1 4202560 5338 0 0 0 9 0 0 0 15 0 19 0 869252277 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1318/tid=1321] ppid=1316 vsize=8543360 CPUtime=0.12 cores=1,3,5,7
/proc/1318/task/1321/stat : 1321 (java) T 1316 1318 1318 0 -1 4202560 9249 0 0 0 12 0 0 0 15 0 19 0 869252277 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1318/tid=1322] ppid=1316 vsize=8543360 CPUtime=0.11 cores=1,3,5,7
/proc/1318/task/1322/stat : 1322 (java) T 1316 1318 1318 0 -1 4202560 5031 0 0 0 11 0 0 0 15 0 19 0 869252277 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1318/tid=1323] ppid=1316 vsize=8543360 CPUtime=0.09 cores=1,3,5,7
/proc/1318/task/1323/stat : 1323 (java) T 1316 1318 1318 0 -1 4202560 3157 0 0 0 9 0 0 0 15 0 19 0 869252277 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1318/tid=1324] ppid=1316 vsize=8543360 CPUtime=0.1 cores=1,3,5,7
/proc/1318/task/1324/stat : 1324 (java) T 1316 1318 1318 0 -1 4202560 2506 0 0 0 10 0 0 0 15 0 19 0 869252277 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1318/tid=1325] ppid=1316 vsize=8543360 CPUtime=0.13 cores=1,3,5,7
/proc/1318/task/1325/stat : 1325 (java) T 1316 1318 1318 0 -1 4202560 6013 0 0 0 12 1 0 0 15 0 19 0 869252277 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1318/tid=1326] ppid=1316 vsize=8543360 CPUtime=0.07 cores=1,3,5,7
/proc/1318/task/1326/stat : 1326 (java) T 1316 1318 1318 0 -1 4202560 2366 0 0 0 7 0 0 0 15 0 19 0 869252277 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1318/tid=1327] ppid=1316 vsize=8543360 CPUtime=0.09 cores=1,3,5,7
/proc/1318/task/1327/stat : 1327 (java) T 1316 1318 1318 0 -1 4202560 4466 0 0 0 9 0 0 0 15 0 19 0 869252277 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1318/tid=1328] ppid=1316 vsize=8543360 CPUtime=0.01 cores=1,3,5,7
/proc/1318/task/1328/stat : 1328 (java) T 1316 1318 1318 0 -1 4202560 86 0 0 0 0 1 0 0 15 0 19 0 869252278 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256165376 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1318/tid=1329] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1329/stat : 1329 (java) T 1316 1318 1318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869252278 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1318/tid=1330] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1330/stat : 1330 (java) T 1316 1318 1318 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869252278 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1318/tid=1331] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1331/stat : 1331 (java) T 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252280 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256172465 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1318/tid=1332] ppid=1316 vsize=8543360 CPUtime=0.78 cores=1,3,5,7
/proc/1318/task/1332/stat : 1332 (java) T 1316 1318 1318 0 -1 4202560 5515 0 0 0 78 0 0 0 15 0 19 0 869252280 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1318/tid=1333] ppid=1316 vsize=8543360 CPUtime=0.93 cores=1,3,5,7
/proc/1318/task/1333/stat : 1333 (java) T 1316 1318 1318 0 -1 4202560 3866 0 0 0 93 0 0 0 15 0 19 0 869252281 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1318/tid=1334] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1334/stat : 1334 (java) T 1316 1318 1318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252281 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1318/tid=1335] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1335/stat : 1335 (java) T 1316 1318 1318 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869252281 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1318/tid=1336] ppid=1316 vsize=8543360 CPUtime=0 cores=1,3,5,7
/proc/1318/task/1336/stat : 1336 (java) T 1316 1318 1318 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869252346 8748400640 58781 33554432000 1073741824 1073778376 140734664346624 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1316/tid=1339] ppid=1309 vsize=302516 CPUtime=0 cores=1,3,5,7
/proc/1316/task/1339/stat : 1339 (python) S 1309 1309 758 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869256662 309776384 8009 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554946 18446604470670516608 0 0 -1 7 0 0 0
[pid=1340] ppid=1309 vsize=302528 CPUtime=4.92 cores=1,3,5,7
/proc/1340/stat : 1340 (python) S 1309 1309 758 0 -1 4202560 1193 0 0 0 231 261 0 0 15 0 2 0 869256665 309788672 7989 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1340/statm: 75632 7989 390 364 0 10516 0
[pid=1342] ppid=1340 vsize=282180 CPUtime=1057.98 cores=1,3,5,7
/proc/1342/stat : 1342 (scip-2.0.1.linu) T 1340 1342 1342 0 -1 4202496 74510 0 0 0 105321 477 0 0 25 0 1 0 869256665 288952320 67978 33554432000 4194304 13684479 140735300256496 18446744073709551615 11065522 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/1342/statm: 70545 67978 849 2317 0 68223 0
[pid=1340/tid=1344] ppid=1309 vsize=302528 CPUtime=0 cores=1,3,5,7
/proc/1340/task/1344/stat : 1344 (python) S 1309 1309 758 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869261527 309788672 7989 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554946 18446604470783338560 0 0 -1 7 0 0 0
[pid=1345] ppid=1309 vsize=312784 CPUtime=1.4 cores=1,3,5,7
/proc/1345/stat : 1345 (python) S 1309 1309 758 0 -1 4202560 1181 0 0 0 68 72 0 0 18 0 2 0 869261529 320290816 7993 33554432000 4194304 5683644 140733408141424 18446744073709551615 228244368966 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1345/statm: 78196 7993 390 364 0 13077 0
[pid=1347] ppid=1345 vsize=71008 CPUtime=307.04 cores=1,3,5,7
/proc/1347/stat : 1347 (clasp-1.3.7-x86) R 1345 1347 1347 0 -1 4202496 18088 0 0 0 30703 1 0 0 25 0 1 0 869261530 72712192 17318 33554432000 134512640 136139019 4288578224 18446744073709551615 134629933 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/1347/statm: 17752 17318 183 398 0 17352 0
[pid=1345/tid=1352] ppid=1309 vsize=312784 CPUtime=0 cores=1,3,5,7
/proc/1345/task/1352/stat : 1352 (python) S 1309 1309 758 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 869266353 320290816 7993 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554946 18446604455339136128 0 0 -1 7 0 0 0
[pid=1353] ppid=1309 vsize=323040 CPUtime=0.66 cores=1,3,5,7
/proc/1353/stat : 1353 (python) S 1309 1309 758 0 -1 4202560 1197 0 0 0 32 34 0 0 15 0 2 0 869266355 330792960 7997 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1353/statm: 80760 7997 390 364 0 15638 0
[pid=1355] ppid=1353 vsize=248840 CPUtime=142.5 cores=1,3,5,7
/proc/1355/stat : 1355 (scip-2.0.1.linu) T 1353 1355 1355 0 -1 4202496 85969 0 0 0 14187 63 0 0 25 0 1 0 869266356 254812160 58980 33554432000 4194304 15243407 140737276974992 18446744073709551615 6958501 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/1355/statm: 62210 58980 964 2698 0 59505 0
[pid=1353/tid=1359] ppid=1309 vsize=323040 CPUtime=0 cores=1,3,5,7
/proc/1353/task/1359/stat : 1359 (python) S 1309 1309 758 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 2 0 869271225 330792960 7997 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554946 18446604462422702016 0 0 -1 1 0 0 0
[pid=1367] ppid=1309 vsize=333296 CPUtime=0.41 cores=1,3,5,7
/proc/1367/stat : 1367 (python) S 1309 1309 758 0 -1 4202560 1180 0 0 0 20 21 0 0 17 0 2 0 869298901 341295104 8001 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/1367/statm: 83324 8001 390 364 0 18199 0
[pid=1369] ppid=1367 vsize=336332 CPUtime=92.25 cores=1,3,5,7
/proc/1369/stat : 1369 (bsolo_pb10) T 1367 1369 1369 0 -1 4202496 82823 0 0 0 9203 22 0 0 25 0 1 0 869298901 344403968 81594 33554432000 134512640 137138936 4292936832 18446744073709551615 134542513 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/1369/statm: 84083 81594 190 642 0 83439 0
[pid=1367/tid=1373] ppid=1309 vsize=333296 CPUtime=0 cores=1,3,5,7
/proc/1367/task/1373/stat : 1373 (python) S 1309 1309 758 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 869308128 341295104 8001 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554946 18446604463052158784 0 0 -1 5 0 0 0
[pid=1388] ppid=1309 vsize=343552 CPUtime=0.21 cores=1,3,5,7
/proc/1388/stat : 1388 (python) S 1309 1309 758 0 -1 4202560 1154 0 0 0 11 10 0 0 17 0 2 0 869349113 351797248 8005 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1388/statm: 85888 8005 390 364 0 20760 0
[pid=1390] ppid=1388 vsize=66128 CPUtime=47.04 cores=1,3,5,7
/proc/1390/stat : 1390 (bsolo_pb10) T 1388 1390 1390 0 -1 4202496 15263 0 0 0 4691 13 0 0 25 0 1 0 869349113 67715072 14038 33554432000 134512640 137138936 4289818704 18446744073709551615 134542480 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/1390/statm: 16532 14038 192 642 0 15888 0
[pid=1388/tid=1393] ppid=1309 vsize=343552 CPUtime=0 cores=1,3,5,7
/proc/1388/task/1393/stat : 1393 (python) S 1309 1309 758 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869353827 351797248 8005 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554946 18446604460042647680 0 0 -1 7 0 0 0
[pid=1449] ppid=1309 vsize=353808 CPUtime=0.22 cores=1,3,5,7
/proc/1449/stat : 1449 (python) S 1309 1309 758 0 -1 4202560 1175 0 0 0 11 11 0 0 17 0 2 0 869409159 362299392 8009 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1449/statm: 88452 8009 390 364 0 23321 0
[pid=1451] ppid=1449 vsize=107448 CPUtime=46.24 cores=1,3,5,7
/proc/1451/stat : 1451 (wbo1.4a) T 1449 1451 1451 0 -1 4202496 26944 0 0 0 4604 20 0 0 25 0 1 0 869409159 110026752 26304 33554432000 134512640 135751879 4290205488 18446744073709551615 134518799 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/1451/statm: 26862 26304 143 303 0 26557 0
[pid=1449/tid=1454] ppid=1309 vsize=353808 CPUtime=0 cores=1,3,5,7
/proc/1449/task/1454/stat : 1454 (python) S 1309 1309 758 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 869413784 362299392 8009 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554946 18446604470783339456 0 0 -1 7 0 0 0
[pid=1491] ppid=1309 vsize=364064 CPUtime=0.23 cores=1,3,5,7
/proc/1491/stat : 1491 (python) S 1309 1309 758 0 -1 4202560 1211 0 0 0 9 14 0 0 17 0 2 0 869418631 372801536 8019 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/1491/statm: 91016 8019 396 364 0 25882 0
[pid=1493] ppid=1491 vsize=276400 CPUtime=48.87 cores=1,3,5,7
/proc/1493/stat : 1493 (minion) T 1491 1493 1493 0 -1 4202496 120032 0 0 0 4871 16 0 0 25 0 1 0 869418631 283033600 61701 33554432000 134512640 165565024 4289012736 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 7 0 0 0
/proc/1493/statm: 69100 61701 359 7582 0 61515 0
[pid=1491/tid=1499] ppid=1309 vsize=364064 CPUtime=0 cores=1,3,5,7
/proc/1491/task/1499/stat : 1499 (python) S 1309 1309 758 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869423525 372801536 8019 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554946 18446604458504574848 0 0 -1 5 0 0 0
[pid=1309/tid=1317] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1317/stat : 1317 (python) S 1307 1309 758 0 -1 4202560 27 1444 0 0 0 0 18 3 19 0 9 0 869252276 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 7 0 0 0
[pid=1309/tid=1341] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1341/stat : 1341 (python) S 1307 1309 758 0 -1 4202560 49 1444 0 0 0 0 18 3 18 0 9 0 869256665 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 1 0 0 0
[pid=1309/tid=1346] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1346/stat : 1346 (python) S 1307 1309 758 0 -1 4202560 35 1444 0 0 0 0 18 3 15 0 9 0 869261530 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 7 0 0 0
[pid=1309/tid=1354] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1354/stat : 1354 (python) S 1307 1309 758 0 -1 4202560 36 1444 0 0 0 0 18 3 18 0 9 0 869266355 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 3 0 0 0
[pid=1309/tid=1368] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1368/stat : 1368 (python) S 1307 1309 758 0 -1 4202560 30 1444 0 0 0 0 18 3 20 0 9 0 869298901 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 3 0 0 0
[pid=1309/tid=1389] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1389/stat : 1389 (python) S 1307 1309 758 0 -1 4202560 30 1444 0 0 0 0 18 3 20 0 9 0 869349113 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 7 0 0 0
[pid=1309/tid=1450] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1450/stat : 1450 (python) S 1307 1309 758 0 -1 4202560 30 1444 0 0 0 0 18 3 20 0 9 0 869409159 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 7 0 0 0
[pid=1309/tid=1492] ppid=1307 vsize=374308 CPUtime=0.21 cores=1,3,5,7
/proc/1309/task/1492/stat : 1492 (python) S 1307 1309 758 0 -1 4202560 28 1444 0 0 0 0 18 3 23 0 9 0 869418631 383291392 9514 33554432000 4194304 5683644 140733408141424 18446744073709551615 228256172465 0 0 16781312 33554434 18446604457588719936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 12941592
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 1309 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=565457
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=215967
# CPU time returned by wait4() is 3.78142
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.08
CPU time (s): 1800.03
CPU user time (s): 1789.26
CPU system time (s): 10.77
CPU usage (%): 100.556
Max. virtual memory (cumulated for all children) (KiB): 12941624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.56546
system time used= 0.215967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24205
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= 9345
involuntary context switches= 60
runsolver used 15.1057 second user time and 33.169 second system time
The end