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-3482441-1307576459/watcher-3482441-1307576459 -o /tmp/evaluation-result-3482441-1307576459/solver-3482441-1307576459 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482441-1307576459.opb -seed 505410630 -budget 1800
running on 4 cores: 1,3,5,7
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.66 0.56 0.19 2/578 4855
/proc/meminfo: memFree=23776052/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=15784 CPUtime=0 cores=1,3,5,7
/proc/4855/stat : 4855 (python) R 4853 4855 4282 0 -1 4202496 836 0 0 0 0 0 0 0 17 0 1 0 869243671 16162816 720 33554432000 4194304 5683644 140735372118896 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4855/statm: 3946 723 334 364 0 433 0
[startup+0.120511 s]
/proc/loadavg: 1.66 0.56 0.19 2/578 4855
/proc/meminfo: memFree=23776052/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=98188 CPUtime=0.09 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 3307 931 1 0 7 2 0 0 18 0 1 0 869243671 100544512 2486 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/4855/statm: 24547 2486 794 364 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 98188
[startup+0.20062 s]
/proc/loadavg: 1.66 0.56 0.19 2/578 4855
/proc/meminfo: memFree=23776052/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=123744 CPUtime=0.15 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 5358 931 1 0 11 4 0 0 17 0 1 0 869243671 126713856 3744 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/4855/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.301571 s]
/proc/loadavg: 1.66 0.56 0.19 2/578 4855
/proc/meminfo: memFree=23776052/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=190668 CPUtime=0.22 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 6544 931 1 0 16 6 0 0 17 0 1 0 869243671 195244032 4837 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/4855/statm: 47667 4837 1400 364 0 3677 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 190668
[startup+0.700382 s]
/proc/loadavg: 1.66 0.56 0.19 2/578 4855
/proc/meminfo: memFree=23776052/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 9707 931 1 0 35 10 0 0 19 0 2 0 869243671 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 73371 7213 1870 364 0 8258 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293484
[startup+1.50023 s]
/proc/loadavg: 1.66 0.56 0.19 4/582 4863
/proc/meminfo: memFree=23749608/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 9707 931 1 0 35 10 0 0 19 0 2 0 869243671 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 73371 7213 1870 364 0 8258 0
[pid=4861] ppid=4855 vsize=283240 CPUtime=0 cores=1,3,5,7
/proc/4861/stat : 4861 (python) S 4855 4855 4282 0 -1 4202560 702 0 0 0 0 0 0 0 18 0 1 0 869243726 290037760 5688 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687695375 0 0 16781312 33554946 11793534244066656518 0 0 17 3 0 0 0
/proc/4861/statm: 70810 5688 349 364 0 5697 0
[pid=4863] ppid=4861 vsize=2388 CPUtime=0.94 cores=1,3,5,7
/proc/4863/stat : 4863 (clasp-1.3.7-x86) R 4861 4863 4863 0 -1 4202496 605 0 0 0 94 0 0 0 21 0 1 0 869243727 2445312 347 33554432000 134512640 136139019 4286702400 18446744073709551615 134598352 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4863/statm: 597 347 184 398 0 197 0
[pid=4855/tid=4862] ppid=4853 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/4855/task/4862/stat : 4862 (python) S 4853 4855 4282 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869243727 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699498929 0 0 16781312 33554434 18446604470736622592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 579112
[startup+3.10094 s]
/proc/loadavg: 1.69 0.58 0.20 3/582 4863
/proc/meminfo: memFree=23748088/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 9707 931 1 0 35 10 0 0 19 0 2 0 869243671 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 73371 7213 1870 364 0 8258 0
[pid=4861] ppid=4855 vsize=283240 CPUtime=0 cores=1,3,5,7
/proc/4861/stat : 4861 (python) S 4855 4855 4282 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 869243726 290037760 5691 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687695375 0 0 16781312 33554946 7768806977525743878 0 0 17 3 0 0 0
/proc/4861/statm: 70810 5691 352 364 0 5697 0
[pid=4863] ppid=4861 vsize=2652 CPUtime=2.53 cores=1,3,5,7
/proc/4863/stat : 4863 (clasp-1.3.7-x86) R 4861 4863 4863 0 -1 4202496 680 0 0 0 252 1 0 0 25 0 1 0 869243727 2715648 422 33554432000 134512640 136139019 4286702400 18446744073709551615 134608192 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4863/statm: 663 422 184 398 0 263 0
[pid=4855/tid=4862] ppid=4853 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/4855/task/4862/stat : 4862 (python) S 4853 4855 4282 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869243727 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699498929 0 0 16781312 33554434 18446604470736622592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 579376
[startup+6.30036 s]
/proc/loadavg: 1.69 0.58 0.20 3/582 4863
/proc/meminfo: memFree=23749848/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 9707 931 1 0 35 10 0 0 19 0 2 0 869243671 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 73371 7213 1870 364 0 8258 0
[pid=4861] ppid=4855 vsize=283240 CPUtime=0.02 cores=1,3,5,7
/proc/4861/stat : 4861 (python) S 4855 4855 4282 0 -1 4202560 880 0 0 0 1 1 0 0 18 0 1 0 869243726 290037760 5715 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687695375 0 0 16781312 33554946 7768812268925452550 0 0 17 3 0 0 0
/proc/4861/statm: 70810 5715 376 364 0 5697 0
[pid=4863] ppid=4861 vsize=2916 CPUtime=5.73 cores=1,3,5,7
/proc/4863/stat : 4863 (clasp-1.3.7-x86) R 4861 4863 4863 0 -1 4202496 740 0 0 0 571 2 0 0 25 0 1 0 869243727 2985984 482 33554432000 134512640 136139019 4286702400 18446744073709551615 134883463 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4863/statm: 729 482 184 398 0 329 0
[pid=4855/tid=4862] ppid=4853 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/4855/task/4862/stat : 4862 (python) S 4853 4855 4282 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869243727 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699498929 0 0 16781312 33554434 18446604470736622592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 579640
Solver just ended. Dumping a history of the last processes samples
[startup+7.60112 s]
/proc/loadavg: 1.71 0.60 0.21 3/582 4863
/proc/meminfo: memFree=23748608/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 9707 931 1 0 35 10 0 0 19 0 2 0 869243671 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 73371 7213 1870 364 0 8258 0
[pid=4861] ppid=4855 vsize=283240 CPUtime=0.02 cores=1,3,5,7
/proc/4861/stat : 4861 (python) S 4855 4855 4282 0 -1 4202560 880 0 0 0 1 1 0 0 18 0 1 0 869243726 290037760 5715 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687695375 0 0 16781312 33554946 7768812268925452550 0 0 17 3 0 0 0
/proc/4861/statm: 70810 5715 376 364 0 5697 0
[pid=4863] ppid=4861 vsize=3048 CPUtime=7.04 cores=1,3,5,7
/proc/4863/stat : 4863 (clasp-1.3.7-x86) R 4861 4863 4863 0 -1 4202496 772 0 0 0 701 3 0 0 25 0 1 0 869243727 3121152 514 33554432000 134512640 136139019 4286702400 18446744073709551615 134634875 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4863/statm: 762 514 184 398 0 362 0
[pid=4855/tid=4862] ppid=4853 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/4855/task/4862/stat : 4862 (python) S 4853 4855 4282 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869243727 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699498929 0 0 16781312 33554434 18446604470736622592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 579772
[startup+9.20083 s]
/proc/loadavg: 1.71 0.60 0.21 3/582 4863
/proc/meminfo: memFree=23749892/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 9707 931 1 0 35 10 0 0 19 0 2 0 869243671 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 73371 7213 1870 364 0 8258 0
[pid=4861] ppid=4855 vsize=283240 CPUtime=0.04 cores=1,3,5,7
/proc/4861/stat : 4861 (python) S 4855 4855 4282 0 -1 4202560 883 0 0 0 2 2 0 0 18 0 1 0 869243726 290037760 5715 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687695375 0 0 16781312 33554946 5623458817330129763 0 0 17 3 0 0 0
/proc/4861/statm: 70810 5715 376 364 0 5697 0
[pid=4863] ppid=4861 vsize=3192 CPUtime=8.63 cores=1,3,5,7
/proc/4863/stat : 4863 (clasp-1.3.7-x86) R 4861 4863 4863 0 -1 4202496 805 0 0 0 859 4 0 0 25 0 1 0 869243727 3268608 547 33554432000 134512640 136139019 4286702400 18446744073709551615 134613508 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4863/statm: 798 547 184 398 0 398 0
[pid=4855/tid=4862] ppid=4853 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/4855/task/4862/stat : 4862 (python) S 4853 4855 4282 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869243727 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699498929 0 0 16781312 33554434 18446604470736622592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.12
Current children cumulated vsize (KiB) 579916
[startup+10.0007 s]
/proc/loadavg: 1.71 0.60 0.21 3/582 4864
/proc/meminfo: memFree=23749048/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 9707 931 1 0 35 10 0 0 19 0 2 0 869243671 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 73371 7213 1870 364 0 8258 0
[pid=4861] ppid=4855 vsize=283240 CPUtime=0.04 cores=1,3,5,7
/proc/4861/stat : 4861 (python) S 4855 4855 4282 0 -1 4202560 883 0 0 0 2 2 0 0 18 0 1 0 869243726 290037760 5715 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687695375 0 0 16781312 33554946 5623458817330129763 0 0 17 3 0 0 0
/proc/4861/statm: 70810 5715 376 364 0 5697 0
[pid=4863] ppid=4861 vsize=3324 CPUtime=9.44 cores=1,3,5,7
/proc/4863/stat : 4863 (clasp-1.3.7-x86) R 4861 4863 4863 0 -1 4202496 827 0 0 0 940 4 0 0 25 0 1 0 869243727 3403776 569 33554432000 134512640 136139019 4286702400 18446744073709551615 134883437 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4863/statm: 831 569 184 398 0 431 0
[pid=4855/tid=4862] ppid=4853 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/4855/task/4862/stat : 4862 (python) S 4853 4855 4282 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869243727 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699498929 0 0 16781312 33554434 18446604470736622592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (KiB) 580048
[startup+10.4006 s]
/proc/loadavg: 1.71 0.60 0.21 3/582 4864
/proc/meminfo: memFree=23749048/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 9707 931 1 0 35 10 0 0 19 0 2 0 869243671 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 73371 7213 1870 364 0 8258 0
[pid=4861] ppid=4855 vsize=283240 CPUtime=0.04 cores=1,3,5,7
/proc/4861/stat : 4861 (python) S 4855 4855 4282 0 -1 4202560 883 0 0 0 2 2 0 0 18 0 1 0 869243726 290037760 5715 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687695375 0 0 16781312 33554946 5623458817330129763 0 0 17 3 0 0 0
/proc/4861/statm: 70810 5715 376 364 0 5697 0
[pid=4863] ppid=4861 vsize=3456 CPUtime=9.83 cores=1,3,5,7
/proc/4863/stat : 4863 (clasp-1.3.7-x86) R 4861 4863 4863 0 -1 4202496 851 0 0 0 979 4 0 0 25 0 1 0 869243727 3538944 593 33554432000 134512640 136139019 4286702400 18446744073709551615 134883867 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4863/statm: 864 593 184 398 0 464 0
[pid=4855/tid=4862] ppid=4853 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/4855/task/4862/stat : 4862 (python) S 4853 4855 4282 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869243727 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699498929 0 0 16781312 33554434 18446604470736622592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.32
Current children cumulated vsize (KiB) 580180
[startup+10.6006 s]
/proc/loadavg: 1.71 0.60 0.21 3/582 4864
/proc/meminfo: memFree=23749048/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 9707 931 1 0 35 10 0 0 19 0 2 0 869243671 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 73371 7213 1870 364 0 8258 0
[pid=4861] ppid=4855 vsize=283240 CPUtime=0.04 cores=1,3,5,7
/proc/4861/stat : 4861 (python) S 4855 4855 4282 0 -1 4202560 883 0 0 0 2 2 0 0 18 0 1 0 869243726 290037760 5715 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687695375 0 0 16781312 33554946 5623458817330129763 0 0 17 3 0 0 0
/proc/4861/statm: 70810 5715 376 364 0 5697 0
[pid=4863] ppid=4861 vsize=3456 CPUtime=10.03 cores=1,3,5,7
/proc/4863/stat : 4863 (clasp-1.3.7-x86) R 4861 4863 4863 0 -1 4202496 857 0 0 0 999 4 0 0 25 0 1 0 869243727 3538944 599 33554432000 134512640 136139019 4286702400 18446744073709551615 134883379 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4863/statm: 864 599 184 398 0 464 0
[pid=4855/tid=4862] ppid=4853 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/4855/task/4862/stat : 4862 (python) S 4853 4855 4282 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869243727 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699498929 0 0 16781312 33554434 18446604470736622592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 580180
[startup+10.7006 s]
/proc/loadavg: 1.71 0.60 0.21 3/582 4864
/proc/meminfo: memFree=23749048/32951124 swapFree=58940260/67111528
[pid=4855] ppid=4853 vsize=293484 CPUtime=0.45 cores=1,3,5,7
/proc/4855/stat : 4855 (python) S 4853 4855 4282 0 -1 4202496 9707 931 1 0 35 10 0 0 19 0 2 0 869243671 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4855/statm: 73371 7213 1870 364 0 8258 0
[pid=4861] ppid=4855 vsize=283240 CPUtime=0.04 cores=1,3,5,7
/proc/4861/stat : 4861 (python) S 4855 4855 4282 0 -1 4202560 883 0 0 0 2 2 0 0 18 0 1 0 869243726 290037760 5715 33554432000 4194304 5683644 140735372118896 18446744073709551615 212687695375 0 0 16781312 33554946 5623458817330129763 0 0 17 3 0 0 0
/proc/4861/statm: 70810 5715 376 364 0 5697 0
[pid=4863] ppid=4861 vsize=3456 CPUtime=10.13 cores=1,3,5,7
/proc/4863/stat : 4863 (clasp-1.3.7-x86) R 4861 4863 4863 0 -1 4202496 859 0 0 0 1009 4 0 0 25 0 1 0 869243727 3538944 601 33554432000 134512640 136139019 4286702400 18446744073709551615 134608894 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4863/statm: 864 601 184 398 0 464 0
[pid=4855/tid=4862] ppid=4853 vsize=293484 CPUtime=0 cores=1,3,5,7
/proc/4855/task/4862/stat : 4862 (python) S 4853 4855 4282 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869243727 300527616 7213 33554432000 4194304 5683644 140735372118896 18446744073709551615 212699498929 0 0 16781312 33554434 18446604470736622592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 580180
Child status: 0
Real time (s): 10.7514
CPU time (s): 10.7024
CPU user time (s): 10.5224
CPU system time (s): 0.179972
CPU usage (%): 99.5438
Max. virtual memory (cumulated for all children) (KiB): 580180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5224
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= 17118
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= 1022
involuntary context switches= 52
runsolver used 0.049992 second user time and 0.134979 second system time
The end