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-3481870-1307576610/watcher-3481870-1307576610 -o /tmp/evaluation-result-3481870-1307576610/solver-3481870-1307576610 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481870-1307576610.opb -seed 1366286606 -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: 2.16 1.13 0.45 2/575 19371
/proc/meminfo: memFree=27506220/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/19371/stat : 19371 (python) R 19369 19371 19061 0 -1 4202496 1047 0 0 0 0 0 0 0 24 0 1 0 869257810 16629760 918 33554432000 4194304 5683644 140733400515440 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/19371/statm: 4060 918 381 364 0 547 0
[startup+0.102705 s]
/proc/loadavg: 2.16 1.13 0.45 2/575 19371
/proc/meminfo: memFree=27506220/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/19371/stat : 19371 (python) R 19369 19371 19061 0 -1 4202496 3169 927 1 0 5 2 0 0 18 0 1 0 869257810 98430976 2483 33554432000 4194304 5683644 140733400515440 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/19371/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.200817 s]
/proc/loadavg: 2.16 1.13 0.45 2/575 19371
/proc/meminfo: memFree=27506220/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 5357 927 1 0 10 4 0 0 18 0 1 0 869257810 126709760 3744 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/19371/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.300566 s]
/proc/loadavg: 2.16 1.13 0.45 2/575 19371
/proc/meminfo: memFree=27506220/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=195524 CPUtime=0.22 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 6587 927 1 0 16 6 0 0 18 0 1 0 869257810 200216576 4878 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/19371/statm: 48881 4878 1427 364 0 3676 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 195524
[startup+0.70056 s]
/proc/loadavg: 2.16 1.13 0.45 2/575 19371
/proc/meminfo: memFree=27506220/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=294700 CPUtime=0.57 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 10223 927 1 0 48 9 0 0 20 0 2 0 869257810 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19371/statm: 73675 7514 1870 364 0 8562 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 294700
[startup+1.5004 s]
/proc/loadavg: 2.16 1.13 0.45 3/579 19379
/proc/meminfo: memFree=27449520/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=294700 CPUtime=0.57 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 10223 927 1 0 48 9 0 0 20 0 2 0 869257810 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19371/statm: 73675 7514 1870 364 0 8562 0
[pid=19377] ppid=19371 vsize=284456 CPUtime=0 cores=1,3,5,7
/proc/19377/stat : 19377 (python) S 19371 19371 19061 0 -1 4202560 842 0 0 0 0 0 0 0 15 0 1 0 869257878 291282944 5999 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500711951 0 0 16781312 33554946 4440061775274017030 0 0 17 7 0 0 0
/proc/19377/statm: 71114 5999 359 364 0 6001 0
[pid=19379] ppid=19377 vsize=57636 CPUtime=0.82 cores=1,3,5,7
/proc/19379/stat : 19379 (scip-2.0.1.linu) R 19377 19379 19379 0 -1 4202496 12690 0 0 0 78 4 0 0 18 0 1 0 869257878 59019264 11906 33554432000 4194304 13684479 140733743091520 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/19379/statm: 14409 11906 808 2317 0 12087 0
[pid=19371/tid=19378] ppid=19369 vsize=294700 CPUtime=0 cores=1,3,5,7
/proc/19371/task/19378/stat : 19378 (python) S 19369 19371 19061 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869257878 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018163520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 636792
[startup+3.10108 s]
/proc/loadavg: 2.15 1.14 0.46 3/579 19379
/proc/meminfo: memFree=27407112/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=294700 CPUtime=0.57 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 10223 927 1 0 48 9 0 0 20 0 2 0 869257810 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19371/statm: 73675 7514 1870 364 0 8562 0
[pid=19377] ppid=19371 vsize=284456 CPUtime=0 cores=1,3,5,7
/proc/19377/stat : 19377 (python) S 19371 19371 19061 0 -1 4202560 845 0 0 0 0 0 0 0 15 0 1 0 869257878 291282944 5999 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500711951 0 0 16781312 33554946 4440061775274017030 0 0 17 7 0 0 0
/proc/19377/statm: 71114 5999 359 364 0 6001 0
[pid=19379] ppid=19377 vsize=85252 CPUtime=2.42 cores=1,3,5,7
/proc/19379/stat : 19379 (scip-2.0.1.linu) R 19377 19379 19379 0 -1 4202496 19678 0 0 0 232 10 0 0 18 0 1 0 869257878 87298048 18855 33554432000 4194304 13684479 140733743091520 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/19379/statm: 21313 18855 769 2317 0 18991 0
[pid=19371/tid=19378] ppid=19369 vsize=294700 CPUtime=0 cores=1,3,5,7
/proc/19371/task/19378/stat : 19378 (python) S 19369 19371 19061 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869257878 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018163520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 664408
[startup+6.32043 s]
/proc/loadavg: 2.14 1.16 0.46 3/579 19379
/proc/meminfo: memFree=27394768/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=294700 CPUtime=0.57 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 10223 927 1 0 48 9 0 0 20 0 2 0 869257810 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19371/statm: 73675 7514 1870 364 0 8562 0
[pid=19377] ppid=19371 vsize=284456 CPUtime=0.02 cores=1,3,5,7
/proc/19377/stat : 19377 (python) S 19371 19371 19061 0 -1 4202560 985 0 0 0 1 1 0 0 15 0 1 0 869257878 291282944 6022 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500711951 0 0 16781312 33554946 2975552513740111872 0 0 17 3 0 0 0
/proc/19377/statm: 71114 6022 382 364 0 6001 0
[pid=19379] ppid=19377 vsize=102168 CPUtime=5.64 cores=1,3,5,7
/proc/19379/stat : 19379 (scip-2.0.1.linu) R 19377 19379 19379 0 -1 4202496 26345 0 0 0 535 29 0 0 18 0 1 0 869257878 104620032 23096 33554432000 4194304 13684479 140733743091520 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/19379/statm: 25542 23096 814 2317 0 23220 0
[pid=19371/tid=19378] ppid=19369 vsize=294700 CPUtime=0 cores=1,3,5,7
/proc/19371/task/19378/stat : 19378 (python) S 19369 19371 19061 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869257878 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018163520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 681324
[startup+12.7012 s]
/proc/loadavg: 2.12 1.17 0.47 3/579 19379
/proc/meminfo: memFree=27397556/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=294700 CPUtime=0.57 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 10223 927 1 0 48 9 0 0 20 0 2 0 869257810 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19371/statm: 73675 7514 1870 364 0 8562 0
[pid=19377] ppid=19371 vsize=284456 CPUtime=0.06 cores=1,3,5,7
/proc/19377/stat : 19377 (python) S 19371 19371 19061 0 -1 4202560 994 0 0 0 3 3 0 0 15 0 1 0 869257878 291282944 6022 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373563 0 0 17 7 0 0 0
/proc/19377/statm: 71114 6022 382 364 0 6001 0
[pid=19379] ppid=19377 vsize=102168 CPUtime=12.02 cores=1,3,5,7
/proc/19379/stat : 19379 (scip-2.0.1.linu) R 19377 19379 19379 0 -1 4202496 26345 0 0 0 1151 51 0 0 22 0 1 0 869257878 104620032 23096 33554432000 4194304 13684479 140733743091520 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/19379/statm: 25542 23096 814 2317 0 23220 0
[pid=19371/tid=19378] ppid=19369 vsize=294700 CPUtime=0 cores=1,3,5,7
/proc/19371/task/19378/stat : 19378 (python) S 19369 19371 19061 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869257878 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018163520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 681324
Solver just ended. Dumping a history of the last processes samples
[startup+13.501 s]
/proc/loadavg: 2.12 1.17 0.47 3/579 19379
/proc/meminfo: memFree=27398920/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=294700 CPUtime=0.57 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 10223 927 1 0 48 9 0 0 20 0 2 0 869257810 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19371/statm: 73675 7514 1870 364 0 8562 0
[pid=19377] ppid=19371 vsize=284456 CPUtime=0.06 cores=1,3,5,7
/proc/19377/stat : 19377 (python) S 19371 19371 19061 0 -1 4202560 994 0 0 0 3 3 0 0 15 0 1 0 869257878 291282944 6022 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373563 0 0 17 7 0 0 0
/proc/19377/statm: 71114 6022 382 364 0 6001 0
[pid=19379] ppid=19377 vsize=102168 CPUtime=12.82 cores=1,3,5,7
/proc/19379/stat : 19379 (scip-2.0.1.linu) R 19377 19379 19379 0 -1 4202496 26345 0 0 0 1229 53 0 0 25 0 1 0 869257878 104620032 23096 33554432000 4194304 13684479 140733743091520 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/19379/statm: 25542 23096 814 2317 0 23220 0
[pid=19371/tid=19378] ppid=19369 vsize=294700 CPUtime=0 cores=1,3,5,7
/proc/19371/task/19378/stat : 19378 (python) S 19369 19371 19061 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869257878 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018163520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.45
Current children cumulated vsize (KiB) 681324
[startup+15.1207 s]
/proc/loadavg: 2.12 1.17 0.47 3/579 19380
/proc/meminfo: memFree=27400788/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=294700 CPUtime=0.57 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 10223 927 1 0 48 9 0 0 20 0 2 0 869257810 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19371/statm: 73675 7514 1870 364 0 8562 0
[pid=19377] ppid=19371 vsize=284456 CPUtime=0.06 cores=1,3,5,7
/proc/19377/stat : 19377 (python) S 19371 19371 19061 0 -1 4202560 994 0 0 0 3 3 0 0 15 0 1 0 869257878 291282944 6022 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373563 0 0 17 7 0 0 0
/proc/19377/statm: 71114 6022 382 364 0 6001 0
[pid=19379] ppid=19377 vsize=102168 CPUtime=14.44 cores=1,3,5,7
/proc/19379/stat : 19379 (scip-2.0.1.linu) R 19377 19379 19379 0 -1 4202496 26345 0 0 0 1385 59 0 0 25 0 1 0 869257878 104620032 23096 33554432000 4194304 13684479 140733743091520 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/19379/statm: 25542 23096 814 2317 0 23220 0
[pid=19371/tid=19378] ppid=19369 vsize=294700 CPUtime=0 cores=1,3,5,7
/proc/19371/task/19378/stat : 19378 (python) S 19369 19371 19061 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869257878 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018163520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.07
Current children cumulated vsize (KiB) 681324
[startup+16.7108 s]
/proc/loadavg: 2.12 1.17 0.47 3/579 19380
/proc/meminfo: memFree=27401412/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=294700 CPUtime=0.57 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 10223 927 1 0 48 9 0 0 20 0 2 0 869257810 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19371/statm: 73675 7514 1870 364 0 8562 0
[pid=19377] ppid=19371 vsize=284456 CPUtime=0.08 cores=1,3,5,7
/proc/19377/stat : 19377 (python) S 19371 19371 19061 0 -1 4202560 999 0 0 0 4 4 0 0 15 0 1 0 869257878 291282944 6022 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500711951 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/19377/statm: 71114 6022 382 364 0 6001 0
[pid=19379] ppid=19377 vsize=111072 CPUtime=16.03 cores=1,3,5,7
/proc/19379/stat : 19379 (scip-2.0.1.linu) R 19377 19379 19379 0 -1 4202496 28165 0 0 0 1537 66 0 0 20 0 1 0 869257878 113737728 24916 33554432000 4194304 13684479 140733743091520 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/19379/statm: 27768 24916 814 2317 0 25446 0
[pid=19371/tid=19378] ppid=19369 vsize=294700 CPUtime=0 cores=1,3,5,7
/proc/19371/task/19378/stat : 19378 (python) S 19369 19371 19061 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869257878 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018163520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16.68
Current children cumulated vsize (KiB) 690228
[startup+17.1003 s]
/proc/loadavg: 2.12 1.17 0.47 3/579 19380
/proc/meminfo: memFree=27401412/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=294700 CPUtime=0.57 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 10223 927 1 0 48 9 0 0 20 0 2 0 869257810 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19371/statm: 73675 7514 1870 364 0 8562 0
[pid=19377] ppid=19371 vsize=284456 CPUtime=0.08 cores=1,3,5,7
/proc/19377/stat : 19377 (python) S 19371 19371 19061 0 -1 4202560 999 0 0 0 4 4 0 0 15 0 1 0 869257878 291282944 6022 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500711951 0 0 16781312 33554946 3288173717108031488 0 0 17 7 0 0 0
/proc/19377/statm: 71114 6022 382 364 0 6001 0
[pid=19379] ppid=19377 vsize=111072 CPUtime=16.42 cores=1,3,5,7
/proc/19379/stat : 19379 (scip-2.0.1.linu) R 19377 19379 19379 0 -1 4202496 28165 0 0 0 1574 68 0 0 18 0 1 0 869257878 113737728 24916 33554432000 4194304 13684479 140733743091520 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/19379/statm: 27768 24916 814 2317 0 25446 0
[pid=19371/tid=19378] ppid=19369 vsize=294700 CPUtime=0 cores=1,3,5,7
/proc/19371/task/19378/stat : 19378 (python) S 19369 19371 19061 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869257878 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018163520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 17.07
Current children cumulated vsize (KiB) 690228
[startup+17.5012 s]
/proc/loadavg: 2.11 1.18 0.48 3/579 19380
/proc/meminfo: memFree=27395736/32950928 swapFree=26914392/67111528
[pid=19371] ppid=19369 vsize=294700 CPUtime=0.57 cores=1,3,5,7
/proc/19371/stat : 19371 (python) S 19369 19371 19061 0 -1 4202496 10223 927 1 0 48 9 0 0 20 0 2 0 869257810 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19371/statm: 73675 7514 1870 364 0 8562 0
[pid=19377] ppid=19371 vsize=284456 CPUtime=0.08 cores=1,3,5,7
/proc/19377/stat : 19377 (python) S 19371 19371 19061 0 -1 4202560 999 0 0 0 4 4 0 0 15 0 1 0 869257878 291282944 6022 33554432000 4194304 5683644 140733400515440 18446744073709551615 254500711951 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/19377/statm: 71114 6022 382 364 0 6001 0
[pid=19379] ppid=19377 vsize=111072 CPUtime=16.82 cores=1,3,5,7
/proc/19379/stat : 19379 (scip-2.0.1.linu) R 19377 19379 19379 0 -1 4202496 28165 0 0 0 1613 69 0 0 18 0 1 0 869257878 113737728 24916 33554432000 4194304 13684479 140733743091520 18446744073709551615 4686274 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/19379/statm: 27768 24916 814 2317 0 25446 0
[pid=19371/tid=19378] ppid=19369 vsize=294700 CPUtime=0 cores=1,3,5,7
/proc/19371/task/19378/stat : 19378 (python) S 19369 19371 19061 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869257878 301772800 7514 33554432000 4194304 5683644 140733400515440 18446744073709551615 254512515505 0 0 16781312 33554434 18446604466018163520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 17.47
Current children cumulated vsize (KiB) 690228
Child status: 0
Real time (s): 17.5396
CPU time (s): 17.5473
CPU user time (s): 16.6965
CPU system time (s): 0.85087
CPU usage (%): 100.044
Max. virtual memory (cumulated for all children) (KiB): 692052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.6965
system time used= 0.85087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45262
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= 1091
involuntary context switches= 69
runsolver used 0.088986 second user time and 0.217966 second system time
The end