runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3707795-1338142095/watcher-3707795-1338142095 -o /tmp/evaluation-result-3707795-1338142095/solver-3707795-1338142095 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707795-1338142095.opb
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.00 2.00 1.85 3/176 6031
/proc/meminfo: memFree=31269100/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=18604 CPUtime=0 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 280333796 19050496 247 33554432000 134512640 137138936 4292677840 4292674572 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 4651 247 184 642 0 4007 0
[startup+0.0960089 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 6031
/proc/meminfo: memFree=31269100/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=19752 CPUtime=0.09 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 1108 0 0 0 9 0 0 0 20 0 1 0 280333796 20226048 459 33554432000 134512640 137138936 4292677840 4292676956 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 4938 459 283 642 0 4294 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19752
[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 6031
/proc/meminfo: memFree=31269100/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=19900 CPUtime=0.09 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 1126 0 0 0 9 0 0 0 20 0 1 0 280333796 20377600 476 33554432000 134512640 137138936 4292677840 4292675200 135433687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 4975 476 283 642 0 4331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19900
[startup+0.30027 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 6031
/proc/meminfo: memFree=31269100/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=11860 CPUtime=0.28 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 5361 0 0 0 28 0 0 0 20 0 1 0 280333796 12144640 469 33554432000 134512640 137138936 4292677840 4292675200 135435816 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 2965 470 287 642 0 2321 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11860
[startup+0.700272 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 6031
/proc/meminfo: memFree=31269100/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=13408 CPUtime=0.69 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 20917 0 0 0 65 4 0 0 20 0 1 0 280333796 13729792 834 33554432000 134512640 137138936 4292677840 4292675464 136506019 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 3352 840 287 642 0 2708 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13408
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 6032
/proc/meminfo: memFree=31266240/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=16568 CPUtime=1.49 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 53154 0 0 0 139 10 0 0 20 0 1 0 280333796 16965632 1665 33554432000 134512640 137138936 4292677840 4292675736 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 4220 1673 287 642 0 3576 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16568
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 6032
/proc/meminfo: memFree=31261032/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=21836 CPUtime=3.08 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 119495 0 0 0 288 20 0 0 20 0 1 0 280333796 22360064 2931 33554432000 134512640 137138936 4292677840 4292675224 136506019 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 5459 2931 287 642 0 4815 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21836
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 6032
/proc/meminfo: memFree=31251788/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=30208 CPUtime=6.28 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 225673 0 0 0 591 37 0 0 20 0 1 0 280333796 30932992 5213 33554432000 134512640 137138936 4292677840 4292675916 136700814 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 7552 5213 287 642 0 6908 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30208
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 1.86 3/177 6032
/proc/meminfo: memFree=31239776/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=37332 CPUtime=12.69 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 327768 0 0 0 1215 54 0 0 20 0 1 0 280333796 38227968 6948 33554432000 134512640 137138936 4292677840 4292676048 134851449 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 9333 6948 287 642 0 8689 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37332
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 1.86 3/177 6032
/proc/meminfo: memFree=31233576/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=38200 CPUtime=25.48 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 384399 0 0 0 2481 67 0 0 20 0 1 0 280333796 39116800 7211 33554432000 134512640 137138936 4292677840 4292676736 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 9550 7211 287 642 0 8906 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38200
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.86 3/177 6032
/proc/meminfo: memFree=31218820/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=41164 CPUtime=51.08 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 767260 0 0 0 4956 152 0 0 20 0 1 0 280333796 42151936 7954 33554432000 134512640 137138936 4292677840 4292676736 134542978 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 10291 7954 287 642 0 9647 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41164
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.87 3/177 6033
/proc/meminfo: memFree=31191292/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=44296 CPUtime=102.27 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 1372675 0 0 0 9948 279 0 0 20 0 1 0 280333796 45359104 8738 33554432000 134512640 137138936 4292677840 4292676736 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 11074 8738 287 642 0 10430 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44296
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 6036
/proc/meminfo: memFree=31166568/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=47520 CPUtime=162.26 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 2073457 0 0 0 15788 438 0 0 20 0 1 0 280333796 48660480 9549 33554432000 134512640 137138936 4292677840 4292676736 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 11880 9549 287 642 0 11236 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 47520
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 6036
/proc/meminfo: memFree=31146920/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=51184 CPUtime=222.24 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 2705733 0 0 0 21652 572 0 0 20 0 1 0 280333796 52412416 10464 33554432000 134512640 137138936 4292677840 4292676736 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 12796 10464 287 642 0 12152 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 51184
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 6036
/proc/meminfo: memFree=31123788/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=51256 CPUtime=282.23 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 3374837 0 0 0 27503 720 0 0 20 0 1 0 280333796 52486144 10482 33554432000 134512640 137138936 4292677840 4292676736 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 12814 10482 287 642 0 12170 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 51256
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 6036
/proc/meminfo: memFree=31088076/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=68192 CPUtime=342.22 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 4129867 0 0 0 33337 885 0 0 20 0 1 0 280333796 69828608 14717 33554432000 134512640 137138936 4292677840 4292676736 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 17048 14717 287 642 0 16404 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 68192
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 6037
/proc/meminfo: memFree=31070220/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=68868 CPUtime=402.21 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 4678910 0 0 0 39199 1022 0 0 20 0 1 0 280333796 70520832 14722 33554432000 134512640 137138936 4292677840 4292675504 135389531 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 17217 14722 287 642 0 16573 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 68868
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 6037
/proc/meminfo: memFree=31044960/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=70880 CPUtime=462.2 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 5171978 0 0 0 45073 1147 0 0 20 0 1 0 280333796 72581120 15389 33554432000 134512640 137138936 4292677840 4292676736 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 17720 15389 287 642 0 17076 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 70880
[startup+522.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/177 6037
/proc/meminfo: memFree=31023052/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=73216 CPUtime=522.17 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 5740586 0 0 0 50937 1280 0 0 20 0 1 0 280333796 74973184 15941 33554432000 134512640 137138936 4292677840 4292676880 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 18304 15941 287 642 0 17660 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 73216
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 6075
/proc/meminfo: memFree=31327780/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=73864 CPUtime=582.17 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 6377916 0 0 0 56783 1434 0 0 20 0 1 0 280333796 75636736 15972 33554432000 134512640 137138936 4292677840 4292675224 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 18466 15972 287 642 0 17822 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 73864
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30862804/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=96684 CPUtime=1062.09 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 10886425 0 0 0 103714 2495 0 0 20 0 1 0 280333796 99004416 21782 33554432000 134512640 137138936 4292677840 4292676736 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24171 21782 287 642 0 23527 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 96684
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 6080
/proc/meminfo: memFree=30821912/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=96684 CPUtime=1122.09 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 10886436 0 0 0 109710 2499 0 0 20 0 1 0 280333796 99004416 21793 33554432000 134512640 137138936 4292677840 4292676768 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24171 21793 287 642 0 23527 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 96684
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 6080
/proc/meminfo: memFree=30785112/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=96684 CPUtime=1182.07 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 10886436 0 0 0 115705 2502 0 0 20 0 1 0 280333796 99004416 21793 33554432000 134512640 137138936 4292677840 4292676256 134925791 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24171 21793 287 642 0 23527 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 96684
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6080
/proc/meminfo: memFree=30744220/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=96684 CPUtime=1242.07 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 10886436 0 0 0 121700 2507 0 0 20 0 1 0 280333796 99004416 21793 33554432000 134512640 137138936 4292677840 4292676736 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24171 21793 287 642 0 23527 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 96684
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6081
/proc/meminfo: memFree=30715752/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=96140 CPUtime=1302.06 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 10886438 0 0 0 127695 2511 0 0 20 0 1 0 280333796 98447360 21704 33554432000 134512640 137138936 4292677840 4292676736 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24035 21704 287 642 0 23391 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 96140
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6084
/proc/meminfo: memFree=30695828/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=96140 CPUtime=1362.04 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 10886445 0 0 0 133690 2514 0 0 20 0 1 0 280333796 98447360 21704 33554432000 134512640 137138936 4292677840 4292676736 134542327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24035 21704 287 642 0 23391 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 96140
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6084
/proc/meminfo: memFree=30667564/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=96140 CPUtime=1422.04 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 10886445 0 0 0 139686 2518 0 0 20 0 1 0 280333796 98447360 21704 33554432000 134512640 137138936 4292677840 4292676736 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24035 21704 287 642 0 23391 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 96140
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6084
/proc/meminfo: memFree=30641276/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=96140 CPUtime=1482.02 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 10886445 0 0 0 145679 2523 0 0 20 0 1 0 280333796 98447360 21704 33554432000 134512640 137138936 4292677840 4292675524 136525376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24035 21704 287 642 0 23391 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 96140
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6084
/proc/meminfo: memFree=30612508/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=97368 CPUtime=1542.01 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 11149099 0 0 0 151611 2590 0 0 20 0 1 0 280333796 99704832 21848 33554432000 134512640 137138936 4292677840 4292675496 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24342 21850 287 642 0 23698 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 97368
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 6084
/proc/meminfo: memFree=30585848/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=98604 CPUtime=1602 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 11620632 0 0 0 157501 2699 0 0 20 0 1 0 280333796 100970496 22288 33554432000 134512640 137138936 4292677840 4292676880 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24651 22288 287 642 0 24007 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 98604
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6085
/proc/meminfo: memFree=30565884/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=98372 CPUtime=1662 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 12133146 0 0 0 163395 2805 0 0 20 0 1 0 280333796 100732928 22262 33554432000 134512640 137138936 4292677840 4292676768 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24593 22262 287 642 0 23949 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 98372
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 6085
/proc/meminfo: memFree=30549764/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=98368 CPUtime=1721.99 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 12635576 0 0 0 169280 2919 0 0 20 0 1 0 280333796 100728832 22261 33554432000 134512640 137138936 4292677840 4292676736 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24592 22261 287 642 0 23948 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 98368
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 6085
/proc/meminfo: memFree=30533736/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=98592 CPUtime=1781.98 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 13030864 0 0 0 175173 3025 0 0 20 0 1 0 280333796 100958208 22285 33554432000 134512640 137138936 4292677840 4292676880 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24648 22285 287 642 0 24004 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 98592
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 6085
/proc/meminfo: memFree=30531240/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=98360 CPUtime=1791.58 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 13067949 0 0 0 176122 3036 0 0 20 0 1 0 280333796 100720640 22259 33554432000 134512640 137138936 4292677840 4292676768 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24590 22259 287 642 0 23946 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 98360
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 6085
/proc/meminfo: memFree=30530604/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=98360 CPUtime=1794.78 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 13093651 0 0 0 176434 3044 0 0 20 0 1 0 280333796 100720640 22259 33554432000 134512640 137138936 4292677840 4292676956 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24590 22259 287 642 0 23946 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 98360
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 6085
/proc/meminfo: memFree=30530480/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=98360 CPUtime=1796.37 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 13105922 0 0 0 176590 3047 0 0 20 0 1 0 280333796 100720640 22259 33554432000 134512640 137138936 4292677840 4292676956 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24590 22259 287 642 0 23946 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 98360
[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 6085
/proc/meminfo: memFree=30530108/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=98360 CPUtime=1797.17 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 13112354 0 0 0 176668 3049 0 0 20 0 1 0 280333796 100720640 22259 33554432000 134512640 137138936 4292677840 4292676788 134828359 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24707 22263 287 642 0 24063 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 98360
[startup+1797.9 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 6085
/proc/meminfo: memFree=30530108/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=98360 CPUtime=1797.58 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 13115719 0 0 0 176707 3051 0 0 20 0 1 0 280333796 100720640 22259 33554432000 134512640 137138936 4292677840 4292676736 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24590 22259 287 642 0 23946 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 98360
[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 6085
/proc/meminfo: memFree=30530108/32873844 swapFree=7632/7632
[pid=6031] ppid=6029 vsize=98360 CPUtime=1797.98 cores=0,2,4,6
/proc/6031/stat : 6031 (bsolo) R 6029 6031 3856 0 -1 4202496 13119105 0 0 0 176746 3052 0 0 20 0 1 0 280333796 100720640 22259 33554432000 134512640 137138936 4292677840 4292676736 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6031/statm: 24590 22259 287 642 0 23946 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 98360
Child status: 0
Real time (s): 1798.32
CPU time (s): 1798.01
CPU user time (s): 1767.48
CPU system time (s): 30.5224
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 99092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.48
system time used= 30.5224
maximum resident set size= 89180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13119270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 1858
runsolver used 3.74643 second user time and 10.7684 second system time
The end