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-3482614-1307576469/watcher-3482614-1307576469 -o /tmp/evaluation-result-3482614-1307576469/solver-3482614-1307576469 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482614-1307576469.opb -seed 1844147195 -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.60 0.55 0.19 2/446 26239
/proc/meminfo: memFree=30009944/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/26239/stat : 26239 (python) R 26237 26239 25621 0 -1 4202496 986 0 0 0 0 0 0 0 25 0 1 0 947877667 16633856 859 33554432000 4194304 5683644 140736778978400 18446744073709551615 4339056 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26239/statm: 4061 859 363 364 0 548 0
[startup+0.024558 s]
/proc/loadavg: 1.60 0.55 0.19 2/446 26239
/proc/meminfo: memFree=30009944/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=16540 CPUtime=0.01 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 1185 0 0 0 1 0 0 0 25 0 1 0 947877667 16936960 1046 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/26239/statm: 4135 1046 417 364 0 622 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16540
[startup+0.105629 s]
/proc/loadavg: 1.60 0.55 0.19 2/446 26239
/proc/meminfo: memFree=30009944/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/26239/stat : 26239 (python) R 26237 26239 25621 0 -1 4202496 3168 932 1 0 6 2 0 0 18 0 1 0 947877667 98435072 2483 33554432000 4194304 5683644 140736778978400 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26239/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.301479 s]
/proc/loadavg: 1.60 0.55 0.19 2/446 26239
/proc/meminfo: memFree=30009944/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=202996 CPUtime=0.24 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 6676 932 1 0 18 6 0 0 17 0 1 0 947877667 207867904 4962 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/26239/statm: 50749 4962 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202996
[startup+0.700442 s]
/proc/loadavg: 1.60 0.55 0.19 2/446 26239
/proc/meminfo: memFree=30009944/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=293436 CPUtime=0.45 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 9703 932 1 0 36 9 0 0 19 0 2 0 947877667 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26239/statm: 73359 7213 1870 364 0 8246 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293436
[startup+1.50029 s]
/proc/loadavg: 1.60 0.55 0.19 3/450 26248
/proc/meminfo: memFree=29984128/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=293436 CPUtime=0.45 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 9703 932 1 0 36 9 0 0 19 0 2 0 947877667 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26239/statm: 73359 7213 1870 364 0 8246 0
[pid=26246] ppid=26239 vsize=283192 CPUtime=0 cores=1,3,5,7
/proc/26246/stat : 26246 (python) S 26239 26239 25621 0 -1 4202560 697 0 0 0 0 0 0 0 18 0 1 0 947877723 289988608 5688 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895510543 0 0 16781312 33554946 1115571408143876359 0 0 17 3 0 0 0
/proc/26246/statm: 70798 5688 349 364 0 5685 0
[pid=26248] ppid=26246 vsize=2388 CPUtime=0.94 cores=1,3,5,7
/proc/26248/stat : 26248 (clasp-1.3.7-x86) R 26246 26248 26248 0 -1 4202496 608 0 0 0 94 0 0 0 21 0 1 0 947877723 2445312 352 33554432000 134512640 136139019 4293233104 18446744073709551615 134646355 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26248/statm: 597 352 184 398 0 197 0
[pid=26239/tid=26247] ppid=26237 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (python) S 26237 26239 25621 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 947877723 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907314097 0 0 16781312 33554434 18446604466855520256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 579016
[startup+3.10099 s]
/proc/loadavg: 1.60 0.55 0.19 3/450 26248
/proc/meminfo: memFree=29982764/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=293436 CPUtime=0.45 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 9703 932 1 0 36 9 0 0 19 0 2 0 947877667 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26239/statm: 73359 7213 1870 364 0 8246 0
[pid=26246] ppid=26239 vsize=283192 CPUtime=0 cores=1,3,5,7
/proc/26246/stat : 26246 (python) S 26239 26239 25621 0 -1 4202560 719 0 0 0 0 0 0 0 18 0 1 0 947877723 289988608 5691 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895510543 0 0 16781312 33554946 4601166479583314183 0 0 17 3 0 0 0
/proc/26246/statm: 70798 5691 352 364 0 5685 0
[pid=26248] ppid=26246 vsize=2656 CPUtime=2.54 cores=1,3,5,7
/proc/26248/stat : 26248 (clasp-1.3.7-x86) R 26246 26248 26248 0 -1 4202496 672 0 0 0 254 0 0 0 25 0 1 0 947877723 2719744 416 33554432000 134512640 136139019 4293233104 18446744073709551615 134634773 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26248/statm: 664 416 184 398 0 264 0
[pid=26239/tid=26247] ppid=26237 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (python) S 26237 26239 25621 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 947877723 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907314097 0 0 16781312 33554434 18446604466855520256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 579284
[startup+6.30038 s]
/proc/loadavg: 1.79 0.61 0.21 3/450 26248
/proc/meminfo: memFree=29978692/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=293436 CPUtime=0.45 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 9703 932 1 0 36 9 0 0 19 0 2 0 947877667 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26239/statm: 73359 7213 1870 364 0 8246 0
[pid=26246] ppid=26239 vsize=283192 CPUtime=0.01 cores=1,3,5,7
/proc/26246/stat : 26246 (python) S 26239 26239 25621 0 -1 4202560 869 0 0 0 0 1 0 0 18 0 1 0 947877723 289988608 5715 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895510543 0 0 16781312 33554946 4601167991411802375 0 0 17 7 0 0 0
/proc/26246/statm: 70798 5715 376 364 0 5685 0
[pid=26248] ppid=26246 vsize=3188 CPUtime=5.74 cores=1,3,5,7
/proc/26248/stat : 26248 (clasp-1.3.7-x86) R 26246 26248 26248 0 -1 4202496 805 0 0 0 573 1 0 0 25 0 1 0 947877723 3264512 549 33554432000 134512640 136139019 4293233104 18446744073709551615 134608261 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26248/statm: 797 549 184 398 0 397 0
[pid=26239/tid=26247] ppid=26237 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (python) S 26237 26239 25621 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 947877723 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907314097 0 0 16781312 33554434 18446604466855520256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 579816
[startup+12.7012 s]
/proc/loadavg: 1.81 0.63 0.22 3/450 26248
/proc/meminfo: memFree=29981012/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=293436 CPUtime=0.45 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 9703 932 1 0 36 9 0 0 19 0 2 0 947877667 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26239/statm: 73359 7213 1870 364 0 8246 0
[pid=26246] ppid=26239 vsize=283192 CPUtime=0.02 cores=1,3,5,7
/proc/26246/stat : 26246 (python) S 26239 26239 25621 0 -1 4202560 871 0 0 0 1 1 0 0 18 0 1 0 947877723 289988608 5715 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895510543 0 0 16781312 33554946 5623753486446373730 0 0 17 7 0 0 0
/proc/26246/statm: 70798 5715 376 364 0 5685 0
[pid=26248] ppid=26246 vsize=3728 CPUtime=12.14 cores=1,3,5,7
/proc/26248/stat : 26248 (clasp-1.3.7-x86) R 26246 26248 26248 0 -1 4202496 929 0 0 0 1213 1 0 0 25 0 1 0 947877723 3817472 673 33554432000 134512640 136139019 4293233104 18446744073709551615 134608383 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26248/statm: 932 673 184 398 0 532 0
[pid=26239/tid=26247] ppid=26237 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (python) S 26237 26239 25621 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 947877723 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907314097 0 0 16781312 33554434 18446604466855520256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 580356
Solver just ended. Dumping a history of the last processes samples
[startup+14.3159 s]
/proc/loadavg: 1.81 0.63 0.22 3/450 26248
/proc/meminfo: memFree=29981644/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=293436 CPUtime=0.45 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 9703 932 1 0 36 9 0 0 19 0 2 0 947877667 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26239/statm: 73359 7213 1870 364 0 8246 0
[pid=26246] ppid=26239 vsize=283192 CPUtime=0.04 cores=1,3,5,7
/proc/26246/stat : 26246 (python) S 26239 26239 25621 0 -1 4202560 874 0 0 0 2 2 0 0 18 0 1 0 947877723 289988608 5715 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895510543 0 0 16781312 33554946 5623753486446373730 0 0 17 7 0 0 0
/proc/26246/statm: 70798 5715 376 364 0 5685 0
[pid=26248] ppid=26246 vsize=3728 CPUtime=13.75 cores=1,3,5,7
/proc/26248/stat : 26248 (clasp-1.3.7-x86) R 26246 26248 26248 0 -1 4202496 942 0 0 0 1374 1 0 0 25 0 1 0 947877723 3817472 686 33554432000 134512640 136139019 4293233104 18446744073709551615 134883391 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26248/statm: 932 686 184 398 0 532 0
[pid=26239/tid=26247] ppid=26237 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (python) S 26237 26239 25621 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 947877723 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907314097 0 0 16781312 33554434 18446604466855520256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.24
Current children cumulated vsize (KiB) 580356
[startup+15.1006 s]
/proc/loadavg: 1.81 0.63 0.22 3/450 26248
/proc/meminfo: memFree=29981644/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=293436 CPUtime=0.45 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 9703 932 1 0 36 9 0 0 19 0 2 0 947877667 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26239/statm: 73359 7213 1870 364 0 8246 0
[pid=26246] ppid=26239 vsize=283192 CPUtime=0.04 cores=1,3,5,7
/proc/26246/stat : 26246 (python) S 26239 26239 25621 0 -1 4202560 874 0 0 0 2 2 0 0 18 0 1 0 947877723 289988608 5715 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895510543 0 0 16781312 33554946 5623753486446373730 0 0 17 7 0 0 0
/proc/26246/statm: 70798 5715 376 364 0 5685 0
[pid=26248] ppid=26246 vsize=3864 CPUtime=14.53 cores=1,3,5,7
/proc/26248/stat : 26248 (clasp-1.3.7-x86) R 26246 26248 26248 0 -1 4202496 962 0 0 0 1452 1 0 0 25 0 1 0 947877723 3956736 706 33554432000 134512640 136139019 4293233104 18446744073709551615 134831226 0 0 16781312 16386 0 0 0 17 7 0 0 0
/proc/26248/statm: 966 706 184 398 0 566 0
[pid=26239/tid=26247] ppid=26237 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (python) S 26237 26239 25621 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 947877723 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907314097 0 0 16781312 33554434 18446604466855520256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 15.02
Current children cumulated vsize (KiB) 580492
[startup+15.9006 s]
/proc/loadavg: 1.83 0.65 0.23 4/450 26248
/proc/meminfo: memFree=29981520/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=293436 CPUtime=0.45 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 9703 932 1 0 36 9 0 0 19 0 2 0 947877667 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26239/statm: 73359 7213 1870 364 0 8246 0
[pid=26246] ppid=26239 vsize=283192 CPUtime=0.04 cores=1,3,5,7
/proc/26246/stat : 26246 (python) S 26239 26239 25621 0 -1 4202560 874 0 0 0 2 2 0 0 18 0 1 0 947877723 289988608 5715 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895510543 0 0 16781312 33554946 5623753486446373730 0 0 17 7 0 0 0
/proc/26246/statm: 70798 5715 376 364 0 5685 0
[pid=26248] ppid=26246 vsize=3864 CPUtime=15.33 cores=1,3,5,7
/proc/26248/stat : 26248 (clasp-1.3.7-x86) R 26246 26248 26248 0 -1 4202496 979 0 0 0 1532 1 0 0 25 0 1 0 947877723 3956736 723 33554432000 134512640 136139019 4293233104 18446744073709551615 134598459 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26248/statm: 966 723 184 398 0 566 0
[pid=26239/tid=26247] ppid=26237 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (python) S 26237 26239 25621 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 947877723 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907314097 0 0 16781312 33554434 18446604466855520256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 15.82
Current children cumulated vsize (KiB) 580492
[startup+16.3005 s]
/proc/loadavg: 1.83 0.65 0.23 4/450 26248
/proc/meminfo: memFree=29981520/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=293436 CPUtime=0.45 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 9703 932 1 0 36 9 0 0 19 0 2 0 947877667 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26239/statm: 73359 7213 1870 364 0 8246 0
[pid=26246] ppid=26239 vsize=283192 CPUtime=0.04 cores=1,3,5,7
/proc/26246/stat : 26246 (python) S 26239 26239 25621 0 -1 4202560 874 0 0 0 2 2 0 0 18 0 1 0 947877723 289988608 5715 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895510543 0 0 16781312 33554946 5623753486446373730 0 0 17 7 0 0 0
/proc/26246/statm: 70798 5715 376 364 0 5685 0
[pid=26248] ppid=26246 vsize=3864 CPUtime=15.73 cores=1,3,5,7
/proc/26248/stat : 26248 (clasp-1.3.7-x86) R 26246 26248 26248 0 -1 4202496 979 0 0 0 1572 1 0 0 25 0 1 0 947877723 3956736 723 33554432000 134512640 136139019 4293233104 18446744073709551615 134634712 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26248/statm: 966 723 184 398 0 566 0
[pid=26239/tid=26247] ppid=26237 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (python) S 26237 26239 25621 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 947877723 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907314097 0 0 16781312 33554434 18446604466855520256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 16.22
Current children cumulated vsize (KiB) 580492
[startup+16.4005 s]
/proc/loadavg: 1.83 0.65 0.23 3/450 26248
/proc/meminfo: memFree=29981776/32950928 swapFree=52246700/67111528
[pid=26239] ppid=26237 vsize=293436 CPUtime=0.45 cores=1,3,5,7
/proc/26239/stat : 26239 (python) S 26237 26239 25621 0 -1 4202496 9703 932 1 0 36 9 0 0 19 0 2 0 947877667 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26239/statm: 73359 7213 1870 364 0 8246 0
[pid=26246] ppid=26239 vsize=283192 CPUtime=0.04 cores=1,3,5,7
/proc/26246/stat : 26246 (python) S 26239 26239 25621 0 -1 4202560 874 0 0 0 2 2 0 0 18 0 1 0 947877723 289988608 5715 33554432000 4194304 5683644 140736778978400 18446744073709551615 231895510543 0 0 16781312 33554946 5623753486446373730 0 0 17 7 0 0 0
/proc/26246/statm: 70798 5715 376 364 0 5685 0
[pid=26248] ppid=26246 vsize=3864 CPUtime=15.84 cores=1,3,5,7
/proc/26248/stat : 26248 (clasp-1.3.7-x86) R 26246 26248 26248 0 -1 4202496 979 0 0 0 1583 1 0 0 25 0 1 0 947877723 3956736 723 33554432000 134512640 136139019 4293233104 18446744073709551615 134608964 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26248/statm: 966 723 184 398 0 566 0
[pid=26239/tid=26247] ppid=26237 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (python) S 26237 26239 25621 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 947877723 300478464 7213 33554432000 4194304 5683644 140736778978400 18446744073709551615 231907314097 0 0 16781312 33554434 18446604466855520256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 16.33
Current children cumulated vsize (KiB) 580492
Child status: 0
Real time (s): 16.5111
CPU time (s): 16.4695
CPU user time (s): 16.3295
CPU system time (s): 0.139978
CPU usage (%): 99.7481
Max. virtual memory (cumulated for all children) (KiB): 580492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.3295
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17231
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= 1077
involuntary context switches= 48
runsolver used 0.075988 second user time and 0.171973 second system time
The end