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-3481489-1307577904/watcher-3481489-1307577904 -o /tmp/evaluation-result-3481489-1307577904/solver-3481489-1307577904 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481489-1307577904.opb -seed 1616702944 -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.41 2.18 1.71 3/717 3857
/proc/meminfo: memFree=19936728/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/3857/stat : 3857 (python) R 3855 3857 2544 0 -1 4202496 890 0 0 0 0 0 0 0 20 0 1 0 869389172 16154624 771 33554432000 4194304 5683644 140734515194560 18446744073709551615 251813900997 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3857/statm: 3944 772 343 364 0 431 0
[startup+0.087298 s]
/proc/loadavg: 2.41 2.18 1.71 3/717 3857
/proc/meminfo: memFree=19936728/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=87840 CPUtime=0.06 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 2704 0 1 0 4 2 0 0 18 0 1 0 869389172 89948160 2418 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/3857/statm: 21960 2418 746 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87840
[startup+0.108252 s]
/proc/loadavg: 2.41 2.18 1.71 3/717 3857
/proc/meminfo: memFree=19936728/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/3857/stat : 3857 (python) R 3855 3857 2544 0 -1 4202496 3169 928 1 0 6 2 0 0 18 0 1 0 869389172 98435072 2483 33554432000 4194304 5683644 140734515194560 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3857/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.300459 s]
/proc/loadavg: 2.41 2.18 1.71 3/717 3857
/proc/meminfo: memFree=19936728/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=200780 CPUtime=0.24 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 6649 928 1 0 17 7 0 0 17 0 1 0 869389172 205598720 4936 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/3857/statm: 50195 4936 1465 364 0 3677 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 200780
[startup+0.701043 s]
/proc/loadavg: 2.41 2.18 1.71 3/717 3857
/proc/meminfo: memFree=19936728/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=294808 CPUtime=0.59 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 11024 1345 1 0 45 12 2 0 20 0 2 0 869389172 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73702 7541 1871 364 0 8589 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 294808
[startup+1.50104 s]
/proc/loadavg: 2.37 2.18 1.71 3/721 3866
/proc/meminfo: memFree=19865520/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=294808 CPUtime=0.59 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 11024 1345 1 0 45 12 2 0 20 0 2 0 869389172 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73702 7541 1871 364 0 8589 0
[pid=3864] ppid=3857 vsize=284564 CPUtime=0 cores=0,2,4,6
/proc/3864/stat : 3864 (python) S 3857 3857 2544 0 -1 4202560 804 0 0 0 0 0 0 0 15 0 1 0 869389239 291393536 5991 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814260239 0 0 16781312 33554946 3277238107602157568 0 0 17 6 0 0 0
/proc/3864/statm: 71141 5991 325 364 0 6028 0
[pid=3866] ppid=3864 vsize=56440 CPUtime=0.83 cores=0,2,4,6
/proc/3866/stat : 3866 (scip-2.0.1.linu) R 3864 3866 3866 0 -1 4202496 13655 0 0 0 73 10 0 0 23 0 1 0 869389239 57794560 11713 33554432000 4194304 13684479 140736682763440 18446744073709551615 4412936 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3866/statm: 14110 11713 776 2317 0 11788 0
[pid=3857/tid=3865] ppid=3855 vsize=294808 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (python) S 3855 3857 2544 0 -1 4202560 26 1345 0 0 0 0 2 0 20 0 2 0 869389239 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826063793 0 0 16781312 33554434 18446604449242288512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 635812
[startup+3.10064 s]
/proc/loadavg: 2.37 2.18 1.71 3/721 3866
/proc/meminfo: memFree=19854864/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=294808 CPUtime=0.59 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 11024 1345 1 0 45 12 2 0 20 0 2 0 869389172 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73702 7541 1871 364 0 8589 0
[pid=3864] ppid=3857 vsize=284564 CPUtime=0 cores=0,2,4,6
/proc/3864/stat : 3864 (python) S 3857 3857 2544 0 -1 4202560 805 0 0 0 0 0 0 0 15 0 1 0 869389239 291393536 5991 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814260239 0 0 16781312 33554946 12647393327562326275 0 0 17 6 0 0 0
/proc/3864/statm: 71141 5991 325 364 0 6028 0
[pid=3866] ppid=3864 vsize=61840 CPUtime=2.43 cores=0,2,4,6
/proc/3866/stat : 3866 (scip-2.0.1.linu) R 3864 3866 3866 0 -1 4202496 15095 0 0 0 231 12 0 0 25 0 1 0 869389239 63324160 13117 33554432000 4194304 13684479 140736682763440 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3866/statm: 15460 13117 783 2317 0 13138 0
[pid=3857/tid=3865] ppid=3855 vsize=294808 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (python) S 3855 3857 2544 0 -1 4202560 26 1345 0 0 0 0 2 0 20 0 2 0 869389239 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826063793 0 0 16781312 33554434 18446604449242288512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 641212
[startup+6.30115 s]
/proc/loadavg: 2.34 2.18 1.71 3/721 3866
/proc/meminfo: memFree=19853192/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=294808 CPUtime=0.59 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 11024 1345 1 0 45 12 2 0 20 0 2 0 869389172 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73702 7541 1871 364 0 8589 0
[pid=3864] ppid=3857 vsize=284564 CPUtime=0.02 cores=0,2,4,6
/proc/3864/stat : 3864 (python) S 3857 3857 2544 0 -1 4202560 941 0 0 0 1 1 0 0 15 0 1 0 869389239 291393536 6013 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814260239 0 0 16781312 33554946 12647403154447499523 0 0 17 6 0 0 0
/proc/3864/statm: 71141 6013 347 364 0 6028 0
[pid=3866] ppid=3864 vsize=60796 CPUtime=5.62 cores=0,2,4,6
/proc/3866/stat : 3866 (scip-2.0.1.linu) R 3864 3866 3866 0 -1 4202496 20342 0 0 0 547 15 0 0 25 0 1 0 869389239 62255104 12987 33554432000 4194304 13684479 140736682763440 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3866/statm: 15199 12987 936 2317 0 12877 0
[pid=3857/tid=3865] ppid=3855 vsize=294808 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (python) S 3855 3857 2544 0 -1 4202560 26 1345 0 0 0 0 2 0 20 0 2 0 869389239 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826063793 0 0 16781312 33554434 18446604449242288512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 640168
[startup+12.7011 s]
/proc/loadavg: 2.32 2.17 1.71 3/721 3866
/proc/meminfo: memFree=19852496/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=294808 CPUtime=0.59 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 11024 1345 1 0 45 12 2 0 20 0 2 0 869389172 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73702 7541 1871 364 0 8589 0
[pid=3864] ppid=3857 vsize=284564 CPUtime=0.05 cores=0,2,4,6
/proc/3864/stat : 3864 (python) S 3857 3857 2544 0 -1 4202560 946 0 0 0 3 2 0 0 15 0 1 0 869389239 291393536 6014 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814260239 0 0 16781312 33554946 3511933438691115008 0 0 17 6 0 0 0
/proc/3864/statm: 71141 6014 348 364 0 6028 0
[pid=3866] ppid=3864 vsize=60796 CPUtime=12.02 cores=0,2,4,6
/proc/3866/stat : 3866 (scip-2.0.1.linu) R 3864 3866 3866 0 -1 4202496 20472 0 0 0 1183 19 0 0 25 0 1 0 869389239 62255104 12989 33554432000 4194304 13684479 140736682763440 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3866/statm: 15199 12989 810 2317 0 12877 0
[pid=3857/tid=3865] ppid=3855 vsize=294808 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (python) S 3855 3857 2544 0 -1 4202560 26 1345 0 0 0 0 2 0 20 0 2 0 869389239 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826063793 0 0 16781312 33554434 18446604449242288512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 640168
[startup+25.501 s]
/proc/loadavg: 2.25 2.16 1.72 3/721 3866
/proc/meminfo: memFree=19852908/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=294808 CPUtime=0.59 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 11024 1345 1 0 45 12 2 0 20 0 2 0 869389172 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73702 7541 1871 364 0 8589 0
[pid=3864] ppid=3857 vsize=284564 CPUtime=0.11 cores=0,2,4,6
/proc/3864/stat : 3864 (python) S 3857 3857 2544 0 -1 4202560 954 0 0 0 5 6 0 0 15 0 1 0 869389239 291393536 6014 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814260239 0 0 16781312 33554946 72262103200705287 0 0 17 2 0 0 0
/proc/3864/statm: 71141 6014 348 364 0 6028 0
[pid=3866] ppid=3864 vsize=61444 CPUtime=24.82 cores=0,2,4,6
/proc/3866/stat : 3866 (scip-2.0.1.linu) R 3864 3866 3866 0 -1 4202496 20588 0 0 0 2454 28 0 0 25 0 1 0 869389239 62918656 13105 33554432000 4194304 13684479 140736682763440 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3866/statm: 15361 13105 810 2317 0 13039 0
[pid=3857/tid=3865] ppid=3855 vsize=294808 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (python) S 3855 3857 2544 0 -1 4202560 26 1345 0 0 0 0 2 0 20 0 2 0 869389239 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826063793 0 0 16781312 33554434 18446604449242288512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 640816
Solver just ended. Dumping a history of the last processes samples
[startup+28.7005 s]
/proc/loadavg: 2.25 2.16 1.72 3/721 3866
/proc/meminfo: memFree=19851920/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=294808 CPUtime=0.59 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 11024 1345 1 0 45 12 2 0 20 0 2 0 869389172 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73702 7541 1871 364 0 8589 0
[pid=3864] ppid=3857 vsize=284564 CPUtime=0.14 cores=0,2,4,6
/proc/3864/stat : 3864 (python) S 3857 3857 2544 0 -1 4202560 956 0 0 0 7 7 0 0 15 0 1 0 869389239 291393536 6014 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814260239 0 0 16781312 33554946 72262103200705287 0 0 17 2 0 0 0
/proc/3864/statm: 71141 6014 348 364 0 6028 0
[pid=3866] ppid=3864 vsize=61444 CPUtime=28.03 cores=0,2,4,6
/proc/3866/stat : 3866 (scip-2.0.1.linu) R 3864 3866 3866 0 -1 4202496 20596 0 0 0 2773 30 0 0 25 0 1 0 869389239 62918656 13113 33554432000 4194304 13684479 140736682763440 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3866/statm: 15361 13113 810 2317 0 13039 0
[pid=3857/tid=3865] ppid=3855 vsize=294808 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (python) S 3855 3857 2544 0 -1 4202560 26 1345 0 0 0 0 2 0 20 0 2 0 869389239 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826063793 0 0 16781312 33554434 18446604449242288512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 28.76
Current children cumulated vsize (KiB) 640816
[startup+30.3011 s]
/proc/loadavg: 2.25 2.16 1.72 3/721 3866
/proc/meminfo: memFree=19853160/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=294808 CPUtime=0.59 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 11024 1345 1 0 45 12 2 0 20 0 2 0 869389172 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73702 7541 1871 364 0 8589 0
[pid=3864] ppid=3857 vsize=284564 CPUtime=0.14 cores=0,2,4,6
/proc/3864/stat : 3864 (python) S 3857 3857 2544 0 -1 4202560 956 0 0 0 7 7 0 0 15 0 1 0 869389239 291393536 6014 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814260239 0 0 16781312 33554946 72262103200705287 0 0 17 2 0 0 0
/proc/3864/statm: 71141 6014 348 364 0 6028 0
[pid=3866] ppid=3864 vsize=61444 CPUtime=29.62 cores=0,2,4,6
/proc/3866/stat : 3866 (scip-2.0.1.linu) R 3864 3866 3866 0 -1 4202496 20597 0 0 0 2932 30 0 0 25 0 1 0 869389239 62918656 13114 33554432000 4194304 13684479 140736682763440 18446744073709551615 7416160 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3866/statm: 15361 13114 810 2317 0 13039 0
[pid=3857/tid=3865] ppid=3855 vsize=294808 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (python) S 3855 3857 2544 0 -1 4202560 26 1345 0 0 0 0 2 0 20 0 2 0 869389239 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826063793 0 0 16781312 33554434 18446604449242288512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 30.35
Current children cumulated vsize (KiB) 640816
[startup+31.101 s]
/proc/loadavg: 2.22 2.16 1.72 3/721 3867
/proc/meminfo: memFree=19852416/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=294808 CPUtime=0.59 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 11024 1345 1 0 45 12 2 0 20 0 2 0 869389172 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73702 7541 1871 364 0 8589 0
[pid=3864] ppid=3857 vsize=284564 CPUtime=0.14 cores=0,2,4,6
/proc/3864/stat : 3864 (python) S 3857 3857 2544 0 -1 4202560 956 0 0 0 7 7 0 0 15 0 1 0 869389239 291393536 6014 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814260239 0 0 16781312 33554946 72262103200705287 0 0 17 2 0 0 0
/proc/3864/statm: 71141 6014 348 364 0 6028 0
[pid=3866] ppid=3864 vsize=61444 CPUtime=30.42 cores=0,2,4,6
/proc/3866/stat : 3866 (scip-2.0.1.linu) R 3864 3866 3866 0 -1 4202496 20597 0 0 0 3011 31 0 0 25 0 1 0 869389239 62918656 13114 33554432000 4194304 13684479 140736682763440 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3866/statm: 15361 13114 810 2317 0 13039 0
[pid=3857/tid=3865] ppid=3855 vsize=294808 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (python) S 3855 3857 2544 0 -1 4202560 26 1345 0 0 0 0 2 0 20 0 2 0 869389239 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826063793 0 0 16781312 33554434 18446604449242288512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 31.15
Current children cumulated vsize (KiB) 640816
[startup+31.301 s]
/proc/loadavg: 2.22 2.16 1.72 3/721 3867
/proc/meminfo: memFree=19852416/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=294808 CPUtime=0.59 cores=0,2,4,6
/proc/3857/stat : 3857 (python) S 3855 3857 2544 0 -1 4202496 11024 1345 1 0 45 12 2 0 20 0 2 0 869389172 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73702 7541 1871 364 0 8589 0
[pid=3864] ppid=3857 vsize=284564 CPUtime=0.14 cores=0,2,4,6
/proc/3864/stat : 3864 (python) S 3857 3857 2544 0 -1 4202560 956 0 0 0 7 7 0 0 15 0 1 0 869389239 291393536 6014 33554432000 4194304 5683644 140734515194560 18446744073709551615 251814260239 0 0 16781312 33554946 72262103200705287 0 0 17 2 0 0 0
/proc/3864/statm: 71141 6014 348 364 0 6028 0
[pid=3866] ppid=3864 vsize=61444 CPUtime=30.62 cores=0,2,4,6
/proc/3866/stat : 3866 (scip-2.0.1.linu) R 3864 3866 3866 0 -1 4202496 20597 0 0 0 3031 31 0 0 25 0 1 0 869389239 62918656 13114 33554432000 4194304 13684479 140736682763440 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3866/statm: 15361 13114 810 2317 0 13039 0
[pid=3857/tid=3865] ppid=3855 vsize=294808 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (python) S 3855 3857 2544 0 -1 4202560 26 1345 0 0 0 0 2 0 20 0 2 0 869389239 301883392 7541 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826063793 0 0 16781312 33554434 18446604449242288512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 31.35
Current children cumulated vsize (KiB) 640816
[startup+31.401 s]
/proc/loadavg: 2.22 2.16 1.72 3/721 3867
/proc/meminfo: memFree=19852416/32950928 swapFree=41528364/67111528
[pid=3857] ppid=3855 vsize=293976 CPUtime=31.48 cores=0,2,4,6
/proc/3857/stat : 3857 (python) R 3855 3857 2544 0 -1 4202496 13319 23490 1 0 46 12 3050 40 18 0 2 0 869389172 301031424 7368 33554432000 4194304 5683644 140734515194560 18446744073709551615 4516260 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/3857/statm: 73494 7368 1869 364 0 8386 0
[pid=3857/tid=3865] ppid=3855 vsize=293976 CPUtime=30.9 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (python) S 3855 3857 2544 0 -1 4202560 26 23490 0 0 0 0 3050 40 18 0 2 0 869389239 301031424 7368 33554432000 4194304 5683644 140734515194560 18446744073709551615 251826063793 0 0 16781312 0 18446604449242288512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.48
Current children cumulated vsize (KiB) 293976
Child status: 0
Real time (s): 31.4182
CPU time (s): 31.5212
CPU user time (s): 30.9863
CPU system time (s): 0.534918
CPU usage (%): 100.328
Max. virtual memory (cumulated for all children) (KiB): 658852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.9863
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= 39072
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= 2370
involuntary context switches= 155
runsolver used 0.19197 second user time and 0.423935 second system time
The end