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-3482439-1307576445/watcher-3482439-1307576445 -o /tmp/evaluation-result-3482439-1307576445/solver-3482439-1307576445 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482439-1307576445.opb -seed 1843381376 -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.77 0.54 0.19 2/575 4743
/proc/meminfo: memFree=23801744/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/4743/stat : 4743 (runsolver) S 4741 4743 4282 0 -1 4202560 46 0 0 0 0 0 0 0 22 0 1 0 869242362 12079104 53 33554432000 4194304 5432328 140736322649072 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 2 0 0 0
/proc/4743/statm: 2949 53 34 303 0 2643 0
[startup+0.029249 s]
/proc/loadavg: 1.77 0.54 0.19 2/575 4743
/proc/meminfo: memFree=23801744/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 650 0 0 0 0 0 0 0 22 0 1 0 869242362 15441920 545 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/4743/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.101194 s]
/proc/loadavg: 1.77 0.54 0.19 2/575 4743
/proc/meminfo: memFree=23801744/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 821 0 0 0 0 0 0 0 22 0 1 0 869242362 15753216 705 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/4743/statm: 3846 705 334 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+0.30112 s]
/proc/loadavg: 1.77 0.54 0.19 2/575 4743
/proc/meminfo: memFree=23801744/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=18888 CPUtime=0.01 cores=0,2,4,6
/proc/4743/stat : 4743 (python) R 4741 4743 4282 0 -1 4202496 1282 0 0 0 1 0 0 0 20 0 1 0 869242362 19341312 1134 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687336133 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4743/statm: 4722 1134 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.768025 s]
/proc/loadavg: 1.77 0.54 0.19 2/575 4743
/proc/meminfo: memFree=23801744/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=85360 CPUtime=0.05 cores=0,2,4,6
/proc/4743/stat : 4743 (python) D 4741 4743 4282 0 -1 4202496 2586 0 0 0 4 1 0 0 16 0 1 0 869242362 87408640 2310 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687681079 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0
/proc/4743/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+1.50089 s]
/proc/loadavg: 1.77 0.54 0.19 1/576 4748
/proc/meminfo: memFree=23786856/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=85364 CPUtime=0.05 cores=0,2,4,6
/proc/4743/stat : 4743 (python) D 4741 4743 4282 0 -1 4202496 2594 0 0 0 4 1 0 0 16 0 1 0 869242362 87412736 2316 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687681079 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 75
/proc/4743/statm: 21341 2316 714 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364
[startup+3.1006 s]
/proc/loadavg: 1.77 0.54 0.19 1/576 4752
/proc/meminfo: memFree=23780484/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=119984 CPUtime=0.1 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 4939 934 1 0 8 2 0 0 15 0 1 0 869242362 122863616 3358 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 107
/proc/4743/statm: 29996 3358 919 364 0 2445 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 119984
heavy processes:
[startup+6.30106 s]
/proc/loadavg: 1.63 0.53 0.19 2/576 4752
/proc/meminfo: memFree=23766472/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=293484 CPUtime=0.47 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 9708 934 1 0 36 11 0 0 18 0 2 0 869242362 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 107
/proc/4743/statm: 73371 7214 1870 364 0 8258 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 293484
heavy processes:
[startup+12.7008 s]
/proc/loadavg: 1.66 0.56 0.19 2/575 4845
/proc/meminfo: memFree=23828160/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=293484 CPUtime=0.47 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 9708 934 1 0 36 11 0 0 18 0 2 0 869242362 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 107
/proc/4743/statm: 73371 7214 1870 364 0 8258 0
[pid=4754] ppid=4743 vsize=283240 CPUtime=0.02 cores=0,2,4,6
/proc/4754/stat : 4754 (python) S 4743 4743 4282 0 -1 4202560 881 0 0 0 1 1 0 0 18 0 1 0 869242977 290037760 5715 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687695375 0 0 16781312 33554946 12829005023241273602 0 0 17 0 0 0 0
/proc/4754/statm: 70810 5715 375 364 0 5697 0
[pid=4758] ppid=4754 vsize=3048 CPUtime=6.54 cores=0,2,4,6
/proc/4758/stat : 4758 (clasp-1.3.7-x86) R 4754 4758 4758 0 -1 4202496 770 0 0 0 654 0 0 0 25 0 1 0 869242977 3121152 513 33554432000 134512640 136139019 4292659696 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/4758/statm: 762 513 184 398 0 362 0
[pid=4743/tid=4757] ppid=4741 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/4743/task/4757/stat : 4757 (python) S 4741 4743 4282 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869242977 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699498929 0 0 16781312 33554434 18446604446612001088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 579772
heavy processes:
[startup+25.5006 s]
/proc/loadavg: 1.73 0.63 0.22 3/582 4899
/proc/meminfo: memFree=23748432/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=293484 CPUtime=0.47 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 9708 934 1 0 36 11 0 0 18 0 2 0 869242362 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 107
/proc/4743/statm: 73371 7214 1870 364 0 8258 0
[pid=4754] ppid=4743 vsize=283240 CPUtime=0.09 cores=0,2,4,6
/proc/4754/stat : 4754 (python) S 4743 4743 4282 0 -1 4202560 888 0 0 0 5 4 0 0 18 0 1 0 869242977 290037760 5716 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687695375 0 0 16781312 33554946 72114768642583451 0 0 17 0 0 0 0
/proc/4754/statm: 70810 5716 376 364 0 5697 0
[pid=4758] ppid=4754 vsize=3980 CPUtime=19.35 cores=0,2,4,6
/proc/4758/stat : 4758 (clasp-1.3.7-x86) R 4754 4758 4758 0 -1 4202496 991 0 0 0 1935 0 0 0 25 0 1 0 869242977 4075520 734 33554432000 134512640 136139019 4292659696 18446744073709551615 134883538 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/4758/statm: 995 734 184 398 0 595 0
[pid=4743/tid=4757] ppid=4741 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/4743/task/4757/stat : 4757 (python) S 4741 4743 4282 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869242977 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699498929 0 0 16781312 33554434 18446604446612001088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (KiB) 580704
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+25.8005 s]
/proc/loadavg: 1.73 0.63 0.22 3/582 4899
/proc/meminfo: memFree=23748432/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=293484 CPUtime=0.47 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 9708 934 1 0 36 11 0 0 18 0 2 0 869242362 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 107
/proc/4743/statm: 73371 7214 1870 364 0 8258 0
[pid=4754] ppid=4743 vsize=283240 CPUtime=0.09 cores=0,2,4,6
/proc/4754/stat : 4754 (python) S 4743 4743 4282 0 -1 4202560 888 0 0 0 5 4 0 0 18 0 1 0 869242977 290037760 5716 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687695375 0 0 16781312 33554946 72114768642583451 0 0 17 0 0 0 0
/proc/4754/statm: 70810 5716 376 364 0 5697 0
[pid=4758] ppid=4754 vsize=3980 CPUtime=19.64 cores=0,2,4,6
/proc/4758/stat : 4758 (clasp-1.3.7-x86) R 4754 4758 4758 0 -1 4202496 994 0 0 0 1964 0 0 0 25 0 1 0 869242977 4075520 737 33554432000 134512640 136139019 4292659696 18446744073709551615 134883461 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/4758/statm: 995 737 184 398 0 595 0
[pid=4743/tid=4757] ppid=4741 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/4743/task/4757/stat : 4757 (python) S 4741 4743 4282 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869242977 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699498929 0 0 16781312 33554434 18446604446612001088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.2
Current children cumulated vsize (KiB) 580704
[startup+29.0009 s]
/proc/loadavg: 1.73 0.63 0.22 3/574 4957
/proc/meminfo: memFree=23772852/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=293484 CPUtime=0.47 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 9708 934 1 0 36 11 0 0 18 0 2 0 869242362 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 107
/proc/4743/statm: 73371 7214 1870 364 0 8258 0
[pid=4754] ppid=4743 vsize=283240 CPUtime=0.09 cores=0,2,4,6
/proc/4754/stat : 4754 (python) S 4743 4743 4282 0 -1 4202560 888 0 0 0 5 4 0 0 18 0 1 0 869242977 290037760 5716 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687695375 0 0 16781312 33554946 72114768642583451 0 0 17 0 0 0 0
/proc/4754/statm: 70810 5716 376 364 0 5697 0
[pid=4758] ppid=4754 vsize=4112 CPUtime=22.84 cores=0,2,4,6
/proc/4758/stat : 4758 (clasp-1.3.7-x86) R 4754 4758 4758 0 -1 4202496 1018 0 0 0 2284 0 0 0 25 0 1 0 869242977 4210688 761 33554432000 134512640 136139019 4292659696 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/4758/statm: 1028 761 184 398 0 628 0
[pid=4743/tid=4757] ppid=4741 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/4743/task/4757/stat : 4757 (python) S 4741 4743 4282 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869242977 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699498929 0 0 16781312 33554434 18446604446612001088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.4
Current children cumulated vsize (KiB) 580836
[startup+29.8007 s]
/proc/loadavg: 1.73 0.63 0.22 3/574 4957
/proc/meminfo: memFree=23772852/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=293484 CPUtime=0.47 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 9708 934 1 0 36 11 0 0 18 0 2 0 869242362 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 107
/proc/4743/statm: 73371 7214 1870 364 0 8258 0
[pid=4754] ppid=4743 vsize=283240 CPUtime=0.11 cores=0,2,4,6
/proc/4754/stat : 4754 (python) S 4743 4743 4282 0 -1 4202560 891 0 0 0 6 5 0 0 18 0 1 0 869242977 290037760 5716 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687695375 0 0 16781312 33554946 72114768642583451 0 0 17 0 0 0 0
/proc/4754/statm: 70810 5716 376 364 0 5697 0
[pid=4758] ppid=4754 vsize=4112 CPUtime=23.64 cores=0,2,4,6
/proc/4758/stat : 4758 (clasp-1.3.7-x86) R 4754 4758 4758 0 -1 4202496 1026 0 0 0 2364 0 0 0 25 0 1 0 869242977 4210688 769 33554432000 134512640 136139019 4292659696 18446744073709551615 134608499 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/4758/statm: 1028 769 184 398 0 628 0
[pid=4743/tid=4757] ppid=4741 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/4743/task/4757/stat : 4757 (python) S 4741 4743 4282 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869242977 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699498929 0 0 16781312 33554434 18446604446612001088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.22
Current children cumulated vsize (KiB) 580836
[startup+30.2006 s]
/proc/loadavg: 1.91 0.68 0.24 3/579 4962
/proc/meminfo: memFree=23766244/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=293484 CPUtime=0.47 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 9708 934 1 0 36 11 0 0 18 0 2 0 869242362 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 107
/proc/4743/statm: 73371 7214 1870 364 0 8258 0
[pid=4754] ppid=4743 vsize=283240 CPUtime=0.11 cores=0,2,4,6
/proc/4754/stat : 4754 (python) S 4743 4743 4282 0 -1 4202560 891 0 0 0 6 5 0 0 18 0 1 0 869242977 290037760 5716 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687695375 0 0 16781312 33554946 72114768642583451 0 0 17 0 0 0 0
/proc/4754/statm: 70810 5716 376 364 0 5697 0
[pid=4758] ppid=4754 vsize=4112 CPUtime=24.04 cores=0,2,4,6
/proc/4758/stat : 4758 (clasp-1.3.7-x86) R 4754 4758 4758 0 -1 4202496 1032 0 0 0 2404 0 0 0 25 0 1 0 869242977 4210688 775 33554432000 134512640 136139019 4292659696 18446744073709551615 134883066 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/4758/statm: 1028 775 184 398 0 628 0
[pid=4743/tid=4757] ppid=4741 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/4743/task/4757/stat : 4757 (python) S 4741 4743 4282 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869242977 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699498929 0 0 16781312 33554434 18446604446612001088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (KiB) 580836
[startup+30.6006 s]
/proc/loadavg: 1.91 0.68 0.24 3/579 4962
/proc/meminfo: memFree=23766244/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=293484 CPUtime=0.47 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 9708 934 1 0 36 11 0 0 18 0 2 0 869242362 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 107
/proc/4743/statm: 73371 7214 1870 364 0 8258 0
[pid=4754] ppid=4743 vsize=283240 CPUtime=0.11 cores=0,2,4,6
/proc/4754/stat : 4754 (python) S 4743 4743 4282 0 -1 4202560 891 0 0 0 6 5 0 0 18 0 1 0 869242977 290037760 5716 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687695375 0 0 16781312 33554946 72114768642583451 0 0 17 0 0 0 0
/proc/4754/statm: 70810 5716 376 364 0 5697 0
[pid=4758] ppid=4754 vsize=4112 CPUtime=24.44 cores=0,2,4,6
/proc/4758/stat : 4758 (clasp-1.3.7-x86) R 4754 4758 4758 0 -1 4202496 1032 0 0 0 2444 0 0 0 25 0 1 0 869242977 4210688 775 33554432000 134512640 136139019 4292659696 18446744073709551615 134871229 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/4758/statm: 1028 775 184 398 0 628 0
[pid=4743/tid=4757] ppid=4741 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/4743/task/4757/stat : 4757 (python) S 4741 4743 4282 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869242977 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699498929 0 0 16781312 33554434 18446604446612001088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 580836
[startup+30.7006 s]
/proc/loadavg: 1.91 0.68 0.24 3/579 4962
/proc/meminfo: memFree=23766244/32951124 swapFree=58940260/67111528
[pid=4743] ppid=4741 vsize=293484 CPUtime=0.47 cores=0,2,4,6
/proc/4743/stat : 4743 (python) S 4741 4743 4282 0 -1 4202496 9708 934 1 0 36 11 0 0 18 0 2 0 869242362 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 107
/proc/4743/statm: 73371 7214 1870 364 0 8258 0
[pid=4754] ppid=4743 vsize=283240 CPUtime=0.11 cores=0,2,4,6
/proc/4754/stat : 4754 (python) S 4743 4743 4282 0 -1 4202560 891 0 0 0 6 5 0 0 18 0 1 0 869242977 290037760 5716 33554432000 4194304 5683644 140736403751248 18446744073709551615 212687695375 0 0 16781312 33554946 72114768642583451 0 0 17 0 0 0 0
/proc/4754/statm: 70810 5716 376 364 0 5697 0
[pid=4758] ppid=4754 vsize=4112 CPUtime=24.54 cores=0,2,4,6
/proc/4758/stat : 4758 (clasp-1.3.7-x86) R 4754 4758 4758 0 -1 4202496 1035 0 0 0 2454 0 0 0 25 0 1 0 869242977 4210688 778 33554432000 134512640 136139019 4292659696 18446744073709551615 134608261 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/4758/statm: 1028 778 184 398 0 628 0
[pid=4743/tid=4757] ppid=4741 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/4743/task/4757/stat : 4757 (python) S 4741 4743 4282 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869242977 300527616 7214 33554432000 4194304 5683644 140736403751248 18446744073709551615 212699498929 0 0 16781312 33554434 18446604446612001088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 580836
Child status: 0
Real time (s): 30.744
CPU time (s): 25.2032
CPU user time (s): 25.0152
CPU system time (s): 0.187971
CPU usage (%): 81.9774
Max. virtual memory (cumulated for all children) (KiB): 580836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.0152
system time used= 0.187971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17306
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= 4350
involuntary context switches= 57
runsolver used 0.200969 second user time and 0.425935 second system time
The end