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-3707950-1338153790/watcher-3707950-1338153790 -o /tmp/evaluation-result-3707950-1338153790/solver-3707950-1338153790 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707950-1338153790.opb
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.00 2.00 2.00 3/176 7303
/proc/meminfo: memFree=30434764/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=13188 CPUtime=0 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 281503376 13504512 300 33554432000 134512640 137138936 4293713184 4293711448 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 3297 300 181 642 0 2091 0
[startup+0.100183 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7303
/proc/meminfo: memFree=30434764/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=19372 CPUtime=0.09 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 2238 0 0 0 9 0 0 0 20 0 1 0 281503376 19836928 2191 33554432000 134512640 137138936 4293713184 4293711616 134531487 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 4843 2193 549 642 0 3637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19372
[startup+0.200352 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7303
/proc/meminfo: memFree=30434764/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=24500 CPUtime=0.19 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 4286 0 0 0 19 0 0 0 20 0 1 0 281503376 25088000 3677 33554432000 134512640 137138936 4293713184 4293696620 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 6125 3677 184 642 0 5481 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24500
[startup+0.300373 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7303
/proc/meminfo: memFree=30434764/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=27556 CPUtime=0.29 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 5050 0 0 0 29 0 0 0 20 0 1 0 281503376 28217344 4441 33554432000 134512640 137138936 4293713184 4293696428 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 6889 4441 185 642 0 6245 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27556
[startup+0.700311 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7303
/proc/meminfo: memFree=30434764/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=27556 CPUtime=0.69 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 5050 0 0 0 67 2 0 0 20 0 1 0 281503376 28217344 4441 33554432000 134512640 137138936 4293713184 4293696428 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 6889 4441 185 642 0 6245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27556
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30418876/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=31164 CPUtime=1.49 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 7387 0 0 0 145 4 0 0 20 0 1 0 281503376 31911936 5356 33554432000 134512640 137138936 4293713184 4293711784 135984550 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 7791 5356 192 642 0 7147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31164
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30404608/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=50564 CPUtime=3.09 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 12247 0 0 0 304 5 0 0 20 0 1 0 281503376 51777536 10216 33554432000 134512640 137138936 4293713184 4293711700 134551698 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 12641 10216 192 642 0 11997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50564
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30367532/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=85600 CPUtime=6.29 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 21004 0 0 0 621 8 0 0 20 0 1 0 281503376 87654400 18973 33554432000 134512640 137138936 4293713184 4293711920 136296975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 21400 18973 192 642 0 20756 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85600
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30300704/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=148292 CPUtime=12.69 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 36676 0 0 0 1257 12 0 0 20 0 1 0 281503376 151851008 34645 33554432000 134512640 137138936 4293713184 4293711712 134603153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 37073 34645 192 642 0 36429 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148292
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30195668/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=249812 CPUtime=25.49 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 62057 0 0 0 2532 17 0 0 20 0 1 0 281503376 255807488 60026 33554432000 134512640 137138936 4293713184 4293711712 134602746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 62453 60026 192 642 0 61809 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 249812
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30035660/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=410572 CPUtime=51.08 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 102241 0 0 0 5080 28 0 0 20 0 1 0 281503376 420425728 100210 33554432000 134512640 137138936 4293713184 4293712112 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 102643 100210 192 642 0 101999 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 410572
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=29824284/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=619268 CPUtime=102.28 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 154413 0 0 0 10186 42 0 0 20 0 1 0 281503376 634130432 152382 33554432000 134512640 137138936 4293713184 4293712112 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 154817 152382 192 642 0 154173 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 619268
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=29550148/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=893000 CPUtime=162.26 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 222847 0 0 0 16165 61 0 0 20 0 1 0 281503376 914432000 220816 33554432000 134512640 137138936 4293713184 4293712080 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 223250 220816 192 642 0 222606 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 893000
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=29395368/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=222.26 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 260824 0 0 0 22152 74 0 0 20 0 1 0 281503376 1069682688 258729 33554432000 134512640 137138936 4293713184 4293711936 134575602 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258729 192 642 0 260509 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1044612
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7305
/proc/meminfo: memFree=29395396/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=282.21 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 260863 0 0 0 28145 76 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293712112 134542495 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1044612
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7305
/proc/meminfo: memFree=29395052/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=342.17 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 260906 0 0 0 34138 79 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293712112 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1044612
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7305
/proc/meminfo: memFree=29395204/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=402.12 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 260946 0 0 0 40131 81 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293712112 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 1044612
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7308
/proc/meminfo: memFree=29394604/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=462.07 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 260986 0 0 0 46123 84 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293712064 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 1044612
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7308
/proc/meminfo: memFree=29394640/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=522.02 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 261032 0 0 0 52116 86 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293697184 134573847 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 1044612
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7308
/proc/meminfo: memFree=29394676/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=581.98 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 261077 0 0 0 58109 89 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293712112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 1044612
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7309
/proc/meminfo: memFree=29394656/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=821.8 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 261251 0 0 0 82082 98 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293711936 134574740 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (KiB) 1044612
[startup+882.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 7309
/proc/meminfo: memFree=29393120/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=881.79 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 261273 0 0 0 88079 100 0 0 20 0 1 0 281503376 1069682688 259174 33554432000 134512640 137138936 4293713184 4293712112 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 259174 192 642 0 260509 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 1044612
[startup+942.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/177 7538
/proc/meminfo: memFree=30411800/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=941.78 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 261273 0 0 0 94075 103 0 0 20 0 1 0 281503376 1069682688 259174 33554432000 134512640 137138936 4293713184 4293712112 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 259174 192 642 0 260509 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 1044612
[startup+1002.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/177 7538
/proc/meminfo: memFree=30396052/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1001.76 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262847 0 0 0 100071 105 0 0 20 0 1 0 281503376 1076260864 260748 33554432000 134512640 137138936 4293713184 4293712080 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260748 192 642 0 262115 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 1051036
[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 7541
/proc/meminfo: memFree=30390960/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1061.76 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262847 0 0 0 106068 108 0 0 20 0 1 0 281503376 1076260864 260748 33554432000 134512640 137138936 4293713184 4293712112 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260748 192 642 0 262115 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 1051036
[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7541
/proc/meminfo: memFree=30384520/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1121.75 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262847 0 0 0 112065 110 0 0 20 0 1 0 281503376 1076260864 260748 33554432000 134512640 137138936 4293713184 4293711608 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260748 192 642 0 262115 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 1051036
[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7541
/proc/meminfo: memFree=30370756/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1181.74 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262847 0 0 0 118062 112 0 0 20 0 1 0 281503376 1076260864 260748 33554432000 134512640 137138936 4293713184 4293711936 134577134 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260748 192 642 0 262115 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1051036
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7542
/proc/meminfo: memFree=30365176/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1241.72 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262847 0 0 0 124058 114 0 0 20 0 1 0 281503376 1076260864 260748 33554432000 134512640 137138936 4293713184 4293711648 136500289 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260748 192 642 0 262115 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 1051036
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7542
/proc/meminfo: memFree=30350792/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1301.72 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262876 0 0 0 130056 116 0 0 20 0 1 0 281503376 1076260864 260777 33554432000 134512640 137138936 4293713184 4293712112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260777 192 642 0 262115 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 1051036
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 7542
/proc/meminfo: memFree=30343848/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1361.71 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262876 0 0 0 136052 119 0 0 20 0 1 0 281503376 1076260864 260777 33554432000 134512640 137138936 4293713184 4293712112 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260777 192 642 0 262115 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 1051036
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7542
/proc/meminfo: memFree=30332068/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1421.71 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262876 0 0 0 142049 122 0 0 20 0 1 0 281503376 1076260864 260777 33554432000 134512640 137138936 4293713184 4293696280 134599777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260777 192 642 0 262115 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 1051036
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7542
/proc/meminfo: memFree=30319296/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1481.7 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263891 0 0 0 148046 124 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293712112 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1054836
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7543
/proc/meminfo: memFree=30314388/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1541.68 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 154042 126 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293711464 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1054836
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7543
/proc/meminfo: memFree=30299056/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1601.67 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 160037 130 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293711712 134603118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1054836
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7546
/proc/meminfo: memFree=30292864/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1661.66 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 166034 132 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293712112 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1054836
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7546
/proc/meminfo: memFree=30279728/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1721.65 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 172030 135 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293711724 136520918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 1054836
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7546
/proc/meminfo: memFree=30271792/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1781.64 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 178028 136 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293711608 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1054836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7557
/proc/meminfo: memFree=30269420/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1800.05 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 179868 137 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293712064 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1054836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.07
CPU user time (s): 1798.69
CPU system time (s): 1.37779
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 1054836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.37779
maximum resident set size= 1047168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263897
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= 456
involuntary context switches= 1835
runsolver used 5.16021 second user time and 8.35473 second system time
The end