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-3482012-1307576691/watcher-3482012-1307576691 -o /tmp/evaluation-result-3482012-1307576691/solver-3482012-1307576691 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482012-1307576691.opb -seed 784734656 -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.05 1.35 0.58 2/559 21873
/proc/meminfo: memFree=30005408/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/21873/stat : 21873 (python) R 21871 21873 21667 0 -1 4202496 938 0 0 0 0 0 0 0 22 0 1 0 947899894 16289792 817 33554432000 4194304 5683644 140735386189968 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21873/statm: 3977 819 356 364 0 464 0
[startup+0.0941409 s]
/proc/loadavg: 2.05 1.35 0.58 2/559 21873
/proc/meminfo: memFree=30005408/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=84432 CPUtime=0.05 cores=0,2,4,6
/proc/21873/stat : 21873 (python) R 21871 21873 21667 0 -1 4202496 2384 0 0 0 4 1 0 0 18 0 1 0 947899894 86458368 2113 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415052485 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21873/statm: 21108 2113 706 364 0 1325 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84432
[startup+0.10114 s]
/proc/loadavg: 2.05 1.35 0.58 2/559 21873
/proc/meminfo: memFree=30005408/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=85616 CPUtime=0.07 cores=0,2,4,6
/proc/21873/stat : 21873 (python) R 21871 21873 21667 0 -1 4202496 2661 0 0 0 5 2 0 0 18 0 1 0 947899894 87670784 2381 33554432000 4194304 5683644 140735386189968 18446744073709551615 4502576 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21873/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85616
[startup+0.301081 s]
/proc/loadavg: 2.05 1.35 0.58 2/559 21873
/proc/meminfo: memFree=30005408/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=123736 CPUtime=0.17 cores=0,2,4,6
/proc/21873/stat : 21873 (python) S 21871 21873 21667 0 -1 4202496 5356 929 1 0 12 5 0 0 17 0 1 0 947899894 126705664 3743 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415387653 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/21873/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123736
[startup+0.701051 s]
/proc/loadavg: 2.05 1.35 0.58 2/559 21873
/proc/meminfo: memFree=30005408/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=282532 CPUtime=0.42 cores=0,2,4,6
/proc/21873/stat : 21873 (python) R 21871 21873 21667 0 -1 4202496 9131 929 1 0 32 10 0 0 16 0 1 0 947899894 289312768 6993 33554432000 4194304 5683644 140735386189968 18446744073709551615 47473837895648 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/21873/statm: 70633 6994 1816 364 0 5526 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282532
[startup+1.50089 s]
/proc/loadavg: 1.89 1.33 0.58 2/563 21881
/proc/meminfo: memFree=29968424/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=293212 CPUtime=0.45 cores=0,2,4,6
/proc/21873/stat : 21873 (python) S 21871 21873 21667 0 -1 4202496 9647 929 1 0 35 10 0 0 18 0 2 0 947899894 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21873/statm: 73303 7155 1870 364 0 8190 0
[pid=21879] ppid=21873 vsize=282968 CPUtime=0 cores=0,2,4,6
/proc/21879/stat : 21879 (python) S 21873 21873 21667 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 1 0 947899967 289759232 5633 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415411727 0 0 16781312 33554946 1128491455749292032 0 0 17 4 0 0 0
/proc/21879/statm: 70742 5633 352 364 0 5629 0
[pid=21881] ppid=21879 vsize=34804 CPUtime=0.76 cores=0,2,4,6
/proc/21881/stat : 21881 (scip-2.0.1.linu) R 21879 21881 21881 0 -1 4202496 6993 0 0 0 75 1 0 0 18 0 1 0 947899968 35639296 6374 33554432000 4194304 13684479 140735365154448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21881/statm: 8701 6374 773 2317 0 6379 0
[pid=21873/tid=21880] ppid=21871 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (python) S 21871 21873 21667 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947899968 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427215281 0 0 16781312 33554434 18446604453869106368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 610984
[startup+3.1006 s]
/proc/loadavg: 1.89 1.33 0.58 2/563 21881
/proc/meminfo: memFree=29968424/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=293212 CPUtime=0.45 cores=0,2,4,6
/proc/21873/stat : 21873 (python) S 21871 21873 21667 0 -1 4202496 9647 929 1 0 35 10 0 0 18 0 2 0 947899894 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21873/statm: 73303 7155 1870 364 0 8190 0
[pid=21879] ppid=21873 vsize=282968 CPUtime=0 cores=0,2,4,6
/proc/21879/stat : 21879 (python) S 21873 21873 21667 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 947899967 289759232 5633 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415411727 0 0 16781312 33554946 3347744870553878528 0 0 17 4 0 0 0
/proc/21879/statm: 70742 5633 352 364 0 5629 0
[pid=21881] ppid=21879 vsize=58608 CPUtime=2.35 cores=0,2,4,6
/proc/21881/stat : 21881 (scip-2.0.1.linu) R 21879 21881 21881 0 -1 4202496 12872 0 0 0 232 3 0 0 21 0 1 0 947899968 60014592 12253 33554432000 4194304 13684479 140735365154448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21881/statm: 14652 12253 775 2317 0 12330 0
[pid=21873/tid=21880] ppid=21871 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (python) S 21871 21873 21667 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947899968 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427215281 0 0 16781312 33554434 18446604453869106368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 634788
[startup+6.30097 s]
/proc/loadavg: 1.90 1.34 0.59 3/568 21915
/proc/meminfo: memFree=29830700/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=293212 CPUtime=0.45 cores=0,2,4,6
/proc/21873/stat : 21873 (python) S 21871 21873 21667 0 -1 4202496 9647 929 1 0 35 10 0 0 18 0 2 0 947899894 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21873/statm: 73303 7155 1870 364 0 8190 0
[pid=21879] ppid=21873 vsize=282968 CPUtime=0.02 cores=0,2,4,6
/proc/21879/stat : 21879 (python) S 21873 21873 21667 0 -1 4202560 914 0 0 0 1 1 0 0 15 0 1 0 947899967 289759232 5656 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415411727 0 0 16781312 33554946 4294934785 0 0 17 2 0 0 0
/proc/21879/statm: 70742 5656 375 364 0 5629 0
[pid=21881] ppid=21879 vsize=58100 CPUtime=5.54 cores=0,2,4,6
/proc/21881/stat : 21881 (scip-2.0.1.linu) R 21879 21881 21881 0 -1 4202496 13667 0 0 0 547 7 0 0 25 0 1 0 947899968 59494400 12312 33554432000 4194304 13684479 140735365154448 18446744073709551615 7416145 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/21881/statm: 14525 12312 796 2317 0 12203 0
[pid=21873/tid=21880] ppid=21871 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (python) S 21871 21873 21667 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947899968 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427215281 0 0 16781312 33554434 18446604453869106368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 634280
[startup+12.7008 s]
/proc/loadavg: 1.90 1.35 0.60 3/568 21915
/proc/meminfo: memFree=29775256/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=293212 CPUtime=0.45 cores=0,2,4,6
/proc/21873/stat : 21873 (python) S 21871 21873 21667 0 -1 4202496 9647 929 1 0 35 10 0 0 18 0 2 0 947899894 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21873/statm: 73303 7155 1870 364 0 8190 0
[pid=21879] ppid=21873 vsize=282968 CPUtime=0.05 cores=0,2,4,6
/proc/21879/stat : 21879 (python) S 21873 21873 21667 0 -1 4202560 916 0 0 0 3 2 0 0 15 0 1 0 947899967 289759232 5657 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415411727 0 0 16781312 33554946 72262103200705325 0 0 17 2 0 0 0
/proc/21879/statm: 70742 5657 376 364 0 5629 0
[pid=21881] ppid=21879 vsize=58100 CPUtime=11.94 cores=0,2,4,6
/proc/21881/stat : 21881 (scip-2.0.1.linu) R 21879 21881 21881 0 -1 4202496 13667 0 0 0 1178 16 0 0 25 0 1 0 947899968 59494400 12312 33554432000 4194304 13684479 140735365154448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/21881/statm: 14525 12312 796 2317 0 12203 0
[pid=21873/tid=21880] ppid=21871 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (python) S 21871 21873 21667 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947899968 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427215281 0 0 16781312 33554434 18446604453869106368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 634280
Solver just ended. Dumping a history of the last processes samples
[startup+14.1004 s]
/proc/loadavg: 1.90 1.35 0.60 3/568 21915
/proc/meminfo: memFree=29772032/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=293212 CPUtime=0.45 cores=0,2,4,6
/proc/21873/stat : 21873 (python) S 21871 21873 21667 0 -1 4202496 9647 929 1 0 35 10 0 0 18 0 2 0 947899894 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21873/statm: 73303 7155 1870 364 0 8190 0
[pid=21879] ppid=21873 vsize=282968 CPUtime=0.07 cores=0,2,4,6
/proc/21879/stat : 21879 (python) S 21873 21873 21667 0 -1 4202560 918 0 0 0 4 3 0 0 15 0 1 0 947899967 289759232 5657 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415411727 0 0 16781312 33554946 72262103200705325 0 0 17 2 0 0 0
/proc/21879/statm: 70742 5657 376 364 0 5629 0
[pid=21881] ppid=21879 vsize=58100 CPUtime=13.34 cores=0,2,4,6
/proc/21881/stat : 21881 (scip-2.0.1.linu) R 21879 21881 21881 0 -1 4202496 13668 0 0 0 1315 19 0 0 25 0 1 0 947899968 59494400 12313 33554432000 4194304 13684479 140735365154448 18446744073709551615 7456808 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/21881/statm: 14525 12313 797 2317 0 12203 0
[pid=21873/tid=21880] ppid=21871 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (python) S 21871 21873 21667 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947899968 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427215281 0 0 16781312 33554434 18446604453869106368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13.86
Current children cumulated vsize (KiB) 634280
[startup+17.3009 s]
/proc/loadavg: 1.91 1.36 0.60 3/568 21915
/proc/meminfo: memFree=29772412/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=293212 CPUtime=0.45 cores=0,2,4,6
/proc/21873/stat : 21873 (python) S 21871 21873 21667 0 -1 4202496 9647 929 1 0 35 10 0 0 18 0 2 0 947899894 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21873/statm: 73303 7155 1870 364 0 8190 0
[pid=21879] ppid=21873 vsize=282968 CPUtime=0.07 cores=0,2,4,6
/proc/21879/stat : 21879 (python) S 21873 21873 21667 0 -1 4202560 918 0 0 0 4 3 0 0 15 0 1 0 947899967 289759232 5657 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415411727 0 0 16781312 33554946 618063111202537472 0 0 17 2 0 0 0
/proc/21879/statm: 70742 5657 376 364 0 5629 0
[pid=21881] ppid=21879 vsize=58100 CPUtime=16.53 cores=0,2,4,6
/proc/21881/stat : 21881 (scip-2.0.1.linu) R 21879 21881 21881 0 -1 4202496 13669 0 0 0 1630 23 0 0 25 0 1 0 947899968 59494400 12314 33554432000 4194304 13684479 140735365154448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/21881/statm: 14525 12314 798 2317 0 12203 0
[pid=21873/tid=21880] ppid=21871 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (python) S 21871 21873 21667 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947899968 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427215281 0 0 16781312 33554434 18446604453869106368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 17.05
Current children cumulated vsize (KiB) 634280
[startup+18.9005 s]
/proc/loadavg: 1.91 1.36 0.60 3/568 21915
/proc/meminfo: memFree=29773152/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=293212 CPUtime=0.45 cores=0,2,4,6
/proc/21873/stat : 21873 (python) S 21871 21873 21667 0 -1 4202496 9647 929 1 0 35 10 0 0 18 0 2 0 947899894 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21873/statm: 73303 7155 1870 364 0 8190 0
[pid=21879] ppid=21873 vsize=282968 CPUtime=0.09 cores=0,2,4,6
/proc/21879/stat : 21879 (python) S 21873 21873 21667 0 -1 4202560 919 0 0 0 5 4 0 0 15 0 1 0 947899967 289759232 5657 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415411727 0 0 16781312 33554946 72262103200705325 0 0 17 2 0 0 0
/proc/21879/statm: 70742 5657 376 364 0 5629 0
[pid=21881] ppid=21879 vsize=58100 CPUtime=18.13 cores=0,2,4,6
/proc/21881/stat : 21881 (scip-2.0.1.linu) R 21879 21881 21881 0 -1 4202496 13669 0 0 0 1789 24 0 0 25 0 1 0 947899968 59494400 12314 33554432000 4194304 13684479 140735365154448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/21881/statm: 14525 12314 798 2317 0 12203 0
[pid=21873/tid=21880] ppid=21871 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (python) S 21871 21873 21667 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947899968 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427215281 0 0 16781312 33554434 18446604453869106368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18.67
Current children cumulated vsize (KiB) 634280
[startup+19.7004 s]
/proc/loadavg: 1.91 1.36 0.60 3/568 21915
/proc/meminfo: memFree=29773152/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=293212 CPUtime=0.45 cores=0,2,4,6
/proc/21873/stat : 21873 (python) S 21871 21873 21667 0 -1 4202496 9647 929 1 0 35 10 0 0 18 0 2 0 947899894 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21873/statm: 73303 7155 1870 364 0 8190 0
[pid=21879] ppid=21873 vsize=282968 CPUtime=0.09 cores=0,2,4,6
/proc/21879/stat : 21879 (python) S 21873 21873 21667 0 -1 4202560 919 0 0 0 5 4 0 0 15 0 1 0 947899967 289759232 5657 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415411727 0 0 16781312 33554946 3304558038089728000 0 0 17 2 0 0 0
/proc/21879/statm: 70742 5657 376 364 0 5629 0
[pid=21881] ppid=21879 vsize=58348 CPUtime=18.93 cores=0,2,4,6
/proc/21881/stat : 21881 (scip-2.0.1.linu) R 21879 21881 21881 0 -1 4202496 13680 0 0 0 1867 26 0 0 25 0 1 0 947899968 59748352 12325 33554432000 4194304 13684479 140735365154448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/21881/statm: 14587 12325 798 2317 0 12265 0
[pid=21873/tid=21880] ppid=21871 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (python) S 21871 21873 21667 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947899968 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427215281 0 0 16781312 33554434 18446604453869106368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19.47
Current children cumulated vsize (KiB) 634528
[startup+20.1203 s]
/proc/loadavg: 1.91 1.36 0.60 3/568 21915
/proc/meminfo: memFree=29773276/32950928 swapFree=50514916/67111528
[pid=21873] ppid=21871 vsize=293212 CPUtime=0.45 cores=0,2,4,6
/proc/21873/stat : 21873 (python) S 21871 21873 21667 0 -1 4202496 9647 929 1 0 35 10 0 0 18 0 2 0 947899894 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21873/statm: 73303 7155 1870 364 0 8190 0
[pid=21879] ppid=21873 vsize=282968 CPUtime=0.09 cores=0,2,4,6
/proc/21879/stat : 21879 (python) S 21873 21873 21667 0 -1 4202560 919 0 0 0 5 4 0 0 15 0 1 0 947899967 289759232 5657 33554432000 4194304 5683644 140735386189968 18446744073709551615 256415411727 0 0 16781312 33554946 3304558038089728000 0 0 17 2 0 0 0
/proc/21879/statm: 70742 5657 376 364 0 5629 0
[pid=21881] ppid=21879 vsize=58348 CPUtime=19.34 cores=0,2,4,6
/proc/21881/stat : 21881 (scip-2.0.1.linu) R 21879 21881 21881 0 -1 4202496 13680 0 0 0 1908 26 0 0 25 0 1 0 947899968 59748352 12325 33554432000 4194304 13684479 140735365154448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/21881/statm: 14587 12325 798 2317 0 12265 0
[pid=21873/tid=21880] ppid=21871 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/21873/task/21880/stat : 21880 (python) S 21871 21873 21667 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947899968 300249088 7155 33554432000 4194304 5683644 140735386189968 18446744073709551615 256427215281 0 0 16781312 33554434 18446604453869106368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (KiB) 634528
Child status: 0
Real time (s): 20.1823
CPU time (s): 19.981
CPU user time (s): 19.556
CPU system time (s): 0.424935
CPU usage (%): 99.0023
Max. virtual memory (cumulated for all children) (KiB): 634788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.556
system time used= 0.424935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29964
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= 3693
involuntary context switches= 906
runsolver used 0.109983 second user time and 0.231964 second system time
The end