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-3482598-1307576462/watcher-3482598-1307576462 -o /tmp/evaluation-result-3482598-1307576462/solver-3482598-1307576462 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482598-1307576462.opb -seed 505410630 -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: 1.81 0.58 0.20 2/444 15461
/proc/meminfo: memFree=24588860/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/15461/stat : 15461 (python) R 15459 15461 15040 0 -1 4202496 997 0 0 0 0 0 0 0 20 0 1 0 850061896 16625664 869 33554432000 4194304 5683644 140735090418384 18446744073709551615 4875555 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15461/statm: 4059 869 368 364 0 546 0
[startup+0.0487529 s]
/proc/loadavg: 1.81 0.58 0.20 2/444 15461
/proc/meminfo: memFree=24588860/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=29784 CPUtime=0.03 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 1447 0 0 0 3 0 0 0 20 0 1 0 850061896 30498816 1288 33554432000 4194304 5683644 140735090418384 18446744073709551615 270338381824 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15461/statm: 7446 1288 443 364 0 816 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29784
[startup+0.106573 s]
/proc/loadavg: 1.81 0.58 0.20 2/444 15461
/proc/meminfo: memFree=24588860/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/15461/stat : 15461 (python) R 15459 15461 15040 0 -1 4202496 3169 930 1 0 6 1 0 0 18 0 1 0 850061896 98430976 2483 33554432000 4194304 5683644 140735090418384 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15461/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.30053 s]
/proc/loadavg: 1.81 0.58 0.20 2/444 15461
/proc/meminfo: memFree=24588860/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=195520 CPUtime=0.24 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 6588 930 1 0 17 7 0 0 17 0 1 0 850061896 200212480 4877 33554432000 4194304 5683644 140735090418384 18446744073709551615 270333460103 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15461/statm: 49410 4886 1435 364 0 3675 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 195520
[startup+0.700478 s]
/proc/loadavg: 1.81 0.58 0.20 2/444 15461
/proc/meminfo: memFree=24588860/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293480 CPUtime=0.46 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 9706 930 1 0 35 11 0 0 19 0 2 0 850061896 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15461/statm: 73370 7213 1870 364 0 8257 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293480
[startup+1.50032 s]
/proc/loadavg: 1.81 0.58 0.20 3/448 15469
/proc/meminfo: memFree=24562788/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293480 CPUtime=0.46 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 9706 930 1 0 35 11 0 0 19 0 2 0 850061896 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15461/statm: 73370 7213 1870 364 0 8257 0
[pid=15467] ppid=15461 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/15467/stat : 15467 (python) S 15461 15461 15040 0 -1 4202560 699 0 0 0 0 0 0 0 18 0 1 0 850061952 290033664 5688 33554432000 4194304 5683644 140735090418384 18446744073709551615 270338403855 0 0 16781312 33554946 4429593668663345409 0 0 17 6 0 0 0
/proc/15467/statm: 70809 5688 349 364 0 5696 0
[pid=15469] ppid=15467 vsize=2388 CPUtime=0.94 cores=0,2,4,6
/proc/15469/stat : 15469 (clasp-1.3.7-x86) R 15467 15469 15469 0 -1 4202496 605 0 0 0 94 0 0 0 21 0 1 0 850061952 2445312 348 33554432000 134512640 136139019 4289181488 18446744073709551615 134608292 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15469/statm: 597 348 184 398 0 197 0
[pid=15461/tid=15468] ppid=15459 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15461/task/15468/stat : 15468 (python) S 15459 15461 15040 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 850061952 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452837509056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 579104
[startup+3.10095 s]
/proc/loadavg: 1.81 0.58 0.20 3/448 15469
/proc/meminfo: memFree=24562036/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293480 CPUtime=0.46 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 9706 930 1 0 35 11 0 0 19 0 2 0 850061896 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15461/statm: 73370 7213 1870 364 0 8257 0
[pid=15467] ppid=15461 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/15467/stat : 15467 (python) S 15461 15461 15040 0 -1 4202560 722 0 0 0 0 0 0 0 18 0 1 0 850061952 290033664 5691 33554432000 4194304 5683644 140735090418384 18446744073709551615 270338403855 0 0 16781312 33554946 14887646413730054401 0 0 17 6 0 0 0
/proc/15467/statm: 70809 5691 352 364 0 5696 0
[pid=15469] ppid=15467 vsize=2784 CPUtime=2.54 cores=0,2,4,6
/proc/15469/stat : 15469 (clasp-1.3.7-x86) R 15467 15469 15469 0 -1 4202496 685 0 0 0 254 0 0 0 25 0 1 0 850061952 2850816 428 33554432000 134512640 136139019 4289181488 18446744073709551615 134608192 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15469/statm: 696 428 184 398 0 296 0
[pid=15461/tid=15468] ppid=15459 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15461/task/15468/stat : 15468 (python) S 15459 15461 15040 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 850061952 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452837509056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 579500
[startup+6.30035 s]
/proc/loadavg: 1.91 0.62 0.22 3/448 15469
/proc/meminfo: memFree=24563156/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293480 CPUtime=0.46 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 9706 930 1 0 35 11 0 0 19 0 2 0 850061896 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15461/statm: 73370 7213 1870 364 0 8257 0
[pid=15467] ppid=15461 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/15467/stat : 15467 (python) S 15461 15461 15040 0 -1 4202560 875 0 0 0 0 1 0 0 18 0 1 0 850061952 290033664 5715 33554432000 4194304 5683644 140735090418384 18446744073709551615 270338403855 0 0 16781312 33554946 14887640366416101633 0 0 17 2 0 0 0
/proc/15467/statm: 70809 5715 376 364 0 5696 0
[pid=15469] ppid=15467 vsize=3048 CPUtime=5.74 cores=0,2,4,6
/proc/15469/stat : 15469 (clasp-1.3.7-x86) R 15467 15469 15469 0 -1 4202496 764 0 0 0 574 0 0 0 25 0 1 0 850061952 3121152 507 33554432000 134512640 136139019 4289181488 18446744073709551615 134831120 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15469/statm: 762 507 184 398 0 362 0
[pid=15461/tid=15468] ppid=15459 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15461/task/15468/stat : 15468 (python) S 15459 15461 15040 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 850061952 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452837509056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 579764
[startup+12.7011 s]
/proc/loadavg: 1.92 0.64 0.22 3/448 15469
/proc/meminfo: memFree=24516136/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293480 CPUtime=0.46 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 9706 930 1 0 35 11 0 0 19 0 2 0 850061896 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15461/statm: 73370 7213 1870 364 0 8257 0
[pid=15467] ppid=15461 vsize=283236 CPUtime=0.03 cores=0,2,4,6
/proc/15467/stat : 15467 (python) S 15461 15461 15040 0 -1 4202560 878 0 0 0 1 2 0 0 18 0 1 0 850061952 290033664 5715 33554432000 4194304 5683644 140735090418384 18446744073709551615 270338403855 0 0 16781312 33554946 72262103200705263 0 0 17 2 0 0 0
/proc/15467/statm: 70809 5715 376 364 0 5696 0
[pid=15469] ppid=15467 vsize=3592 CPUtime=12.14 cores=0,2,4,6
/proc/15469/stat : 15469 (clasp-1.3.7-x86) R 15467 15469 15469 0 -1 4202496 887 0 0 0 1214 0 0 0 25 0 1 0 850061952 3678208 630 33554432000 134512640 136139019 4289181488 18446744073709551615 134608160 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15469/statm: 898 630 184 398 0 498 0
[pid=15461/tid=15468] ppid=15459 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15461/task/15468/stat : 15468 (python) S 15459 15461 15040 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 850061952 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452837509056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 580308
Solver just ended. Dumping a history of the last processes samples
[startup+13.7009 s]
/proc/loadavg: 1.92 0.66 0.23 3/448 15469
/proc/meminfo: memFree=24516260/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293480 CPUtime=0.46 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 9706 930 1 0 35 11 0 0 19 0 2 0 850061896 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15461/statm: 73370 7213 1870 364 0 8257 0
[pid=15467] ppid=15461 vsize=283236 CPUtime=0.04 cores=0,2,4,6
/proc/15467/stat : 15467 (python) S 15461 15461 15040 0 -1 4202560 881 0 0 0 2 2 0 0 18 0 1 0 850061952 290033664 5715 33554432000 4194304 5683644 140735090418384 18446744073709551615 270338403855 0 0 16781312 33554946 72262103200705263 0 0 17 2 0 0 0
/proc/15467/statm: 70809 5715 376 364 0 5696 0
[pid=15469] ppid=15467 vsize=3592 CPUtime=13.14 cores=0,2,4,6
/proc/15469/stat : 15469 (clasp-1.3.7-x86) R 15467 15469 15469 0 -1 4202496 901 0 0 0 1314 0 0 0 25 0 1 0 850061952 3678208 644 33554432000 134512640 136139019 4289181488 18446744073709551615 134883428 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15469/statm: 898 644 184 398 0 498 0
[pid=15461/tid=15468] ppid=15459 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15461/task/15468/stat : 15468 (python) S 15459 15461 15040 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 850061952 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452837509056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.64
Current children cumulated vsize (KiB) 580308
[startup+16.9012 s]
/proc/loadavg: 1.92 0.66 0.23 3/448 15469
/proc/meminfo: memFree=24516632/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293480 CPUtime=0.46 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 9706 930 1 0 35 11 0 0 19 0 2 0 850061896 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15461/statm: 73370 7213 1870 364 0 8257 0
[pid=15467] ppid=15461 vsize=283236 CPUtime=0.04 cores=0,2,4,6
/proc/15467/stat : 15467 (python) S 15461 15461 15040 0 -1 4202560 881 0 0 0 2 2 0 0 18 0 1 0 850061952 290033664 5715 33554432000 4194304 5683644 140735090418384 18446744073709551615 270338403855 0 0 16781312 33554946 72262103200705263 0 0 17 2 0 0 0
/proc/15467/statm: 70809 5715 376 364 0 5696 0
[pid=15469] ppid=15467 vsize=3732 CPUtime=16.34 cores=0,2,4,6
/proc/15469/stat : 15469 (clasp-1.3.7-x86) R 15467 15469 15469 0 -1 4202496 937 0 0 0 1634 0 0 0 25 0 1 0 850061952 3821568 680 33554432000 134512640 136139019 4289181488 18446744073709551615 134871248 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15469/statm: 933 680 184 398 0 533 0
[pid=15461/tid=15468] ppid=15459 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15461/task/15468/stat : 15468 (python) S 15459 15461 15040 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 850061952 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452837509056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.84
Current children cumulated vsize (KiB) 580448
[startup+18.5009 s]
/proc/loadavg: 1.93 0.68 0.24 3/448 15469
/proc/meminfo: memFree=24516756/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293480 CPUtime=0.46 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 9706 930 1 0 35 11 0 0 19 0 2 0 850061896 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15461/statm: 73370 7213 1870 364 0 8257 0
[pid=15467] ppid=15461 vsize=283236 CPUtime=0.04 cores=0,2,4,6
/proc/15467/stat : 15467 (python) S 15461 15461 15040 0 -1 4202560 881 0 0 0 2 2 0 0 18 0 1 0 850061952 290033664 5715 33554432000 4194304 5683644 140735090418384 18446744073709551615 270338403855 0 0 16781312 33554946 72262103200705263 0 0 17 2 0 0 0
/proc/15467/statm: 70809 5715 376 364 0 5696 0
[pid=15469] ppid=15467 vsize=3864 CPUtime=17.95 cores=0,2,4,6
/proc/15469/stat : 15469 (clasp-1.3.7-x86) R 15467 15469 15469 0 -1 4202496 956 0 0 0 1795 0 0 0 25 0 1 0 850061952 3956736 699 33554432000 134512640 136139019 4289181488 18446744073709551615 134883461 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15469/statm: 966 699 184 398 0 566 0
[pid=15461/tid=15468] ppid=15459 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15461/task/15468/stat : 15468 (python) S 15459 15461 15040 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 850061952 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452837509056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.45
Current children cumulated vsize (KiB) 580580
[startup+19.3008 s]
/proc/loadavg: 1.93 0.68 0.24 3/448 15469
/proc/meminfo: memFree=24516756/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293480 CPUtime=0.46 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 9706 930 1 0 35 11 0 0 19 0 2 0 850061896 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15461/statm: 73370 7213 1870 364 0 8257 0
[pid=15467] ppid=15461 vsize=283236 CPUtime=0.06 cores=0,2,4,6
/proc/15467/stat : 15467 (python) S 15461 15461 15040 0 -1 4202560 882 0 0 0 3 3 0 0 18 0 1 0 850061952 290033664 5715 33554432000 4194304 5683644 140735090418384 18446744073709551615 270338403855 0 0 16781312 33554946 72262103200705263 0 0 17 2 0 0 0
/proc/15467/statm: 70809 5715 376 364 0 5696 0
[pid=15469] ppid=15467 vsize=3864 CPUtime=18.74 cores=0,2,4,6
/proc/15469/stat : 15469 (clasp-1.3.7-x86) R 15467 15469 15469 0 -1 4202496 972 0 0 0 1874 0 0 0 25 0 1 0 850061952 3956736 715 33554432000 134512640 136139019 4289181488 18446744073709551615 134828888 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15469/statm: 966 715 184 398 0 566 0
[pid=15461/tid=15468] ppid=15459 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15461/task/15468/stat : 15468 (python) S 15459 15461 15040 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 850061952 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452837509056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.26
Current children cumulated vsize (KiB) 580580
[startup+20.1006 s]
/proc/loadavg: 1.93 0.68 0.24 3/448 15469
/proc/meminfo: memFree=24516880/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293480 CPUtime=0.46 cores=0,2,4,6
/proc/15461/stat : 15461 (python) S 15459 15461 15040 0 -1 4202496 9706 930 1 0 35 11 0 0 19 0 2 0 850061896 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15461/statm: 73370 7213 1870 364 0 8257 0
[pid=15467] ppid=15461 vsize=283236 CPUtime=0.06 cores=0,2,4,6
/proc/15467/stat : 15467 (python) S 15461 15461 15040 0 -1 4202560 882 0 0 0 3 3 0 0 18 0 1 0 850061952 290033664 5715 33554432000 4194304 5683644 140735090418384 18446744073709551615 270338403855 0 0 16781312 33554946 72262103200705263 0 0 17 2 0 0 0
/proc/15467/statm: 70809 5715 376 364 0 5696 0
[pid=15469] ppid=15467 vsize=3864 CPUtime=19.54 cores=0,2,4,6
/proc/15469/stat : 15469 (clasp-1.3.7-x86) R 15467 15469 15469 0 -1 4202496 972 0 0 0 1954 0 0 0 25 0 1 0 850061952 3956736 715 33554432000 134512640 136139019 4289181488 18446744073709551615 134883707 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15469/statm: 966 715 184 398 0 566 0
[pid=15461/tid=15468] ppid=15459 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15461/task/15468/stat : 15468 (python) S 15459 15461 15040 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 850061952 300523520 7213 33554432000 4194304 5683644 140735090418384 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452837509056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.06
Current children cumulated vsize (KiB) 580580
[startup+20.3006 s]
/proc/loadavg: 1.93 0.68 0.24 3/448 15469
/proc/meminfo: memFree=24516880/32951124 swapFree=50923800/67111528
[pid=15461] ppid=15459 vsize=293456 CPUtime=20.27 cores=0,2,4,6
/proc/15461/stat : 15461 (python) R 15459 15461 15040 0 -1 4202496 12910 3105 1 0 36 11 1977 3 18 0 1 0 850061896 300498944 7212 33554432000 4194304 5683644 140735090418384 18446744073709551615 4506068 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/15461/statm: 73364 7212 1869 364 0 8257 0
Current children cumulated CPU time (s) 20.27
Current children cumulated vsize (KiB) 293456
Child status: 0
Real time (s): 20.31
CPU time (s): 20.3019
CPU user time (s): 20.1499
CPU system time (s): 0.151976
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 580584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.1499
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17229
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= 1027
involuntary context switches= 72
runsolver used 0.096985 second user time and 0.180972 second system time
The end