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-3482613-1307576469/watcher-3482613-1307576469 -o /tmp/evaluation-result-3482613-1307576469/solver-3482613-1307576469 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482613-1307576469.opb -seed 654211118 -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: 0.57 0.13 0.04 2/484 29703
/proc/meminfo: memFree=31960624/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/29703/stat : 29703 (python) R 29701 29703 29517 0 -1 4202496 1038 0 0 0 0 0 0 0 20 0 1 0 869249308 16629760 910 33554432000 4194304 5683644 140737175384224 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29703/statm: 4060 910 380 364 0 547 0
[startup+0.101883 s]
/proc/loadavg: 0.57 0.13 0.04 2/484 29703
/proc/meminfo: memFree=31960624/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/29703/stat : 29703 (python) R 29701 29703 29517 0 -1 4202496 3169 929 1 0 5 2 0 0 18 0 1 0 869249308 98435072 2484 33554432000 4194304 5683644 140737175384224 18446744073709551615 5158152 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29703/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.200886 s]
/proc/loadavg: 0.57 0.13 0.04 2/484 29703
/proc/meminfo: memFree=31960624/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=123740 CPUtime=0.14 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 5357 929 1 0 11 3 0 0 17 0 1 0 869249308 126709760 3744 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436015104 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/29703/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.300881 s]
/proc/loadavg: 0.57 0.13 0.04 2/484 29703
/proc/meminfo: memFree=31960624/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=177688 CPUtime=0.21 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 6257 929 1 0 16 5 0 0 17 0 1 0 869249308 181952512 4566 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436015104 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/29703/statm: 44422 4566 1238 364 0 3534 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 177688
[startup+0.700808 s]
/proc/loadavg: 0.57 0.13 0.04 2/484 29703
/proc/meminfo: memFree=31960624/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293480
[startup+1.50061 s]
/proc/loadavg: 0.57 0.13 0.04 3/488 29711
/proc/meminfo: memFree=31933684/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 701 0 0 0 0 0 0 0 18 0 1 0 869249365 290033664 5689 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 14871617664500859139 0 0 17 2 0 0 0
/proc/29709/statm: 70809 5689 349 364 0 5696 0
[pid=29711] ppid=29709 vsize=2388 CPUtime=0.92 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 601 0 0 0 92 0 0 0 21 0 1 0 869249365 2445312 344 33554432000 134512640 136139019 4294729984 18446744073709551615 134828711 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 597 344 184 398 0 197 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 579104
[startup+3.10031 s]
/proc/loadavg: 0.57 0.13 0.04 3/488 29711
/proc/meminfo: memFree=31933684/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 1 0 869249365 290033664 5692 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 14871623711814811907 0 0 17 2 0 0 0
/proc/29709/statm: 70809 5692 352 364 0 5696 0
[pid=29711] ppid=29709 vsize=2660 CPUtime=2.52 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 656 0 0 0 252 0 0 0 25 0 1 0 869249365 2723840 399 33554432000 134512640 136139019 4294729984 18446744073709551615 134883867 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 665 399 184 398 0 265 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 579376
[startup+6.30073 s]
/proc/loadavg: 0.68 0.16 0.05 3/485 29743
/proc/meminfo: memFree=31940896/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 888 0 0 0 1 0 0 0 18 0 1 0 869249365 290033664 5716 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 14871614640843882755 0 0 17 2 0 0 0
/proc/29709/statm: 70809 5716 376 364 0 5696 0
[pid=29711] ppid=29709 vsize=2924 CPUtime=5.72 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 735 0 0 0 572 0 0 0 25 0 1 0 869249365 2994176 478 33554432000 134512640 136139019 4294729984 18446744073709551615 134828788 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 731 478 184 398 0 331 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 579640
[startup+12.7175 s]
/proc/loadavg: 0.95 0.22 0.07 3/488 29746
/proc/meminfo: memFree=31932696/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0.04 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 894 0 0 0 2 2 0 0 18 0 1 0 869249365 290033664 5716 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/29709/statm: 70809 5716 376 364 0 5696 0
[pid=29711] ppid=29709 vsize=3324 CPUtime=12.14 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 844 0 0 0 1214 0 0 0 25 0 1 0 869249365 3403776 587 33554432000 134512640 136139019 4294729984 18446744073709551615 134883554 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 831 587 184 398 0 431 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 580040
[startup+25.5011 s]
/proc/loadavg: 1.18 0.31 0.10 3/488 29782
/proc/meminfo: memFree=31932720/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0.09 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 900 0 0 0 4 5 0 0 18 0 1 0 869249365 290033664 5716 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/29709/statm: 70809 5716 376 364 0 5696 0
[pid=29711] ppid=29709 vsize=3988 CPUtime=24.93 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 994 0 0 0 2493 0 0 0 25 0 1 0 869249365 4083712 737 33554432000 134512640 136139019 4294729984 18446744073709551615 134883451 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 997 737 184 398 0 597 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 580704
Solver just ended. Dumping a history of the last processes samples
[startup+26.101 s]
/proc/loadavg: 1.18 0.31 0.10 3/488 29782
/proc/meminfo: memFree=31933216/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0.09 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 900 0 0 0 4 5 0 0 18 0 1 0 869249365 290033664 5716 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/29709/statm: 70809 5716 376 364 0 5696 0
[pid=29711] ppid=29709 vsize=3988 CPUtime=25.53 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 994 0 0 0 2553 0 0 0 25 0 1 0 869249365 4083712 737 33554432000 134512640 136139019 4294729984 18446744073709551615 134883602 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 997 737 184 398 0 597 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26.05
Current children cumulated vsize (KiB) 580704
[startup+32.5178 s]
/proc/loadavg: 1.25 0.34 0.11 3/488 29782
/proc/meminfo: memFree=31931976/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0.1 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 903 0 0 0 4 6 0 0 18 0 1 0 869249365 290033664 5716 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/29709/statm: 70809 5716 376 364 0 5696 0
[pid=29711] ppid=29709 vsize=4252 CPUtime=31.94 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 1079 0 0 0 3194 0 0 0 25 0 1 0 869249365 4354048 822 33554432000 134512640 136139019 4294729984 18446744073709551615 134871248 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 1063 822 184 398 0 663 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 32.47
Current children cumulated vsize (KiB) 580968
[startup+38.9006 s]
/proc/loadavg: 1.31 0.36 0.12 3/488 29782
/proc/meminfo: memFree=31930984/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0.14 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 907 0 0 0 6 8 0 0 18 0 1 0 869249365 290033664 5716 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/29709/statm: 70809 5716 376 364 0 5696 0
[pid=29711] ppid=29709 vsize=4516 CPUtime=38.33 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 1144 0 0 0 3833 0 0 0 25 0 1 0 869249365 4624384 887 33554432000 134512640 136139019 4294729984 18446744073709551615 134608352 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 1129 887 184 398 0 729 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38.9
Current children cumulated vsize (KiB) 581232
[startup+42.1009 s]
/proc/loadavg: 1.36 0.39 0.13 2/485 29814
/proc/meminfo: memFree=31938428/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0.16 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 1001 0 0 0 7 9 0 0 18 0 1 0 869249365 290033664 5721 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/29709/statm: 70809 5721 381 364 0 5696 0
[pid=29711] ppid=29709 vsize=4652 CPUtime=41.53 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 1169 0 0 0 4153 0 0 0 25 0 1 0 869249365 4763648 912 33554432000 134512640 136139019 4294729984 18446744073709551615 134832464 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 1163 912 184 398 0 763 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 42.12
Current children cumulated vsize (KiB) 581368
[startup+42.9008 s]
/proc/loadavg: 1.36 0.39 0.13 3/488 29817
/proc/meminfo: memFree=31899124/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0.16 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 1001 0 0 0 7 9 0 0 18 0 1 0 869249365 290033664 5721 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/29709/statm: 70809 5721 381 364 0 5696 0
[pid=29711] ppid=29709 vsize=4652 CPUtime=42.32 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 1173 0 0 0 4232 0 0 0 25 0 1 0 869249365 4763648 916 33554432000 134512640 136139019 4294729984 18446744073709551615 134608376 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 1163 916 184 398 0 763 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 42.91
Current children cumulated vsize (KiB) 581368
[startup+43.7006 s]
/proc/loadavg: 1.36 0.39 0.13 3/485 29845
/proc/meminfo: memFree=31954200/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0.16 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 1001 0 0 0 7 9 0 0 18 0 1 0 869249365 290033664 5721 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/29709/statm: 70809 5721 381 364 0 5696 0
[pid=29711] ppid=29709 vsize=4652 CPUtime=43.12 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 1176 0 0 0 4312 0 0 0 25 0 1 0 869249365 4763648 919 33554432000 134512640 136139019 4294729984 18446744073709551615 134608320 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 1163 919 184 398 0 763 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 43.71
Current children cumulated vsize (KiB) 581368
[startup+44.1006 s]
/proc/loadavg: 1.36 0.39 0.13 3/485 29845
/proc/meminfo: memFree=31954200/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293480 CPUtime=0.43 cores=0,2,4,6
/proc/29703/stat : 29703 (python) S 29701 29703 29517 0 -1 4202496 9708 929 1 0 36 7 0 0 19 0 2 0 869249308 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29703/statm: 73370 7214 1870 364 0 8257 0
[pid=29709] ppid=29703 vsize=283236 CPUtime=0.16 cores=0,2,4,6
/proc/29709/stat : 29709 (python) S 29703 29703 29517 0 -1 4202560 1001 0 0 0 7 9 0 0 18 0 1 0 869249365 290033664 5721 33554432000 4194304 5683644 140737175384224 18446744073709551615 212436037135 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/29709/statm: 70809 5721 381 364 0 5696 0
[pid=29711] ppid=29709 vsize=4652 CPUtime=43.52 cores=0,2,4,6
/proc/29711/stat : 29711 (clasp-1.3.7-x86) R 29709 29711 29711 0 -1 4202496 1176 0 0 0 4352 0 0 0 25 0 1 0 869249365 4763648 919 33554432000 134512640 136139019 4294729984 18446744073709551615 134883360 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29711/statm: 1163 919 184 398 0 763 0
[pid=29703/tid=29710] ppid=29701 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/29703/task/29710/stat : 29710 (python) S 29701 29703 29517 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 869249365 300523520 7214 33554432000 4194304 5683644 140737175384224 18446744073709551615 212447840689 0 0 16781312 33554434 18446604453935135616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 44.11
Current children cumulated vsize (KiB) 581368
[startup+44.2006 s]
/proc/loadavg: 1.36 0.39 0.13 3/485 29845
/proc/meminfo: memFree=31954200/32951124 swapFree=34789492/67111528
[pid=29703] ppid=29701 vsize=293456 CPUtime=44.21 cores=0,2,4,6
/proc/29703/stat : 29703 (python) R 29701 29703 29517 0 -1 4202496 13146 3328 1 0 36 7 4369 9 18 0 1 0 869249308 300498944 7213 33554432000 4194304 5683644 140737175384224 18446744073709551615 4619677 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/29703/statm: 73364 7213 1869 364 0 8257 0
Current children cumulated CPU time (s) 44.21
Current children cumulated vsize (KiB) 293456
Child status: 0
Real time (s): 44.2092
CPU time (s): 44.2493
CPU user time (s): 44.0693
CPU system time (s): 0.179972
CPU usage (%): 100.091
Max. virtual memory (cumulated for all children) (KiB): 581368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.0693
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17452
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= 1057
involuntary context switches= 89
runsolver used 0.205968 second user time and 0.449931 second system time
The end