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-3482041-1307576740/watcher-3482041-1307576740 -o /tmp/evaluation-result-3482041-1307576740/solver-3482041-1307576740 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482041-1307576740.opb -seed 2078187392 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 1.42 0.65 3/564 22088
/proc/meminfo: memFree=29839136/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/22088/stat : 22088 (python) R 22085 22088 21667 0 -1 4202496 958 0 0 0 0 0 0 0 20 0 1 0 947904710 16289792 833 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415434887 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22088/statm: 3976 833 357 364 0 463 0
[startup+0.0555669 s]
/proc/loadavg: 1.94 1.42 0.65 3/564 22088
/proc/meminfo: memFree=29839136/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=29784 CPUtime=0.03 cores=0,2,4,6
/proc/22088/stat : 22088 (python) R 22085 22088 21667 0 -1 4202496 1408 0 0 0 3 0 0 0 20 0 1 0 947904710 30498816 1251 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415052097 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22088/statm: 7446 1251 443 364 0 816 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29784
[startup+0.100549 s]
/proc/loadavg: 1.94 1.42 0.65 3/564 22088
/proc/meminfo: memFree=29839136/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=87824 CPUtime=0.07 cores=0,2,4,6
/proc/22088/stat : 22088 (python) R 22085 22088 21667 0 -1 4202496 2689 0 0 0 5 2 0 0 18 0 1 0 947904710 89931776 2404 33554432000 4194304 5683644 140735241748480 18446744073709551615 4651506 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22088/statm: 21956 2404 733 364 0 1621 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87824
[startup+0.300519 s]
/proc/loadavg: 1.94 1.42 0.65 3/564 22088
/proc/meminfo: memFree=29839136/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=161712 CPUtime=0.2 cores=0,2,4,6
/proc/22088/stat : 22088 (python) R 22085 22088 21667 0 -1 4202496 5858 930 1 0 14 6 0 0 17 0 1 0 947904710 165593088 4185 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415389696 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/22088/statm: 40428 4185 1159 364 0 3261 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 161712
[startup+0.700435 s]
/proc/loadavg: 1.94 1.42 0.65 3/564 22088
/proc/meminfo: memFree=29839136/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=284932 CPUtime=0.53 cores=0,2,4,6
/proc/22088/stat : 22088 (python) R 22085 22088 21667 0 -1 4202496 9930 930 1 0 43 10 0 0 17 0 1 0 947904710 291770368 7580 33554432000 4194304 5683644 140735241748480 18446744073709551615 47241910315504 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/22088/statm: 71233 7580 1855 364 0 6123 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 284932
[startup+1.5013 s]
/proc/loadavg: 1.94 1.42 0.65 3/568 22098
/proc/meminfo: memFree=29781056/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 1 0 947904782 291782656 6079 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 1368227613859905536 0 0 17 4 0 0 0
/proc/22095/statm: 71236 6079 352 364 0 6123 0
[pid=22098] ppid=22095 vsize=50072 CPUtime=0.77 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 10947 0 0 0 74 3 0 0 21 0 1 0 947904782 51273728 10270 33554432000 4194304 13684479 140734857472016 18446744073709551615 4941682 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22098/statm: 12518 10270 771 2317 0 10196 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 630204
[startup+3.101 s]
/proc/loadavg: 1.95 1.43 0.65 3/568 22098
/proc/meminfo: memFree=29769524/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 1 0 947904782 291782656 6079 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 4265956222139629568 0 0 17 4 0 0 0
/proc/22095/statm: 71236 6079 352 364 0 6123 0
[pid=22098] ppid=22095 vsize=57588 CPUtime=2.36 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 12948 0 0 0 232 4 0 0 25 0 1 0 947904782 58970112 12113 33554432000 4194304 13684479 140734857472016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22098/statm: 14397 12113 795 2317 0 12075 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 637720
[startup+6.3004 s]
/proc/loadavg: 1.95 1.43 0.65 5/589 22120
/proc/meminfo: memFree=29741156/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0.03 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 932 0 0 0 2 1 0 0 15 0 1 0 947904782 291782656 6108 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 2245245762311028736 0 0 17 6 0 0 0
/proc/22095/statm: 71236 6108 376 364 0 6123 0
[pid=22098] ppid=22095 vsize=71380 CPUtime=5.56 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 16396 0 0 0 548 8 0 0 19 0 1 0 947904782 73093120 15542 33554432000 4194304 13684479 140734857472016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22098/statm: 17845 15542 818 2317 0 15523 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 651512
[startup+12.7012 s]
/proc/loadavg: 1.88 1.43 0.66 3/568 22160
/proc/meminfo: memFree=29772996/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0.07 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 941 0 0 0 4 3 0 0 15 0 1 0 947904782 291782656 6108 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 2656034597917163520 0 0 17 6 0 0 0
/proc/22095/statm: 71236 6108 376 364 0 6123 0
[pid=22098] ppid=22095 vsize=75856 CPUtime=11.96 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 17569 0 0 0 1182 14 0 0 18 0 1 0 947904782 77676544 16683 33554432000 4194304 13684479 140734857472016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22098/statm: 18964 16683 797 2317 0 16642 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 655988
[startup+25.5007 s]
/proc/loadavg: 1.90 1.45 0.68 3/568 22161
/proc/meminfo: memFree=29720612/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0.12 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 947 0 0 0 7 5 0 0 15 0 1 0 947904782 291782656 6108 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 72556772316949239 0 0 17 6 0 0 0
/proc/22095/statm: 71236 6108 376 364 0 6123 0
[pid=22098] ppid=22095 vsize=75856 CPUtime=24.76 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 18364 0 0 0 2451 25 0 0 25 0 1 0 947904782 77676544 16741 33554432000 4194304 13684479 140734857472016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22098/statm: 18964 16741 817 2317 0 16642 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 655988
Solver just ended. Dumping a history of the last processes samples
[startup+26.7005 s]
/proc/loadavg: 1.90 1.45 0.68 3/568 22161
/proc/meminfo: memFree=29716660/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0.12 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 947 0 0 0 7 5 0 0 15 0 1 0 947904782 291782656 6108 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 72556772316949239 0 0 17 6 0 0 0
/proc/22095/statm: 71236 6108 376 364 0 6123 0
[pid=22098] ppid=22095 vsize=75856 CPUtime=25.96 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 18364 0 0 0 2570 26 0 0 25 0 1 0 947904782 77676544 16741 33554432000 4194304 13684479 140734857472016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22098/statm: 18964 16741 817 2317 0 16642 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 26.64
Current children cumulated vsize (KiB) 655988
[startup+29.9009 s]
/proc/loadavg: 1.91 1.46 0.68 3/568 22161
/proc/meminfo: memFree=29717280/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0.14 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 949 0 0 0 8 6 0 0 15 0 1 0 947904782 291782656 6108 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 72556772316949239 0 0 17 6 0 0 0
/proc/22095/statm: 71236 6108 376 364 0 6123 0
[pid=22098] ppid=22095 vsize=75856 CPUtime=29.16 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 18364 0 0 0 2887 29 0 0 25 0 1 0 947904782 77676544 16741 33554432000 4194304 13684479 140734857472016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22098/statm: 18964 16741 817 2317 0 16642 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (KiB) 655988
[startup+31.5006 s]
/proc/loadavg: 1.91 1.46 0.68 3/568 22161
/proc/meminfo: memFree=29714428/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0.14 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 949 0 0 0 8 6 0 0 15 0 1 0 947904782 291782656 6108 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 72556772316949239 0 0 17 6 0 0 0
/proc/22095/statm: 71236 6108 376 364 0 6123 0
[pid=22098] ppid=22095 vsize=75856 CPUtime=30.75 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 18364 0 0 0 3045 30 0 0 25 0 1 0 947904782 77676544 16741 33554432000 4194304 13684479 140734857472016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22098/statm: 18964 16741 817 2317 0 16642 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 31.45
Current children cumulated vsize (KiB) 655988
[startup+32.3004 s]
/proc/loadavg: 1.92 1.47 0.69 3/568 22161
/proc/meminfo: memFree=29710708/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0.16 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 951 0 0 0 9 7 0 0 15 0 1 0 947904782 291782656 6108 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 72556772316949239 0 0 17 6 0 0 0
/proc/22095/statm: 71236 6108 376 364 0 6123 0
[pid=22098] ppid=22095 vsize=75856 CPUtime=31.56 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 18364 0 0 0 3125 31 0 0 25 0 1 0 947904782 77676544 16741 33554432000 4194304 13684479 140734857472016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22098/statm: 18964 16741 817 2317 0 16642 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 32.28
Current children cumulated vsize (KiB) 655988
[startup+33.1203 s]
/proc/loadavg: 1.92 1.47 0.69 3/568 22161
/proc/meminfo: memFree=29710584/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0.16 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 951 0 0 0 9 7 0 0 15 0 1 0 947904782 291782656 6108 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 72556772316949239 0 0 17 6 0 0 0
/proc/22095/statm: 71236 6108 376 364 0 6123 0
[pid=22098] ppid=22095 vsize=75856 CPUtime=32.38 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 18364 0 0 0 3206 32 0 0 25 0 1 0 947904782 77676544 16741 33554432000 4194304 13684479 140734857472016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22098/statm: 18964 16741 817 2317 0 16642 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 33.1
Current children cumulated vsize (KiB) 655988
[startup+33.5012 s]
/proc/loadavg: 1.92 1.47 0.69 3/568 22161
/proc/meminfo: memFree=29710584/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0.16 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 951 0 0 0 9 7 0 0 15 0 1 0 947904782 291782656 6108 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 72556772316949239 0 0 17 6 0 0 0
/proc/22095/statm: 71236 6108 376 364 0 6123 0
[pid=22098] ppid=22095 vsize=75856 CPUtime=32.76 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 18364 0 0 0 3243 33 0 0 25 0 1 0 947904782 77676544 16741 33554432000 4194304 13684479 140734857472016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22098/statm: 18964 16741 817 2317 0 16642 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 33.48
Current children cumulated vsize (KiB) 655988
[startup+33.6012 s]
/proc/loadavg: 1.92 1.47 0.69 3/568 22161
/proc/meminfo: memFree=29710584/32950928 swapFree=50514916/67111528
[pid=22088] ppid=22085 vsize=295188 CPUtime=0.56 cores=0,2,4,6
/proc/22088/stat : 22088 (python) S 22085 22088 21667 0 -1 4202496 10171 930 1 0 45 11 0 0 19 0 2 0 947904710 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22088/statm: 73797 7600 1870 364 0 8684 0
[pid=22095] ppid=22088 vsize=284944 CPUtime=0.16 cores=0,2,4,6
/proc/22095/stat : 22095 (python) S 22088 22088 21667 0 -1 4202560 951 0 0 0 9 7 0 0 15 0 1 0 947904782 291782656 6108 33554432000 4194304 5683644 140735241748480 18446744073709551615 256415411727 0 0 16781312 33554946 72556772316949239 0 0 17 6 0 0 0
/proc/22095/statm: 71236 6108 376 364 0 6123 0
[pid=22098] ppid=22095 vsize=75856 CPUtime=32.86 cores=0,2,4,6
/proc/22098/stat : 22098 (scip-2.0.1.linu) R 22095 22098 22098 0 -1 4202496 18364 0 0 0 3253 33 0 0 25 0 1 0 947904782 77676544 16741 33554432000 4194304 13684479 140734857472016 18446744073709551615 7416544 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22098/statm: 18964 16741 817 2317 0 16642 0
[pid=22088/tid=22096] ppid=22085 vsize=295188 CPUtime=0 cores=0,2,4,6
/proc/22088/task/22096/stat : 22096 (python) S 22085 22088 21667 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947904782 302272512 7600 33554432000 4194304 5683644 140735241748480 18446744073709551615 256427215281 0 0 16781312 33554434 18446604444992609344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 33.58
Current children cumulated vsize (KiB) 655988
Child status: 0
Real time (s): 33.6679
CPU time (s): 33.6719
CPU user time (s): 33.137
CPU system time (s): 0.534918
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 656308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.137
system time used= 0.534918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35347
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= 2317
involuntary context switches= 572
runsolver used 0.164974 second user time and 0.409937 second system time
The end