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-3482357-1307576597/watcher-3482357-1307576597 -o /tmp/evaluation-result-3482357-1307576597/solver-3482357-1307576597 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482357-1307576597.opb -seed 1967492517 -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: 4.78 2.45 0.98 2/441 4015
/proc/meminfo: memFree=18279308/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/4015/stat : 4015 (python) R 4013 4015 3617 0 -1 4202496 734 0 0 0 0 0 0 0 20 0 1 0 869259427 15548416 622 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664806400 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/4015/statm: 3796 622 322 364 0 283 0
[startup+0.037051 s]
/proc/loadavg: 4.78 2.45 0.98 2/441 4015
/proc/meminfo: memFree=18279308/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=18888 CPUtime=0.01 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 1236 0 0 0 1 0 0 0 20 0 1 0 869259427 19341312 1092 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/4015/statm: 4722 1092 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.101348 s]
/proc/loadavg: 4.78 2.45 0.98 2/441 4015
/proc/meminfo: memFree=18279308/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=85620 CPUtime=0.07 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 2664 0 0 0 5 2 0 0 20 0 1 0 869259427 87674880 2382 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/4015/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85620
[startup+0.301048 s]
/proc/loadavg: 4.78 2.45 0.98 2/441 4015
/proc/meminfo: memFree=18279308/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 5358 932 1 0 11 6 0 0 17 0 1 0 869259427 126713856 3745 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664804357 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/4015/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700933 s]
/proc/loadavg: 4.78 2.45 0.98 2/441 4015
/proc/meminfo: memFree=18279308/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=282408 CPUtime=0.42 cores=1,3,5,7
/proc/4015/stat : 4015 (python) R 4013 4015 3617 0 -1 4202496 9202 932 1 0 29 13 0 0 16 0 1 0 869259427 289185792 6938 33554432000 4194304 5683644 140733409882160 18446744073709551615 4643471 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/4015/statm: 70602 6938 1777 364 0 5495 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282408
[startup+1.50083 s]
/proc/loadavg: 4.78 2.45 0.98 3/445 4024
/proc/meminfo: memFree=18252988/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 10738 1330 1 0 34 13 1 0 19 0 2 0 869259427 300421120 7211 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4015/statm: 73345 7211 1871 364 0 8232 0
[pid=4022] ppid=4015 vsize=283136 CPUtime=0 cores=1,3,5,7
/proc/4022/stat : 4022 (python) S 4015 4015 3617 0 -1 4202560 662 0 0 0 0 0 0 0 18 0 1 0 869259504 289931264 5652 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664828431 0 0 16781312 33554946 17663756181140635910 0 0 17 7 0 0 0
/proc/4022/statm: 70784 5652 316 364 0 5671 0
[pid=4024] ppid=4022 vsize=2388 CPUtime=0.73 cores=1,3,5,7
/proc/4024/stat : 4024 (clasp-1.3.7-x86) R 4022 4024 4024 0 -1 4202496 617 0 0 0 73 0 0 0 21 0 1 0 869259504 2445312 357 33554432000 134512640 136139019 4287010688 18446744073709551615 134634856 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4024/statm: 597 357 183 398 0 197 0
[pid=4015/tid=4023] ppid=4013 vsize=293380 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (python) S 4013 4015 3617 0 -1 4202560 26 1330 0 0 0 0 1 0 19 0 2 0 869259504 300421120 7211 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 578904
[startup+3.10056 s]
/proc/loadavg: 4.78 2.45 0.98 3/445 4024
/proc/meminfo: memFree=18251872/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 10738 1330 1 0 34 13 1 0 19 0 2 0 869259427 300421120 7211 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4015/statm: 73345 7211 1871 364 0 8232 0
[pid=4022] ppid=4015 vsize=283136 CPUtime=0 cores=1,3,5,7
/proc/4022/stat : 4022 (python) S 4015 4015 3617 0 -1 4202560 685 0 0 0 0 0 0 0 18 0 1 0 869259504 289931264 5655 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664828431 0 0 16781312 33554946 1912131985778639110 0 0 17 7 0 0 0
/proc/4022/statm: 70784 5655 319 364 0 5671 0
[pid=4024] ppid=4022 vsize=2520 CPUtime=2.33 cores=1,3,5,7
/proc/4024/stat : 4024 (clasp-1.3.7-x86) R 4022 4024 4024 0 -1 4202496 642 0 0 0 233 0 0 0 25 0 1 0 869259504 2580480 382 33554432000 134512640 136139019 4287010688 18446744073709551615 134598496 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4024/statm: 630 382 183 398 0 230 0
[pid=4015/tid=4023] ppid=4013 vsize=293380 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (python) S 4013 4015 3617 0 -1 4202560 26 1330 0 0 0 0 1 0 19 0 2 0 869259504 300421120 7211 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 579036
[startup+6.301 s]
/proc/loadavg: 4.56 2.44 0.98 4/445 4024
/proc/meminfo: memFree=18251220/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 10738 1330 1 0 34 13 1 0 19 0 2 0 869259427 300421120 7211 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4015/statm: 73345 7211 1871 364 0 8232 0
[pid=4022] ppid=4015 vsize=283136 CPUtime=0.01 cores=1,3,5,7
/proc/4022/stat : 4022 (python) S 4015 4015 3617 0 -1 4202560 851 0 0 0 1 0 0 0 18 0 1 0 869259504 289931264 5678 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664828431 0 0 16781312 33554946 1912145592235032838 0 0 17 7 0 0 0
/proc/4022/statm: 70784 5678 342 364 0 5671 0
[pid=4024] ppid=4022 vsize=2652 CPUtime=5.17 cores=1,3,5,7
/proc/4024/stat : 4024 (clasp-1.3.7-x86) R 4022 4024 4024 0 -1 4202496 666 0 0 0 513 4 0 0 25 0 1 0 869259504 2715648 406 33554432000 134512640 136139019 4287010688 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/4024/statm: 663 406 183 398 0 263 0
[pid=4015/tid=4023] ppid=4013 vsize=293380 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (python) S 4013 4015 3617 0 -1 4202560 26 1330 0 0 0 0 1 0 19 0 2 0 869259504 300421120 7211 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 579168
[startup+22.2672 s]
/proc/loadavg: 4.56 2.44 0.98 4/445 4024
/proc/meminfo: memFree=18251220/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 10738 1330 1 0 34 13 1 0 19 0 2 0 869259427 300421120 7211 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4015/statm: 73345 7211 1871 364 0 8232 0
[pid=4022] ppid=4015 vsize=283136 CPUtime=0.06 cores=1,3,5,7
/proc/4022/stat : 4022 (python) S 4015 4015 3617 0 -1 4202560 859 0 0 0 3 3 0 0 18 0 1 0 869259504 289931264 5679 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664828431 0 0 16781312 33554946 5623606151888251749 0 0 17 5 0 0 0
/proc/4022/statm: 70784 5679 343 364 0 5671 0
[pid=4024] ppid=4022 vsize=2960 CPUtime=21.14 cores=1,3,5,7
/proc/4024/stat : 4024 (clasp-1.3.7-x86) R 4022 4024 4024 0 -1 4202496 740 0 0 0 2110 4 0 0 25 0 1 0 869259504 3031040 480 33554432000 134512640 136139019 4287010688 18446744073709551615 134831589 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/4024/statm: 740 480 183 398 0 340 0
[pid=4015/tid=4023] ppid=4013 vsize=293380 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (python) S 4013 4015 3617 0 -1 4202560 26 1330 0 0 0 0 1 0 19 0 2 0 869259504 300421120 7211 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.68
Current children cumulated vsize (KiB) 579476
[startup+25.5007 s]
/proc/loadavg: 4.68 2.61 1.07 3/445 4025
/proc/meminfo: memFree=18250260/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 10738 1330 1 0 34 13 1 0 19 0 2 0 869259427 300421120 7211 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4015/statm: 73345 7211 1871 364 0 8232 0
[pid=4022] ppid=4015 vsize=283136 CPUtime=0.08 cores=1,3,5,7
/proc/4022/stat : 4022 (python) S 4015 4015 3617 0 -1 4202560 862 0 0 0 4 4 0 0 18 0 1 0 869259504 289931264 5679 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664828431 0 0 16781312 33554946 5623606151888251749 0 0 17 5 0 0 0
/proc/4022/statm: 70784 5679 343 364 0 5671 0
[pid=4024] ppid=4022 vsize=2960 CPUtime=24.37 cores=1,3,5,7
/proc/4024/stat : 4024 (clasp-1.3.7-x86) R 4022 4024 4024 0 -1 4202496 748 0 0 0 2433 4 0 0 25 0 1 0 869259504 3031040 488 33554432000 134512640 136139019 4287010688 18446744073709551615 134621275 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/4024/statm: 740 488 183 398 0 340 0
[pid=4015/tid=4023] ppid=4013 vsize=293380 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (python) S 4013 4015 3617 0 -1 4202560 26 1330 0 0 0 0 1 0 19 0 2 0 869259504 300421120 7211 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 579476
[startup+51.1012 s]
/proc/loadavg: 4.06 2.63 1.12 3/453 4033
/proc/meminfo: memFree=18166228/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=304136 CPUtime=0.51 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 11616 1330 1 0 37 13 1 0 20 0 3 0 869259427 311435264 7333 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 76034 7333 1874 364 0 10918 0
[pid=4022] ppid=4015 vsize=293380 CPUtime=0.16 cores=1,3,5,7
/proc/4022/stat : 4022 (python) S 4015 4015 3617 0 -1 4202560 1142 0 0 0 8 8 0 0 19 0 2 0 869259504 300421120 5752 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4022/statm: 73345 5752 411 364 0 8232 0
[pid=4024] ppid=4022 vsize=3200 CPUtime=47.8 cores=1,3,5,7
/proc/4024/stat : 4024 (clasp-1.3.7-x86) T 4022 4024 4024 0 -1 4202496 802 0 0 0 4776 4 0 0 25 0 1 0 869259504 3276800 542 33554432000 134512640 136139019 4287010688 18446744073709551615 134831812 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/4024/statm: 800 542 183 398 0 400 0
[pid=4022/tid=4030] ppid=4015 vsize=293380 CPUtime=0 cores=1,3,5,7
/proc/4022/task/4030/stat : 4030 (python) S 4015 4015 3617 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869264320 300421120 5752 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604465210331264 0 0 -1 3 0 0 0
[pid=4031] ppid=4015 vsize=293892 CPUtime=0 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4015 4015 3617 0 -1 4202560 753 0 0 0 0 0 0 0 15 0 1 0 869264323 300945408 5775 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664828486 0 0 16781312 33554946 2122475161536954368 0 0 17 7 0 0 0
/proc/4031/statm: 73473 5775 320 364 0 8357 0
[pid=4033] ppid=4031 vsize=38972 CPUtime=2.14 cores=1,3,5,7
/proc/4033/stat : 4033 (scip-2.0.1.linu) R 4031 4033 4033 0 -1 4202496 10512 0 0 0 197 17 0 0 21 0 1 0 869264323 39907328 7638 33554432000 4194304 13684479 140734751992304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4033/statm: 9743 7638 837 2317 0 7421 0
[pid=4015/tid=4023] ppid=4013 vsize=304136 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (python) S 4013 4015 3617 0 -1 4202560 26 1330 0 0 0 0 1 0 19 0 3 0 869259504 311435264 7333 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 1 0 0 0
[pid=4015/tid=4032] ppid=4013 vsize=304136 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4032/stat : 4032 (python) S 4013 4015 3617 0 -1 4202560 25 1330 0 0 0 0 1 0 20 0 3 0 869264323 311435264 7333 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 933580
[startup+102.301 s]
/proc/loadavg: 2.89 2.53 1.16 3/461 4043
/proc/meminfo: memFree=17941488/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=314156 CPUtime=0.54 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 12515 1330 1 0 39 14 1 0 20 0 4 0 869259427 321695744 7266 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 78539 7266 1876 364 0 13420 0
[pid=4022] ppid=4015 vsize=293380 CPUtime=0.16 cores=1,3,5,7
/proc/4022/stat : 4022 (python) S 4015 4015 3617 0 -1 4202560 1142 0 0 0 8 8 0 0 19 0 2 0 869259504 300421120 5752 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4022/statm: 73345 5752 411 364 0 8232 0
[pid=4024] ppid=4022 vsize=3200 CPUtime=47.8 cores=1,3,5,7
/proc/4024/stat : 4024 (clasp-1.3.7-x86) T 4022 4024 4024 0 -1 4202496 802 0 0 0 4776 4 0 0 25 0 1 0 869259504 3276800 542 33554432000 134512640 136139019 4287010688 18446744073709551615 134831812 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/4024/statm: 800 542 183 398 0 400 0
[pid=4022/tid=4030] ppid=4015 vsize=293380 CPUtime=0 cores=1,3,5,7
/proc/4022/task/4030/stat : 4030 (python) S 4015 4015 3617 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869264320 300421120 5752 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604465210331264 0 0 -1 3 0 0 0
[pid=4031] ppid=4015 vsize=293892 CPUtime=0.2 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4015 4015 3617 0 -1 4202560 1125 0 0 0 9 11 0 0 16 0 2 0 869264323 300945408 5847 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4031/statm: 73473 5847 391 364 0 8357 0
[pid=4033] ppid=4031 vsize=51024 CPUtime=48.28 cores=1,3,5,7
/proc/4033/stat : 4033 (scip-2.0.1.linu) T 4031 4033 4033 0 -1 4202496 13231 0 0 0 4564 264 0 0 18 0 1 0 869264323 52248576 10357 33554432000 4194304 13684479 140734751992304 18446744073709551615 7390852 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/4033/statm: 12756 10357 842 2317 0 10434 0
[pid=4031/tid=4040] ppid=4015 vsize=293892 CPUtime=0 cores=1,3,5,7
/proc/4031/task/4040/stat : 4040 (python) S 4015 4015 3617 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869269155 300945408 5847 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604464653677888 0 0 -1 7 0 0 0
[pid=4041] ppid=4015 vsize=303912 CPUtime=0.01 cores=1,3,5,7
/proc/4041/stat : 4041 (python) S 4015 4015 3617 0 -1 4202560 904 0 0 0 0 1 0 0 15 0 1 0 869269158 311205888 5730 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664828486 0 0 16781312 33554946 177874258087641088 0 0 17 3 0 0 0
################
# More data... #
################
[pid=4015/tid=4401] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4401/stat : 4401 (python) S 4013 4015 3617 0 -1 4202560 27 1330 0 0 0 0 1 0 20 0 11 0 869365319 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 3 0 0 0
[pid=4015/tid=4438] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4438/stat : 4438 (python) S 4013 4015 3617 0 -1 4202560 25 1330 0 0 0 0 1 0 20 0 11 0 869432228 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 3 0 0 0
[pid=4015/tid=4443] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4443/stat : 4443 (python) S 4013 4015 3617 0 -1 4202560 27 1330 0 0 0 0 1 0 20 0 11 0 869437056 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 12651908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.1 s]
/proc/loadavg: 2.10 2.07 1.94 4/542 4444
/proc/meminfo: memFree=16836580/32951132 swapFree=65929880/67111528
[pid=4015] ppid=4013 vsize=386548 CPUtime=0.88 cores=1,3,5,7
/proc/4015/stat : 4015 (python) S 4013 4015 3617 0 -1 4202496 19385 1330 1 0 72 15 1 0 20 0 11 0 869259427 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4015/statm: 96637 7482 1890 364 0 31497 0
[pid=4022] ppid=4015 vsize=293380 CPUtime=0.81 cores=1,3,5,7
/proc/4022/stat : 4022 (python) S 4015 4015 3617 0 -1 4202560 1210 0 0 0 39 42 0 0 18 0 2 0 869259504 300421120 5753 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4022/statm: 73345 5753 412 364 0 8232 0
[pid=4024] ppid=4022 vsize=3640 CPUtime=228.44 cores=1,3,5,7
/proc/4024/stat : 4024 (clasp-1.3.7-x86) T 4022 4024 4024 0 -1 4202496 932 0 0 0 22840 4 0 0 25 0 1 0 869259504 3727360 672 33554432000 134512640 136139019 4287010688 18446744073709551615 134598352 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/4024/statm: 910 672 183 398 0 510 0
[pid=4022/tid=4030] ppid=4015 vsize=293380 CPUtime=0 cores=1,3,5,7
/proc/4022/task/4030/stat : 4030 (python) S 4015 4015 3617 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869264320 300421120 5753 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604465210331264 0 0 -1 3 0 0 0
[pid=4031] ppid=4015 vsize=294152 CPUtime=5.15 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4015 4015 3617 0 -1 4202560 1418 0 0 0 248 267 0 0 15 0 2 0 869264323 301211648 5914 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4031/statm: 73538 5914 393 364 0 8422 0
[pid=4033] ppid=4031 vsize=60552 CPUtime=1111.23 cores=1,3,5,7
/proc/4033/stat : 4033 (scip-2.0.1.linu) T 4031 4033 4033 0 -1 4202496 15880 0 0 0 105073 6050 0 0 18 0 1 0 869264323 62005248 13006 33554432000 4194304 13684479 140734751992304 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/4033/statm: 15138 13006 842 2317 0 12816 0
[pid=4031/tid=4040] ppid=4015 vsize=294152 CPUtime=0 cores=1,3,5,7
/proc/4031/task/4040/stat : 4040 (python) S 4015 4015 3617 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869269155 301211648 5914 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604464653677888 0 0 -1 3 0 0 0
[pid=4041] ppid=4015 vsize=303912 CPUtime=0.39 cores=1,3,5,7
/proc/4041/stat : 4041 (python) S 4015 4015 3617 0 -1 4202560 1141 0 0 0 17 22 0 0 15 0 2 0 869269158 311205888 5778 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4041/statm: 75978 5778 391 364 0 10859 0
[pid=4043] ppid=4041 vsize=43892 CPUtime=95.6 cores=1,3,5,7
/proc/4043/stat : 4043 (scip-2.0.1.linu) T 4041 4043 4043 0 -1 4202496 16598 0 0 0 9449 111 0 0 25 0 1 0 869269158 44945408 8206 33554432000 4194304 15243407 140737239530240 18446744073709551615 8112375 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/4043/statm: 10973 8206 966 2698 0 8268 0
[pid=4041/tid=4113] ppid=4015 vsize=303912 CPUtime=0 cores=1,3,5,7
/proc/4041/task/4113/stat : 4113 (python) S 4015 4015 3617 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869273983 311205888 5778 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604458014340352 0 0 -1 5 0 0 0
[pid=4263] ppid=4015 vsize=314612 CPUtime=0.19 cores=1,3,5,7
/proc/4263/stat : 4263 (python) S 4015 4015 3617 0 -1 4202560 1114 0 0 0 10 9 0 0 19 0 2 0 869278604 322162688 5891 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4263/statm: 78653 5891 391 364 0 13531 0
[pid=4265] ppid=4263 vsize=27564 CPUtime=51.21 cores=1,3,5,7
/proc/4265/stat : 4265 (pbct-0.1.2-linu) T 4263 4265 4265 0 -1 4202496 6700 0 0 0 4766 355 0 0 25 0 1 0 869278604 28225536 6402 33554432000 134512640 136422188 4290179712 18446744073709551615 135874785 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/4265/statm: 6891 6402 213 467 0 6422 0
[pid=4263/tid=4304] ppid=4015 vsize=314612 CPUtime=0 cores=1,3,5,7
/proc/4263/task/4304/stat : 4304 (python) S 4015 4015 3617 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869283726 322162688 5891 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604458710461120 0 0 -1 7 0 0 0
[pid=4305] ppid=4015 vsize=324868 CPUtime=0.17 cores=1,3,5,7
/proc/4305/stat : 4305 (python) S 4015 4015 3617 0 -1 4202560 1143 0 0 0 8 9 0 0 19 0 2 0 869283737 332664832 5895 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/4305/statm: 81217 5895 391 364 0 16092 0
[pid=4307] ppid=4305 vsize=64688 CPUtime=47.21 cores=1,3,5,7
/proc/4307/stat : 4307 (minion) T 4305 4307 4307 0 -1 4202496 9190 0 0 0 4720 1 0 0 25 0 1 0 869283737 66240512 8920 33554432000 134512640 165565024 4288001632 18446744073709551615 142424377 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/4307/statm: 16172 8920 359 7582 0 8587 0
[pid=4305/tid=4312] ppid=4015 vsize=324868 CPUtime=0 cores=1,3,5,7
/proc/4305/task/4312/stat : 4312 (python) S 4015 4015 3617 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869288459 332664832 5895 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604459161375744 0 0 -1 1 0 0 0
[pid=4331] ppid=4015 vsize=335184 CPUtime=0.18 cores=1,3,5,7
/proc/4331/stat : 4331 (python) S 4015 4015 3617 0 -1 4202560 1131 0 0 0 9 9 0 0 17 0 2 0 869306649 343228416 5936 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/4331/statm: 83796 5936 391 364 0 18668 0
[pid=4333] ppid=4331 vsize=8550948 CPUtime=50.08 cores=1,3,5,7
/proc/4333/stat : 4333 (java) T 4331 4333 4333 0 -1 4202496 173949 0 1 0 4985 23 0 0 18 0 19 0 869306650 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4333/statm: 2137737 156244 2248 9 0 2128478 0
[pid=4333/tid=4334] ppid=4331 vsize=8550948 CPUtime=47.54 cores=1,3,5,7
/proc/4333/task/4334/stat : 4334 (java) T 4331 4333 4333 0 -1 4202560 126086 0 1 0 4740 14 0 0 25 0 19 0 869306651 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 46912505614356 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 1
[pid=4333/tid=4335] ppid=4331 vsize=8550948 CPUtime=0.13 cores=1,3,5,7
/proc/4333/task/4335/stat : 4335 (java) T 4331 4333 4333 0 -1 4202560 5751 0 0 0 12 1 0 0 15 0 19 0 869306651 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4333/tid=4336] ppid=4331 vsize=8550948 CPUtime=0.1 cores=1,3,5,7
/proc/4333/task/4336/stat : 4336 (java) T 4331 4333 4333 0 -1 4202560 4411 0 0 0 10 0 0 0 15 0 19 0 869306651 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4333/tid=4337] ppid=4331 vsize=8550948 CPUtime=0.11 cores=1,3,5,7
/proc/4333/task/4337/stat : 4337 (java) T 4331 4333 4333 0 -1 4202560 4359 0 0 0 11 0 0 0 15 0 19 0 869306651 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4333/tid=4338] ppid=4331 vsize=8550948 CPUtime=0.09 cores=1,3,5,7
/proc/4333/task/4338/stat : 4338 (java) T 4331 4333 4333 0 -1 4202560 2889 0 0 0 9 0 0 0 15 0 19 0 869306651 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4333/tid=4339] ppid=4331 vsize=8550948 CPUtime=0.12 cores=1,3,5,7
/proc/4333/task/4339/stat : 4339 (java) T 4331 4333 4333 0 -1 4202560 4952 0 0 0 12 0 0 0 15 0 19 0 869306651 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4333/tid=4340] ppid=4331 vsize=8550948 CPUtime=0.08 cores=1,3,5,7
/proc/4333/task/4340/stat : 4340 (java) T 4331 4333 4333 0 -1 4202560 3864 0 0 0 8 0 0 0 15 0 19 0 869306651 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4333/tid=4341] ppid=4331 vsize=8550948 CPUtime=0.14 cores=1,3,5,7
/proc/4333/task/4341/stat : 4341 (java) T 4331 4333 4333 0 -1 4202560 4571 0 0 0 14 0 0 0 15 0 19 0 869306651 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4333/tid=4342] ppid=4331 vsize=8550948 CPUtime=0.12 cores=1,3,5,7
/proc/4333/task/4342/stat : 4342 (java) T 4331 4333 4333 0 -1 4202560 4228 0 0 0 12 0 0 0 15 0 19 0 869306651 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4333/tid=4343] ppid=4331 vsize=8550948 CPUtime=0.08 cores=1,3,5,7
/proc/4333/task/4343/stat : 4343 (java) T 4331 4333 4333 0 -1 4202560 887 0 0 0 7 1 0 0 15 0 19 0 869306652 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624896 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4333/tid=4344] ppid=4331 vsize=8550948 CPUtime=0 cores=1,3,5,7
/proc/4333/task/4344/stat : 4344 (java) T 4331 4333 4333 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869306653 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4333/tid=4345] ppid=4331 vsize=8550948 CPUtime=0 cores=1,3,5,7
/proc/4333/task/4345/stat : 4345 (java) T 4331 4333 4333 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869306653 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4333/tid=4346] ppid=4331 vsize=8550948 CPUtime=0 cores=1,3,5,7
/proc/4333/task/4346/stat : 4346 (java) T 4331 4333 4333 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869306655 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676631985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4333/tid=4347] ppid=4331 vsize=8550948 CPUtime=0.65 cores=1,3,5,7
/proc/4333/task/4347/stat : 4347 (java) T 4331 4333 4333 0 -1 4202560 5928 0 0 0 65 0 0 0 15 0 19 0 869306655 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4333/tid=4348] ppid=4331 vsize=8550948 CPUtime=0.8 cores=1,3,5,7
/proc/4333/task/4348/stat : 4348 (java) T 4331 4333 4333 0 -1 4202560 4629 0 0 0 80 0 0 0 15 0 19 0 869306655 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4333/tid=4349] ppid=4331 vsize=8550948 CPUtime=0 cores=1,3,5,7
/proc/4333/task/4349/stat : 4349 (java) T 4331 4333 4333 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869306655 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4333/tid=4350] ppid=4331 vsize=8550948 CPUtime=0 cores=1,3,5,7
/proc/4333/task/4350/stat : 4350 (java) T 4331 4333 4333 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869306655 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624896 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4333/tid=4351] ppid=4331 vsize=8550948 CPUtime=0 cores=1,3,5,7
/proc/4333/task/4351/stat : 4351 (java) T 4331 4333 4333 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869306675 8756170752 156244 33554432000 1073741824 1073778376 140734078287072 18446744073709551615 274676624896 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4331/tid=4353] ppid=4015 vsize=335184 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4353/stat : 4353 (python) S 4015 4015 3617 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869311455 343228416 5936 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604465154214912 0 0 -1 1 0 0 0
[pid=4356] ppid=4015 vsize=344940 CPUtime=0.19 cores=1,3,5,7
/proc/4356/stat : 4356 (python) S 4015 4015 3617 0 -1 4202560 1151 0 0 0 8 11 0 0 19 0 2 0 869316633 353218560 5825 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4356/statm: 86235 5825 391 364 0 21104 0
[pid=4358] ppid=4356 vsize=55500 CPUtime=48.23 cores=1,3,5,7
/proc/4358/stat : 4358 (bsolo_pb10) T 4356 4358 4358 0 -1 4202496 11735 0 0 0 4818 5 0 0 25 0 1 0 869316633 56832000 11448 33554432000 134512640 137138936 4292641360 18446744073709551615 134542199 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/4358/statm: 13875 11448 192 642 0 13231 0
[pid=4356/tid=4361] ppid=4015 vsize=344940 CPUtime=0 cores=1,3,5,7
/proc/4356/task/4361/stat : 4361 (python) S 4015 4015 3617 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869321458 353218560 5825 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604467073159552 0 0 -1 7 0 0 0
[pid=4400] ppid=4015 vsize=355188 CPUtime=0.37 cores=1,3,5,7
/proc/4400/stat : 4400 (python) S 4015 4015 3617 0 -1 4202560 1226 0 0 0 17 20 0 0 19 0 2 0 869365319 363712512 5833 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/4400/statm: 88797 5833 397 364 0 23663 0
[pid=4402] ppid=4400 vsize=65332 CPUtime=96.45 cores=1,3,5,7
/proc/4402/stat : 4402 (bsolo_pb10) T 4400 4402 4402 0 -1 4202496 14354 0 0 0 9624 21 0 0 25 0 1 0 869365320 66899968 13902 33554432000 134512640 137138936 4291141728 18446744073709551615 134542640 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/4402/statm: 16333 13902 190 642 0 15689 0
[pid=4400/tid=4414] ppid=4015 vsize=355188 CPUtime=0 cores=1,3,5,7
/proc/4400/task/4414/stat : 4414 (python) S 4015 4015 3617 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 869374965 363712512 5833 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604456893171776 0 0 -1 7 0 0 0
[pid=4437] ppid=4015 vsize=366048 CPUtime=0.18 cores=1,3,5,7
/proc/4437/stat : 4437 (python) S 4015 4015 3617 0 -1 4202560 1169 0 0 0 8 10 0 0 19 0 2 0 869432228 374833152 5982 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4437/statm: 91512 5982 397 364 0 26375 0
[pid=4439] ppid=4437 vsize=43276 CPUtime=48.25 cores=1,3,5,7
/proc/4439/stat : 4439 (bsolo_pb10) T 4437 4439 4439 0 -1 4202496 8766 0 0 0 4812 13 0 0 25 0 1 0 869432229 44314624 8371 33554432000 134512640 137138936 4289140320 18446744073709551615 134542624 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/4439/statm: 10819 8371 192 642 0 10175 0
[pid=4437/tid=4441] ppid=4015 vsize=366048 CPUtime=0 cores=1,3,5,7
/proc/4437/task/4441/stat : 4441 (python) S 4015 4015 3617 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869437055 374833152 5982 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554946 18446604464567543040 0 0 -1 7 0 0 0
[pid=4442] ppid=4015 vsize=376304 CPUtime=0.05 cores=1,3,5,7
/proc/4442/stat : 4442 (python) S 4015 4015 3617 0 -1 4202560 952 0 0 0 2 3 0 0 15 0 1 0 869437056 385335296 5932 33554432000 4194304 5683644 140733409882160 18446744073709551615 274664828486 0 0 16781312 33554946 5623753486446373733 0 0 17 7 0 0 0
/proc/4442/statm: 94076 5932 344 364 0 28936 0
[pid=4444] ppid=4442 vsize=41380 CPUtime=14.82 cores=1,3,5,7
/proc/4444/stat : 4444 (wbo1.4a) R 4442 4444 4444 0 -1 4202496 10155 0 0 0 1453 29 0 0 25 0 1 0 869437056 42373120 9880 33554432000 134512640 135751879 4289248016 18446744073709551615 134602977 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/4444/statm: 10345 9880 143 303 0 10040 0
[pid=4015/tid=4023] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (python) S 4013 4015 3617 0 -1 4202560 36 1330 0 0 0 0 1 0 18 0 11 0 869259504 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 1 0 0 0
[pid=4015/tid=4032] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4032/stat : 4032 (python) S 4013 4015 3617 0 -1 4202560 42 1330 0 0 0 0 1 0 18 0 11 0 869264323 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 3 0 0 0
[pid=4015/tid=4042] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4042/stat : 4042 (python) S 4013 4015 3617 0 -1 4202560 34 1330 0 0 0 0 1 0 18 0 11 0 869269158 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 7 0 0 0
[pid=4015/tid=4264] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4264/stat : 4264 (python) S 4013 4015 3617 0 -1 4202560 27 1330 0 0 0 0 1 0 20 0 11 0 869278604 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 3 0 0 0
[pid=4015/tid=4306] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4306/stat : 4306 (python) S 4013 4015 3617 0 -1 4202560 31 1330 0 0 0 0 1 0 20 0 11 0 869283737 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 3 0 0 0
[pid=4015/tid=4332] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4332/stat : 4332 (python) S 4013 4015 3617 0 -1 4202560 30 1330 0 0 0 0 1 0 20 0 11 0 869306650 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 3 0 0 0
[pid=4015/tid=4357] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4357/stat : 4357 (python) S 4013 4015 3617 0 -1 4202560 32 1330 0 0 0 0 1 0 20 0 11 0 869316633 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 3 0 0 0
[pid=4015/tid=4401] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4401/stat : 4401 (python) S 4013 4015 3617 0 -1 4202560 27 1330 0 0 0 0 1 0 20 0 11 0 869365319 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 3 0 0 0
[pid=4015/tid=4438] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4438/stat : 4438 (python) S 4013 4015 3617 0 -1 4202560 25 1330 0 0 0 0 1 0 20 0 11 0 869432228 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 3 0 0 0
[pid=4015/tid=4443] ppid=4013 vsize=386548 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4443/stat : 4443 (python) S 4013 4015 3617 0 -1 4202560 27 1330 0 0 0 0 1 0 20 0 11 0 869437056 395825152 7482 33554432000 4194304 5683644 140733409882160 18446744073709551615 274676631985 0 0 16781312 33554434 18446604470853797696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 12651908
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4015 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=740887
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=162975
# CPU time returned by wait4() is 0.903862
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.2
CPU time (s): 1800.08
CPU user time (s): 1729.79
CPU system time (s): 70.29
CPU usage (%): 100.496
Max. virtual memory (cumulated for all children) (KiB): 12651908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.740887
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21195
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= 3465
involuntary context switches= 52
runsolver used 12.4411 second user time and 27.5058 second system time
The end