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-3482677-1307576508/watcher-3482677-1307576508 -o /tmp/evaluation-result-3482677-1307576508/solver-3482677-1307576508 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482677-1307576508.opb -seed 1622609544 -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.17 0.87 0.32 2/578 5242
/proc/meminfo: memFree=23739452/32951124 swapFree=58940260/67111528
[pid=5242] ppid=5240 vsize=15756 CPUtime=0 cores=1,3,5,7
/proc/5242/stat : 5242 (python) R 5240 5242 4282 0 -1 4202496 839 0 0 0 0 0 0 0 22 0 1 0 869248605 16134144 723 33554432000 4194304 5683644 140734252423856 18446744073709551615 212687673344 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5242/statm: 3939 723 334 364 0 426 0
[startup+0.0555259 s]
/proc/loadavg: 2.17 0.87 0.32 2/578 5242
/proc/meminfo: memFree=23739452/32951124 swapFree=58940260/67111528
[pid=5242] ppid=5240 vsize=34428 CPUtime=0.04 cores=1,3,5,7
/proc/5242/stat : 5242 (python) S 5240 5242 4282 0 -1 4202496 1551 0 0 0 3 1 0 0 23 0 1 0 869248605 35254272 1388 33554432000 4194304 5683644 140734252423856 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5242/statm: 8607 1388 448 364 0 945 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34428
[startup+0.104567 s]
/proc/loadavg: 2.17 0.87 0.32 2/578 5242
/proc/meminfo: memFree=23739452/32951124 swapFree=58940260/67111528
[pid=5242] ppid=5240 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/5242/stat : 5242 (python) R 5240 5242 4282 0 -1 4202496 3169 930 1 0 5 2 0 0 18 0 1 0 869248605 98435072 2483 33554432000 4194304 5683644 140734252423856 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5242/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300479 s]
/proc/loadavg: 2.17 0.87 0.32 2/578 5242
/proc/meminfo: memFree=23739452/32951124 swapFree=58940260/67111528
[pid=5242] ppid=5240 vsize=123744 CPUtime=0.18 cores=1,3,5,7
/proc/5242/stat : 5242 (python) S 5240 5242 4282 0 -1 4202496 5359 930 1 0 13 5 0 0 17 0 1 0 869248605 126713856 3746 33554432000 4194304 5683644 140734252423856 18446744073709551615 212687671301 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5242/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744
[startup+0.700398 s]
/proc/loadavg: 2.17 0.87 0.32 2/578 5242
/proc/meminfo: memFree=23739452/32951124 swapFree=58940260/67111528
[pid=5242] ppid=5240 vsize=293096 CPUtime=0.45 cores=1,3,5,7
/proc/5242/stat : 5242 (python) S 5240 5242 4282 0 -1 4202496 9635 930 1 0 34 11 0 0 19 0 2 0 869248605 300130304 7143 33554432000 4194304 5683644 140734252423856 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5242/statm: 73274 7143 1870 364 0 8161 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293096
Solver just ended. Dumping a history of the last processes samples
[startup+1.12332 s]
/proc/loadavg: 2.17 0.87 0.32 3/599 5267
/proc/meminfo: memFree=23692340/32951124 swapFree=58940260/67111528
[pid=5242] ppid=5240 vsize=293096 CPUtime=0.45 cores=1,3,5,7
/proc/5242/stat : 5242 (python) S 5240 5242 4282 0 -1 4202496 9635 930 1 0 34 11 0 0 19 0 2 0 869248605 300130304 7143 33554432000 4194304 5683644 140734252423856 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5242/statm: 73274 7143 1870 364 0 8161 0
[pid=5248] ppid=5242 vsize=282852 CPUtime=0 cores=1,3,5,7
/proc/5248/stat : 5248 (python) S 5242 5242 4282 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 1 0 869248665 289640448 5621 33554432000 4194304 5683644 140734252423856 18446744073709551615 212687695375 0 0 16781312 33554946 1493181776007266304 0 0 17 1 0 0 0
/proc/5248/statm: 70713 5621 352 364 0 5600 0
[pid=5250] ppid=5248 vsize=8599300 CPUtime=0.21 cores=1,3,5,7
/proc/5250/stat : 5250 (java) S 5248 5250 5250 0 -1 4202496 5973 0 118 0 19 2 0 0 18 0 19 0 869248665 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 17
/proc/5250/statm: 2149825 5510 2166 9 0 2140566 0
[pid=5250/tid=5251] ppid=5248 vsize=8599300 CPUtime=0.15 cores=1,3,5,7
/proc/5250/task/5251/stat : 5251 (java) R 5248 5250 5250 0 -1 4202560 3635 0 59 0 14 1 0 0 25 0 19 0 869248688 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 46912505179183 0 4 0 16800975 0 0 0 -1 7 0 0 11
[pid=5250/tid=5252] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5252/stat : 5252 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869248691 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5253] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5253/stat : 5253 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869248691 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5254] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5254/stat : 5254 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869248691 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5255] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5255/stat : 5255 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869248691 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5256] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5256/stat : 5256 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869248691 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5257] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5257/stat : 5257 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869248691 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5258] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5258/stat : 5258 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869248691 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5259] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5259/stat : 5259 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869248691 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5260] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5260/stat : 5260 (java) S 5248 5250 5250 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869248694 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491840 0 0 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5261] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5261/stat : 5261 (java) S 5248 5250 5250 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 869248696 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5262] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5262/stat : 5262 (java) S 5248 5250 5250 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 869248696 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5263] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5263/stat : 5263 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869248701 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699498929 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5264] ppid=5248 vsize=8599300 CPUtime=0.01 cores=1,3,5,7
/proc/5250/task/5264/stat : 5264 (java) S 5248 5250 5250 0 -1 4202560 312 0 2 0 1 0 0 0 17 0 19 0 869248701 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 5 0 0 0
[pid=5250/tid=5265] ppid=5248 vsize=8599300 CPUtime=0.03 cores=1,3,5,7
/proc/5250/task/5265/stat : 5265 (java) S 5248 5250 5250 0 -1 4202560 698 0 2 0 3 0 0 0 25 0 19 0 869248701 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5266] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5266/stat : 5266 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869248701 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5267] ppid=5248 vsize=8599300 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5267/stat : 5267 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869248701 8805683200 5510 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491840 0 4 0 16800975 18446604469316630656 0 0 -1 5 0 0 0
[pid=5242/tid=5249] ppid=5240 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/5242/task/5249/stat : 5249 (python) S 5240 5242 4282 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869248665 300130304 7143 33554432000 4194304 5683644 140734252423856 18446744073709551615 212699498929 0 0 16781312 33554434 18446604460503588992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 9175248
[startup+1.20135 s]
/proc/loadavg: 2.17 0.87 0.32 3/599 5267
/proc/meminfo: memFree=23692340/32951124 swapFree=58940260/67111528
[pid=5242] ppid=5240 vsize=293096 CPUtime=0.45 cores=1,3,5,7
/proc/5242/stat : 5242 (python) S 5240 5242 4282 0 -1 4202496 9635 930 1 0 34 11 0 0 19 0 2 0 869248605 300130304 7143 33554432000 4194304 5683644 140734252423856 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5242/statm: 73274 7143 1870 364 0 8161 0
[pid=5248] ppid=5242 vsize=282852 CPUtime=0 cores=1,3,5,7
/proc/5248/stat : 5248 (python) S 5242 5242 4282 0 -1 4202560 848 0 0 0 0 0 0 0 15 0 1 0 869248665 289640448 5627 33554432000 4194304 5683644 140734252423856 18446744073709551615 212687695375 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/5248/statm: 70713 5627 358 364 0 5600 0
[pid=5250] ppid=5248 vsize=8602436 CPUtime=0.4 cores=1,3,5,7
/proc/5250/stat : 5250 (java) S 5248 5250 5250 0 -1 4202496 7517 0 118 0 38 2 0 0 18 0 18 0 869248665 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 17
/proc/5250/statm: 2150609 6448 2207 9 0 2141350 0
[pid=5250/tid=5251] ppid=5248 vsize=8602436 CPUtime=0.22 cores=1,3,5,7
/proc/5250/task/5251/stat : 5251 (java) S 5248 5250 5250 0 -1 4202560 3668 0 59 0 21 1 0 0 18 0 18 0 869248688 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 11
[pid=5250/tid=5252] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5252/stat : 5252 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869248691 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5253] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5253/stat : 5253 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869248691 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5254] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5254/stat : 5254 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869248691 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5255] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5255/stat : 5255 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869248691 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5256] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5256/stat : 5256 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869248691 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5257] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5257/stat : 5257 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869248691 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5258] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5258/stat : 5258 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869248691 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5259] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5259/stat : 5259 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869248691 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 1 0 0 0
[pid=5250/tid=5260] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5260/stat : 5260 (java) S 5248 5250 5250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 869248694 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491840 0 0 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5261] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5261/stat : 5261 (java) S 5248 5250 5250 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 18 0 869248696 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5262] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5262/stat : 5262 (java) S 5248 5250 5250 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 18 0 869248696 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5263] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5263/stat : 5263 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869248701 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5250/tid=5264] ppid=5248 vsize=8602436 CPUtime=0.07 cores=1,3,5,7
/proc/5250/task/5264/stat : 5264 (java) S 5248 5250 5250 0 -1 4202560 1310 0 2 0 7 0 0 0 17 0 18 0 869248701 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 5 0 0 0
[pid=5250/tid=5265] ppid=5248 vsize=8602436 CPUtime=0.08 cores=1,3,5,7
/proc/5250/task/5265/stat : 5265 (java) S 5248 5250 5250 0 -1 4202560 1192 0 2 0 8 0 0 0 25 0 18 0 869248701 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 5 0 0 0
[pid=5250/tid=5266] ppid=5248 vsize=8602436 CPUtime=0 cores=1,3,5,7
/proc/5250/task/5266/stat : 5266 (java) S 5248 5250 5250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869248701 8808894464 6448 33554432000 1073741824 1073778376 140734492953840 18446744073709551615 212699491225 0 4 0 16800975 18446604469316630656 0 0 -1 7 0 0 0
[pid=5242/tid=5249] ppid=5240 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/5242/task/5249/stat : 5249 (python) S 5240 5242 4282 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869248665 300130304 7143 33554432000 4194304 5683644 140734252423856 18446744073709551615 212699498929 0 0 16781312 33554434 18446604460503588992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 9178384
Child status: 0
Real time (s): 1.22981
CPU time (s): 0.895863
CPU user time (s): 0.747886
CPU system time (s): 0.147977
CPU usage (%): 72.8459
Max. virtual memory (cumulated for all children) (KiB): 9178384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.747886
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23601
page faults= 119
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2343
involuntary context switches= 73
runsolver used 0.012998 second user time and 0.031995 second system time
The end