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-3482404-1307577585/watcher-3482404-1307577585 -o /tmp/evaluation-result-3482404-1307577585/solver-3482404-1307577585 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482404-1307577585.opb -seed 1473636573 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.33 2.06 1.44 2/293 30157
/proc/meminfo: memFree=30577260/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=15780 CPUtime=0 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 928 0 0 0 0 0 0 0 21 0 1 0 869359337 16158720 807 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/30157/statm: 3945 807 356 364 0 432 0
[startup+0.0244759 s]
/proc/loadavg: 2.33 2.06 1.44 2/293 30157
/proc/meminfo: memFree=30577260/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=16540 CPUtime=0.01 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 1186 0 0 0 1 0 0 0 21 0 1 0 869359337 16936960 1046 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/30157/statm: 4135 1046 417 364 0 622 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16540
[startup+0.105475 s]
/proc/loadavg: 2.33 2.06 1.44 2/293 30157
/proc/meminfo: memFree=30577260/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/30157/stat : 30157 (python) R 30155 30157 28606 0 -1 4202496 3168 934 1 0 6 2 0 0 18 0 1 0 869359337 98435072 2483 33554432000 4194304 5683644 140737370653616 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30157/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.301534 s]
/proc/loadavg: 2.33 2.06 1.44 2/293 30157
/proc/meminfo: memFree=30577260/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=202996 CPUtime=0.23 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 6678 934 1 0 18 5 0 0 17 0 1 0 869359337 207867904 4962 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/30157/statm: 50749 4962 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202996
[startup+0.700367 s]
/proc/loadavg: 2.33 2.06 1.44 2/293 30157
/proc/meminfo: memFree=30577260/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=293412 CPUtime=0.43 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 10723 1328 1 0 35 8 0 0 20 0 2 0 869359337 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30157/statm: 73353 7202 1871 364 0 8240 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293412
[startup+1.50023 s]
/proc/loadavg: 2.33 2.06 1.44 3/297 30166
/proc/meminfo: memFree=30551808/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=293412 CPUtime=0.43 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 10723 1328 1 0 35 8 0 0 20 0 2 0 869359337 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30157/statm: 73353 7202 1871 364 0 8240 0
[pid=30164] ppid=30157 vsize=283168 CPUtime=0 cores=0,2,4,6
/proc/30164/stat : 30164 (python) S 30157 30157 28606 0 -1 4202560 669 0 0 0 0 0 0 0 18 0 1 0 869359392 289964032 5643 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921797135 0 0 16781312 33554946 14717766438400000258 0 0 17 6 0 0 0
/proc/30164/statm: 70792 5643 316 364 0 5679 0
[pid=30166] ppid=30164 vsize=2388 CPUtime=0.94 cores=0,2,4,6
/proc/30166/stat : 30166 (clasp-1.3.7-x86) R 30164 30166 30166 0 -1 4202496 621 0 0 0 94 0 0 0 21 0 1 0 869359392 2445312 359 33554432000 134512640 136139019 4287504688 18446744073709551615 134640568 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/30166/statm: 597 359 183 398 0 197 0
[pid=30157/tid=30165] ppid=30155 vsize=293412 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30165/stat : 30165 (python) S 30155 30157 28606 0 -1 4202560 27 1328 0 0 0 0 0 0 20 0 2 0 869359392 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 578968
[startup+3.10093 s]
/proc/loadavg: 2.33 2.06 1.44 3/297 30166
/proc/meminfo: memFree=30550072/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=293412 CPUtime=0.43 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 10723 1328 1 0 35 8 0 0 20 0 2 0 869359337 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30157/statm: 73353 7202 1871 364 0 8240 0
[pid=30164] ppid=30157 vsize=283168 CPUtime=0 cores=0,2,4,6
/proc/30164/stat : 30164 (python) S 30157 30157 28606 0 -1 4202560 692 0 0 0 0 0 0 0 18 0 1 0 869359392 289964032 5646 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921797135 0 0 16781312 33554946 3863474098097062146 0 0 17 6 0 0 0
/proc/30164/statm: 70792 5646 319 364 0 5679 0
[pid=30166] ppid=30164 vsize=2512 CPUtime=2.55 cores=0,2,4,6
/proc/30166/stat : 30166 (clasp-1.3.7-x86) R 30164 30166 30166 0 -1 4202496 631 0 0 0 255 0 0 0 25 0 1 0 869359392 2572288 369 33554432000 134512640 136139019 4287504688 18446744073709551615 135547677 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/30166/statm: 628 369 183 398 0 228 0
[pid=30157/tid=30165] ppid=30155 vsize=293412 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30165/stat : 30165 (python) S 30155 30157 28606 0 -1 4202560 27 1328 0 0 0 0 0 0 20 0 2 0 869359392 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 579092
[startup+6.30038 s]
/proc/loadavg: 2.47 2.09 1.45 3/297 30167
/proc/meminfo: memFree=30552144/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=293412 CPUtime=0.43 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 10723 1328 1 0 35 8 0 0 20 0 2 0 869359337 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30157/statm: 73353 7202 1871 364 0 8240 0
[pid=30164] ppid=30157 vsize=283168 CPUtime=0 cores=0,2,4,6
/proc/30164/stat : 30164 (python) S 30157 30157 28606 0 -1 4202560 851 0 0 0 0 0 0 0 18 0 1 0 869359392 289964032 5669 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921797135 0 0 16781312 33554946 3863487704553455874 0 0 17 6 0 0 0
/proc/30164/statm: 70792 5669 342 364 0 5679 0
[pid=30166] ppid=30164 vsize=2644 CPUtime=5.75 cores=0,2,4,6
/proc/30166/stat : 30166 (clasp-1.3.7-x86) R 30164 30166 30166 0 -1 4202496 669 0 0 0 575 0 0 0 25 0 1 0 869359392 2707456 407 33554432000 134512640 136139019 4287504688 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/30166/statm: 661 407 183 398 0 261 0
[pid=30157/tid=30165] ppid=30155 vsize=293412 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30165/stat : 30165 (python) S 30155 30157 28606 0 -1 4202560 27 1328 0 0 0 0 0 0 20 0 2 0 869359392 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 579224
[startup+12.7012 s]
/proc/loadavg: 2.43 2.09 1.46 3/297 30167
/proc/meminfo: memFree=30551788/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=293412 CPUtime=0.43 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 10723 1328 1 0 35 8 0 0 20 0 2 0 869359337 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30157/statm: 73353 7202 1871 364 0 8240 0
[pid=30164] ppid=30157 vsize=283168 CPUtime=0.01 cores=0,2,4,6
/proc/30164/stat : 30164 (python) S 30157 30157 28606 0 -1 4202560 856 0 0 0 0 1 0 0 18 0 1 0 869359392 289964032 5670 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921797135 0 0 16781312 33554946 72556772316949198 0 0 17 6 0 0 0
/proc/30164/statm: 70792 5670 343 364 0 5679 0
[pid=30166] ppid=30164 vsize=2764 CPUtime=12.15 cores=0,2,4,6
/proc/30166/stat : 30166 (clasp-1.3.7-x86) R 30164 30166 30166 0 -1 4202496 713 0 0 0 1215 0 0 0 25 0 1 0 869359392 2830336 451 33554432000 134512640 136139019 4287504688 18446744073709551615 134608352 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/30166/statm: 691 451 183 398 0 291 0
[pid=30157/tid=30165] ppid=30155 vsize=293412 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30165/stat : 30165 (python) S 30155 30157 28606 0 -1 4202560 27 1328 0 0 0 0 0 0 20 0 2 0 869359392 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 579344
[startup+25.5009 s]
/proc/loadavg: 2.33 2.08 1.46 3/297 30167
/proc/meminfo: memFree=30552240/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=293412 CPUtime=0.43 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 10723 1328 1 0 35 8 0 0 20 0 2 0 869359337 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30157/statm: 73353 7202 1871 364 0 8240 0
[pid=30164] ppid=30157 vsize=283168 CPUtime=0.04 cores=0,2,4,6
/proc/30164/stat : 30164 (python) S 30157 30157 28606 0 -1 4202560 862 0 0 0 2 2 0 0 18 0 1 0 869359392 289964032 5670 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921797135 0 0 16781312 33554946 72556772316949198 0 0 17 6 0 0 0
/proc/30164/statm: 70792 5670 343 364 0 5679 0
[pid=30166] ppid=30164 vsize=3024 CPUtime=24.94 cores=0,2,4,6
/proc/30166/stat : 30166 (clasp-1.3.7-x86) R 30164 30166 30166 0 -1 4202496 759 0 0 0 2494 0 0 0 25 0 1 0 869359392 3096576 497 33554432000 134512640 136139019 4287504688 18446744073709551615 134634773 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/30166/statm: 756 497 183 398 0 356 0
[pid=30157/tid=30165] ppid=30155 vsize=293412 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30165/stat : 30165 (python) S 30155 30157 28606 0 -1 4202560 27 1328 0 0 0 0 0 0 20 0 2 0 869359392 300453888 7202 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 579604
[startup+51.1012 s]
/proc/loadavg: 2.22 2.07 1.48 3/301 30172
/proc/meminfo: memFree=30512388/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=304136 CPUtime=0.46 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 11597 1328 1 0 38 8 0 0 20 0 3 0 869359337 311435264 7331 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30157/statm: 76034 7331 1874 364 0 10918 0
[pid=30164] ppid=30157 vsize=293412 CPUtime=0.1 cores=0,2,4,6
/proc/30164/stat : 30164 (python) S 30157 30157 28606 0 -1 4202560 1138 0 0 0 5 5 0 0 19 0 2 0 869359392 300453888 5743 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30164/statm: 73353 5743 411 364 0 8240 0
[pid=30166] ppid=30164 vsize=3024 CPUtime=47.09 cores=0,2,4,6
/proc/30166/stat : 30166 (clasp-1.3.7-x86) T 30164 30166 30166 0 -1 4202496 780 0 0 0 4709 0 0 0 25 0 1 0 869359392 3096576 518 33554432000 134512640 136139019 4287504688 18446744073709551615 134883817 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/30166/statm: 756 518 183 398 0 356 0
[pid=30164/tid=30169] ppid=30157 vsize=293412 CPUtime=0 cores=0,2,4,6
/proc/30164/task/30169/stat : 30169 (python) S 30157 30157 28606 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869364102 300453888 5743 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604445685914304 0 0 -1 6 0 0 0
[pid=30170] ppid=30157 vsize=293892 CPUtime=0 cores=0,2,4,6
/proc/30170/stat : 30170 (python) S 30157 30157 28606 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 869364104 300945408 5773 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921797190 0 0 16781312 33554946 2609981987179462656 0 0 17 6 0 0 0
/proc/30170/statm: 73473 5773 320 364 0 8357 0
[pid=30172] ppid=30170 vsize=49108 CPUtime=3.41 cores=0,2,4,6
/proc/30172/stat : 30172 (scip-2.0.1.linu) R 30170 30172 30172 0 -1 4202496 12108 0 0 0 332 9 0 0 19 0 1 0 869364105 50286592 9828 33554432000 4194304 13684479 140735991790352 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30172/statm: 12277 9828 841 2317 0 9955 0
[pid=30157/tid=30165] ppid=30155 vsize=304136 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30165/stat : 30165 (python) S 30155 30157 28606 0 -1 4202560 27 1328 0 0 0 0 0 0 20 0 3 0 869359392 311435264 7331 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
[pid=30157/tid=30171] ppid=30155 vsize=304136 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30171/stat : 30171 (python) S 30155 30157 28606 0 -1 4202560 29 1328 0 0 0 0 0 0 20 0 3 0 869364104 311435264 7331 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 943572
[startup+102.311 s]
/proc/loadavg: 2.15 2.08 1.51 3/305 30188
/proc/meminfo: memFree=30477904/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=314060 CPUtime=0.48 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 12476 1328 1 0 40 8 0 0 20 0 4 0 869359337 321597440 7257 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30157/statm: 78515 7257 1876 364 0 13396 0
[pid=30164] ppid=30157 vsize=293412 CPUtime=0.1 cores=0,2,4,6
/proc/30164/stat : 30164 (python) S 30157 30157 28606 0 -1 4202560 1138 0 0 0 5 5 0 0 19 0 2 0 869359392 300453888 5743 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30164/statm: 73353 5743 411 364 0 8240 0
[pid=30166] ppid=30164 vsize=3024 CPUtime=47.09 cores=0,2,4,6
/proc/30166/stat : 30166 (clasp-1.3.7-x86) T 30164 30166 30166 0 -1 4202496 780 0 0 0 4709 0 0 0 25 0 1 0 869359392 3096576 518 33554432000 134512640 136139019 4287504688 18446744073709551615 134883817 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/30166/statm: 756 518 183 398 0 356 0
[pid=30164/tid=30169] ppid=30157 vsize=293412 CPUtime=0 cores=0,2,4,6
/proc/30164/task/30169/stat : 30169 (python) S 30157 30157 28606 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869364102 300453888 5743 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604445685914304 0 0 -1 6 0 0 0
[pid=30170] ppid=30157 vsize=293892 CPUtime=0.11 cores=0,2,4,6
/proc/30170/stat : 30170 (python) S 30157 30157 28606 0 -1 4202560 1114 0 0 0 5 6 0 0 17 0 2 0 869364104 300945408 5845 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30170/statm: 73473 5845 391 364 0 8357 0
[pid=30172] ppid=30170 vsize=49108 CPUtime=47.08 cores=0,2,4,6
/proc/30172/stat : 30172 (scip-2.0.1.linu) T 30170 30172 30172 0 -1 4202496 12152 0 0 0 4640 68 0 0 18 0 1 0 869364105 50286592 9872 33554432000 4194304 13684479 140735991790352 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/30172/statm: 12277 9872 842 2317 0 9955 0
[pid=30170/tid=30185] ppid=30157 vsize=293892 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30185/stat : 30185 (python) S 30157 30157 28606 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869368813 300945408 5845 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604449367303296 0 0 -1 6 0 0 0
[pid=30186] ppid=30157 vsize=303816 CPUtime=0 cores=0,2,4,6
/proc/30186/stat : 30186 (python) S 30157 30157 28606 0 -1 4202560 905 0 0 0 0 0 0 0 15 0 1 0 869368816 311107584 5721 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921797190 0 0 16781312 33554946 17302632856991793409 0 0 17 0 0 0 0
################
# More data... #
################
[pid=30157/tid=30644] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30644/stat : 30644 (python) S 30155 30157 28606 0 -1 4202560 27 1328 0 0 0 0 0 0 20 0 11 0 869532193 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1788.69
Current children cumulated vsize (KiB) 12777492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.6 s]
/proc/loadavg: 1.02 1.54 1.79 2/378 30647
/proc/meminfo: memFree=21684840/32951124 swapFree=53958412/67111528
[pid=30157] ppid=30155 vsize=386588 CPUtime=0.85 cores=0,2,4,6
/proc/30157/stat : 30157 (python) S 30155 30157 28606 0 -1 4202496 19313 1328 1 0 75 10 0 0 20 0 11 0 869359337 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30157/statm: 96647 7465 1890 364 0 31507 0
[pid=30164] ppid=30157 vsize=293412 CPUtime=0.51 cores=0,2,4,6
/proc/30164/stat : 30164 (python) S 30157 30157 28606 0 -1 4202560 1203 0 0 0 28 23 0 0 18 0 2 0 869359392 300453888 5744 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30164/statm: 73353 5744 412 364 0 8240 0
[pid=30166] ppid=30164 vsize=3680 CPUtime=232.5 cores=0,2,4,6
/proc/30166/stat : 30166 (clasp-1.3.7-x86) T 30164 30166 30166 0 -1 4202496 912 0 0 0 23250 0 0 0 25 0 1 0 869359392 3768320 650 33554432000 134512640 136139019 4287504688 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/30166/statm: 920 650 183 398 0 520 0
[pid=30164/tid=30169] ppid=30157 vsize=293412 CPUtime=0 cores=0,2,4,6
/proc/30164/task/30169/stat : 30169 (python) S 30157 30157 28606 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 869364102 300453888 5744 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604445685914304 0 0 -1 6 0 0 0
[pid=30170] ppid=30157 vsize=293892 CPUtime=3.09 cores=0,2,4,6
/proc/30170/stat : 30170 (python) S 30157 30157 28606 0 -1 4202560 1306 0 0 0 163 146 0 0 15 0 2 0 869364104 300945408 5855 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30170/statm: 73473 5855 401 364 0 8357 0
[pid=30172] ppid=30170 vsize=61228 CPUtime=1069.06 cores=0,2,4,6
/proc/30172/stat : 30172 (scip-2.0.1.linu) T 30170 30172 30172 0 -1 4202496 15613 0 0 0 105329 1577 0 0 18 0 1 0 869364105 62697472 13333 33554432000 4194304 13684479 140735991790352 18446744073709551615 7390528 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/30172/statm: 15307 13333 1022 2317 0 12985 0
[pid=30170/tid=30185] ppid=30157 vsize=293892 CPUtime=0 cores=0,2,4,6
/proc/30170/task/30185/stat : 30185 (python) S 30157 30157 28606 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869368813 300945408 5855 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604449367303296 0 0 -1 6 0 0 0
[pid=30186] ppid=30157 vsize=303816 CPUtime=0.26 cores=0,2,4,6
/proc/30186/stat : 30186 (python) S 30157 30157 28606 0 -1 4202560 1140 0 0 0 15 11 0 0 15 0 2 0 869368816 311107584 5769 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/30186/statm: 75954 5769 391 364 0 10835 0
[pid=30188] ppid=30186 vsize=46912 CPUtime=95.11 cores=0,2,4,6
/proc/30188/stat : 30188 (scip-2.0.1.linu) T 30186 30188 30188 0 -1 4202496 37563 0 0 0 9452 59 0 0 19 0 1 0 869368816 48037888 8994 33554432000 4194304 15243407 140736218856608 18446744073709551615 8113576 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30188/statm: 11728 8994 966 2698 0 9023 0
[pid=30186/tid=30190] ppid=30157 vsize=303816 CPUtime=0 cores=0,2,4,6
/proc/30186/task/30190/stat : 30190 (python) S 30157 30157 28606 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 869373727 311107584 5769 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604443691133824 0 0 -1 0 0 0 0
[pid=30192] ppid=30157 vsize=314576 CPUtime=0.11 cores=0,2,4,6
/proc/30192/stat : 30192 (python) S 30157 30157 28606 0 -1 4202560 1105 0 0 0 6 5 0 0 19 0 2 0 869378342 322125824 5901 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/30192/statm: 78644 5901 391 364 0 13522 0
[pid=30194] ppid=30192 vsize=26508 CPUtime=48.07 cores=0,2,4,6
/proc/30194/stat : 30194 (pbct-0.1.2-linu) T 30192 30194 30194 0 -1 4202496 6453 0 0 0 4650 157 0 0 25 0 1 0 869378343 27144192 6157 33554432000 134512640 136422188 4290406848 18446744073709551615 135874785 0 0 16781312 16387 18446744071562691360 0 0 17 6 0 0 0
/proc/30194/statm: 6627 6157 213 467 0 6158 0
[pid=30192/tid=30197] ppid=30157 vsize=314576 CPUtime=0 cores=0,2,4,6
/proc/30192/task/30197/stat : 30197 (python) S 30157 30157 28606 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 869383155 322125824 5901 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604451101885440 0 0 -1 6 0 0 0
[pid=30198] ppid=30157 vsize=324988 CPUtime=0.1 cores=0,2,4,6
/proc/30198/stat : 30198 (python) S 30157 30157 28606 0 -1 4202560 1146 0 0 0 5 5 0 0 16 0 2 0 869383166 332787712 5924 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30198/statm: 81247 5924 391 364 0 16122 0
[pid=30200] ppid=30198 vsize=64684 CPUtime=48.13 cores=0,2,4,6
/proc/30200/stat : 30200 (minion) T 30198 30200 30200 0 -1 4202496 9199 0 0 0 4813 0 0 0 25 0 1 0 869383166 66236416 8925 33554432000 134512640 165565024 4288074480 18446744073709551615 142424531 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/30200/statm: 16171 8925 359 7582 0 8586 0
[pid=30198/tid=30205] ppid=30157 vsize=324988 CPUtime=0 cores=0,2,4,6
/proc/30198/task/30205/stat : 30205 (python) S 30157 30157 28606 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869387981 332787712 5924 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604453850486848 0 0 -1 6 0 0 0
[pid=30211] ppid=30157 vsize=335244 CPUtime=0.1 cores=0,2,4,6
/proc/30211/stat : 30211 (python) S 30157 30157 28606 0 -1 4202560 1136 0 0 0 5 5 0 0 17 0 2 0 869406521 343289856 5939 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30211/statm: 83811 5939 391 364 0 18683 0
[pid=30213] ppid=30211 vsize=8549452 CPUtime=47.89 cores=0,2,4,6
/proc/30213/stat : 30213 (java) T 30211 30213 30213 0 -1 4202496 289640 0 1 0 4755 34 0 0 18 0 19 0 869406522 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/30213/statm: 2137363 257165 2249 9 0 2128104 0
[pid=30213/tid=30214] ppid=30211 vsize=8549452 CPUtime=45.59 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) T 30211 30213 30213 0 -1 4202560 251111 0 1 0 4533 26 0 0 25 0 19 0 869406523 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 46912505713215 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30213/tid=30215] ppid=30211 vsize=8549452 CPUtime=0.05 cores=0,2,4,6
/proc/30213/task/30215/stat : 30215 (java) T 30211 30213 30213 0 -1 4202560 2870 0 0 0 5 0 0 0 15 0 19 0 869406523 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30213/tid=30216] ppid=30211 vsize=8549452 CPUtime=0.05 cores=0,2,4,6
/proc/30213/task/30216/stat : 30216 (java) T 30211 30213 30213 0 -1 4202560 2802 0 0 0 5 0 0 0 15 0 19 0 869406523 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30213/tid=30217] ppid=30211 vsize=8549452 CPUtime=0.08 cores=0,2,4,6
/proc/30213/task/30217/stat : 30217 (java) T 30211 30213 30213 0 -1 4202560 4426 0 0 0 8 0 0 0 15 0 19 0 869406523 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30213/tid=30218] ppid=30211 vsize=8549452 CPUtime=0.05 cores=0,2,4,6
/proc/30213/task/30218/stat : 30218 (java) T 30211 30213 30213 0 -1 4202560 2855 0 0 0 5 0 0 0 15 0 19 0 869406523 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30213/tid=30219] ppid=30211 vsize=8549452 CPUtime=0.05 cores=0,2,4,6
/proc/30213/task/30219/stat : 30219 (java) T 30211 30213 30213 0 -1 4202560 2375 0 0 0 5 0 0 0 15 0 19 0 869406523 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30213/tid=30220] ppid=30211 vsize=8549452 CPUtime=0.04 cores=0,2,4,6
/proc/30213/task/30220/stat : 30220 (java) T 30211 30213 30213 0 -1 4202560 1524 0 0 0 4 0 0 0 15 0 19 0 869406523 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30213/tid=30221] ppid=30211 vsize=8549452 CPUtime=0.05 cores=0,2,4,6
/proc/30213/task/30221/stat : 30221 (java) T 30211 30213 30213 0 -1 4202560 3117 0 0 0 5 0 0 0 15 0 19 0 869406523 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30213/tid=30222] ppid=30211 vsize=8549452 CPUtime=0.06 cores=0,2,4,6
/proc/30213/task/30222/stat : 30222 (java) T 30211 30213 30213 0 -1 4202560 4297 0 0 0 6 0 0 0 15 0 19 0 869406523 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30213/tid=30224] ppid=30211 vsize=8549452 CPUtime=0.1 cores=0,2,4,6
/proc/30213/task/30224/stat : 30224 (java) T 30211 30213 30213 0 -1 4202560 657 0 0 0 9 1 0 0 15 0 19 0 869406524 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933593600 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30213/tid=30225] ppid=30211 vsize=8549452 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30225/stat : 30225 (java) T 30211 30213 30213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869406525 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30213/tid=30226] ppid=30211 vsize=8549452 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30226/stat : 30226 (java) T 30211 30213 30213 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869406525 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30213/tid=30227] ppid=30211 vsize=8549452 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30227/stat : 30227 (java) T 30211 30213 30213 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869406527 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933600689 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30213/tid=30228] ppid=30211 vsize=8549452 CPUtime=0.64 cores=0,2,4,6
/proc/30213/task/30228/stat : 30228 (java) T 30211 30213 30213 0 -1 4202560 6105 0 0 0 63 1 0 0 15 0 19 0 869406527 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30213/tid=30229] ppid=30211 vsize=8549452 CPUtime=1 cores=0,2,4,6
/proc/30213/task/30229/stat : 30229 (java) T 30211 30213 30213 0 -1 4202560 6108 0 0 0 100 0 0 0 15 0 19 0 869406527 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30213/tid=30230] ppid=30211 vsize=8549452 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30230/stat : 30230 (java) T 30211 30213 30213 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869406527 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30213/tid=30231] ppid=30211 vsize=8549452 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30231/stat : 30231 (java) T 30211 30213 30213 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869406527 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933593600 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30213/tid=30232] ppid=30211 vsize=8549452 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30232/stat : 30232 (java) T 30211 30213 30213 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869406545 8754638848 257165 33554432000 1073741824 1073778376 140735730542496 18446744073709551615 222933593600 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30211/tid=30237] ppid=30157 vsize=335244 CPUtime=0 cores=0,2,4,6
/proc/30211/task/30237/stat : 30237 (python) S 30157 30157 28606 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869411117 343289856 5939 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604444844249216 0 0 -1 6 0 0 0
[pid=30241] ppid=30157 vsize=344828 CPUtime=0.11 cores=0,2,4,6
/proc/30241/stat : 30241 (python) S 30157 30157 28606 0 -1 4202560 1150 0 0 0 6 5 0 0 17 0 2 0 869415916 353103872 5796 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30241/statm: 86207 5796 391 364 0 21076 0
[pid=30243] ppid=30241 vsize=56492 CPUtime=47.18 cores=0,2,4,6
/proc/30243/stat : 30243 (bsolo_pb10) T 30241 30243 30243 0 -1 4202496 11975 0 0 0 4714 4 0 0 25 0 1 0 869415917 57847808 11689 33554432000 134512640 137138936 4293206096 18446744073709551615 134542295 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/30243/statm: 14123 11689 192 642 0 13479 0
[pid=30241/tid=30245] ppid=30157 vsize=344828 CPUtime=0 cores=0,2,4,6
/proc/30241/task/30245/stat : 30245 (python) S 30157 30157 28606 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869420636 353103872 5796 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604445685912512 0 0 -1 6 0 0 0
[pid=30453] ppid=30157 vsize=355116 CPUtime=0.21 cores=0,2,4,6
/proc/30453/stat : 30453 (python) S 30157 30157 28606 0 -1 4202560 1223 0 0 0 11 10 0 0 19 0 2 0 869462184 363638784 5814 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30453/statm: 88779 5814 397 364 0 23645 0
[pid=30455] ppid=30453 vsize=66628 CPUtime=93.27 cores=0,2,4,6
/proc/30455/stat : 30455 (bsolo_pb10) T 30453 30455 30455 0 -1 4202496 14681 0 0 0 9313 14 0 0 25 0 1 0 869462184 68227072 14225 33554432000 134512640 137138936 4294563696 18446744073709551615 134542325 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/30455/statm: 16657 14225 190 642 0 16013 0
[pid=30453/tid=30503] ppid=30157 vsize=355116 CPUtime=0 cores=0,2,4,6
/proc/30453/task/30503/stat : 30503 (python) S 30157 30157 28606 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869471513 363638784 5814 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604448134906240 0 0 -1 6 0 0 0
[pid=30638] ppid=30157 vsize=365476 CPUtime=0.11 cores=0,2,4,6
/proc/30638/stat : 30638 (python) S 30157 30157 28606 0 -1 4202560 1180 0 0 0 5 6 0 0 19 0 2 0 869527373 374247424 5844 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30638/statm: 91369 5844 397 364 0 26232 0
[pid=30640] ppid=30638 vsize=42224 CPUtime=48.17 cores=0,2,4,6
/proc/30640/stat : 30640 (bsolo_pb10) T 30638 30640 30640 0 -1 4202496 8463 0 0 0 4807 10 0 0 25 0 1 0 869527373 43237376 8108 33554432000 134512640 137138936 4290838208 18446744073709551615 134542525 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/30640/statm: 10556 8108 192 642 0 9912 0
[pid=30638/tid=30642] ppid=30157 vsize=365476 CPUtime=0 cores=0,2,4,6
/proc/30638/task/30642/stat : 30642 (python) S 30157 30157 28606 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869532191 374247424 5844 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554946 18446604441671781184 0 0 -1 6 0 0 0
[pid=30643] ppid=30157 vsize=376344 CPUtime=0.16 cores=0,2,4,6
/proc/30643/stat : 30643 (python) S 30157 30157 28606 0 -1 4202560 982 0 0 0 9 7 0 0 15 0 1 0 869532192 385376256 5915 33554432000 4194304 5683644 140737370653616 18446744073709551615 222921797190 0 0 16781312 33554946 72556772316949198 0 0 17 6 0 0 0
/proc/30643/statm: 94086 5915 344 364 0 28946 0
[pid=30645] ppid=30643 vsize=192844 CPUtime=65.05 cores=0,2,4,6
/proc/30645/stat : 30645 (wbo1.4a) R 30643 30645 30645 0 -1 4202496 47925 0 0 0 6449 56 0 0 25 0 1 0 869532193 197472256 47648 33554432000 134512640 135751879 4286801168 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/30645/statm: 48211 47648 143 303 0 47906 0
[pid=30157/tid=30165] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30165/stat : 30165 (python) S 30155 30157 28606 0 -1 4202560 36 1328 0 0 0 0 0 0 18 0 11 0 869359392 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
[pid=30157/tid=30171] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30171/stat : 30171 (python) S 30155 30157 28606 0 -1 4202560 46 1328 0 0 0 0 0 0 18 0 11 0 869364104 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
[pid=30157/tid=30187] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30187/stat : 30187 (python) S 30155 30157 28606 0 -1 4202560 33 1328 0 0 0 0 0 0 18 0 11 0 869368816 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
[pid=30157/tid=30193] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30193/stat : 30193 (python) S 30155 30157 28606 0 -1 4202560 27 1328 0 0 0 0 0 0 20 0 11 0 869378342 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
[pid=30157/tid=30199] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30199/stat : 30199 (python) S 30155 30157 28606 0 -1 4202560 27 1328 0 0 0 0 0 0 20 0 11 0 869383166 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 6 0 0 0
[pid=30157/tid=30212] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30212/stat : 30212 (python) S 30155 30157 28606 0 -1 4202560 32 1328 0 0 0 0 0 0 20 0 11 0 869406521 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 6 0 0 0
[pid=30157/tid=30242] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30242/stat : 30242 (python) S 30155 30157 28606 0 -1 4202560 32 1328 0 0 0 0 0 0 20 0 11 0 869415917 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 6 0 0 0
[pid=30157/tid=30454] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30454/stat : 30454 (python) S 30155 30157 28606 0 -1 4202560 32 1328 0 0 0 0 0 0 20 0 11 0 869462184 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
[pid=30157/tid=30639] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30639/stat : 30639 (python) S 30155 30157 28606 0 -1 4202560 25 1328 0 0 0 0 0 0 20 0 11 0 869527373 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
[pid=30157/tid=30644] ppid=30155 vsize=386588 CPUtime=0 cores=0,2,4,6
/proc/30157/task/30644/stat : 30644 (python) S 30155 30157 28606 0 -1 4202560 27 1328 0 0 0 0 0 0 20 0 11 0 869532193 395866112 7465 33554432000 4194304 5683644 140737370653616 18446744073709551615 222933600689 0 0 16781312 33554434 18446604445685913408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 12804932
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 30157 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=762884
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=115982
# CPU time returned by wait4() is 0.878866
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1793.68
CPU time (s): 1800.04
CPU user time (s): 1778.6
CPU system time (s): 21.44
CPU usage (%): 100.355
Max. virtual memory (cumulated for all children) (KiB): 12804932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.762884
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20648
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= 1643
involuntary context switches= 44
runsolver used 10.0175 second user time and 19.454 second system time
The end