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-3726657-1338658848/watcher-3726657-1338658848 -o /tmp/evaluation-result-3726657-1338658848/solver-3726657-1338658848 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726657-1338658848.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.99 3/178 27777
/proc/meminfo: memFree=27546460/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/27777/stat : 27777 (runsolver) D 27775 27777 25232 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 332011324 12095488 52 33554432000 4194304 5436572 140736982950912 140736982947208 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/27777/statm: 2953 52 31 304 0 2645 0
[startup+0.017263 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27777
/proc/meminfo: memFree=27546460/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=268060 CPUtime=0.01 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) R 27775 27777 25232 0 -1 4202496 406 0 0 0 1 0 0 0 20 0 1 0 332011324 274493440 359 33554432000 4194304 5964478 140736446203216 140736446201560 5372400 0 0 4096 16387 0 0 0 17 6 0 0 0 0 0
/proc/27777/statm: 67015 359 193 433 0 416 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 268060
[startup+0.100146 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27777
/proc/meminfo: memFree=27546460/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=272036 CPUtime=0.09 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) R 27775 27777 25232 0 -1 4202496 1715 0 0 0 9 0 0 0 20 0 1 0 332011324 278564864 1635 33554432000 4194304 5964478 140736446203216 140736446201512 5006496 0 0 4096 16387 0 0 0 17 6 0 0 0 0 0
/proc/27777/statm: 68009 1635 501 433 0 1410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 272036
[startup+0.300136 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27777
/proc/meminfo: memFree=27546460/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=281128 CPUtime=0.28 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) R 27775 27777 25232 0 -1 4202496 4747 0 0 0 28 0 0 0 20 0 1 0 332011324 287875072 4602 33554432000 4194304 5964478 140736446203216 140736446201512 5161978 0 0 4096 16387 0 0 0 17 6 0 0 0 0 0
/proc/27777/statm: 70282 4602 1254 433 0 3683 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 281128
[startup+0.700135 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27777
/proc/meminfo: memFree=27546460/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=298960 CPUtime=0.67 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) R 27775 27777 25232 0 -1 4202496 10757 0 0 0 66 1 0 0 20 0 1 0 332011324 306135040 10483 33554432000 4194304 5964478 140736446203216 140736446201560 4339369 0 0 4096 16387 0 0 0 17 6 0 0 0 0 0
/proc/27777/statm: 74740 10483 2762 433 0 8141 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 298960
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27778
/proc/meminfo: memFree=27506988/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=333504 CPUtime=1.48 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) R 27775 27777 25232 0 -1 4202496 22347 0 0 0 145 3 0 0 20 0 1 0 332011324 341508096 21816 33554432000 4194304 5964478 140736446203216 140736446201704 5114366 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27777/statm: 83376 21818 5826 433 0 16777 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 333504
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27778
/proc/meminfo: memFree=27461112/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=396376 CPUtime=3.07 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) R 27775 27777 25232 0 -1 4202496 43832 0 0 0 302 5 0 0 20 0 1 0 332011324 405889024 43299 33554432000 4194304 5964478 140736446203216 140736446201704 5136441 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27777/statm: 99094 43299 11679 433 0 32495 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 396376
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27778
/proc/meminfo: memFree=27324544/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=526932 CPUtime=6.27 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) R 27775 27777 25232 0 -1 4202496 85536 0 0 0 616 11 0 0 20 0 1 0 332011324 539578368 87044 33554432000 4194304 5964478 140736446203216 140736446201704 4344768 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 131733 87044 23543 433 0 65134 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 526932
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27778
/proc/meminfo: memFree=27062028/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=784584 CPUtime=12.68 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) R 27775 27777 25232 0 -1 4202496 166995 0 0 0 1245 23 0 0 20 0 1 0 332011324 803414016 173608 33554432000 4194304 5964478 140736446203216 140736446201704 5130779 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 196146 173609 48299 433 0 129547 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 784584
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27779
/proc/meminfo: memFree=26038856/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=1566772 CPUtime=25.47 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 418704 0 0 0 2481 66 0 0 20 0 2 0 332011324 1604374528 371741 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 391693 371742 186 433 0 391257 0
[pid=27777/tid=27779] ppid=27775 vsize=1566772 CPUtime=7.44 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 192877 0 0 0 709 35 0 0 20 0 2 0 332013128 1604374528 371742 33554432000 4194304 5964478 140736446203216 139743772260344 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1566772
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27779
/proc/meminfo: memFree=25989704/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=1632308 CPUtime=51.06 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 425990 0 0 0 5034 72 0 0 20 0 2 0 332011324 1671483392 379027 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 408077 379027 186 433 0 407641 0
[pid=27777/tid=27779] ppid=27775 vsize=1632308 CPUtime=33.04 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 200162 0 0 0 3262 42 0 0 20 0 2 0 332013128 1671483392 379027 33554432000 4194304 5964478 140736446203216 139743772260152 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1632308
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27779
/proc/meminfo: memFree=25903796/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=1632308 CPUtime=102.26 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 439557 0 0 0 10144 82 0 0 20 0 2 0 332011324 1671483392 392603 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 408077 392603 186 433 0 407641 0
[pid=27777/tid=27779] ppid=27775 vsize=1632308 CPUtime=84.25 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 213729 0 0 0 8372 53 0 0 20 0 2 0 332013128 1671483392 392603 33554432000 4194304 5964478 140736446203216 139743772260344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1632308
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27780
/proc/meminfo: memFree=25822244/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=1697844 CPUtime=162.25 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 452544 0 0 0 16135 90 0 0 20 0 2 0 332011324 1738592256 405622 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 424461 405622 186 433 0 424025 0
[pid=27777/tid=27779] ppid=27775 vsize=1697844 CPUtime=144.24 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 226716 0 0 0 14362 62 0 0 20 0 2 0 332013128 1738592256 405622 33554432000 4194304 5964478 140736446203216 139743772260344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1697844
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27780
/proc/meminfo: memFree=25746692/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=1763380 CPUtime=222.24 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 465673 0 0 0 22126 98 0 0 20 0 2 0 332011324 1805701120 418831 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 440845 418831 186 433 0 440409 0
[pid=27777/tid=27779] ppid=27775 vsize=1763380 CPUtime=204.25 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 239845 0 0 0 20354 71 0 0 20 0 2 0 332013128 1805701120 418831 33554432000 4194304 5964478 140736446203216 139743772260152 4399926 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1763380
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27780
/proc/meminfo: memFree=25688696/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=1828916 CPUtime=282.23 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 476317 0 0 0 28117 106 0 0 20 0 2 0 332011324 1872809984 429635 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 457229 429635 186 433 0 456793 0
[pid=27777/tid=27779] ppid=27775 vsize=1828916 CPUtime=264.24 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 250489 0 0 0 26344 80 0 0 20 0 2 0 332013128 1872809984 429635 33554432000 4194304 5964478 140736446203216 139743772260152 4399932 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1828916
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27781
/proc/meminfo: memFree=25640608/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=1828916 CPUtime=342.21 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 487529 0 0 0 34107 114 0 0 20 0 2 0 332011324 1872809984 441194 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 457229 441194 186 433 0 456793 0
[pid=27777/tid=27779] ppid=27775 vsize=1828916 CPUtime=324.24 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 261701 0 0 0 32336 88 0 0 20 0 2 0 332013128 1872809984 441194 33554432000 4194304 5964478 140736446203216 139743772260344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1828916
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27781
/proc/meminfo: memFree=25592216/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=1894452 CPUtime=402.21 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 497665 0 0 0 40099 122 0 0 20 0 2 0 332011324 1939918848 451990 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 473613 451990 186 433 0 473177 0
[pid=27777/tid=27779] ppid=27775 vsize=1894452 CPUtime=384.24 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 271837 0 0 0 38328 96 0 0 20 0 2 0 332013128 1939918848 451990 33554432000 4194304 5964478 140736446203216 139743772260344 4392863 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1894452
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27781
/proc/meminfo: memFree=25520696/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=1959988 CPUtime=462.17 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 507882 0 0 0 46088 129 0 0 20 0 2 0 332011324 2007027712 463569 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 489997 463569 186 433 0 489561 0
[pid=27777/tid=27779] ppid=27775 vsize=1959988 CPUtime=444.23 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 282054 0 0 0 44318 105 0 0 20 0 2 0 332013128 2007027712 463569 33554432000 4194304 5964478 140736446203216 139743772260152 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1959988
[startup+522.3 s]
################
# More data... #
################
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 391054 0 0 0 122205 201 0 0 20 0 2 0 332013128 2476789760 575603 33554432000 4194304 5964478 140736446203216 139743772260152 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 2418740
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 27813
/proc/meminfo: memFree=24935468/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2418740 CPUtime=1301.85 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 623287 0 0 0 129967 218 0 0 20 0 2 0 332011324 2476789760 582008 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 604685 582008 186 433 0 604249 0
[pid=27777/tid=27779] ppid=27775 vsize=2418740 CPUtime=1284.06 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 397459 0 0 0 128199 207 0 0 20 0 2 0 332013128 2476789760 582008 33554432000 4194304 5964478 140736446203216 139743772260152 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 2418740
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 27813
/proc/meminfo: memFree=24900420/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2418740 CPUtime=1361.84 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 630686 0 0 0 135959 225 0 0 20 0 2 0 332011324 2476789760 589407 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 604685 589407 186 433 0 604249 0
[pid=27777/tid=27779] ppid=27775 vsize=2418740 CPUtime=1344.06 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 404858 0 0 0 134192 214 0 0 20 0 2 0 332013128 2476789760 589407 33554432000 4194304 5964478 140736446203216 139743772260344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 2418740
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27813
/proc/meminfo: memFree=24870544/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2484276 CPUtime=1421.84 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 637404 0 0 0 141953 231 0 0 20 0 2 0 332011324 2543898624 596125 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 621069 596125 186 433 0 620633 0
[pid=27777/tid=27779] ppid=27775 vsize=2484276 CPUtime=1404.07 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 411576 0 0 0 140186 221 0 0 20 0 2 0 332013128 2543898624 596125 33554432000 4194304 5964478 140736446203216 139743772260344 4400608 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 2484276
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 27813
/proc/meminfo: memFree=24829684/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2484276 CPUtime=1481.81 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 642897 0 0 0 147947 234 0 0 20 0 2 0 332011324 2543898624 602129 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 621069 602129 186 433 0 620633 0
[pid=27777/tid=27779] ppid=27775 vsize=2484276 CPUtime=1464.07 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 417069 0 0 0 146181 226 0 0 20 0 2 0 332013128 2543898624 602129 33554432000 4194304 5964478 140736446203216 139743772260344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 2484276
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 27814
/proc/meminfo: memFree=24771404/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2549812 CPUtime=1541.81 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 649093 0 0 0 153942 239 0 0 20 0 2 0 332011324 2611007488 608325 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 637453 608325 186 433 0 637017 0
[pid=27777/tid=27779] ppid=27775 vsize=2549812 CPUtime=1524.08 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 423265 0 0 0 152176 232 0 0 20 0 2 0 332013128 2611007488 608325 33554432000 4194304 5964478 140736446203216 139743772260344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 2549812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27814
/proc/meminfo: memFree=24733460/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2549812 CPUtime=1601.8 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 655894 0 0 0 159933 247 0 0 20 0 2 0 332011324 2611007488 615126 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 637453 615126 186 433 0 637017 0
[pid=27777/tid=27779] ppid=27775 vsize=2549812 CPUtime=1584.07 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 430066 0 0 0 158166 241 0 0 20 0 2 0 332013128 2611007488 615126 33554432000 4194304 5964478 140736446203216 139743772260344 4400571 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 2549812
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27814
/proc/meminfo: memFree=24704940/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2549812 CPUtime=1661.79 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 661583 0 0 0 165927 252 0 0 20 0 2 0 332011324 2611007488 620815 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 637453 620815 186 433 0 637017 0
[pid=27777/tid=27779] ppid=27775 vsize=2549812 CPUtime=1644.07 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 435755 0 0 0 164161 246 0 0 20 0 2 0 332013128 2611007488 620815 33554432000 4194304 5964478 140736446203216 139743772260344 4400528 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 2549812
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27814
/proc/meminfo: memFree=24669852/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2615348 CPUtime=1721.78 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 668012 0 0 0 171922 256 0 0 20 0 2 0 332011324 2678116352 627244 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 653837 627244 186 433 0 653401 0
[pid=27777/tid=27779] ppid=27775 vsize=2615348 CPUtime=1704.08 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 442184 0 0 0 170157 251 0 0 20 0 2 0 332013128 2678116352 627244 33554432000 4194304 5964478 140736446203216 139743772260152 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 2615348
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27817
/proc/meminfo: memFree=24628084/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2615348 CPUtime=1781.77 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 675190 0 0 0 177914 263 0 0 20 0 2 0 332011324 2678116352 634422 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 653837 634422 186 433 0 653401 0
[pid=27777/tid=27779] ppid=27775 vsize=2615348 CPUtime=1764.08 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 449362 0 0 0 176149 259 0 0 20 0 2 0 332013128 2678116352 634422 33554432000 4194304 5964478 140736446203216 139743772260152 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 2615348
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27817
/proc/meminfo: memFree=24623000/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2615348 CPUtime=1791.47 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 676110 0 0 0 178884 263 0 0 20 0 2 0 332011324 2678116352 635342 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 653837 635342 186 433 0 653401 0
[pid=27777/tid=27779] ppid=27775 vsize=2615348 CPUtime=1773.79 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 450282 0 0 0 177120 259 0 0 20 0 2 0 332013128 2678116352 635342 33554432000 4194304 5964478 140736446203216 139743772260344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 2615348
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27845
/proc/meminfo: memFree=25064600/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2615348 CPUtime=1794.68 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 676429 0 0 0 179204 264 0 0 20 0 2 0 332011324 2678116352 635661 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 653837 635661 186 433 0 653401 0
[pid=27777/tid=27779] ppid=27775 vsize=2615348 CPUtime=1776.99 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 450601 0 0 0 177439 260 0 0 20 0 2 0 332013128 2678116352 635661 33554432000 4194304 5964478 140736446203216 139743772260344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 2615348
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27855
/proc/meminfo: memFree=24960580/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2615348 CPUtime=1797.87 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 676826 0 0 0 179523 264 0 0 20 0 2 0 332011324 2678116352 636058 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 653837 636058 186 433 0 653401 0
[pid=27777/tid=27779] ppid=27775 vsize=2615348 CPUtime=1780.18 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 450998 0 0 0 177757 261 0 0 20 0 2 0 332013128 2678116352 636058 33554432000 4194304 5964478 140736446203216 139743772260152 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 2615348
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27855
/proc/meminfo: memFree=24913880/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2615348 CPUtime=1798.67 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 676872 0 0 0 179603 264 0 0 20 0 2 0 332011324 2678116352 636104 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 653837 636104 186 433 0 653401 0
[pid=27777/tid=27779] ppid=27775 vsize=2615348 CPUtime=1780.98 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 451044 0 0 0 177837 261 0 0 20 0 2 0 332013128 2678116352 636104 33554432000 4194304 5964478 140736446203216 139743772260152 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 2615348
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27855
/proc/meminfo: memFree=24871036/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2615348 CPUtime=1799.07 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 676934 0 0 0 179643 264 0 0 20 0 2 0 332011324 2678116352 636166 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 653837 636166 186 433 0 653401 0
[pid=27777/tid=27779] ppid=27775 vsize=2615348 CPUtime=1781.39 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 451106 0 0 0 177878 261 0 0 20 0 2 0 332013128 2678116352 636166 33554432000 4194304 5964478 140736446203216 139743772260344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 2615348
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27855
/proc/meminfo: memFree=24871036/32873648 swapFree=7112/7112
[pid=27777] ppid=27775 vsize=2615348 CPUtime=1799.47 cores=0,2,4,6
/proc/27777/stat : 27777 (pwbo2.02) S 27775 27777 25232 0 -1 4202496 676970 0 0 0 179683 264 0 0 20 0 2 0 332011324 2678116352 636202 33554432000 4194304 5964478 140736446203216 140736446202736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27777/statm: 653837 636202 186 433 0 653401 0
[pid=27777/tid=27779] ppid=27775 vsize=2615348 CPUtime=1781.78 cores=0,2,4,6
/proc/27777/task/27779/stat : 27779 (pwbo2.02) R 27775 27777 25232 0 -1 4202560 451142 0 0 0 177917 261 0 0 20 0 2 0 332013128 2678116352 636202 33554432000 4194304 5964478 140736446203216 139743772260344 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 2615348
Child status: 255
Real time (s): 1800.06
CPU time (s): 1799.88
CPU user time (s): 1796.9
CPU system time (s): 2.98155
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 2615348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.9
system time used= 2.98155
maximum resident set size= 2544828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 676975
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= 380
involuntary context switches= 1846
runsolver used 2.90956 second user time and 10.1845 second system time
The end