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-3482515-1307576425/watcher-3482515-1307576425 -o /tmp/evaluation-result-3482515-1307576425/solver-3482515-1307576425 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482515-1307576425.opb -seed 810902289 -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: 0.96 0.24 0.08 2/494 31733
/proc/meminfo: memFree=27137664/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/31733/stat : 31733 (python) R 31731 31733 31489 0 -1 4202496 1076 0 0 0 1 0 0 0 17 0 1 0 947873249 16789504 947 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367542629 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31733/statm: 4099 947 382 364 0 586 0
[startup+0.0234251 s]
/proc/loadavg: 0.96 0.24 0.08 2/494 31733
/proc/meminfo: memFree=27137664/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 1121 0 0 0 1 0 0 0 17 0 1 0 947873249 16789504 989 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/31733/statm: 4099 989 413 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.101373 s]
/proc/loadavg: 0.96 0.24 0.08 2/494 31733
/proc/meminfo: memFree=27137664/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 2663 0 0 0 4 2 0 0 17 0 1 0 947873249 87674880 2382 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/31733/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300379 s]
/proc/loadavg: 0.96 0.24 0.08 2/494 31733
/proc/meminfo: memFree=27137664/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=123884 CPUtime=0.2 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 5415 928 1 0 12 8 0 0 17 0 1 0 947873249 126857216 3779 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/31733/statm: 30971 3779 987 364 0 2803 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 123884
[startup+0.700358 s]
/proc/loadavg: 0.96 0.24 0.08 2/494 31733
/proc/meminfo: memFree=27137664/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=293088 CPUtime=0.42 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 9629 928 1 0 30 12 0 0 19 0 2 0 947873249 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31733/statm: 73272 7143 1870 364 0 8159 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293088
[startup+1.50121 s]
/proc/loadavg: 1.05 0.26 0.09 3/502 31750
/proc/meminfo: memFree=26987392/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=293088 CPUtime=0.42 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 9629 928 1 0 30 12 0 0 19 0 2 0 947873249 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31733/statm: 73272 7143 1870 364 0 8159 0
[pid=31739] ppid=31733 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/31739/stat : 31739 (python) S 31733 31733 31489 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 947873310 289632256 5621 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367566863 0 0 16781312 33554946 4555114672004497671 0 0 17 7 0 0 0
/proc/31739/statm: 70711 5621 352 364 0 5598 0
[pid=31741] ppid=31739 vsize=7720 CPUtime=0.87 cores=1,3,5,7
/proc/31741/stat : 31741 (pbct-0.1.2-linu) R 31739 31741 31741 0 -1 4202496 1811 0 0 0 69 18 0 0 21 0 1 0 947873310 7905280 1554 33554432000 134512640 136422188 4287215296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/31741/statm: 1930 1554 213 467 0 1461 0
[pid=31733/tid=31740] ppid=31731 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/31733/task/31740/stat : 31740 (python) S 31731 31733 31489 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947873310 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981701760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 583652
[startup+3.1009 s]
/proc/loadavg: 1.05 0.26 0.09 3/505 31753
/proc/meminfo: memFree=26970132/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=293088 CPUtime=0.42 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 9629 928 1 0 30 12 0 0 19 0 2 0 947873249 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31733/statm: 73272 7143 1870 364 0 8159 0
[pid=31739] ppid=31733 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/31739/stat : 31739 (python) S 31733 31733 31489 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 947873310 289632256 5621 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367566863 0 0 16781312 33554946 4555114672004497671 0 0 17 7 0 0 0
/proc/31739/statm: 70711 5621 352 364 0 5598 0
[pid=31741] ppid=31739 vsize=7852 CPUtime=2.48 cores=1,3,5,7
/proc/31741/stat : 31741 (pbct-0.1.2-linu) R 31739 31741 31741 0 -1 4202496 1855 0 0 0 204 44 0 0 25 0 1 0 947873310 8040448 1598 33554432000 134512640 136422188 4287215296 18446744073709551615 135686890 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/31741/statm: 1963 1598 213 467 0 1494 0
[pid=31733/tid=31740] ppid=31731 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/31733/task/31740/stat : 31740 (python) S 31731 31733 31489 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947873310 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981701760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 583784
[startup+6.30031 s]
/proc/loadavg: 1.20 0.31 0.10 3/505 31754
/proc/meminfo: memFree=26966688/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=293088 CPUtime=0.42 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 9629 928 1 0 30 12 0 0 19 0 2 0 947873249 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31733/statm: 73272 7143 1870 364 0 8159 0
[pid=31739] ppid=31733 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/31739/stat : 31739 (python) S 31733 31733 31489 0 -1 4202560 860 0 0 0 0 1 0 0 18 0 1 0 947873310 289632256 5645 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367566863 0 0 16781312 33554946 2275410627595829511 0 0 17 7 0 0 0
/proc/31739/statm: 70711 5645 376 364 0 5598 0
[pid=31741] ppid=31739 vsize=8108 CPUtime=5.67 cores=1,3,5,7
/proc/31741/stat : 31741 (pbct-0.1.2-linu) R 31739 31741 31741 0 -1 4202496 1915 0 0 0 466 101 0 0 25 0 1 0 947873310 8302592 1658 33554432000 134512640 136422188 4287215296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/31741/statm: 2027 1658 213 467 0 1558 0
[pid=31733/tid=31740] ppid=31731 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/31733/task/31740/stat : 31740 (python) S 31731 31733 31489 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947873310 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981701760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 584040
Solver just ended. Dumping a history of the last processes samples
[startup+7.00119 s]
/proc/loadavg: 1.20 0.31 0.10 3/505 31754
/proc/meminfo: memFree=26966688/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=293088 CPUtime=0.42 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 9629 928 1 0 30 12 0 0 19 0 2 0 947873249 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31733/statm: 73272 7143 1870 364 0 8159 0
[pid=31739] ppid=31733 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/31739/stat : 31739 (python) S 31733 31733 31489 0 -1 4202560 860 0 0 0 0 1 0 0 18 0 1 0 947873310 289632256 5645 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367566863 0 0 16781312 33554946 2275410627595829511 0 0 17 7 0 0 0
/proc/31739/statm: 70711 5645 376 364 0 5598 0
[pid=31741] ppid=31739 vsize=8108 CPUtime=6.37 cores=1,3,5,7
/proc/31741/stat : 31741 (pbct-0.1.2-linu) R 31739 31741 31741 0 -1 4202496 1915 0 0 0 523 114 0 0 25 0 1 0 947873310 8302592 1658 33554432000 134512640 136422188 4287215296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/31741/statm: 2027 1658 213 467 0 1558 0
[pid=31733/tid=31740] ppid=31731 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/31733/task/31740/stat : 31740 (python) S 31731 31733 31489 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947873310 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981701760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 584040
[startup+8.60082 s]
/proc/loadavg: 1.20 0.31 0.10 3/497 31777
/proc/meminfo: memFree=27000376/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=293088 CPUtime=0.42 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 9629 928 1 0 30 12 0 0 19 0 2 0 947873249 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31733/statm: 73272 7143 1870 364 0 8159 0
[pid=31739] ppid=31733 vsize=282844 CPUtime=0.01 cores=1,3,5,7
/proc/31739/stat : 31739 (python) S 31733 31733 31489 0 -1 4202560 860 0 0 0 0 1 0 0 18 0 1 0 947873310 289632256 5645 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367566863 0 0 16781312 33554946 2275410627595829511 0 0 17 7 0 0 0
/proc/31739/statm: 70711 5645 376 364 0 5598 0
[pid=31741] ppid=31739 vsize=8108 CPUtime=7.97 cores=1,3,5,7
/proc/31741/stat : 31741 (pbct-0.1.2-linu) R 31739 31741 31741 0 -1 4202496 1915 0 0 0 652 145 0 0 25 0 1 0 947873310 8302592 1658 33554432000 134512640 136422188 4287215296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/31741/statm: 2027 1658 213 467 0 1558 0
[pid=31733/tid=31740] ppid=31731 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/31733/task/31740/stat : 31740 (python) S 31731 31733 31489 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947873310 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981701760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.4
Current children cumulated vsize (KiB) 584040
[startup+9.40074 s]
/proc/loadavg: 1.20 0.31 0.10 3/505 31789
/proc/meminfo: memFree=26969568/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=293088 CPUtime=0.42 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 9629 928 1 0 30 12 0 0 19 0 2 0 947873249 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31733/statm: 73272 7143 1870 364 0 8159 0
[pid=31739] ppid=31733 vsize=282844 CPUtime=0.03 cores=1,3,5,7
/proc/31739/stat : 31739 (python) S 31733 31733 31489 0 -1 4202560 866 0 0 0 1 2 0 0 18 0 1 0 947873310 289632256 5645 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367566863 0 0 16781312 33554946 5623753486446373714 0 0 17 7 0 0 0
/proc/31739/statm: 70711 5645 376 364 0 5598 0
[pid=31741] ppid=31739 vsize=8108 CPUtime=8.79 cores=1,3,5,7
/proc/31741/stat : 31741 (pbct-0.1.2-linu) R 31739 31741 31741 0 -1 4202496 1918 0 0 0 717 162 0 0 25 0 1 0 947873310 8302592 1661 33554432000 134512640 136422188 4287215296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/31741/statm: 2027 1661 213 467 0 1558 0
[pid=31733/tid=31740] ppid=31731 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/31733/task/31740/stat : 31740 (python) S 31731 31733 31489 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947873310 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981701760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (KiB) 584040
[startup+9.80065 s]
/proc/loadavg: 1.20 0.31 0.10 3/505 31789
/proc/meminfo: memFree=26969568/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=293088 CPUtime=0.42 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 9629 928 1 0 30 12 0 0 19 0 2 0 947873249 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31733/statm: 73272 7143 1870 364 0 8159 0
[pid=31739] ppid=31733 vsize=282844 CPUtime=0.03 cores=1,3,5,7
/proc/31739/stat : 31739 (python) S 31733 31733 31489 0 -1 4202560 866 0 0 0 1 2 0 0 18 0 1 0 947873310 289632256 5645 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367566863 0 0 16781312 33554946 5623753486446373714 0 0 17 7 0 0 0
/proc/31739/statm: 70711 5645 376 364 0 5598 0
[pid=31741] ppid=31739 vsize=8108 CPUtime=9.18 cores=1,3,5,7
/proc/31741/stat : 31741 (pbct-0.1.2-linu) R 31739 31741 31741 0 -1 4202496 1918 0 0 0 749 169 0 0 25 0 1 0 947873310 8302592 1661 33554432000 134512640 136422188 4287215296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/31741/statm: 2027 1661 213 467 0 1558 0
[pid=31733/tid=31740] ppid=31731 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/31733/task/31740/stat : 31740 (python) S 31731 31733 31489 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947873310 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981701760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.63
Current children cumulated vsize (KiB) 584040
[startup+10.2006 s]
/proc/loadavg: 1.20 0.31 0.10 3/505 31789
/proc/meminfo: memFree=26969568/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=293088 CPUtime=0.42 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 9629 928 1 0 30 12 0 0 19 0 2 0 947873249 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31733/statm: 73272 7143 1870 364 0 8159 0
[pid=31739] ppid=31733 vsize=282844 CPUtime=0.03 cores=1,3,5,7
/proc/31739/stat : 31739 (python) S 31733 31733 31489 0 -1 4202560 866 0 0 0 1 2 0 0 18 0 1 0 947873310 289632256 5645 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367566863 0 0 16781312 33554946 5623753486446373714 0 0 17 7 0 0 0
/proc/31739/statm: 70711 5645 376 364 0 5598 0
[pid=31741] ppid=31739 vsize=8108 CPUtime=9.58 cores=1,3,5,7
/proc/31741/stat : 31741 (pbct-0.1.2-linu) R 31739 31741 31741 0 -1 4202496 1918 0 0 0 783 175 0 0 25 0 1 0 947873310 8302592 1661 33554432000 134512640 136422188 4287215296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/31741/statm: 2027 1661 213 467 0 1558 0
[pid=31733/tid=31740] ppid=31731 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/31733/task/31740/stat : 31740 (python) S 31731 31733 31489 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947873310 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981701760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.03
Current children cumulated vsize (KiB) 584040
[startup+10.3006 s]
/proc/loadavg: 1.20 0.31 0.10 3/505 31789
/proc/meminfo: memFree=26969568/32950928 swapFree=34421304/67111528
[pid=31733] ppid=31731 vsize=293088 CPUtime=0.42 cores=1,3,5,7
/proc/31733/stat : 31733 (python) S 31731 31733 31489 0 -1 4202496 9629 928 1 0 30 12 0 0 19 0 2 0 947873249 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31733/statm: 73272 7143 1870 364 0 8159 0
[pid=31739] ppid=31733 vsize=282844 CPUtime=0.03 cores=1,3,5,7
/proc/31739/stat : 31739 (python) S 31733 31733 31489 0 -1 4202560 866 0 0 0 1 2 0 0 18 0 1 0 947873310 289632256 5645 33554432000 4194304 5683644 140734272753216 18446744073709551615 251367566863 0 0 16781312 33554946 5623753486446373714 0 0 17 7 0 0 0
/proc/31739/statm: 70711 5645 376 364 0 5598 0
[pid=31741] ppid=31739 vsize=8108 CPUtime=9.68 cores=1,3,5,7
/proc/31741/stat : 31741 (pbct-0.1.2-linu) R 31739 31741 31741 0 -1 4202496 1918 0 0 0 792 176 0 0 25 0 1 0 947873310 8302592 1661 33554432000 134512640 136422188 4287215296 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/31741/statm: 2027 1661 213 467 0 1558 0
[pid=31733/tid=31740] ppid=31731 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/31733/task/31740/stat : 31740 (python) S 31731 31733 31489 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947873310 300122112 7143 33554432000 4194304 5683644 140734272753216 18446744073709551615 251379370417 0 0 16781312 33554434 18446604462981701760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.13
Current children cumulated vsize (KiB) 584040
Child status: 0
Real time (s): 10.3804
CPU time (s): 10.2474
CPU user time (s): 8.31074
CPU system time (s): 1.9367
CPU usage (%): 98.719
Max. virtual memory (cumulated for all children) (KiB): 584040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.31074
system time used= 1.9367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18069
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= 3898
involuntary context switches= 43
runsolver used 0.050992 second user time and 0.112982 second system time
The end