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-3695271-1338127789/watcher-3695271-1338127789 -o /tmp/evaluation-result-3695271-1338127789/solver-3695271-1338127789 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695271-1338127789.opb 1211644225 HOME HOME
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.01 2.01 2.00 3/179 10745
/proc/meminfo: memFree=30062440/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[startup+0.075552 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10745
/proc/meminfo: memFree=30062440/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100258 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10745
/proc/meminfo: memFree=30062440/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10745
/proc/meminfo: memFree=30062440/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700303 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10745
/proc/meminfo: memFree=30062440/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 10749
/proc/meminfo: memFree=29941920/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=61556 CPUtime=0.85 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 10221 0 0 0 78 7 0 0 20 0 1 0 278905019 63033344 13788 33554432000 4194304 5873084 140735528822448 140735528818872 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 15389 13788 171 410 0 14971 0
[pid=10748] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10748/stat : 10748 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278905105 9367552 267 33554432000 4194304 5064252 140736262242416 140736262241328 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10748/statm: 2287 267 226 213 0 72 0
[pid=10749] ppid=10748 vsize=91660 CPUtime=0.63 cores=1,3,5,7
/proc/10749/stat : 10749 (glucose_static) R 10748 10745 10279 0 -1 4202496 18410 0 0 0 58 5 0 0 20 0 1 0 278905105 93859840 18407 33554432000 4194304 4896791 140734677855040 140734677852248 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10749/statm: 22915 18407 76 172 0 22741 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 171512
[startup+3.10027 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 10749
/proc/meminfo: memFree=29973340/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=64920 CPUtime=3.08 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) R 10745 10745 10279 0 -1 4202496 11561 19086 0 0 106 97 99 6 20 0 1 0 278905019 66478080 14667 33554432000 4194304 5873084 140735528822448 140735528817880 5127520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 16230 14667 179 410 0 15812 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 74068
[startup+6.30045 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 10752
/proc/meminfo: memFree=29856436/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=71064 CPUtime=3.86 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 13372 19600 0 0 124 152 99 11 20 0 1 0 278905019 72769536 16013 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 17766 16013 180 410 0 17348 0
[pid=10751] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10751/stat : 10751 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278905407 9367552 266 33554432000 4194304 5064252 140734992294512 140734992293424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10751/statm: 2287 266 226 213 0 72 0
[pid=10752] ppid=10751 vsize=96008 CPUtime=2.4 cores=1,3,5,7
/proc/10752/stat : 10752 (glucose_static) R 10751 10745 10279 0 -1 4202496 21217 0 0 0 233 7 0 0 20 0 1 0 278905408 98312192 20785 33554432000 4194304 4896791 140733851371920 140733851369176 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10752/statm: 24002 20785 77 172 0 23828 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 185368
[startup+12.7005 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 10755
/proc/meminfo: memFree=29855180/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=71064 CPUtime=3.86 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 13372 19600 0 0 124 152 99 11 20 0 1 0 278905019 72769536 16013 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 17766 16013 180 410 0 17348 0
[pid=10751] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10751/stat : 10751 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278905407 9367552 266 33554432000 4194304 5064252 140734992294512 140734992293424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10751/statm: 2287 266 226 213 0 72 0
[pid=10752] ppid=10751 vsize=97340 CPUtime=8.8 cores=1,3,5,7
/proc/10752/stat : 10752 (glucose_static) R 10751 10745 10279 0 -1 4202496 23097 0 0 0 873 7 0 0 20 0 1 0 278905408 99676160 21343 33554432000 4194304 4896791 140733851371920 140733851369128 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10752/statm: 24335 21343 78 172 0 24161 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 186700
[startup+25.5005 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 10755
/proc/meminfo: memFree=29856692/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=71064 CPUtime=3.86 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 13372 19600 0 0 124 152 99 11 20 0 1 0 278905019 72769536 16013 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 17766 16013 180 410 0 17348 0
[pid=10751] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10751/stat : 10751 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278905407 9367552 266 33554432000 4194304 5064252 140734992294512 140734992293424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10751/statm: 2287 266 226 213 0 72 0
[pid=10752] ppid=10751 vsize=97940 CPUtime=21.6 cores=1,3,5,7
/proc/10752/stat : 10752 (glucose_static) R 10751 10745 10279 0 -1 4202496 24153 0 0 0 2152 8 0 0 20 0 1 0 278905408 100290560 21079 33554432000 4194304 4896791 140733851371920 140733851369432 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10752/statm: 24485 21079 78 172 0 24311 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 187300
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10755
/proc/meminfo: memFree=29856876/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=71064 CPUtime=3.86 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 13372 19600 0 0 124 152 99 11 20 0 1 0 278905019 72769536 16013 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 17766 16013 180 410 0 17348 0
[pid=10751] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10751/stat : 10751 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278905407 9367552 266 33554432000 4194304 5064252 140734992294512 140734992293424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10751/statm: 2287 266 226 213 0 72 0
[pid=10752] ppid=10751 vsize=97940 CPUtime=47.19 cores=1,3,5,7
/proc/10752/stat : 10752 (glucose_static) R 10751 10745 10279 0 -1 4202496 24154 0 0 0 4711 8 0 0 20 0 1 0 278905408 100290560 21079 33554432000 4194304 4896791 140733851371920 140733851369432 4224929 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10752/statm: 24485 21079 78 172 0 24311 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 187300
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10755
/proc/meminfo: memFree=29849208/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=71064 CPUtime=3.86 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 13372 19600 0 0 124 152 99 11 20 0 1 0 278905019 72769536 16013 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 17766 16013 180 410 0 17348 0
[pid=10751] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10751/stat : 10751 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278905407 9367552 266 33554432000 4194304 5064252 140734992294512 140734992293424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10751/statm: 2287 266 226 213 0 72 0
[pid=10752] ppid=10751 vsize=98560 CPUtime=98.38 cores=1,3,5,7
/proc/10752/stat : 10752 (glucose_static) R 10751 10745 10279 0 -1 4202496 25640 0 0 0 9829 9 0 0 20 0 1 0 278905408 100925440 22216 33554432000 4194304 4896791 140733851371920 140733851369432 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10752/statm: 24640 22216 78 172 0 24466 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 187920
[startup+162.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 10755
/proc/meminfo: memFree=29841028/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=71064 CPUtime=3.86 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 13372 19600 0 0 124 152 99 11 20 0 1 0 278905019 72769536 16013 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 17766 16013 180 410 0 17348 0
[pid=10751] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10751/stat : 10751 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278905407 9367552 266 33554432000 4194304 5064252 140734992294512 140734992293424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10751/statm: 2287 266 226 213 0 72 0
[pid=10752] ppid=10751 vsize=101440 CPUtime=158.36 cores=1,3,5,7
/proc/10752/stat : 10752 (glucose_static) R 10751 10745 10279 0 -1 4202496 28759 0 0 0 15824 12 0 0 20 0 1 0 278905408 103874560 22908 33554432000 4194304 4896791 140733851371920 140733851369496 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10752/statm: 25360 22908 78 172 0 25186 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
/proc/10814/stat : 10814 (glucose_static) R 10813 10745 10279 0 -1 4202496 52338 0 0 0 70969 31 0 0 20 0 1 0 278976237 183148544 36117 33554432000 4194304 4896791 140734482295184 140734482292712 4203834 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 44714 36117 78 172 0 44540 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 271288
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 10822
/proc/meminfo: memFree=29380980/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=74136 CPUtime=712.01 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 23316 130754 0 0 168 156 70800 77 20 0 1 0 278905019 75915264 16641 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 18534 16641 180 410 0 18116 0
[pid=10813] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10813/stat : 10813 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278976237 9367552 266 33554432000 4194304 5064252 140735923744272 140735923743184 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10813/statm: 2287 266 226 213 0 72 0
[pid=10814] ppid=10813 vsize=148944 CPUtime=769.97 cores=1,3,5,7
/proc/10814/stat : 10814 (glucose_static) R 10813 10745 10279 0 -1 4202496 53171 0 0 0 76965 32 0 0 20 0 1 0 278976237 152518656 33820 33554432000 4194304 4896791 140734482295184 140734482292712 4203856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 37236 33820 78 172 0 37062 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 241376
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 10822
/proc/meminfo: memFree=29354980/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=74136 CPUtime=712.01 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 23316 130754 0 0 168 156 70800 77 20 0 1 0 278905019 75915264 16641 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 18534 16641 180 410 0 18116 0
[pid=10813] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10813/stat : 10813 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278976237 9367552 266 33554432000 4194304 5064252 140735923744272 140735923743184 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10813/statm: 2287 266 226 213 0 72 0
[pid=10814] ppid=10813 vsize=180924 CPUtime=829.97 cores=1,3,5,7
/proc/10814/stat : 10814 (glucose_static) R 10813 10745 10279 0 -1 4202496 54265 0 0 0 82964 33 0 0 20 0 1 0 278976237 185266176 38771 33554432000 4194304 4896791 140734482295184 140734482292408 4204079 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 45231 38771 78 172 0 45057 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 273356
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10822
/proc/meminfo: memFree=29368896/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=74136 CPUtime=712.01 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 23316 130754 0 0 168 156 70800 77 20 0 1 0 278905019 75915264 16641 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 18534 16641 180 410 0 18116 0
[pid=10813] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10813/stat : 10813 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278976237 9367552 266 33554432000 4194304 5064252 140735923744272 140735923743184 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10813/statm: 2287 266 226 213 0 72 0
[pid=10814] ppid=10813 vsize=150636 CPUtime=889.96 cores=1,3,5,7
/proc/10814/stat : 10814 (glucose_static) R 10813 10745 10279 0 -1 4202496 55001 0 0 0 88962 34 0 0 20 0 1 0 278976237 154251264 34755 33554432000 4194304 4896791 140734482295184 140734482292408 4203968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 37659 34755 78 172 0 37485 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 243068
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10822
/proc/meminfo: memFree=29349784/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=74136 CPUtime=712.01 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 23316 130754 0 0 168 156 70800 77 20 0 1 0 278905019 75915264 16641 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 18534 16641 180 410 0 18116 0
[pid=10813] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10813/stat : 10813 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278976237 9367552 266 33554432000 4194304 5064252 140735923744272 140735923743184 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10813/statm: 2287 266 226 213 0 72 0
[pid=10814] ppid=10813 vsize=181912 CPUtime=949.95 cores=1,3,5,7
/proc/10814/stat : 10814 (glucose_static) R 10813 10745 10279 0 -1 4202496 55933 0 0 0 94960 35 0 0 20 0 1 0 278976237 186277888 38514 33554432000 4194304 4896791 140734482295184 140734482292408 4203936 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 45478 38514 78 172 0 45304 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 274344
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10823
/proc/meminfo: memFree=29334328/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=74136 CPUtime=712.01 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 23316 130754 0 0 168 156 70800 77 20 0 1 0 278905019 75915264 16641 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 18534 16641 180 410 0 18116 0
[pid=10813] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10813/stat : 10813 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278976237 9367552 266 33554432000 4194304 5064252 140735923744272 140735923743184 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10813/statm: 2287 266 226 213 0 72 0
[pid=10814] ppid=10813 vsize=182372 CPUtime=1009.94 cores=1,3,5,7
/proc/10814/stat : 10814 (glucose_static) R 10813 10745 10279 0 -1 4202496 56073 0 0 0 100959 35 0 0 20 0 1 0 278976237 186748928 40698 33554432000 4194304 4896791 140734482295184 140734482292392 4203862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 45593 40698 78 172 0 45419 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 274804
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10826
/proc/meminfo: memFree=29397296/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=74136 CPUtime=1730.09 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 26793 188067 0 0 183 157 172550 119 20 0 1 0 278905019 75915264 16641 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 18534 16641 180 410 0 18116 0
[pid=10825] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10825/stat : 10825 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279078062 9367552 267 33554432000 4194304 5064252 140735371265648 140735371264560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10825/statm: 2287 267 226 213 0 72 0
[pid=10826] ppid=10825 vsize=115372 CPUtime=51.86 cores=1,3,5,7
/proc/10826/stat : 10826 (glucose_static) R 10825 10745 10279 0 -1 4202496 31337 0 0 0 5173 13 0 0 20 0 1 0 279078062 118140928 23941 33554432000 4194304 4896791 140734877839904 140734877837112 4225376 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 28843 23941 78 172 0 28669 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 207804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10826
/proc/meminfo: memFree=29392456/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=74136 CPUtime=1730.09 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 26793 188067 0 0 183 157 172550 119 20 0 1 0 278905019 75915264 16641 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 18534 16641 180 410 0 18116 0
[pid=10825] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10825/stat : 10825 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279078062 9367552 267 33554432000 4194304 5064252 140735371265648 140735371264560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10825/statm: 2287 267 226 213 0 72 0
[pid=10826] ppid=10825 vsize=115544 CPUtime=69.96 cores=1,3,5,7
/proc/10826/stat : 10826 (glucose_static) R 10825 10745 10279 0 -1 4202496 31587 0 0 0 6983 13 0 0 20 0 1 0 279078062 118317056 24472 33554432000 4194304 4896791 140734877839904 140734877837112 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 28886 24472 78 172 0 28712 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 207976
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10826
/proc/meminfo: memFree=29392456/32873844 swapFree=7372/7372
[pid=10745] ppid=10743 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10745/stat : 10745 (runPb2satCp2.sh) S 10743 10745 10279 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278905019 9367552 275 33554432000 4194304 5064252 140734820203088 140734820202000 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10745/statm: 2287 275 233 213 0 72 0
[pid=10746] ppid=10745 vsize=74136 CPUtime=1730.09 cores=1,3,5,7
/proc/10746/stat : 10746 (pb2sat) S 10745 10745 10279 0 -1 4202496 26793 188067 0 0 183 157 172550 119 20 0 1 0 278905019 75915264 16641 33554432000 4194304 5873084 140735528822448 140735528816264 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10746/statm: 18534 16641 180 410 0 18116 0
[pid=10825] ppid=10746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10825/stat : 10825 (satsolver.sh) S 10746 10745 10279 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279078062 9367552 267 33554432000 4194304 5064252 140735371265648 140735371264560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10825/statm: 2287 267 226 213 0 72 0
[pid=10826] ppid=10825 vsize=115544 CPUtime=69.96 cores=1,3,5,7
/proc/10826/stat : 10826 (glucose_static) R 10825 10745 10279 0 -1 4202496 31587 0 0 0 6983 13 0 0 20 0 1 0 279078062 118317056 24472 33554432000 4194304 4896791 140734877839904 140734877837112 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 28886 24472 78 172 0 28712 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 207976
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10745 and gives
# childrusage.ru_utime.tv_sec=1727
# childrusage.ru_utime.tv_usec=346403
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=771578
# CPU time returned by wait4() is 1730.12
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.05
CPU user time (s): 1797.16
CPU system time (s): 2.89
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 322824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.35
system time used= 2.77158
maximum resident set size= 193484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 421064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151
involuntary context switches= 1812
runsolver used 3.35049 second user time and 9.37157 second system time
The end