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-3482432-1307576459/watcher-3482432-1307576459 -o /tmp/evaluation-result-3482432-1307576459/solver-3482432-1307576459 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482432-1307576459.opb -seed 886815938 -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: 0.69 0.16 0.05 3/418 5157
/proc/meminfo: memFree=31543588/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/5157/stat : 5157 (python) R 5155 5157 5042 0 -1 4202496 862 0 0 0 0 0 0 0 17 0 1 0 325255567 16158720 743 33554432000 4194304 5683644 140735285782544 18446744073709551615 4543312 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5157/statm: 3945 745 340 364 0 432 0
[startup+0.116349 s]
/proc/loadavg: 0.69 0.16 0.05 3/418 5157
/proc/meminfo: memFree=31543588/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 3247 928 1 0 6 1 0 0 18 0 1 0 325255567 98435072 2483 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5157/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.200583 s]
/proc/loadavg: 0.69 0.16 0.05 3/418 5157
/proc/meminfo: memFree=31543588/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=123744 CPUtime=0.14 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 5358 928 1 0 11 3 0 0 17 0 1 0 325255567 126713856 3744 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5157/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123744
[startup+0.301456 s]
/proc/loadavg: 0.69 0.16 0.05 3/418 5157
/proc/meminfo: memFree=31543588/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=184600 CPUtime=0.2 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 6353 928 1 0 16 4 0 0 17 0 1 0 325255567 189030400 4652 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5157/statm: 46150 4656 1251 364 0 3656 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 184600
[startup+0.700458 s]
/proc/loadavg: 0.69 0.16 0.05 3/418 5157
/proc/meminfo: memFree=31543588/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=293484 CPUtime=0.42 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 9707 928 1 0 35 7 0 0 19 0 2 0 325255567 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 73371 7213 1870 364 0 8258 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293484
[startup+1.50031 s]
/proc/loadavg: 0.69 0.16 0.05 3/422 5166
/proc/meminfo: memFree=31516896/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=293484 CPUtime=0.42 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 9707 928 1 0 35 7 0 0 19 0 2 0 325255567 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 73371 7213 1870 364 0 8258 0
[pid=5164] ppid=5157 vsize=283240 CPUtime=0 cores=1,3,5,7
/proc/5164/stat : 5164 (python) S 5157 5157 5042 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 325255625 290037760 5688 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880585231 0 0 16781312 33554946 4437334230522888453 0 0 17 1 0 0 0
/proc/5164/statm: 70810 5688 349 364 0 5697 0
[pid=5166] ppid=5164 vsize=2392 CPUtime=0.91 cores=1,3,5,7
/proc/5166/stat : 5166 (clasp-1.3.7-x86) R 5164 5166 5166 0 -1 4202496 596 0 0 0 91 0 0 0 21 0 1 0 325255625 2449408 338 33554432000 134512640 136139019 4289850128 18446744073709551615 134608217 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5166/statm: 598 338 184 398 0 198 0
[pid=5157/tid=5165] ppid=5155 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5165/stat : 5165 (python) S 5155 5157 5042 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 325255625 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 579116
[startup+3.10102 s]
/proc/loadavg: 0.69 0.16 0.05 3/422 5166
/proc/meminfo: memFree=31515656/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=293484 CPUtime=0.42 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 9707 928 1 0 35 7 0 0 19 0 2 0 325255567 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 73371 7213 1870 364 0 8258 0
[pid=5164] ppid=5157 vsize=283240 CPUtime=0 cores=1,3,5,7
/proc/5164/stat : 5164 (python) S 5157 5157 5042 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 325255625 290037760 5691 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880585231 0 0 16781312 33554946 4437340277836841221 0 0 17 1 0 0 0
/proc/5164/statm: 70810 5691 352 364 0 5697 0
[pid=5166] ppid=5164 vsize=2668 CPUtime=2.51 cores=1,3,5,7
/proc/5166/stat : 5166 (clasp-1.3.7-x86) R 5164 5166 5166 0 -1 4202496 657 0 0 0 251 0 0 0 25 0 1 0 325255625 2732032 399 33554432000 134512640 136139019 4289850128 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5166/statm: 667 399 184 398 0 267 0
[pid=5157/tid=5165] ppid=5155 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5165/stat : 5165 (python) S 5155 5157 5042 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 325255625 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 579392
[startup+6.30045 s]
/proc/loadavg: 0.88 0.21 0.07 3/422 5166
/proc/meminfo: memFree=31516644/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=293484 CPUtime=0.42 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 9707 928 1 0 35 7 0 0 19 0 2 0 325255567 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 73371 7213 1870 364 0 8258 0
[pid=5164] ppid=5157 vsize=283240 CPUtime=0.01 cores=1,3,5,7
/proc/5164/stat : 5164 (python) S 5157 5157 5042 0 -1 4202560 873 0 0 0 0 1 0 0 18 0 1 0 325255625 290037760 5714 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880585231 0 0 16781312 33554946 4437344813322305797 0 0 17 1 0 0 0
/proc/5164/statm: 70810 5714 375 364 0 5697 0
[pid=5166] ppid=5164 vsize=2932 CPUtime=5.71 cores=1,3,5,7
/proc/5166/stat : 5166 (clasp-1.3.7-x86) R 5164 5166 5166 0 -1 4202496 731 0 0 0 571 0 0 0 25 0 1 0 325255625 3002368 473 33554432000 134512640 136139019 4289850128 18446744073709551615 134608320 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5166/statm: 733 473 184 398 0 333 0
[pid=5157/tid=5165] ppid=5155 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5165/stat : 5165 (python) S 5155 5157 5042 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 325255625 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 579656
[startup+12.7003 s]
/proc/loadavg: 0.97 0.24 0.08 3/422 5166
/proc/meminfo: memFree=31515320/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=293484 CPUtime=0.42 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 9707 928 1 0 35 7 0 0 19 0 2 0 325255567 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 73371 7213 1870 364 0 8258 0
[pid=5164] ppid=5157 vsize=283240 CPUtime=0.03 cores=1,3,5,7
/proc/5164/stat : 5164 (python) S 5157 5157 5042 0 -1 4202560 879 0 0 0 1 2 0 0 18 0 1 0 325255625 290037760 5715 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880585231 0 0 16781312 33554946 5623753486446373797 0 0 17 7 0 0 0
/proc/5164/statm: 70810 5715 376 364 0 5697 0
[pid=5166] ppid=5164 vsize=3212 CPUtime=12.11 cores=1,3,5,7
/proc/5166/stat : 5166 (clasp-1.3.7-x86) R 5164 5166 5166 0 -1 4202496 812 0 0 0 1211 0 0 0 25 0 1 0 325255625 3289088 554 33554432000 134512640 136139019 4289850128 18446744073709551615 134608269 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5166/statm: 803 554 184 398 0 403 0
[pid=5157/tid=5165] ppid=5155 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5165/stat : 5165 (python) S 5155 5157 5042 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 325255625 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 579936
[startup+25.501 s]
/proc/loadavg: 1.20 0.32 0.11 3/422 5201
/proc/meminfo: memFree=31515884/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=293484 CPUtime=0.42 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 9707 928 1 0 35 7 0 0 19 0 2 0 325255567 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 73371 7213 1870 364 0 8258 0
[pid=5164] ppid=5157 vsize=283240 CPUtime=0.08 cores=1,3,5,7
/proc/5164/stat : 5164 (python) S 5157 5157 5042 0 -1 4202560 883 0 0 0 3 5 0 0 18 0 1 0 325255625 290037760 5715 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880585231 0 0 16781312 33554946 5623753486446373797 0 0 17 7 0 0 0
/proc/5164/statm: 70810 5715 376 364 0 5697 0
[pid=5166] ppid=5164 vsize=3868 CPUtime=24.91 cores=1,3,5,7
/proc/5166/stat : 5166 (clasp-1.3.7-x86) R 5164 5166 5166 0 -1 4202496 965 0 0 0 2491 0 0 0 25 0 1 0 325255625 3960832 707 33554432000 134512640 136139019 4289850128 18446744073709551615 134883391 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5166/statm: 967 707 184 398 0 567 0
[pid=5157/tid=5165] ppid=5155 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5165/stat : 5165 (python) S 5155 5157 5042 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 325255625 300527616 7213 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 580592
[startup+51.1004 s]
/proc/loadavg: 1.47 0.46 0.16 3/423 5238
/proc/meminfo: memFree=31209036/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=304196 CPUtime=0.6 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 10654 928 1 0 52 8 0 0 20 0 3 0 325255567 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 76049 7346 1873 364 0 10933 0
[pid=5164] ppid=5157 vsize=293484 CPUtime=0.16 cores=1,3,5,7
/proc/5164/stat : 5164 (python) S 5157 5157 5042 0 -1 4202560 1127 0 0 0 7 9 0 0 19 0 2 0 325255625 300527616 5756 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5164/statm: 73371 5756 412 364 0 8258 0
[pid=5166] ppid=5164 vsize=4680 CPUtime=47.15 cores=1,3,5,7
/proc/5166/stat : 5166 (clasp-1.3.7-x86) T 5164 5166 5166 0 -1 4202496 1159 0 0 0 4715 0 0 0 25 0 1 0 325255625 4792320 901 33554432000 134512640 136139019 4289850128 18446744073709551615 134634856 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/5166/statm: 1170 901 184 398 0 770 0
[pid=5164/tid=5235] ppid=5157 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/5164/task/5235/stat : 5235 (python) S 5157 5157 5042 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 325260341 300527616 5756 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554946 18446604459681638272 0 0 -1 7 0 0 0
[pid=5236] ppid=5157 vsize=293952 CPUtime=0.01 cores=1,3,5,7
/proc/5236/stat : 5236 (python) S 5157 5157 5042 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 325260358 301006848 5842 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880585286 0 0 16781312 33554946 11664178144167821574 0 0 17 7 0 0 0
/proc/5236/statm: 73488 5842 373 364 0 8372 0
[pid=5238] ppid=5236 vsize=65288 CPUtime=3.16 cores=1,3,5,7
/proc/5238/stat : 5238 (minion) R 5236 5238 5238 0 -1 4202496 9420 0 0 0 315 1 0 0 25 0 1 0 325260360 66854912 9053 33554432000 134512640 165565024 4293526432 18446744073709551615 142764901 0 0 16781312 8396802 0 0 0 17 1 0 0 0
/proc/5238/statm: 16322 9053 346 7582 0 8737 0
[pid=5157/tid=5165] ppid=5155 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5165/stat : 5165 (python) S 5155 5157 5042 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 3 0 325255625 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
[pid=5157/tid=5237] ppid=5155 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5237/stat : 5237 (python) S 5155 5157 5042 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 3 0 325260358 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 961600
Solver just ended. Dumping a history of the last processes samples
[startup+52.2012 s]
/proc/loadavg: 1.47 0.46 0.16 6/443 5258
/proc/meminfo: memFree=31155304/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=304196 CPUtime=0.6 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 10654 928 1 0 52 8 0 0 20 0 3 0 325255567 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 76049 7346 1873 364 0 10933 0
[pid=5164] ppid=5157 vsize=293484 CPUtime=0.16 cores=1,3,5,7
/proc/5164/stat : 5164 (python) S 5157 5157 5042 0 -1 4202560 1127 0 0 0 7 9 0 0 19 0 2 0 325255625 300527616 5756 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5164/statm: 73371 5756 412 364 0 8258 0
[pid=5166] ppid=5164 vsize=4680 CPUtime=47.15 cores=1,3,5,7
/proc/5166/stat : 5166 (clasp-1.3.7-x86) T 5164 5166 5166 0 -1 4202496 1159 0 0 0 4715 0 0 0 25 0 1 0 325255625 4792320 901 33554432000 134512640 136139019 4289850128 18446744073709551615 134634856 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/5166/statm: 1170 901 184 398 0 770 0
[pid=5164/tid=5235] ppid=5157 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/5164/task/5235/stat : 5235 (python) S 5157 5157 5042 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 325260341 300527616 5756 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554946 18446604459681638272 0 0 -1 7 0 0 0
[pid=5236] ppid=5157 vsize=293952 CPUtime=0.01 cores=1,3,5,7
/proc/5236/stat : 5236 (python) S 5157 5157 5042 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 325260358 301006848 5842 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880585286 0 0 16781312 33554946 11664178144167821574 0 0 17 7 0 0 0
/proc/5236/statm: 73488 5842 373 364 0 8372 0
[pid=5238] ppid=5236 vsize=65288 CPUtime=4.26 cores=1,3,5,7
/proc/5238/stat : 5238 (minion) R 5236 5238 5238 0 -1 4202496 9420 0 0 0 425 1 0 0 25 0 1 0 325260360 66854912 9053 33554432000 134512640 165565024 4293526432 18446744073709551615 159737065 0 0 16781312 8396802 0 0 0 17 1 0 0 0
/proc/5238/statm: 16322 9053 346 7582 0 8737 0
[pid=5157/tid=5165] ppid=5155 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5165/stat : 5165 (python) S 5155 5157 5042 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 3 0 325255625 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
[pid=5157/tid=5237] ppid=5155 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5237/stat : 5237 (python) S 5155 5157 5042 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 3 0 325260358 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 52.18
Current children cumulated vsize (KiB) 961600
[startup+53.8009 s]
/proc/loadavg: 1.47 0.46 0.16 3/443 5258
/proc/meminfo: memFree=30820568/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=304196 CPUtime=0.6 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 10654 928 1 0 52 8 0 0 20 0 3 0 325255567 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 76049 7346 1873 364 0 10933 0
[pid=5164] ppid=5157 vsize=293484 CPUtime=0.16 cores=1,3,5,7
/proc/5164/stat : 5164 (python) S 5157 5157 5042 0 -1 4202560 1127 0 0 0 7 9 0 0 19 0 2 0 325255625 300527616 5756 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5164/statm: 73371 5756 412 364 0 8258 0
[pid=5166] ppid=5164 vsize=4680 CPUtime=47.15 cores=1,3,5,7
/proc/5166/stat : 5166 (clasp-1.3.7-x86) T 5164 5166 5166 0 -1 4202496 1159 0 0 0 4715 0 0 0 25 0 1 0 325255625 4792320 901 33554432000 134512640 136139019 4289850128 18446744073709551615 134634856 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/5166/statm: 1170 901 184 398 0 770 0
[pid=5164/tid=5235] ppid=5157 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/5164/task/5235/stat : 5235 (python) S 5157 5157 5042 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 325260341 300527616 5756 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554946 18446604459681638272 0 0 -1 7 0 0 0
[pid=5236] ppid=5157 vsize=293952 CPUtime=0.01 cores=1,3,5,7
/proc/5236/stat : 5236 (python) S 5157 5157 5042 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 325260358 301006848 5842 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880585286 0 0 16781312 33554946 11664178144167821574 0 0 17 7 0 0 0
/proc/5236/statm: 73488 5842 373 364 0 8372 0
[pid=5238] ppid=5236 vsize=65288 CPUtime=5.87 cores=1,3,5,7
/proc/5238/stat : 5238 (minion) R 5236 5238 5238 0 -1 4202496 9420 0 0 0 586 1 0 0 25 0 1 0 325260360 66854912 9053 33554432000 134512640 165565024 4293526432 18446744073709551615 142765004 0 0 16781312 8396802 0 0 0 17 1 0 0 0
/proc/5238/statm: 16322 9053 346 7582 0 8737 0
[pid=5157/tid=5165] ppid=5155 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5165/stat : 5165 (python) S 5155 5157 5042 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 3 0 325255625 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
[pid=5157/tid=5237] ppid=5155 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5237/stat : 5237 (python) S 5155 5157 5042 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 3 0 325260358 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 53.79
Current children cumulated vsize (KiB) 961600
[startup+55.4006 s]
/proc/loadavg: 1.67 0.51 0.18 3/443 5258
/proc/meminfo: memFree=30558248/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=304196 CPUtime=0.6 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 10654 928 1 0 52 8 0 0 20 0 3 0 325255567 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 76049 7346 1873 364 0 10933 0
[pid=5164] ppid=5157 vsize=293484 CPUtime=0.16 cores=1,3,5,7
/proc/5164/stat : 5164 (python) S 5157 5157 5042 0 -1 4202560 1127 0 0 0 7 9 0 0 19 0 2 0 325255625 300527616 5756 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5164/statm: 73371 5756 412 364 0 8258 0
[pid=5166] ppid=5164 vsize=4680 CPUtime=47.15 cores=1,3,5,7
/proc/5166/stat : 5166 (clasp-1.3.7-x86) T 5164 5166 5166 0 -1 4202496 1159 0 0 0 4715 0 0 0 25 0 1 0 325255625 4792320 901 33554432000 134512640 136139019 4289850128 18446744073709551615 134634856 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/5166/statm: 1170 901 184 398 0 770 0
[pid=5164/tid=5235] ppid=5157 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/5164/task/5235/stat : 5235 (python) S 5157 5157 5042 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 325260341 300527616 5756 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554946 18446604459681638272 0 0 -1 7 0 0 0
[pid=5236] ppid=5157 vsize=293952 CPUtime=0.01 cores=1,3,5,7
/proc/5236/stat : 5236 (python) S 5157 5157 5042 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 325260358 301006848 5842 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880585286 0 0 16781312 33554946 11664178144167821574 0 0 17 7 0 0 0
/proc/5236/statm: 73488 5842 373 364 0 8372 0
[pid=5238] ppid=5236 vsize=65288 CPUtime=7.46 cores=1,3,5,7
/proc/5238/stat : 5238 (minion) R 5236 5238 5238 0 -1 4202496 9420 0 0 0 745 1 0 0 25 0 1 0 325260360 66854912 9053 33554432000 134512640 165565024 4293526432 18446744073709551615 158624697 0 0 16781312 8396802 0 0 0 17 1 0 0 0
/proc/5238/statm: 16322 9053 346 7582 0 8737 0
[pid=5157/tid=5165] ppid=5155 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5165/stat : 5165 (python) S 5155 5157 5042 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 3 0 325255625 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
[pid=5157/tid=5237] ppid=5155 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5237/stat : 5237 (python) S 5155 5157 5042 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 3 0 325260358 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 55.38
Current children cumulated vsize (KiB) 961600
[startup+56.2005 s]
/proc/loadavg: 1.67 0.51 0.18 3/443 5258
/proc/meminfo: memFree=30497364/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=304196 CPUtime=0.6 cores=1,3,5,7
/proc/5157/stat : 5157 (python) S 5155 5157 5042 0 -1 4202496 10654 928 1 0 52 8 0 0 20 0 3 0 325255567 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5157/statm: 76049 7346 1873 364 0 10933 0
[pid=5164] ppid=5157 vsize=293484 CPUtime=0.16 cores=1,3,5,7
/proc/5164/stat : 5164 (python) S 5157 5157 5042 0 -1 4202560 1127 0 0 0 7 9 0 0 19 0 2 0 325255625 300527616 5756 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5164/statm: 73371 5756 412 364 0 8258 0
[pid=5166] ppid=5164 vsize=4680 CPUtime=47.15 cores=1,3,5,7
/proc/5166/stat : 5166 (clasp-1.3.7-x86) T 5164 5166 5166 0 -1 4202496 1159 0 0 0 4715 0 0 0 25 0 1 0 325255625 4792320 901 33554432000 134512640 136139019 4289850128 18446744073709551615 134634856 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/5166/statm: 1170 901 184 398 0 770 0
[pid=5164/tid=5235] ppid=5157 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/5164/task/5235/stat : 5235 (python) S 5157 5157 5042 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 325260341 300527616 5756 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554946 18446604459681638272 0 0 -1 7 0 0 0
[pid=5236] ppid=5157 vsize=293952 CPUtime=0.03 cores=1,3,5,7
/proc/5236/stat : 5236 (python) S 5157 5157 5042 0 -1 4202560 917 0 0 0 1 2 0 0 18 0 1 0 325260358 301006848 5842 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880585286 0 0 16781312 33554946 5623753486446373797 0 0 17 7 0 0 0
/proc/5236/statm: 73488 5842 373 364 0 8372 0
[pid=5238] ppid=5236 vsize=65288 CPUtime=8.26 cores=1,3,5,7
/proc/5238/stat : 5238 (minion) R 5236 5238 5238 0 -1 4202496 9420 0 0 0 825 1 0 0 25 0 1 0 325260360 66854912 9053 33554432000 134512640 165565024 4293526432 18446744073709551615 159737071 0 0 16781312 8396802 0 0 0 17 1 0 0 0
/proc/5238/statm: 16322 9053 346 7582 0 8737 0
[pid=5157/tid=5165] ppid=5155 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5165/stat : 5165 (python) S 5155 5157 5042 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 3 0 325255625 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
[pid=5157/tid=5237] ppid=5155 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/5157/task/5237/stat : 5237 (python) S 5155 5157 5042 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 3 0 325260358 311496704 7346 33554432000 4194304 5683644 140735285782544 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462841023424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 56.2
Current children cumulated vsize (KiB) 961600
[startup+56.6004 s]
/proc/loadavg: 1.67 0.51 0.18 3/443 5258
/proc/meminfo: memFree=30497364/32950928 swapFree=51865260/67111528
[pid=5157] ppid=5155 vsize=304160 CPUtime=56.62 cores=1,3,5,7
/proc/5157/stat : 5157 (python) R 5155 5157 5042 0 -1 4202496 14751 13821 1 0 54 8 5587 13 17 0 1 0 325255567 311459840 7343 33554432000 4194304 5683644 140735285782544 18446744073709551615 218880221264 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/5157/statm: 76040 7343 1870 364 0 10933 0
Current children cumulated CPU time (s) 56.62
Current children cumulated vsize (KiB) 304160
Child status: 0
Real time (s): 56.6051
CPU time (s): 56.6394
CPU user time (s): 56.4234
CPU system time (s): 0.215967
CPU usage (%): 100.061
Max. virtual memory (cumulated for all children) (KiB): 961604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.4234
system time used= 0.215967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28898
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= 1482
involuntary context switches= 179
runsolver used 0.232964 second user time and 0.494924 second system time
The end