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-3482525-1307576428/watcher-3482525-1307576428 -o /tmp/evaluation-result-3482525-1307576428/solver-3482525-1307576428 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482525-1307576428.opb -seed 1421510615 -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: 1.41 0.39 0.13 1/575 4641
/proc/meminfo: memFree=23794400/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 812 0 0 0 0 0 0 0 17 0 1 0 869240662 15753216 697 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/4641/statm: 3846 697 334 364 0 333 0
[startup+0.0285191 s]
/proc/loadavg: 1.41 0.39 0.13 1/575 4641
/proc/meminfo: memFree=23794400/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=16816 CPUtime=0.01 cores=0,2,4,6
/proc/4641/stat : 4641 (python) R 4639 4641 4282 0 -1 4202496 1227 0 0 0 1 0 0 0 17 0 1 0 869240662 17219584 1084 33554432000 4194304 5683644 140733774467104 18446744073709551615 4874173 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4641/statm: 4204 1084 417 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16816
[startup+0.100542 s]
/proc/loadavg: 1.41 0.39 0.13 1/575 4641
/proc/meminfo: memFree=23794400/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=94064 CPUtime=0.06 cores=0,2,4,6
/proc/4641/stat : 4641 (python) R 4639 4641 4282 0 -1 4202496 2757 0 1 0 4 2 0 0 17 0 1 0 869240662 96321536 2467 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687675024 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4641/statm: 23516 2467 787 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94064
[startup+0.300447 s]
/proc/loadavg: 1.41 0.39 0.13 1/575 4641
/proc/meminfo: memFree=23794400/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=168312 CPUtime=0.21 cores=0,2,4,6
/proc/4641/stat : 4641 (python) R 4639 4641 4282 0 -1 4202496 5981 928 1 0 16 5 0 0 17 0 1 0 869240662 172351488 4298 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687673344 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4641/statm: 42078 4299 1206 364 0 3295 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 168312
[startup+0.700342 s]
/proc/loadavg: 1.41 0.39 0.13 1/575 4641
/proc/meminfo: memFree=23794400/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=293088 CPUtime=0.41 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 9632 928 1 0 33 8 0 0 19 0 2 0 869240662 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4641/statm: 73272 7143 1870 364 0 8159 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293088
[startup+1.50123 s]
/proc/loadavg: 1.41 0.39 0.13 3/582 4652
/proc/meminfo: memFree=23745232/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=293088 CPUtime=0.41 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 9632 928 1 0 33 8 0 0 19 0 2 0 869240662 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4641/statm: 73272 7143 1870 364 0 8159 0
[pid=4650] ppid=4641 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/4650/stat : 4650 (python) S 4641 4641 4282 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 869240716 289632256 5621 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687695375 0 0 16781312 33554946 9837192171340398849 0 0 17 4 0 0 0
/proc/4650/statm: 70711 5621 352 364 0 5598 0
[pid=4652] ppid=4650 vsize=7724 CPUtime=0.94 cores=0,2,4,6
/proc/4652/stat : 4652 (pbct-0.1.2-linu) R 4650 4652 4652 0 -1 4202496 1820 0 0 0 86 8 0 0 21 0 1 0 869240716 7909376 1565 33554432000 134512640 136422188 4292767152 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4652/statm: 1931 1565 213 467 0 1462 0
[pid=4641/tid=4651] ppid=4639 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/4641/task/4651/stat : 4651 (python) S 4639 4641 4282 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869240716 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699498929 0 0 16781312 33554434 18446604441446854848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 583656
[startup+3.10097 s]
/proc/loadavg: 1.45 0.42 0.14 3/582 4653
/proc/meminfo: memFree=23743868/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=293088 CPUtime=0.41 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 9632 928 1 0 33 8 0 0 19 0 2 0 869240662 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4641/statm: 73272 7143 1870 364 0 8159 0
[pid=4650] ppid=4641 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/4650/stat : 4650 (python) S 4641 4641 4282 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 869240716 289632256 5621 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687695375 0 0 16781312 33554946 9837192171340398849 0 0 17 4 0 0 0
/proc/4650/statm: 70711 5621 352 364 0 5598 0
[pid=4652] ppid=4650 vsize=7980 CPUtime=2.55 cores=0,2,4,6
/proc/4652/stat : 4652 (pbct-0.1.2-linu) R 4650 4652 4652 0 -1 4202496 1881 0 0 0 232 23 0 0 25 0 1 0 869240716 8171520 1626 33554432000 134512640 136422188 4292767152 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4652/statm: 1995 1626 213 467 0 1526 0
[pid=4641/tid=4651] ppid=4639 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/4641/task/4651/stat : 4651 (python) S 4639 4641 4282 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869240716 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699498929 0 0 16781312 33554434 18446604441446854848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 583912
[startup+6.30036 s]
/proc/loadavg: 1.45 0.42 0.14 3/582 4653
/proc/meminfo: memFree=23740976/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=293088 CPUtime=0.41 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 9632 928 1 0 33 8 0 0 19 0 2 0 869240662 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4641/statm: 73272 7143 1870 364 0 8159 0
[pid=4650] ppid=4641 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/4650/stat : 4650 (python) S 4641 4641 4282 0 -1 4202560 864 0 0 0 1 1 0 0 18 0 1 0 869240716 289632256 5645 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687695375 0 0 16781312 33554946 15249697382095356161 0 0 17 4 0 0 0
/proc/4650/statm: 70711 5645 376 364 0 5598 0
[pid=4652] ppid=4650 vsize=8244 CPUtime=5.74 cores=0,2,4,6
/proc/4652/stat : 4652 (pbct-0.1.2-linu) R 4650 4652 4652 0 -1 4202496 1933 0 0 0 526 48 0 0 25 0 1 0 869240716 8441856 1678 33554432000 134512640 136422188 4292767152 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4652/statm: 2061 1678 213 467 0 1592 0
[pid=4641/tid=4651] ppid=4639 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/4641/task/4651/stat : 4651 (python) S 4639 4641 4282 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869240716 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699498929 0 0 16781312 33554434 18446604441446854848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 584176
[startup+12.7012 s]
/proc/loadavg: 1.84 0.53 0.18 3/582 4688
/proc/meminfo: memFree=23741392/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=293088 CPUtime=0.41 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 9632 928 1 0 33 8 0 0 19 0 2 0 869240662 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4641/statm: 73272 7143 1870 364 0 8159 0
[pid=4650] ppid=4641 vsize=282844 CPUtime=0.04 cores=0,2,4,6
/proc/4650/stat : 4650 (python) S 4641 4641 4282 0 -1 4202560 870 0 0 0 2 2 0 0 18 0 1 0 869240716 289632256 5645 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687695375 0 0 16781312 33554946 72409437758827416 0 0 17 4 0 0 0
/proc/4650/statm: 70711 5645 376 364 0 5598 0
[pid=4652] ppid=4650 vsize=8372 CPUtime=12.14 cores=0,2,4,6
/proc/4652/stat : 4652 (pbct-0.1.2-linu) R 4650 4652 4652 0 -1 4202496 1969 0 0 0 1117 97 0 0 25 0 1 0 869240716 8572928 1714 33554432000 134512640 136422188 4292767152 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4652/statm: 2093 1714 213 467 0 1624 0
[pid=4641/tid=4651] ppid=4639 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/4641/task/4651/stat : 4651 (python) S 4639 4641 4282 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869240716 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699498929 0 0 16781312 33554434 18446604441446854848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 584304
Solver just ended. Dumping a history of the last processes samples
[startup+13.701 s]
/proc/loadavg: 1.84 0.53 0.18 3/582 4688
/proc/meminfo: memFree=23745608/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=293088 CPUtime=0.41 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 9632 928 1 0 33 8 0 0 19 0 2 0 869240662 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4641/statm: 73272 7143 1870 364 0 8159 0
[pid=4650] ppid=4641 vsize=282844 CPUtime=0.06 cores=0,2,4,6
/proc/4650/stat : 4650 (python) S 4641 4641 4282 0 -1 4202560 872 0 0 0 4 2 0 0 18 0 1 0 869240716 289632256 5645 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687695375 0 0 16781312 33554946 72409437758827416 0 0 17 4 0 0 0
/proc/4650/statm: 70711 5645 376 364 0 5598 0
[pid=4652] ppid=4650 vsize=8372 CPUtime=13.14 cores=0,2,4,6
/proc/4652/stat : 4652 (pbct-0.1.2-linu) R 4650 4652 4652 0 -1 4202496 1969 0 0 0 1208 106 0 0 25 0 1 0 869240716 8572928 1714 33554432000 134512640 136422188 4292767152 18446744073709551615 135028838 0 0 16781312 16387 0 0 0 17 6 0 0 0
/proc/4652/statm: 2093 1714 213 467 0 1624 0
[pid=4641/tid=4651] ppid=4639 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/4641/task/4651/stat : 4651 (python) S 4639 4641 4282 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869240716 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699498929 0 0 16781312 33554434 18446604441446854848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13.61
Current children cumulated vsize (KiB) 584304
[startup+14.5009 s]
/proc/loadavg: 1.84 0.53 0.18 3/582 4688
/proc/meminfo: memFree=23745360/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=293088 CPUtime=0.41 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 9632 928 1 0 33 8 0 0 19 0 2 0 869240662 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4641/statm: 73272 7143 1870 364 0 8159 0
[pid=4650] ppid=4641 vsize=282844 CPUtime=0.06 cores=0,2,4,6
/proc/4650/stat : 4650 (python) S 4641 4641 4282 0 -1 4202560 872 0 0 0 4 2 0 0 18 0 1 0 869240716 289632256 5645 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687695375 0 0 16781312 33554946 72409437758827416 0 0 17 4 0 0 0
/proc/4650/statm: 70711 5645 376 364 0 5598 0
[pid=4652] ppid=4650 vsize=8372 CPUtime=13.94 cores=0,2,4,6
/proc/4652/stat : 4652 (pbct-0.1.2-linu) R 4650 4652 4652 0 -1 4202496 1969 0 0 0 1282 112 0 0 25 0 1 0 869240716 8572928 1714 33554432000 134512640 136422188 4292767152 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4652/statm: 2093 1714 213 467 0 1624 0
[pid=4641/tid=4651] ppid=4639 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/4641/task/4651/stat : 4651 (python) S 4639 4641 4282 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869240716 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699498929 0 0 16781312 33554434 18446604441446854848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 14.41
Current children cumulated vsize (KiB) 584304
[startup+14.9008 s]
/proc/loadavg: 1.84 0.53 0.18 3/582 4688
/proc/meminfo: memFree=23745360/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=293088 CPUtime=0.41 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 9632 928 1 0 33 8 0 0 19 0 2 0 869240662 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4641/statm: 73272 7143 1870 364 0 8159 0
[pid=4650] ppid=4641 vsize=282844 CPUtime=0.06 cores=0,2,4,6
/proc/4650/stat : 4650 (python) S 4641 4641 4282 0 -1 4202560 872 0 0 0 4 2 0 0 18 0 1 0 869240716 289632256 5645 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687695375 0 0 16781312 33554946 72409437758827416 0 0 17 4 0 0 0
/proc/4650/statm: 70711 5645 376 364 0 5598 0
[pid=4652] ppid=4650 vsize=8372 CPUtime=14.33 cores=0,2,4,6
/proc/4652/stat : 4652 (pbct-0.1.2-linu) R 4650 4652 4652 0 -1 4202496 1969 0 0 0 1318 115 0 0 25 0 1 0 869240716 8572928 1714 33554432000 134512640 136422188 4292767152 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4652/statm: 2093 1714 213 467 0 1624 0
[pid=4641/tid=4651] ppid=4639 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/4641/task/4651/stat : 4651 (python) S 4639 4641 4282 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869240716 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699498929 0 0 16781312 33554434 18446604441446854848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 14.8
Current children cumulated vsize (KiB) 584304
[startup+15.1007 s]
/proc/loadavg: 1.84 0.53 0.18 3/582 4688
/proc/meminfo: memFree=23745360/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=293088 CPUtime=0.41 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 9632 928 1 0 33 8 0 0 19 0 2 0 869240662 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4641/statm: 73272 7143 1870 364 0 8159 0
[pid=4650] ppid=4641 vsize=282844 CPUtime=0.06 cores=0,2,4,6
/proc/4650/stat : 4650 (python) S 4641 4641 4282 0 -1 4202560 872 0 0 0 4 2 0 0 18 0 1 0 869240716 289632256 5645 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687695375 0 0 16781312 33554946 72409437758827416 0 0 17 4 0 0 0
/proc/4650/statm: 70711 5645 376 364 0 5598 0
[pid=4652] ppid=4650 vsize=8372 CPUtime=14.53 cores=0,2,4,6
/proc/4652/stat : 4652 (pbct-0.1.2-linu) R 4650 4652 4652 0 -1 4202496 1969 0 0 0 1337 116 0 0 25 0 1 0 869240716 8572928 1714 33554432000 134512640 136422188 4292767152 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4652/statm: 2093 1714 213 467 0 1624 0
[pid=4641/tid=4651] ppid=4639 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/4641/task/4651/stat : 4651 (python) S 4639 4641 4282 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869240716 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699498929 0 0 16781312 33554434 18446604441446854848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 15
Current children cumulated vsize (KiB) 584304
[startup+15.2007 s]
/proc/loadavg: 1.84 0.53 0.18 2/575 4711
/proc/meminfo: memFree=23875496/32951124 swapFree=58940260/67111528
[pid=4641] ppid=4639 vsize=293088 CPUtime=0.41 cores=0,2,4,6
/proc/4641/stat : 4641 (python) S 4639 4641 4282 0 -1 4202496 9632 928 1 0 33 8 0 0 19 0 2 0 869240662 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4641/statm: 73272 7143 1870 364 0 8159 0
[pid=4650] ppid=4641 vsize=282844 CPUtime=0.06 cores=0,2,4,6
/proc/4650/stat : 4650 (python) S 4641 4641 4282 0 -1 4202560 872 0 0 0 4 2 0 0 18 0 1 0 869240716 289632256 5645 33554432000 4194304 5683644 140733774467104 18446744073709551615 212687695375 0 0 16781312 33554946 72409437758827416 0 0 17 4 0 0 0
/proc/4650/statm: 70711 5645 376 364 0 5598 0
[pid=4652] ppid=4650 vsize=8372 CPUtime=14.64 cores=0,2,4,6
/proc/4652/stat : 4652 (pbct-0.1.2-linu) R 4650 4652 4652 0 -1 4202496 1969 0 0 0 1347 117 0 0 25 0 1 0 869240716 8572928 1714 33554432000 134512640 136422188 4292767152 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/4652/statm: 2093 1714 213 467 0 1624 0
[pid=4641/tid=4651] ppid=4639 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/4641/task/4651/stat : 4651 (python) S 4639 4641 4282 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869240716 300122112 7143 33554432000 4194304 5683644 140733774467104 18446744073709551615 212699498929 0 0 16781312 33554434 18446604441446854848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 15.11
Current children cumulated vsize (KiB) 584304
Child status: 0
Real time (s): 15.2684
CPU time (s): 15.2027
CPU user time (s): 13.8969
CPU system time (s): 1.3058
CPU usage (%): 99.5699
Max. virtual memory (cumulated for all children) (KiB): 584308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8969
system time used= 1.3058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18123
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= 3311
involuntary context switches= 82
runsolver used 0.099984 second user time and 0.181972 second system time
The end