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-3482631-1307576477/watcher-3482631-1307576477 -o /tmp/evaluation-result-3482631-1307576477/solver-3482631-1307576477 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482631-1307576477.opb -seed 1688592225 -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.77 0.19 0.06 2/276 28967
/proc/meminfo: memFree=31991712/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/28967/stat : 28967 (python) R 28965 28967 28606 0 -1 4202496 902 0 0 0 0 0 0 0 21 0 1 0 869248516 16158720 783 33554432000 4194304 5683644 140735014810560 18446744073709551615 4426576 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28967/statm: 3945 783 345 364 0 432 0
[startup+0.0195481 s]
/proc/loadavg: 0.77 0.19 0.06 2/276 28967
/proc/meminfo: memFree=31991712/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 1077 0 0 0 1 0 0 0 21 0 1 0 869248516 16793600 948 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/28967/statm: 4100 948 383 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+0.105088 s]
/proc/loadavg: 0.77 0.19 0.06 2/276 28967
/proc/meminfo: memFree=31991712/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/28967/stat : 28967 (python) R 28965 28967 28606 0 -1 4202496 3168 927 1 0 6 2 0 0 18 0 1 0 869248516 98435072 2483 33554432000 4194304 5683644 140735014810560 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28967/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.301007 s]
/proc/loadavg: 0.77 0.19 0.06 2/276 28967
/proc/meminfo: memFree=31991712/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=123884 CPUtime=0.18 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 5385 927 1 0 13 5 0 0 17 0 1 0 869248516 126857216 3758 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/28967/statm: 30971 3758 987 364 0 2803 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123884
[startup+0.700886 s]
/proc/loadavg: 0.77 0.19 0.06 2/276 28967
/proc/meminfo: memFree=31991712/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293480
[startup+1.50079 s]
/proc/loadavg: 0.77 0.19 0.06 3/280 28975
/proc/meminfo: memFree=31966568/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 702 0 0 0 0 0 0 0 19 0 1 0 869248579 290033664 5688 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 4591668210947817735 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5688 349 364 0 5696 0
[pid=28975] ppid=28973 vsize=2388 CPUtime=0.87 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 593 0 0 0 87 0 0 0 23 0 1 0 869248579 2445312 336 33554432000 134512640 136139019 4288790320 18446744073709551615 134883777 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/28975/statm: 597 336 184 398 0 197 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 579104
[startup+3.10049 s]
/proc/loadavg: 0.87 0.22 0.07 3/280 28975
/proc/meminfo: memFree=31965700/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 1 0 869248579 290033664 5691 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 4591666699119329543 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5691 352 364 0 5696 0
[pid=28975] ppid=28973 vsize=2652 CPUtime=2.47 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 681 0 0 0 247 0 0 0 25 0 1 0 869248579 2715648 424 33554432000 134512640 136139019 4288790320 18446744073709551615 134598352 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/28975/statm: 663 424 184 398 0 263 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 579368
[startup+6.30091 s]
/proc/loadavg: 0.87 0.22 0.07 3/280 28975
/proc/meminfo: memFree=31966096/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 881 0 0 0 0 0 0 0 18 0 1 0 869248579 290033664 5714 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 4591534276687659271 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5714 375 364 0 5696 0
[pid=28975] ppid=28973 vsize=3052 CPUtime=5.66 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 782 0 0 0 566 0 0 0 25 0 1 0 869248579 3125248 525 33554432000 134512640 136139019 4288790320 18446744073709551615 134634755 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/28975/statm: 763 525 184 398 0 363 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 579768
[startup+12.7007 s]
/proc/loadavg: 1.04 0.28 0.09 3/280 28975
/proc/meminfo: memFree=31966116/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 886 0 0 0 1 0 0 0 18 0 1 0 869248579 290033664 5714 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 5623606151888251704 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5714 375 364 0 5696 0
[pid=28975] ppid=28973 vsize=3452 CPUtime=12.06 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 866 0 0 0 1206 0 0 0 25 0 1 0 869248579 3534848 609 33554432000 134512640 136139019 4288790320 18446744073709551615 134883764 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/28975/statm: 863 609 184 398 0 463 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 580168
[startup+25.5004 s]
/proc/loadavg: 1.19 0.33 0.11 3/274 29015
/proc/meminfo: memFree=31980552/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0.04 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 896 0 0 0 2 2 0 0 18 0 1 0 869248579 290033664 5715 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 5623606151888251704 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5715 376 364 0 5696 0
[pid=28975] ppid=28973 vsize=4124 CPUtime=24.87 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 1036 0 0 0 2485 2 0 0 25 0 1 0 869248579 4222976 779 33554432000 134512640 136139019 4288790320 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/28975/statm: 1031 779 184 398 0 631 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 580840
Solver just ended. Dumping a history of the last processes samples
[startup+26.9011 s]
/proc/loadavg: 1.19 0.33 0.11 3/274 29015
/proc/meminfo: memFree=31980560/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0.04 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 896 0 0 0 2 2 0 0 18 0 1 0 869248579 290033664 5715 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 5623606151888251704 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5715 376 364 0 5696 0
[pid=28975] ppid=28973 vsize=4260 CPUtime=26.26 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 1058 0 0 0 2624 2 0 0 25 0 1 0 869248579 4362240 801 33554432000 134512640 136139019 4288790320 18446744073709551615 134883415 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/28975/statm: 1065 801 184 398 0 665 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 26.76
Current children cumulated vsize (KiB) 580976
[startup+28.5008 s]
/proc/loadavg: 1.26 0.36 0.12 3/272 29034
/proc/meminfo: memFree=31990124/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0.04 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 896 0 0 0 2 2 0 0 18 0 1 0 869248579 290033664 5715 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 5623606151888251704 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5715 376 364 0 5696 0
[pid=28975] ppid=28973 vsize=4260 CPUtime=27.86 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 1071 0 0 0 2784 2 0 0 25 0 1 0 869248579 4362240 814 33554432000 134512640 136139019 4288790320 18446744073709551615 134883415 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/28975/statm: 1065 814 184 398 0 665 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 28.36
Current children cumulated vsize (KiB) 580976
[startup+29.3007 s]
/proc/loadavg: 1.26 0.36 0.12 3/277 29043
/proc/meminfo: memFree=31967136/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0.05 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 898 0 0 0 2 3 0 0 18 0 1 0 869248579 290033664 5715 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 5623606151888251704 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5715 376 364 0 5696 0
[pid=28975] ppid=28973 vsize=4404 CPUtime=28.66 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 1087 0 0 0 2864 2 0 0 25 0 1 0 869248579 4509696 830 33554432000 134512640 136139019 4288790320 18446744073709551615 134632559 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/28975/statm: 1101 830 184 398 0 701 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 29.17
Current children cumulated vsize (KiB) 581120
[startup+30.1005 s]
/proc/loadavg: 1.26 0.36 0.12 3/277 29074
/proc/meminfo: memFree=31985304/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0.05 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 898 0 0 0 2 3 0 0 18 0 1 0 869248579 290033664 5715 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 5623606151888251704 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5715 376 364 0 5696 0
[pid=28975] ppid=28973 vsize=4404 CPUtime=29.46 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 1101 0 0 0 2944 2 0 0 25 0 1 0 869248579 4509696 844 33554432000 134512640 136139019 4288790320 18446744073709551615 134608376 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/28975/statm: 1101 844 184 398 0 701 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (KiB) 581120
[startup+30.3005 s]
/proc/loadavg: 1.26 0.36 0.12 3/277 29074
/proc/meminfo: memFree=31985304/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0.05 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 898 0 0 0 2 3 0 0 18 0 1 0 869248579 290033664 5715 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 5623606151888251704 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5715 376 364 0 5696 0
[pid=28975] ppid=28973 vsize=4404 CPUtime=29.65 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 1101 0 0 0 2963 2 0 0 25 0 1 0 869248579 4509696 844 33554432000 134512640 136139019 4288790320 18446744073709551615 134832464 0 0 16781312 16386 0 0 0 17 7 0 0 0
/proc/28975/statm: 1101 844 184 398 0 701 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 30.16
Current children cumulated vsize (KiB) 581120
[startup+30.4004 s]
/proc/loadavg: 1.26 0.36 0.12 3/277 29074
/proc/meminfo: memFree=31985304/32951124 swapFree=53958412/67111528
[pid=28967] ppid=28965 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/28967/stat : 28967 (python) S 28965 28967 28606 0 -1 4202496 9708 927 1 0 36 10 0 0 19 0 2 0 869248516 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28967/statm: 73370 7213 1870 364 0 8257 0
[pid=28973] ppid=28967 vsize=283236 CPUtime=0.05 cores=1,3,5,7
/proc/28973/stat : 28973 (python) S 28967 28967 28606 0 -1 4202560 898 0 0 0 2 3 0 0 18 0 1 0 869248579 290033664 5715 33554432000 4194304 5683644 140735014810560 18446744073709551615 222921797135 0 0 16781312 33554946 5623606151888251704 0 0 17 5 0 0 0
/proc/28973/statm: 70809 5715 376 364 0 5696 0
[pid=28975] ppid=28973 vsize=4404 CPUtime=29.75 cores=1,3,5,7
/proc/28975/stat : 28975 (clasp-1.3.7-x86) R 28973 28975 28975 0 -1 4202496 1101 0 0 0 2973 2 0 0 25 0 1 0 869248579 4509696 844 33554432000 134512640 136139019 4288790320 18446744073709551615 134622001 0 0 16781312 16386 0 0 0 17 7 0 0 0
/proc/28975/statm: 1101 844 184 398 0 701 0
[pid=28967/tid=28974] ppid=28965 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/28967/task/28974/stat : 28974 (python) S 28965 28967 28606 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869248579 300523520 7213 33554432000 4194304 5683644 140735014810560 18446744073709551615 222933600689 0 0 16781312 33554434 18446604464346729408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 30.26
Current children cumulated vsize (KiB) 581120
Child status: 0
Real time (s): 30.445
CPU time (s): 30.3424
CPU user time (s): 30.1704
CPU system time (s): 0.171973
CPU usage (%): 99.6629
Max. virtual memory (cumulated for all children) (KiB): 581120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.1704
system time used= 0.171973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17362
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= 1627
involuntary context switches= 68
runsolver used 0.051992 second user time and 0.19597 second system time
The end