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-3695308-1338133486/watcher-3695308-1338133486 -o /tmp/evaluation-result-3695308-1338133486/solver-3695308-1338133486 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695308-1338133486.opb 1872745655 HOME HOME
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.02 2.00 3/177 27054
/proc/meminfo: memFree=27429776/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[startup+0.0940999 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27054
/proc/meminfo: memFree=27429776/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100158 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27054
/proc/meminfo: memFree=27429776/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30022 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27054
/proc/meminfo: memFree=27429776/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700236 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27054
/proc/meminfo: memFree=27429776/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 27056
/proc/meminfo: memFree=27418268/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=15160 CPUtime=1.48 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) R 27054 27054 26234 0 -1 4202496 3132 0 0 0 148 0 0 0 20 0 1 0 279475900 15523840 3146 33554432000 4194304 5873084 140733198300480 140733198297848 4746752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 3790 3146 146 410 0 3372 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24308
[startup+3.10031 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 27056
/proc/meminfo: memFree=27355680/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=66056 CPUtime=3.09 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) R 27054 27054 26234 0 -1 4202496 10767 0 0 0 307 2 0 0 20 0 1 0 279475900 67641344 13835 33554432000 4194304 5873084 140733198300480 140733198297848 4313434 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 16514 13835 157 410 0 16096 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75204
[startup+6.30031 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 27056
/proc/meminfo: memFree=26695832/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 370488
[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 27060
/proc/meminfo: memFree=25012940/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=652324 CPUtime=6.48 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 92971 0 0 0 623 25 0 0 20 0 1 0 279476520 667979776 135778 33554432000 4194304 4896791 140733994176048 140733994173096 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 163081 135778 78 172 0 162907 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1031960
[startup+25.5004 s]
/proc/loadavg: 2.14 2.05 2.01 3/181 27060
/proc/meminfo: memFree=25525396/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=652324 CPUtime=19.28 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 92971 0 0 0 1903 25 0 0 20 0 1 0 279476520 667979776 135778 33554432000 4194304 4896791 140733994176048 140733994173096 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 163081 135778 78 172 0 162907 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1031960
[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 27063
/proc/meminfo: memFree=24687332/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=652500 CPUtime=44.87 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 94720 0 0 0 4462 25 0 0 20 0 1 0 279476520 668160000 135822 33554432000 4194304 4896791 140733994176048 140733994173336 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 163125 135822 78 172 0 162951 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1032136
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 27063
/proc/meminfo: memFree=24651968/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=652544 CPUtime=96.06 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 96456 0 0 0 9581 25 0 0 20 0 1 0 279476520 668205056 135854 33554432000 4194304 4896791 140733994176048 140733994173560 4223805 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 163136 135854 78 172 0 162962 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1032180
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 27063
/proc/meminfo: memFree=24633688/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=653836 CPUtime=156.06 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 101795 0 0 0 15580 26 0 0 20 0 1 0 279476520 669528064 136150 33554432000 4194304 4896791 140733994176048 140733994173192 4223840 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 163459 136150 78 172 0 163285 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1033472
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 27064
/proc/meminfo: memFree=24626180/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 27105
/proc/meminfo: memFree=24633316/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=657312 CPUtime=1355.84 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 102702 0 0 0 135557 27 0 0 20 0 1 0 279476520 673087488 138588 33554432000 4194304 4896791 140733994176048 140733994173272 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 164328 138588 78 172 0 164154 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1036948
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27105
/proc/meminfo: memFree=24611020/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=657312 CPUtime=1415.83 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 102717 0 0 0 141556 27 0 0 20 0 1 0 279476520 673087488 138603 33554432000 4194304 4896791 140733994176048 140733994173272 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 164328 138603 78 172 0 164154 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1036948
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 27106
/proc/meminfo: memFree=24601428/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=657312 CPUtime=1475.82 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 102720 0 0 0 147555 27 0 0 20 0 1 0 279476520 673087488 138606 33554432000 4194304 4896791 140733994176048 140733994173272 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 164328 138606 78 172 0 164154 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1036948
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 27109
/proc/meminfo: memFree=24603752/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=657312 CPUtime=1535.81 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 102721 0 0 0 153554 27 0 0 20 0 1 0 279476520 673087488 138607 33554432000 4194304 4896791 140733994176048 140733994173272 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 164328 138607 78 172 0 164154 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1036948
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27109
/proc/meminfo: memFree=24599548/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=657420 CPUtime=1595.8 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 102722 0 0 0 159553 27 0 0 20 0 1 0 279476520 673198080 138608 33554432000 4194304 4896791 140733994176048 140733994173592 4225008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 164355 138608 78 172 0 164181 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1037056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27109
/proc/meminfo: memFree=24588948/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=657420 CPUtime=1655.8 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 102723 0 0 0 165553 27 0 0 20 0 1 0 279476520 673198080 138609 33554432000 4194304 4896791 140733994176048 140733994173592 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 164355 138609 78 172 0 164181 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1037056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27109
/proc/meminfo: memFree=24586656/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=657420 CPUtime=1715.79 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 102724 0 0 0 171552 27 0 0 20 0 1 0 279476520 673198080 138610 33554432000 4194304 4896791 140733994176048 140733994173592 4225038 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 164355 138610 78 172 0 164181 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1037056
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 27110
/proc/meminfo: memFree=24586412/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=657420 CPUtime=1775.78 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 102725 0 0 0 177551 27 0 0 20 0 1 0 279476520 673198080 138611 33554432000 4194304 4896791 140733994176048 140733994173592 4224706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 164355 138611 78 172 0 164181 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1037056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 27110
/proc/meminfo: memFree=24586536/32873648 swapFree=6336/6336
[pid=27054] ppid=27052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27054/stat : 27054 (runPb2satCp2.sh) S 27052 27054 26234 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279475899 9367552 275 33554432000 4194304 5064252 140735650890816 140735650889728 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27054/statm: 2287 275 233 213 0 72 0
[pid=27055] ppid=27054 vsize=361340 CPUtime=6.2 cores=0,2,4,6
/proc/27055/stat : 27055 (pb2sat) S 27054 27054 26234 0 -1 4202496 29662 0 0 0 573 47 0 0 20 0 1 0 279475900 370012160 75450 33554432000 4194304 5873084 140733198300480 140733198296904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27055/statm: 90335 75450 171 410 0 89917 0
[pid=27059] ppid=27055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27059/stat : 27059 (satsolver.sh) S 27055 27054 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279476520 9367552 267 33554432000 4194304 5064252 140734723976800 140734723975712 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27059/statm: 2287 267 226 213 0 72 0
[pid=27060] ppid=27059 vsize=657420 CPUtime=1793.88 cores=0,2,4,6
/proc/27060/stat : 27060 (glucose_static) R 27059 27054 26234 0 -1 4202496 102725 0 0 0 179361 27 0 0 20 0 1 0 279476520 673198080 138611 33554432000 4194304 4896791 140733994176048 140733994173592 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27060/statm: 164355 138611 78 172 0 164181 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1037056
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.11
CPU user time (s): 1799.35
CPU system time (s): 0.760884
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 1234492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.760884
maximum resident set size= 673996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133378
page faults= 0
swaps= 0
block input operations= 0
block output operations= 405448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 1863
runsolver used 3.66344 second user time and 7.60584 second system time
The end