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-3700669-1338146613/watcher-3700669-1338146613 -o /tmp/evaluation-result-3700669-1338146613/solver-3700669-1338146613 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700669-1338146613.opb 656456522 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.00 2.00 2.00 3/179 21297
/proc/meminfo: memFree=29820708/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[startup+0.0533621 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21297
/proc/meminfo: memFree=29820708/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21297
/proc/meminfo: memFree=29820708/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21297
/proc/meminfo: memFree=29820708/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21297
/proc/meminfo: memFree=29820708/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21299
/proc/meminfo: memFree=29811944/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=19228 CPUtime=1.49 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) R 21297 21297 18976 0 -1 4202496 2817 0 0 0 148 1 0 0 20 0 1 0 280788352 19689472 2826 33554432000 4194304 5992684 140733848363376 140733848359880 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21298/statm: 4807 2826 145 440 0 4363 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28376
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21299
/proc/meminfo: memFree=29805164/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=36008 CPUtime=3.08 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) R 21297 21297 18976 0 -1 4202496 3452 0 0 0 307 1 0 0 20 0 1 0 280788352 36872192 5497 33554432000 4194304 5992684 140733848363376 140733848359368 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21298/statm: 9002 5497 145 440 0 8558 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 45156
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21301
/proc/meminfo: memFree=29716028/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=46792 CPUtime=6.28 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) R 21297 21297 18976 0 -1 4202496 6722 36165 0 0 407 8 193 20 20 0 1 0 280788352 47915008 9640 33554432000 4194304 5992684 140733848363376 140733848357736 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21298/statm: 11698 9640 170 440 0 11254 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55940
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21311
/proc/meminfo: memFree=29412252/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=202612 CPUtime=3.75 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 35401 0 0 0 364 11 0 0 20 0 1 0 280789245 207474688 45762 33554432000 4194304 5208918 140736297417024 140736297414872 4205139 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21311/statm: 50653 45762 104 248 0 50402 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 370788
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21311
/proc/meminfo: memFree=29414112/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=202760 CPUtime=16.55 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 35405 0 0 0 1644 11 0 0 20 0 1 0 280789245 207626240 45766 33554432000 4194304 5208918 140736297417024 140736297414984 4205642 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21311/statm: 50690 45766 104 248 0 50439 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 370936
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21311
/proc/meminfo: memFree=29450972/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=202760 CPUtime=42.14 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 35415 0 0 0 4203 11 0 0 20 0 1 0 280789245 207626240 45776 33554432000 4194304 5208918 140736297417024 140736297414984 4211147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21311/statm: 50690 45776 104 248 0 50439 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 370936
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21312
/proc/meminfo: memFree=29420068/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=205596 CPUtime=93.34 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 35859 0 0 0 9323 11 0 0 20 0 1 0 280789245 210530304 46220 33554432000 4194304 5208918 140736297417024 140736297413400 4229760 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21311/statm: 51399 46220 105 248 0 51148 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 373772
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21312
/proc/meminfo: memFree=29380280/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=252704 CPUtime=153.32 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 43520 0 0 0 15314 18 0 0 20 0 1 0 280789245 258768896 54325 33554432000 4194304 5208918 140736297417024 140736297414984 4229473 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21311/statm: 63176 54325 105 248 0 62925 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 420880
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21354
/proc/meminfo: memFree=29950400/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 21375
/proc/meminfo: memFree=29449232/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=448096 CPUtime=1413.09 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 101007 0 0 0 141197 112 0 0 20 0 1 0 280789245 458850304 100031 33554432000 4194304 5208918 140736297417024 140736297414872 4212821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21311/statm: 112024 100031 105 248 0 111773 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 616272
[startup+1482.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/183 21375
/proc/meminfo: memFree=29437724/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=455360 CPUtime=1473.08 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 103312 0 0 0 147191 117 0 0 20 0 1 0 280789245 466288640 102364 33554432000 4194304 5208918 140736297417024 140736297413400 4229520 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21311/statm: 113840 102364 105 248 0 113589 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 623536
[startup+1542.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 21375
/proc/meminfo: memFree=29392928/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=462836 CPUtime=1533.07 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 105678 0 0 0 153184 123 0 0 20 0 1 0 280789245 473944064 106278 33554432000 4194304 5208918 140736297417024 140736297414872 4205195 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21311/statm: 115709 106278 105 248 0 115458 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 631012
[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/184 21379
/proc/meminfo: memFree=29400860/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=475148 CPUtime=1593.06 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 108635 0 0 0 159178 128 0 0 20 0 1 0 280789245 486551552 108732 33554432000 4194304 5208918 140736297417024 140736297414872 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21311/statm: 118787 108732 105 248 0 118536 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 643324
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/183 21379
/proc/meminfo: memFree=29347568/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=481212 CPUtime=1653.06 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 110616 0 0 0 165174 132 0 0 20 0 1 0 280789245 492761088 115691 33554432000 4194304 5208918 140736297417024 140736297413336 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21311/statm: 120303 115691 105 248 0 120052 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 649388
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 21379
/proc/meminfo: memFree=29365552/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=482884 CPUtime=1713.05 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 111494 0 0 0 171170 135 0 0 20 0 1 0 280789245 494473216 113783 33554432000 4194304 5208918 140736297417024 140736297414776 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21311/statm: 120721 113783 105 248 0 120470 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 651060
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 21379
/proc/meminfo: memFree=29342840/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=570040 CPUtime=1773.02 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 114500 0 0 0 177161 141 0 0 20 0 1 0 280789245 583720960 120137 33554432000 4194304 5208918 140736297417024 140736297414872 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21311/statm: 142510 120137 105 248 0 142259 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 738216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 21379
/proc/meminfo: memFree=29354128/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=489980 CPUtime=1791.23 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 114920 0 0 0 178979 144 0 0 20 0 1 0 280789245 501739520 115709 33554432000 4194304 5208918 140736297417024 140736297414872 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21311/statm: 122495 115709 105 248 0 122244 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 658156
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 21379
/proc/meminfo: memFree=29354128/32873844 swapFree=7108/7108
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21297/stat : 21297 (npSolver-pbo.sh) S 21295 21297 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280788352 9367552 274 33554432000 4194304 5064252 140733668805440 140733668804352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21297/statm: 2287 274 233 213 0 72 0
[pid=21298] ppid=21297 vsize=149880 CPUtime=8.82 cores=1,3,5,7
/proc/21298/stat : 21298 (npSolver-pbo) S 21297 21297 18976 0 -1 4202496 12528 36681 0 0 590 77 193 22 20 0 1 0 280788352 153477120 34904 33554432000 4194304 5992684 140733848363376 140733848355696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/21298/statm: 37470 34904 181 440 0 37026 0
[pid=21310] ppid=21298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21310/stat : 21310 (satsolver.sh) S 21298 21297 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280789245 9367552 266 33554432000 4194304 5064252 140735201918496 140735201917408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21310/statm: 2287 266 226 213 0 72 0
[pid=21311] ppid=21310 vsize=489980 CPUtime=1791.23 cores=1,3,5,7
/proc/21311/stat : 21311 (glucose) R 21310 21297 18976 0 -1 4202496 114920 0 0 0 178979 144 0 0 20 0 1 0 280789245 501739520 115709 33554432000 4194304 5208918 140736297417024 140736297414872 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21311/statm: 122495 115709 105 248 0 122244 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 658156
Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1797.63
CPU system time (s): 2.45363
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 868444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.63
system time used= 2.45363
maximum resident set size= 578944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165117
page faults= 0
swaps= 0
block input operations= 0
block output operations= 218392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 324
involuntary context switches= 2015
runsolver used 3.67344 second user time and 9.31258 second system time
The end