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-3482433-1307576482/watcher-3482433-1307576482 -o /tmp/evaluation-result-3482433-1307576482/solver-3482433-1307576482 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482433-1307576482.opb -seed 1938912779 -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: 3.43 1.31 0.47 3/505 16640
/proc/meminfo: memFree=28432352/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/16640/stat : 16640 (python) R 16638 16640 16517 0 -1 4202496 997 0 0 0 0 0 0 0 20 0 1 0 869247902 16633856 870 33554432000 4194304 5683644 140734362843104 18446744073709551615 210646807237 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/16640/statm: 4061 870 368 364 0 548 0
[startup+0.04734 s]
/proc/loadavg: 3.43 1.31 0.47 3/505 16640
/proc/meminfo: memFree=28432352/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=18892 CPUtime=0.02 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 1288 0 0 0 2 0 0 0 20 0 1 0 869247902 19345408 1141 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/16640/statm: 4723 1141 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.101437 s]
/proc/loadavg: 3.43 1.31 0.47 3/505 16640
/proc/meminfo: memFree=28432352/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=87832 CPUtime=0.06 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 2691 0 0 0 5 1 0 0 20 0 1 0 869247902 89939968 2407 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/16640/statm: 21958 2407 735 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87832
[startup+0.300312 s]
/proc/loadavg: 3.43 1.31 0.47 3/505 16640
/proc/meminfo: memFree=28432352/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 5357 929 1 0 13 4 0 0 17 0 1 0 869247902 126713856 3744 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647142405 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/16640/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700293 s]
/proc/loadavg: 3.43 1.31 0.47 3/505 16640
/proc/meminfo: memFree=28432352/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=283024 CPUtime=0.46 cores=0,2,4,6
/proc/16640/stat : 16640 (python) R 16638 16640 16517 0 -1 4202496 9258 929 1 0 36 10 0 0 16 0 1 0 869247902 289816576 7119 33554432000 4194304 5683644 140734362843104 18446744073709551615 47982449963601 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/16640/statm: 70756 7119 1816 364 0 5649 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 283024
[startup+1.50117 s]
/proc/loadavg: 3.43 1.31 0.47 3/509 16648
/proc/meminfo: memFree=28406280/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=293452 CPUtime=0.51 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 9712 929 1 0 41 10 0 0 18 0 2 0 869247902 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16640/statm: 73363 7220 1870 364 0 8250 0
[pid=16646] ppid=16640 vsize=283208 CPUtime=0 cores=0,2,4,6
/proc/16646/stat : 16646 (python) S 16640 16640 16517 0 -1 4202560 699 0 0 0 0 0 0 0 18 0 1 0 869247977 290004992 5695 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647166479 0 0 16781312 33554946 5645352194078114050 0 0 17 6 0 0 0
/proc/16646/statm: 70802 5695 349 364 0 5689 0
[pid=16648] ppid=16646 vsize=2256 CPUtime=0.75 cores=0,2,4,6
/proc/16648/stat : 16648 (clasp-1.3.7-x86) R 16646 16648 16648 0 -1 4202496 585 0 0 0 75 0 0 0 21 0 1 0 869247977 2310144 327 33554432000 134512640 136139019 4290421008 18446744073709551615 134883290 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16648/statm: 564 327 184 398 0 164 0
[pid=16640/tid=16647] ppid=16638 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/16640/task/16647/stat : 16647 (python) S 16638 16640 16517 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 869247977 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658970033 0 0 16781312 33554434 18446604450115282048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 578916
[startup+3.10086 s]
/proc/loadavg: 3.43 1.31 0.47 3/509 16648
/proc/meminfo: memFree=28405412/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=293452 CPUtime=0.51 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 9712 929 1 0 41 10 0 0 18 0 2 0 869247902 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16640/statm: 73363 7220 1870 364 0 8250 0
[pid=16646] ppid=16640 vsize=283208 CPUtime=0 cores=0,2,4,6
/proc/16646/stat : 16646 (python) S 16640 16640 16517 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 869247977 290004992 5698 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647166479 0 0 16781312 33554946 5645351438163869954 0 0 17 6 0 0 0
/proc/16646/statm: 70802 5698 352 364 0 5689 0
[pid=16648] ppid=16646 vsize=2520 CPUtime=2.35 cores=0,2,4,6
/proc/16648/stat : 16648 (clasp-1.3.7-x86) R 16646 16648 16648 0 -1 4202496 651 0 0 0 235 0 0 0 25 0 1 0 869247977 2580480 393 33554432000 134512640 136139019 4290421008 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16648/statm: 630 393 184 398 0 230 0
[pid=16640/tid=16647] ppid=16638 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/16640/task/16647/stat : 16647 (python) S 16638 16640 16517 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 869247977 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658970033 0 0 16781312 33554434 18446604450115282048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 579180
[startup+6.30034 s]
/proc/loadavg: 3.56 1.37 0.50 3/509 16648
/proc/meminfo: memFree=28404008/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=293452 CPUtime=0.51 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 9712 929 1 0 41 10 0 0 18 0 2 0 869247902 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16640/statm: 73363 7220 1870 364 0 8250 0
[pid=16646] ppid=16640 vsize=283208 CPUtime=0.02 cores=0,2,4,6
/proc/16646/stat : 16646 (python) S 16640 16640 16517 0 -1 4202560 884 0 0 0 1 1 0 0 18 0 1 0 869247977 290004992 5722 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647166479 0 0 16781312 33554946 11037322032319529218 0 0 17 6 0 0 0
/proc/16646/statm: 70802 5722 376 364 0 5689 0
[pid=16648] ppid=16646 vsize=2916 CPUtime=5.55 cores=0,2,4,6
/proc/16648/stat : 16648 (clasp-1.3.7-x86) R 16646 16648 16648 0 -1 4202496 721 0 0 0 555 0 0 0 25 0 1 0 869247977 2985984 463 33554432000 134512640 136139019 4290421008 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16648/statm: 729 463 184 398 0 329 0
[pid=16640/tid=16647] ppid=16638 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/16640/task/16647/stat : 16647 (python) S 16638 16640 16517 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 869247977 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658970033 0 0 16781312 33554434 18446604450115282048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 579576
[startup+22.1386 s]
/proc/loadavg: 3.56 1.37 0.50 3/509 16648
/proc/meminfo: memFree=28404008/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=293452 CPUtime=0.51 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 9712 929 1 0 41 10 0 0 18 0 2 0 869247902 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16640/statm: 73363 7220 1870 364 0 8250 0
[pid=16646] ppid=16640 vsize=283208 CPUtime=0.07 cores=0,2,4,6
/proc/16646/stat : 16646 (python) S 16640 16640 16517 0 -1 4202560 894 0 0 0 4 3 0 0 18 0 1 0 869247977 290004992 5722 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647166479 0 0 16781312 33554946 72556772316949411 0 0 17 6 0 0 0
/proc/16646/statm: 70802 5722 376 364 0 5689 0
[pid=16648] ppid=16646 vsize=3852 CPUtime=21.38 cores=0,2,4,6
/proc/16648/stat : 16648 (clasp-1.3.7-x86) R 16646 16648 16648 0 -1 4202496 969 0 0 0 2138 0 0 0 25 0 1 0 869247977 3944448 711 33554432000 134512640 136139019 4290421008 18446744073709551615 134876664 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16648/statm: 963 711 184 398 0 563 0
[pid=16640/tid=16647] ppid=16638 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/16640/task/16647/stat : 16647 (python) S 16638 16640 16517 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 869247977 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658970033 0 0 16781312 33554434 18446604450115282048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.96
Current children cumulated vsize (KiB) 580512
[startup+25.5011 s]
/proc/loadavg: 4.09 1.64 0.60 3/513 16652
/proc/meminfo: memFree=28388504/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=293452 CPUtime=0.51 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 9712 929 1 0 41 10 0 0 18 0 2 0 869247902 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16640/statm: 73363 7220 1870 364 0 8250 0
[pid=16646] ppid=16640 vsize=283208 CPUtime=0.1 cores=0,2,4,6
/proc/16646/stat : 16646 (python) S 16640 16640 16517 0 -1 4202560 896 0 0 0 5 5 0 0 18 0 1 0 869247977 290004992 5722 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647166479 0 0 16781312 33554946 72556772316949411 0 0 17 6 0 0 0
/proc/16646/statm: 70802 5722 376 364 0 5689 0
[pid=16648] ppid=16646 vsize=3988 CPUtime=24.76 cores=0,2,4,6
/proc/16648/stat : 16648 (clasp-1.3.7-x86) R 16646 16648 16648 0 -1 4202496 1011 0 0 0 2476 0 0 0 25 0 1 0 869247977 4083712 753 33554432000 134512640 136139019 4290421008 18446744073709551615 134882968 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16648/statm: 997 753 184 398 0 597 0
[pid=16640/tid=16647] ppid=16638 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/16640/task/16647/stat : 16647 (python) S 16638 16640 16517 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 869247977 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658970033 0 0 16781312 33554434 18446604450115282048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 580648
Solver just ended. Dumping a history of the last processes samples
[startup+26.8009 s]
/proc/loadavg: 4.09 1.64 0.60 3/513 16652
/proc/meminfo: memFree=28370524/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=293452 CPUtime=0.51 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 9712 929 1 0 41 10 0 0 18 0 2 0 869247902 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16640/statm: 73363 7220 1870 364 0 8250 0
[pid=16646] ppid=16640 vsize=283208 CPUtime=0.1 cores=0,2,4,6
/proc/16646/stat : 16646 (python) S 16640 16640 16517 0 -1 4202560 896 0 0 0 5 5 0 0 18 0 1 0 869247977 290004992 5722 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647166479 0 0 16781312 33554946 72556772316949411 0 0 17 6 0 0 0
/proc/16646/statm: 70802 5722 376 364 0 5689 0
[pid=16648] ppid=16646 vsize=4120 CPUtime=26.05 cores=0,2,4,6
/proc/16648/stat : 16648 (clasp-1.3.7-x86) R 16646 16648 16648 0 -1 4202496 1029 0 0 0 2605 0 0 0 25 0 1 0 869247977 4218880 771 33554432000 134512640 136139019 4290421008 18446744073709551615 134871250 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16648/statm: 1030 771 184 398 0 630 0
[pid=16640/tid=16647] ppid=16638 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/16640/task/16647/stat : 16647 (python) S 16638 16640 16517 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 869247977 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658970033 0 0 16781312 33554434 18446604450115282048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26.66
Current children cumulated vsize (KiB) 580780
[startup+28.4006 s]
/proc/loadavg: 4.09 1.64 0.60 3/513 16652
/proc/meminfo: memFree=28365568/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=293452 CPUtime=0.51 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 9712 929 1 0 41 10 0 0 18 0 2 0 869247902 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16640/statm: 73363 7220 1870 364 0 8250 0
[pid=16646] ppid=16640 vsize=283208 CPUtime=0.1 cores=0,2,4,6
/proc/16646/stat : 16646 (python) S 16640 16640 16517 0 -1 4202560 896 0 0 0 5 5 0 0 18 0 1 0 869247977 290004992 5722 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647166479 0 0 16781312 33554946 72556772316949411 0 0 17 6 0 0 0
/proc/16646/statm: 70802 5722 376 364 0 5689 0
[pid=16648] ppid=16646 vsize=4120 CPUtime=27.65 cores=0,2,4,6
/proc/16648/stat : 16648 (clasp-1.3.7-x86) R 16646 16648 16648 0 -1 4202496 1045 0 0 0 2765 0 0 0 25 0 1 0 869247977 4218880 787 33554432000 134512640 136139019 4290421008 18446744073709551615 134883785 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16648/statm: 1030 787 184 398 0 630 0
[pid=16640/tid=16647] ppid=16638 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/16640/task/16647/stat : 16647 (python) S 16638 16640 16517 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 869247977 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658970033 0 0 16781312 33554434 18446604450115282048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 28.26
Current children cumulated vsize (KiB) 580780
[startup+28.8005 s]
/proc/loadavg: 4.09 1.64 0.60 3/513 16652
/proc/meminfo: memFree=28357140/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=293452 CPUtime=0.51 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 9712 929 1 0 41 10 0 0 18 0 2 0 869247902 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16640/statm: 73363 7220 1870 364 0 8250 0
[pid=16646] ppid=16640 vsize=283208 CPUtime=0.1 cores=0,2,4,6
/proc/16646/stat : 16646 (python) S 16640 16640 16517 0 -1 4202560 896 0 0 0 5 5 0 0 18 0 1 0 869247977 290004992 5722 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647166479 0 0 16781312 33554946 72556772316949411 0 0 17 6 0 0 0
/proc/16646/statm: 70802 5722 376 364 0 5689 0
[pid=16648] ppid=16646 vsize=4120 CPUtime=28.06 cores=0,2,4,6
/proc/16648/stat : 16648 (clasp-1.3.7-x86) R 16646 16648 16648 0 -1 4202496 1048 0 0 0 2806 0 0 0 25 0 1 0 869247977 4218880 790 33554432000 134512640 136139019 4290421008 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16648/statm: 1030 790 184 398 0 630 0
[pid=16640/tid=16647] ppid=16638 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/16640/task/16647/stat : 16647 (python) S 16638 16640 16517 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 869247977 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658970033 0 0 16781312 33554434 18446604450115282048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 28.67
Current children cumulated vsize (KiB) 580780
[startup+29.2004 s]
/proc/loadavg: 4.09 1.64 0.60 3/513 16652
/proc/meminfo: memFree=28357140/32951132 swapFree=57925100/67111528
[pid=16640] ppid=16638 vsize=293452 CPUtime=0.51 cores=0,2,4,6
/proc/16640/stat : 16640 (python) S 16638 16640 16517 0 -1 4202496 9712 929 1 0 41 10 0 0 18 0 2 0 869247902 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16640/statm: 73363 7220 1870 364 0 8250 0
[pid=16646] ppid=16640 vsize=283208 CPUtime=0.12 cores=0,2,4,6
/proc/16646/stat : 16646 (python) S 16640 16640 16517 0 -1 4202560 902 0 0 0 6 6 0 0 18 0 1 0 869247977 290004992 5722 33554432000 4194304 5683644 140734362843104 18446744073709551615 210647166479 0 0 16781312 33554946 72556772316949411 0 0 17 6 0 0 0
/proc/16646/statm: 70802 5722 376 364 0 5689 0
[pid=16648] ppid=16646 vsize=4252 CPUtime=28.45 cores=0,2,4,6
/proc/16648/stat : 16648 (clasp-1.3.7-x86) R 16646 16648 16648 0 -1 4202496 1050 0 0 0 2845 0 0 0 25 0 1 0 869247977 4354048 792 33554432000 134512640 136139019 4290421008 18446744073709551615 134598553 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16648/statm: 1063 792 184 398 0 663 0
[pid=16640/tid=16647] ppid=16638 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/16640/task/16647/stat : 16647 (python) S 16638 16640 16517 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 869247977 300494848 7220 33554432000 4194304 5683644 140734362843104 18446744073709551615 210658970033 0 0 16781312 33554434 18446604450115282048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 29.08
Current children cumulated vsize (KiB) 580912
Child status: 0
Real time (s): 29.2854
CPU time (s): 29.1836
CPU user time (s): 29.0006
CPU system time (s): 0.182972
CPU usage (%): 99.6524
Max. virtual memory (cumulated for all children) (KiB): 580912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.0006
system time used= 0.182972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17329
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= 2688
involuntary context switches= 48
runsolver used 0.076988 second user time and 0.156976 second system time
The end