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-3481243-1307577791/watcher-3481243-1307577791 -o /tmp/evaluation-result-3481243-1307577791/solver-3481243-1307577791 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481243-1307577791.opb -seed 429446888 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.25 2.13 1.63 2/553 3529
/proc/meminfo: memFree=19447072/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/3529/stat : 3529 (python) R 3527 3529 2733 0 -1 4202496 917 0 0 0 0 0 0 0 22 0 1 0 850194477 16154624 796 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261659783 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3529/statm: 3944 796 346 364 0 431 0
[startup+0.0955939 s]
/proc/loadavg: 2.25 2.13 1.63 2/553 3529
/proc/meminfo: memFree=19447072/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/3529/stat : 3529 (python) R 3527 3529 2733 0 -1 4202496 3170 932 1 0 5 1 0 0 18 0 1 0 850194477 98435072 2484 33554432000 4194304 5683644 140735124753968 18446744073709551615 5178128 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3529/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.100582 s]
/proc/loadavg: 2.25 2.13 1.63 2/553 3529
/proc/meminfo: memFree=19447072/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/3529/stat : 3529 (python) R 3527 3529 2733 0 -1 4202496 3170 932 1 0 6 1 0 0 18 0 1 0 850194477 98435072 2484 33554432000 4194304 5683644 140735124753968 18446744073709551615 5168667 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3529/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300545 s]
/proc/loadavg: 2.25 2.13 1.63 2/553 3529
/proc/meminfo: memFree=19447072/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=200780 CPUtime=0.22 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 6649 932 1 0 17 5 0 0 17 0 1 0 850194477 205598720 4937 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261614592 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/3529/statm: 50195 4937 1465 364 0 3677 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 200780
[startup+0.700499 s]
/proc/loadavg: 2.25 2.13 1.63 2/553 3529
/proc/meminfo: memFree=19447072/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293400
[startup+1.50034 s]
/proc/loadavg: 2.25 2.13 1.63 3/557 3538
/proc/meminfo: memFree=19385972/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
[pid=3536] ppid=3529 vsize=283156 CPUtime=0 cores=0,2,4,6
/proc/3536/stat : 3536 (python) S 3529 3529 2733 0 -1 4202560 834 0 0 0 0 0 0 0 15 0 1 0 850194532 289951744 5665 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261636623 0 0 16781312 33554946 1509840596938784768 0 0 17 2 0 0 0
/proc/3536/statm: 70789 5665 325 364 0 5676 0
[pid=3538] ppid=3536 vsize=56788 CPUtime=0.94 cores=0,2,4,6
/proc/3538/stat : 3538 (scip-2.0.1.linu) R 3536 3538 3538 0 -1 4202496 16766 0 0 0 85 9 0 0 18 0 1 0 850194532 58150912 11742 33554432000 4194304 13684479 140733815618064 18446744073709551615 6051686 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3538/statm: 14197 11742 881 2317 0 11875 0
[pid=3529/tid=3537] ppid=3527 vsize=293400 CPUtime=0 cores=0,2,4,6
/proc/3529/task/3537/stat : 3537 (python) S 3527 3529 2733 0 -1 4202560 25 1332 0 0 0 0 0 0 20 0 2 0 850194532 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273440177 0 0 16781312 33554434 18446604440890035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 633344
[startup+3.10103 s]
/proc/loadavg: 2.25 2.13 1.63 3/557 3538
/proc/meminfo: memFree=19377540/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
[pid=3536] ppid=3529 vsize=283156 CPUtime=0 cores=0,2,4,6
/proc/3536/stat : 3536 (python) S 3529 3529 2733 0 -1 4202560 836 0 0 0 0 0 0 0 15 0 1 0 850194532 289951744 5665 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261636623 0 0 16781312 33554946 14421445168496345345 0 0 17 2 0 0 0
/proc/3536/statm: 70789 5665 325 364 0 5676 0
[pid=3538] ppid=3536 vsize=56788 CPUtime=2.54 cores=0,2,4,6
/proc/3538/stat : 3538 (scip-2.0.1.linu) R 3536 3538 3538 0 -1 4202496 16767 0 0 0 240 14 0 0 18 0 1 0 850194532 58150912 11743 33554432000 4194304 13684479 140733815618064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3538/statm: 14197 11743 881 2317 0 11875 0
[pid=3529/tid=3537] ppid=3527 vsize=293400 CPUtime=0 cores=0,2,4,6
/proc/3529/task/3537/stat : 3537 (python) S 3527 3529 2733 0 -1 4202560 25 1332 0 0 0 0 0 0 20 0 2 0 850194532 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273440177 0 0 16781312 33554434 18446604440890035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 633344
[startup+6.31846 s]
/proc/loadavg: 2.47 2.18 1.65 3/520 3561
/proc/meminfo: memFree=20741512/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
[pid=3536] ppid=3529 vsize=283156 CPUtime=0.02 cores=0,2,4,6
/proc/3536/stat : 3536 (python) S 3529 3529 2733 0 -1 4202560 965 0 0 0 1 1 0 0 15 0 1 0 850194532 289951744 5688 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261636623 0 0 16781312 33554946 1677818747865268224 0 0 17 2 0 0 0
/proc/3536/statm: 70789 5688 348 364 0 5676 0
[pid=3538] ppid=3536 vsize=56788 CPUtime=5.76 cores=0,2,4,6
/proc/3538/stat : 3538 (scip-2.0.1.linu) R 3536 3538 3538 0 -1 4202496 16775 0 0 0 553 23 0 0 18 0 1 0 850194532 58150912 11751 33554432000 4194304 13684479 140733815618064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3538/statm: 14197 11751 881 2317 0 11875 0
[pid=3529/tid=3537] ppid=3527 vsize=293400 CPUtime=0 cores=0,2,4,6
/proc/3529/task/3537/stat : 3537 (python) S 3527 3529 2733 0 -1 4202560 25 1332 0 0 0 0 0 0 20 0 2 0 850194532 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273440177 0 0 16781312 33554434 18446604440890035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 633344
[startup+12.7003 s]
/proc/loadavg: 2.51 2.19 1.65 3/527 3649
/proc/meminfo: memFree=20593592/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
[pid=3536] ppid=3529 vsize=283156 CPUtime=0.07 cores=0,2,4,6
/proc/3536/stat : 3536 (python) S 3529 3529 2733 0 -1 4202560 978 0 0 0 4 3 0 0 15 0 1 0 850194532 289951744 5688 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261636623 0 0 16781312 33554946 3214891597829242880 0 0 17 0 0 0 0
/proc/3536/statm: 70789 5688 348 364 0 5676 0
[pid=3538] ppid=3536 vsize=56788 CPUtime=12.14 cores=0,2,4,6
/proc/3538/stat : 3538 (scip-2.0.1.linu) R 3536 3538 3538 0 -1 4202496 16794 0 0 0 1174 40 0 0 18 0 1 0 850194532 58150912 11770 33554432000 4194304 13684479 140733815618064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3538/statm: 14197 11770 881 2317 0 11875 0
[pid=3529/tid=3537] ppid=3527 vsize=293400 CPUtime=0 cores=0,2,4,6
/proc/3529/task/3537/stat : 3537 (python) S 3527 3529 2733 0 -1 4202560 25 1332 0 0 0 0 0 0 20 0 2 0 850194532 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273440177 0 0 16781312 33554434 18446604440890035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 633344
Solver just ended. Dumping a history of the last processes samples
[startup+13.5012 s]
/proc/loadavg: 2.51 2.19 1.65 3/524 3677
/proc/meminfo: memFree=20632472/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
[pid=3536] ppid=3529 vsize=283156 CPUtime=0.07 cores=0,2,4,6
/proc/3536/stat : 3536 (python) S 3529 3529 2733 0 -1 4202560 980 0 0 0 4 3 0 0 15 0 1 0 850194532 289951744 5688 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261636623 0 0 16781312 33554946 2136287033331548160 0 0 17 0 0 0 0
/proc/3536/statm: 70789 5688 348 364 0 5676 0
[pid=3538] ppid=3536 vsize=56788 CPUtime=12.94 cores=0,2,4,6
/proc/3538/stat : 3538 (scip-2.0.1.linu) R 3536 3538 3538 0 -1 4202496 16797 0 0 0 1252 42 0 0 18 0 1 0 850194532 58150912 11773 33554432000 4194304 13684479 140733815618064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3538/statm: 14197 11773 881 2317 0 11875 0
[pid=3529/tid=3537] ppid=3527 vsize=293400 CPUtime=0 cores=0,2,4,6
/proc/3529/task/3537/stat : 3537 (python) S 3527 3529 2733 0 -1 4202560 25 1332 0 0 0 0 0 0 20 0 2 0 850194532 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273440177 0 0 16781312 33554434 18446604440890035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.44
Current children cumulated vsize (KiB) 633344
[startup+15.1179 s]
/proc/loadavg: 2.55 2.20 1.66 2/519 3703
/proc/meminfo: memFree=20741144/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
[pid=3536] ppid=3529 vsize=283156 CPUtime=0.07 cores=0,2,4,6
/proc/3536/stat : 3536 (python) S 3529 3529 2733 0 -1 4202560 982 0 0 0 4 3 0 0 15 0 1 0 850194532 289951744 5688 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261636623 0 0 16781312 33554946 627503496563785728 0 0 17 0 0 0 0
/proc/3536/statm: 70789 5688 348 364 0 5676 0
[pid=3538] ppid=3536 vsize=56788 CPUtime=14.56 cores=0,2,4,6
/proc/3538/stat : 3538 (scip-2.0.1.linu) R 3536 3538 3538 0 -1 4202496 16842 0 0 0 1408 48 0 0 18 0 1 0 850194532 58150912 11780 33554432000 4194304 13684479 140733815618064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3538/statm: 14197 11780 843 2317 0 11875 0
[pid=3529/tid=3537] ppid=3527 vsize=293400 CPUtime=0 cores=0,2,4,6
/proc/3529/task/3537/stat : 3537 (python) S 3527 3529 2733 0 -1 4202560 25 1332 0 0 0 0 0 0 20 0 2 0 850194532 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273440177 0 0 16781312 33554434 18446604440890035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15.06
Current children cumulated vsize (KiB) 633344
[startup+15.9008 s]
/proc/loadavg: 2.55 2.20 1.66 2/519 3703
/proc/meminfo: memFree=20741144/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
[pid=3536] ppid=3529 vsize=283156 CPUtime=0.09 cores=0,2,4,6
/proc/3536/stat : 3536 (python) S 3529 3529 2733 0 -1 4202560 986 0 0 0 5 4 0 0 15 0 1 0 850194532 289951744 5689 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261636623 0 0 16781312 33554946 3972692500799291392 0 0 17 0 0 0 0
/proc/3536/statm: 70789 5689 348 364 0 5676 0
[pid=3538] ppid=3536 vsize=56788 CPUtime=15.34 cores=0,2,4,6
/proc/3538/stat : 3538 (scip-2.0.1.linu) R 3536 3538 3538 0 -1 4202496 16870 0 0 0 1484 50 0 0 18 0 1 0 850194532 58150912 11796 33554432000 4194304 13684479 140733815618064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3538/statm: 14197 11796 831 2317 0 11875 0
[pid=3529/tid=3537] ppid=3527 vsize=293400 CPUtime=0 cores=0,2,4,6
/proc/3529/task/3537/stat : 3537 (python) S 3527 3529 2733 0 -1 4202560 25 1332 0 0 0 0 0 0 20 0 2 0 850194532 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273440177 0 0 16781312 33554434 18446604440890035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15.86
Current children cumulated vsize (KiB) 633344
[startup+16.7006 s]
/proc/loadavg: 2.55 2.20 1.66 3/524 3717
/proc/meminfo: memFree=20623300/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
[pid=3536] ppid=3529 vsize=283156 CPUtime=0.09 cores=0,2,4,6
/proc/3536/stat : 3536 (python) S 3529 3529 2733 0 -1 4202560 988 0 0 0 5 4 0 0 15 0 1 0 850194532 289951744 5690 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261636623 0 0 16781312 33554946 3087327349696364544 0 0 17 0 0 0 0
/proc/3536/statm: 70789 5690 348 364 0 5676 0
[pid=3538] ppid=3536 vsize=56788 CPUtime=16.14 cores=0,2,4,6
/proc/3538/stat : 3538 (scip-2.0.1.linu) R 3536 3538 3538 0 -1 4202496 16928 0 0 0 1562 52 0 0 18 0 1 0 850194532 58150912 11854 33554432000 4194304 13684479 140733815618064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3538/statm: 14197 11854 831 2317 0 11875 0
[pid=3529/tid=3537] ppid=3527 vsize=293400 CPUtime=0 cores=0,2,4,6
/proc/3529/task/3537/stat : 3537 (python) S 3527 3529 2733 0 -1 4202560 25 1332 0 0 0 0 0 0 20 0 2 0 850194532 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273440177 0 0 16781312 33554434 18446604440890035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 16.66
Current children cumulated vsize (KiB) 633344
[startup+17.1006 s]
/proc/loadavg: 2.55 2.20 1.66 3/524 3717
/proc/meminfo: memFree=20623300/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
[pid=3536] ppid=3529 vsize=283156 CPUtime=0.09 cores=0,2,4,6
/proc/3536/stat : 3536 (python) S 3529 3529 2733 0 -1 4202560 988 0 0 0 5 4 0 0 15 0 1 0 850194532 289951744 5690 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261636623 0 0 16781312 33554946 355452223561400320 0 0 17 0 0 0 0
/proc/3536/statm: 70789 5690 348 364 0 5676 0
[pid=3538] ppid=3536 vsize=56788 CPUtime=16.54 cores=0,2,4,6
/proc/3538/stat : 3538 (scip-2.0.1.linu) R 3536 3538 3538 0 -1 4202496 17053 0 0 0 1601 53 0 0 18 0 1 0 850194532 58150912 11979 33554432000 4194304 13684479 140733815618064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3538/statm: 14197 11979 831 2317 0 11875 0
[pid=3529/tid=3537] ppid=3527 vsize=293400 CPUtime=0 cores=0,2,4,6
/proc/3529/task/3537/stat : 3537 (python) S 3527 3529 2733 0 -1 4202560 25 1332 0 0 0 0 0 0 20 0 2 0 850194532 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273440177 0 0 16781312 33554434 18446604440890035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.06
Current children cumulated vsize (KiB) 633344
[startup+17.2006 s]
/proc/loadavg: 2.55 2.20 1.66 3/519 3744
/proc/meminfo: memFree=20635072/32951124 swapFree=67057920/67111528
[pid=3529] ppid=3527 vsize=293400 CPUtime=0.43 cores=0,2,4,6
/proc/3529/stat : 3529 (python) S 3527 3529 2733 0 -1 4202496 10748 1332 1 0 35 8 0 0 20 0 2 0 850194477 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3529/statm: 73350 7215 1871 364 0 8237 0
[pid=3536] ppid=3529 vsize=283156 CPUtime=0.09 cores=0,2,4,6
/proc/3536/stat : 3536 (python) S 3529 3529 2733 0 -1 4202560 988 0 0 0 5 4 0 0 15 0 1 0 850194532 289951744 5690 33554432000 4194304 5683644 140735124753968 18446744073709551615 254261636623 0 0 16781312 33554946 1089762004769439744 0 0 17 0 0 0 0
/proc/3536/statm: 70789 5690 348 364 0 5676 0
[pid=3538] ppid=3536 vsize=56788 CPUtime=16.65 cores=0,2,4,6
/proc/3538/stat : 3538 (scip-2.0.1.linu) R 3536 3538 3538 0 -1 4202496 17055 0 0 0 1612 53 0 0 18 0 1 0 850194532 58150912 11981 33554432000 4194304 13684479 140733815618064 18446744073709551615 4471873 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3538/statm: 14197 11981 831 2317 0 11875 0
[pid=3529/tid=3537] ppid=3527 vsize=293400 CPUtime=0 cores=0,2,4,6
/proc/3529/task/3537/stat : 3537 (python) S 3527 3529 2733 0 -1 4202560 25 1332 0 0 0 0 0 0 20 0 2 0 850194532 300441600 7215 33554432000 4194304 5683644 140735124753968 18446744073709551615 254273440177 0 0 16781312 33554434 18446604440890035072 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.17
Current children cumulated vsize (KiB) 633344
Child status: 0
Real time (s): 17.26
CPU time (s): 17.2704
CPU user time (s): 16.5915
CPU system time (s): 0.678896
CPU usage (%): 100.06
Max. virtual memory (cumulated for all children) (KiB): 633348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.5915
system time used= 0.678896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34941
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= 1841
involuntary context switches= 38
runsolver used 0.089986 second user time and 0.186971 second system time
The end