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-3704073-1338100948/watcher-3704073-1338100948 -o /tmp/evaluation-result-3704073-1338100948/solver-3704073-1338100948 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704073-1338100948.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: 3.91 3.97 3.91 4/178 22303
/proc/meminfo: memFree=27468780/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=33184 CPUtime=0 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) R 22301 22303 20135 0 -1 4202496 689 0 0 0 0 0 0 0 20 0 1 0 276220300 33980416 642 33554432000 4194304 5965102 140733397953344 140733397952760 5179915 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 8296 653 170 433 0 969 0
[startup+0.105006 s]
/proc/loadavg: 3.91 3.97 3.91 4/178 22303
/proc/meminfo: memFree=27468780/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=51120 CPUtime=0.09 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) R 22301 22303 20135 0 -1 4202496 4956 0 0 0 9 0 0 0 20 0 1 0 276220300 52346880 4826 33554432000 4194304 5965102 140733397953344 140733397952760 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 12780 4828 448 433 0 5453 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 51120
[startup+0.200286 s]
/proc/loadavg: 3.91 3.97 3.91 4/178 22303
/proc/meminfo: memFree=27468780/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=63272 CPUtime=0.19 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) R 22301 22303 20135 0 -1 4202496 7980 0 0 0 18 1 0 0 20 0 1 0 276220300 64790528 7680 33554432000 4194304 5965102 140733397953344 140733397952760 4351139 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 15818 7680 724 433 0 8491 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 63272
[startup+0.30022 s]
/proc/loadavg: 3.91 3.97 3.91 4/178 22303
/proc/meminfo: memFree=27468780/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=69860 CPUtime=0.29 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) R 22301 22303 20135 0 -1 4202496 10635 0 0 0 27 2 0 0 20 0 1 0 276220300 71536640 10238 33554432000 4194304 5965102 140733397953344 140733397952760 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 17465 10239 977 433 0 10138 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69860
[startup+0.70022 s]
/proc/loadavg: 3.91 3.97 3.91 4/178 22303
/proc/meminfo: memFree=27468780/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=116456 CPUtime=0.69 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) R 22301 22303 20135 0 -1 4202496 23194 0 0 0 65 4 0 0 20 0 1 0 276220300 119250944 22267 33554432000 4194304 5965102 140733397953344 140733397951288 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 29114 22270 2009 433 0 21787 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116456
[startup+1.50025 s]
/proc/loadavg: 3.91 3.97 3.91 4/179 22304
/proc/meminfo: memFree=27341664/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=212824 CPUtime=1.49 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) R 22301 22303 20135 0 -1 4202496 46756 0 0 0 142 7 0 0 20 0 1 0 276220300 217931776 46813 33554432000 4194304 5965102 140733397953344 140733397951288 4317749 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 53206 46813 3834 433 0 45879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 212824
[startup+3.10015 s]
/proc/loadavg: 3.91 3.97 3.91 4/179 22304
/proc/meminfo: memFree=27232892/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=336704 CPUtime=3.09 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) R 22301 22303 20135 0 -1 4202496 76326 0 0 0 298 11 0 0 20 0 1 0 276220300 344784896 78367 33554432000 4194304 5965102 140733397953344 140733397951352 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 84176 78367 6919 433 0 76849 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 336704
[startup+6.30033 s]
/proc/loadavg: 3.92 3.97 3.91 5/181 22306
/proc/meminfo: memFree=26754932/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=885568 CPUtime=9.33 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 163805 0 0 0 900 33 0 0 20 0 3 0 276220300 906821632 187192 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 221392 187192 198 433 0 220956 0
[pid=22303/tid=22305] ppid=22301 vsize=885568 CPUtime=3.09 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 64024 0 0 0 293 16 0 0 20 0 3 0 276220617 906821632 187192 33554432000 4194304 5965102 140733397953344 140068711139672 5143173 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=885568 CPUtime=3.06 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 21689 0 0 0 300 6 0 0 20 0 3 0 276220617 906821632 187192 33554432000 4194304 5965102 140733397953344 140068700649784 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (KiB) 885568
[startup+12.7003 s]
/proc/loadavg: 3.92 3.97 3.91 5/181 22306
/proc/meminfo: memFree=26713364/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=885568 CPUtime=22.14 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 168960 0 0 0 2178 36 0 0 20 0 3 0 276220300 906821632 189388 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 221392 189388 199 433 0 220956 0
[pid=22303/tid=22305] ppid=22301 vsize=885568 CPUtime=9.49 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 66864 0 0 0 931 18 0 0 20 0 3 0 276220617 906821632 189388 33554432000 4194304 5965102 140733397953344 140068711139864 4390204 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=885568 CPUtime=9.46 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 24004 0 0 0 938 8 0 0 20 0 3 0 276220617 906821632 189388 33554432000 4194304 5965102 140733397953344 140068700649832 4404757 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 22.14
Current children cumulated vsize (KiB) 885568
[startup+25.5004 s]
/proc/loadavg: 3.94 3.97 3.91 5/181 22306
/proc/meminfo: memFree=26688628/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=951104 CPUtime=47.73 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 174399 0 0 0 4736 37 0 0 20 0 3 0 276220300 973930496 195378 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 237776 195378 199 433 0 237340 0
[pid=22303/tid=22305] ppid=22301 vsize=951104 CPUtime=22.29 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 72047 0 0 0 2210 19 0 0 20 0 3 0 276220617 973930496 195378 33554432000 4194304 5965102 140733397953344 140068711139624 4393801 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=951104 CPUtime=22.26 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 24260 0 0 0 2218 8 0 0 20 0 3 0 276220617 973930496 195378 33554432000 4194304 5965102 140733397953344 140068700649784 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 47.73
Current children cumulated vsize (KiB) 951104
[startup+51.1004 s]
/proc/loadavg: 3.96 3.97 3.91 5/181 22306
/proc/meminfo: memFree=26671556/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=951228 CPUtime=98.92 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 178797 0 0 0 9852 40 0 0 20 0 3 0 276220300 974057472 199253 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 237807 199253 199 433 0 237371 0
[pid=22303/tid=22305] ppid=22301 vsize=951228 CPUtime=47.89 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 76179 0 0 0 4767 22 0 0 20 0 3 0 276220617 974057472 199253 33554432000 4194304 5965102 140733397953344 140068711140168 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=951228 CPUtime=47.85 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 24526 0 0 0 4777 8 0 0 20 0 3 0 276220617 974057472 199253 33554432000 4194304 5965102 140733397953344 140068700649304 4388979 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 98.92
Current children cumulated vsize (KiB) 951228
[startup+102.3 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 22306
/proc/meminfo: memFree=26643992/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=951228 CPUtime=201.32 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 182033 0 0 0 20088 44 0 0 20 0 3 0 276220300 974057472 205062 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 237807 205062 199 433 0 237371 0
[pid=22303/tid=22305] ppid=22301 vsize=951228 CPUtime=99.1 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 78790 0 0 0 9885 25 0 0 20 0 3 0 276220617 974057472 205062 33554432000 4194304 5965102 140733397953344 140068711140168 4393875 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=951228 CPUtime=99.06 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 25151 0 0 0 9895 11 0 0 20 0 3 0 276220617 974057472 205062 33554432000 4194304 5965102 140733397953344 140068700649784 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 201.32
Current children cumulated vsize (KiB) 951228
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 22306
/proc/meminfo: memFree=26568624/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1016764 CPUtime=321.29 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 186911 0 0 0 32081 48 0 0 20 0 3 0 276220300 1041166336 218265 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 254191 218265 199 433 0 253755 0
[pid=22303/tid=22305] ppid=22301 vsize=1016764 CPUtime=159.09 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 83233 0 0 0 15880 29 0 0 20 0 3 0 276220617 1041166336 218265 33554432000 4194304 5965102 140733397953344 140068711139864 4404383 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1016764 CPUtime=159.06 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 25586 0 0 0 15894 12 0 0 20 0 3 0 276220617 1041166336 218265 33554432000 4194304 5965102 140733397953344 140068700649720 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 321.29
Current children cumulated vsize (KiB) 1016764
[startup+222.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 22306
/proc/meminfo: memFree=26546252/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1082300 CPUtime=441.28 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 188865 0 0 0 44078 50 0 0 20 0 3 0 276220300 1108275200 225812 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 270575 225812 199 433 0 270139 0
[pid=22303/tid=22305] ppid=22301 vsize=1082300 CPUtime=219.1 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 84814 0 0 0 21878 32 0 0 20 0 3 0 276220617 1108275200 225812 33554432000 4194304 5965102 140733397953344 140068711139672 4390200 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1082300 CPUtime=219.07 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 25959 0 0 0 21893 14 0 0 20 0 3 0 276220617 1108275200 225812 33554432000 4194304 5965102 140733397953344 140068700649784 4390112 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 441.28
Current children cumulated vsize (KiB) 1082300
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 22307
/proc/meminfo: memFree=26568664/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1016764 CPUtime=561.25 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 189281 0 0 0 56073 52 0 0 20 0 3 0 276220300 1041166336 219056 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 254191 219056 199 433 0 253755 0
[pid=22303/tid=22305] ppid=22301 vsize=1016764 CPUtime=279.1 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 84823 0 0 0 27877 33 0 0 20 0 3 0 276220617 1041166336 219056 33554432000 4194304 5965102 140733397953344 140068711140168 4404630 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1016764 CPUtime=279.07 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 26366 0 0 0 27891 16 0 0 20 0 3 0 276220617 1041166336 219056 33554432000 4194304 5965102 140733397953344 140068700649784 4390187 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 561.25
Current children cumulated vsize (KiB) 1016764
[startup+342.3 s]
/proc/loadavg: 4.13 4.00 3.92 5/181 22307
/proc/meminfo: memFree=26558692/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1016764 CPUtime=681.24 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 189678 0 0 0 68071 53 0 0 20 0 3 0 276220300 1041166336 219453 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 254191 219453 199 433 0 253755 0
[pid=22303/tid=22305] ppid=22301 vsize=1016764 CPUtime=339.1 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 84823 0 0 0 33876 34 0 0 20 0 3 0 276220617 1041166336 219453 33554432000 4194304 5965102 140733397953344 140068711140168 4404383 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1016764 CPUtime=339.07 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 26763 0 0 0 33889 18 0 0 20 0 3 0 276220617 1041166336 219453 33554432000 4194304 5965102 140733397953344 140068700649832 4390169 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 681.24
Current children cumulated vsize (KiB) 1016764
[startup+402.3 s]
/proc/loadavg: 4.04 4.00 3.92 5/181 22307
/proc/meminfo: memFree=26427808/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1016764 CPUtime=801.22 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 191704 0 0 0 80067 55 0 0 20 0 3 0 276220300 1041166336 221212 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 254191 221212 199 433 0 253755 0
[pid=22303/tid=22305] ppid=22301 vsize=1016764 CPUtime=399.11 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 86039 0 0 0 39875 36 0 0 20 0 3 0 276220617 1041166336 221212 33554432000 4194304 5965102 140733397953344 140068711140168 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1016764 CPUtime=399.07 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 27573 0 0 0 39887 20 0 0 20 0 3 0 276220617 1041166336 221212 33554432000 4194304 5965102 140733397953344 140068700649784 4390172 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 801.22
Current children cumulated vsize (KiB) 1016764
[startup+462.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 22310
/proc/meminfo: memFree=26421468/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1016764 CPUtime=921.2 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 193217 0 0 0 92063 57 0 0 20 0 3 0 276220300 1041166336 222059 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 254191 222059 199 433 0 253755 0
[pid=22303/tid=22305] ppid=22301 vsize=1016764 CPUtime=459.11 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 86705 0 0 0 45874 37 0 0 20 0 3 0 276220617 1041166336 222059 33554432000 4194304 5965102 140733397953344 140068711140168 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1016764 CPUtime=459.08 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 28420 0 0 0 45886 22 0 0 20 0 3 0 276220617 1041166336 222059 33554432000 4194304 5965102 140733397953344 140068700649784 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 921.2
Current children cumulated vsize (KiB) 1016764
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 22310
/proc/meminfo: memFree=26375228/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1082300 CPUtime=1041.18 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 195914 0 0 0 104060 58 0 0 20 0 3 0 276220300 1108275200 228904 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 270575 228904 199 433 0 270139 0
[pid=22303/tid=22305] ppid=22301 vsize=1082300 CPUtime=519.11 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 88878 0 0 0 51873 38 0 0 20 0 3 0 276220617 1108275200 228904 33554432000 4194304 5965102 140733397953344 140068711139864 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1082300 CPUtime=519.08 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 28944 0 0 0 51885 23 0 0 20 0 3 0 276220617 1108275200 228904 33554432000 4194304 5965102 140733397953344 140068700649832 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1041.18
Current children cumulated vsize (KiB) 1082300
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 22311
/proc/meminfo: memFree=26380288/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1082300 CPUtime=1161.16 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 197345 0 0 0 116056 60 0 0 20 0 3 0 276220300 1108275200 229565 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 270575 229565 199 433 0 270139 0
[pid=22303/tid=22305] ppid=22301 vsize=1082300 CPUtime=579.12 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 89867 0 0 0 57872 40 0 0 20 0 3 0 276220617 1108275200 229565 33554432000 4194304 5965102 140733397953344 140068711140168 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1082300 CPUtime=579.08 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 29386 0 0 0 57883 25 0 0 20 0 3 0 276220617 1108275200 229565 33554432000 4194304 5965102 140733397953344 140068700649784 4390210 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1161.16
Current children cumulated vsize (KiB) 1082300
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 22311
/proc/meminfo: memFree=26342336/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1082300 CPUtime=1281.14 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 198847 0 0 0 128052 62 0 0 20 0 3 0 276220300 1108275200 238286 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 270575 238286 199 433 0 270139 0
[pid=22303/tid=22305] ppid=22301 vsize=1082300 CPUtime=639.12 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 90856 0 0 0 63870 42 0 0 20 0 3 0 276220617 1108275200 238286 33554432000 4194304 5965102 140733397953344 140068711139864 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1082300 CPUtime=639.08 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 29899 0 0 0 63881 27 0 0 20 0 3 0 276220617 1108275200 238286 33554432000 4194304 5965102 140733397953344 140068700649784 4390169 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1281.14
Current children cumulated vsize (KiB) 1082300
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 22311
/proc/meminfo: memFree=26336160/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1082300 CPUtime=1401.12 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 201123 0 0 0 140048 64 0 0 20 0 3 0 276220300 1108275200 239062 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 270575 239062 199 433 0 270139 0
[pid=22303/tid=22305] ppid=22301 vsize=1082300 CPUtime=699.12 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 92361 0 0 0 69868 44 0 0 20 0 3 0 276220617 1108275200 239062 33554432000 4194304 5965102 140733397953344 140068711139864 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1082300 CPUtime=699.09 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 30670 0 0 0 69879 30 0 0 20 0 3 0 276220617 1108275200 239062 33554432000 4194304 5965102 140733397953344 140068700649784 4390210 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1401.12
Current children cumulated vsize (KiB) 1082300
[startup+762.3 s]
/proc/loadavg: 3.84 3.97 3.91 3/173 22336
/proc/meminfo: memFree=27352432/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1082300 CPUtime=1521.11 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 203050 0 0 0 152045 66 0 0 20 0 3 0 276220300 1108275200 242039 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 270575 242039 199 433 0 270139 0
[pid=22303/tid=22305] ppid=22301 vsize=1082300 CPUtime=759.13 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 93881 0 0 0 75867 46 0 0 20 0 3 0 276220617 1108275200 242039 33554432000 4194304 5965102 140733397953344 140068711139672 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1082300 CPUtime=759.1 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 31077 0 0 0 75878 32 0 0 20 0 3 0 276220617 1108275200 242039 33554432000 4194304 5965102 140733397953344 140068700649784 4390187 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1521.11
Current children cumulated vsize (KiB) 1082300
[startup+822.3 s]
/proc/loadavg: 2.67 3.61 3.79 3/173 22336
/proc/meminfo: memFree=27349056/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1082300 CPUtime=1641.08 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 205320 0 0 0 164039 69 0 0 20 0 3 0 276220300 1108275200 242855 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 270575 242855 199 433 0 270139 0
[pid=22303/tid=22305] ppid=22301 vsize=1082300 CPUtime=819.12 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 95739 0 0 0 81864 48 0 0 20 0 3 0 276220617 1108275200 242855 33554432000 4194304 5965102 140733397953344 140068711140168 4390140 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1082300 CPUtime=819.09 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 31489 0 0 0 81875 34 0 0 20 0 3 0 276220617 1108275200 242855 33554432000 4194304 5965102 140733397953344 140068700649784 4390150 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1641.08
Current children cumulated vsize (KiB) 1082300
[startup+882.307 s]
/proc/loadavg: 2.25 3.31 3.68 3/172 22336
/proc/meminfo: memFree=27340444/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1082300 CPUtime=1761.07 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 206466 0 0 0 176037 70 0 0 20 0 3 0 276220300 1108275200 244998 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 270575 244998 199 433 0 270139 0
[pid=22303/tid=22305] ppid=22301 vsize=1082300 CPUtime=879.13 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 96139 0 0 0 87864 49 0 0 20 0 3 0 276220617 1108275200 244998 33554432000 4194304 5965102 140733397953344 140068711140168 4390172 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1082300 CPUtime=879.1 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 32235 0 0 0 87874 36 0 0 20 0 3 0 276220617 1108275200 244998 33554432000 4194304 5965102 140733397953344 140068700649784 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1761.07
Current children cumulated vsize (KiB) 1082300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.8 s]
/proc/loadavg: 2.17 3.23 3.64 3/173 22337
/proc/meminfo: memFree=27325076/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1147836 CPUtime=1800.06 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 206697 0 0 0 179936 70 0 0 20 0 3 0 276220300 1175384064 248868 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 286959 248868 199 433 0 286523 0
[pid=22303/tid=22305] ppid=22301 vsize=1147836 CPUtime=898.63 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 96149 0 0 0 89813 50 0 0 20 0 3 0 276220617 1175384064 248868 33554432000 4194304 5965102 140733397953344 140068711139624 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1147836 CPUtime=898.6 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 32456 0 0 0 89824 36 0 0 20 0 3 0 276220617 1175384064 248868 33554432000 4194304 5965102 140733397953344 140068700649784 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1147836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+901.8 s]
/proc/loadavg: 2.17 3.23 3.64 3/173 22337
/proc/meminfo: memFree=27325076/32873648 swapFree=7104/7104
[pid=22303] ppid=22301 vsize=1147836 CPUtime=1800.06 cores=1,3,5,7
/proc/22303/stat : 22303 (pwbo2.0) S 22301 22303 20135 0 -1 4202496 206697 0 0 0 179936 70 0 0 20 0 3 0 276220300 1175384064 248868 33554432000 4194304 5965102 140733397953344 140733397952864 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 286959 248868 199 433 0 286523 0
[pid=22303/tid=22305] ppid=22301 vsize=1147836 CPUtime=898.63 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 96149 0 0 0 89813 50 0 0 20 0 3 0 276220617 1175384064 248868 33554432000 4194304 5965102 140733397953344 140068711139624 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22301 vsize=1147836 CPUtime=898.6 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (pwbo2.0) R 22301 22303 20135 0 -1 4202560 32456 0 0 0 89824 36 0 0 20 0 3 0 276220617 1175384064 248868 33554432000 4194304 5965102 140733397953344 140068700649784 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1147836
Child status: 0
Real time (s): 901.834
CPU time (s): 1800.46
CPU user time (s): 1799.44
CPU system time (s): 1.01784
CPU usage (%): 199.644
Max. virtual memory (cumulated for all children) (KiB): 1147836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 1.01784
maximum resident set size= 995476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206698
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= 7020
involuntary context switches= 1929
runsolver used 1.86172 second user time and 5.2732 second system time
The end