Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-smodels 1.28 | ? (TO) | 1800.44 | 1780.26 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb |
MD5SUM | 3764cf8f4e2d3654f46ab0ec56ea8581 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1574.92 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 168111 |
Total number of constraints | 487525 |
Number of constraints which are clauses | 468727 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 18798 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Running pbsmodels-v1.28 1780.25 s UNKNOWN 1780.25 c Somebody sent me a SIGTERM 1780.26 pbsmodels.trans: no process killed
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node4/watcher-33712-1154019197 -o ROOT/results/node4/solver-33712-1154019197 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node4/33712-1154019197/instance-33712-1154019197.opb 192290518 ROOT/tmp/node4/33712-1154019197 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 1.21 2/64 13317 /proc/meminfo: memFree=976000/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5356 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) R 13315 13317 13268 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 148781294 5484544 230 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259912821235 0 0 4100 65536 0 0 0 17 1 0 0 /proc/13317/statm: 1340 231 193 169 0 51 0 [startup+10.0035 s] /proc/loadavg: 1.09 1.02 1.21 2/69 13322 /proc/meminfo: memFree=945176/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=0 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13320] ppid=13319 vsize=12400 CPUtime=9.98 /proc/13320/stat : 13320 (pbsmodels.trans) R 13319 13317 13268 0 -1 4194304 514 0 0 0 997 1 0 0 25 0 1 0 148781296 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922112466 0 0 4224 0 0 0 0 17 1 0 0 /proc/13320/statm: 3100 472 340 3 0 200 0 [pid=13321] ppid=13319 vsize=30152 CPUtime=5.25 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 7249 0 7 0 521 4 0 0 16 0 1 0 148781296 30875648 7187 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 11005697 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 7538 7187 206 20 0 6975 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 418 0 0 0 0 0 0 0 20 0 1 0 148781296 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 15.23 Current children cumulated vsize (Kb) 65536 [startup+20.0143 s] /proc/loadavg: 1.15 1.03 1.22 3/69 13322 /proc/meminfo: memFree=915224/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=0 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13320] ppid=13319 vsize=12400 CPUtime=19.98 /proc/13320/stat : 13320 (pbsmodels.trans) R 13319 13317 13268 0 -1 4194304 515 0 0 0 1996 2 0 0 25 0 1 0 148781296 12697600 473 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259912913229 0 0 4224 0 0 0 0 17 1 0 0 /proc/13320/statm: 3100 473 340 3 0 200 0 [pid=13321] ppid=13319 vsize=60108 CPUtime=11.46 /proc/13321/stat : 13321 (smodels) S 13319 13317 13268 0 -1 4194304 14788 0 7 0 1138 8 0 0 16 0 1 0 148781296 61550592 14661 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/13321/statm: 15027 14661 206 20 0 14464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 418 0 0 0 0 0 0 0 20 0 1 0 148781296 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 31.44 Current children cumulated vsize (Kb) 95492 [startup+30.021 s] /proc/loadavg: 1.21 1.05 1.22 2/69 13322 /proc/meminfo: memFree=885656/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=0 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13320] ppid=13319 vsize=12400 CPUtime=29.97 /proc/13320/stat : 13320 (pbsmodels.trans) R 13319 13317 13268 0 -1 4194304 515 0 0 0 2994 3 0 0 25 0 1 0 148781296 12697600 473 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259927255228 0 0 4224 0 0 0 0 17 1 0 0 /proc/13320/statm: 3100 473 340 3 0 200 0 [pid=13321] ppid=13319 vsize=89792 CPUtime=17.74 /proc/13321/stat : 13321 (smodels) S 13319 13317 13268 0 -1 4194304 22326 0 7 0 1761 13 0 0 16 0 1 0 148781296 91947008 22070 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/13321/statm: 22448 22070 206 20 0 21885 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 418 0 0 0 0 0 0 0 20 0 1 0 148781296 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 47.71 Current children cumulated vsize (Kb) 125176 [startup+40.0278 s] /proc/loadavg: 1.25 1.06 1.22 2/68 13322 /proc/meminfo: memFree=842208/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=27 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33333 0 7 0 2681 19 0 0 25 0 1 0 148781296 139374592 33076 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134518291 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33076 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 60.86 Current children cumulated vsize (Kb) 171360 [startup+50.0346 s] /proc/loadavg: 1.21 1.06 1.22 2/68 13322 /proc/meminfo: memFree=841248/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=37 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33579 0 7 0 3681 19 0 0 25 0 1 0 148781296 139374592 33322 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550944 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33322 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 70.86 Current children cumulated vsize (Kb) 171360 [startup+60.0403 s] /proc/loadavg: 1.18 1.06 1.21 2/68 13322 /proc/meminfo: memFree=841248/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=47.01 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33579 0 7 0 4682 19 0 0 25 0 1 0 148781296 139374592 33322 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549883 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33322 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 80.87 Current children cumulated vsize (Kb) 171360 [startup+70.0461 s] /proc/loadavg: 1.15 1.05 1.21 2/68 13322 /proc/meminfo: memFree=841120/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=57.01 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33608 0 7 0 5682 19 0 0 25 0 1 0 148781296 139374592 33351 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33351 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 90.87 Current children cumulated vsize (Kb) 171360 [startup+80.0518 s] /proc/loadavg: 1.13 1.05 1.21 2/68 13322 /proc/meminfo: memFree=841120/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=67.01 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33608 0 7 0 6682 19 0 0 25 0 1 0 148781296 139374592 33351 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550238 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33351 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 100.87 Current children cumulated vsize (Kb) 171360 [startup+90.0576 s] /proc/loadavg: 1.11 1.05 1.21 2/68 13322 /proc/meminfo: memFree=841120/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33644 0 7 0 175923 31 0 0 25 0 1 0 148781296 139374592 33387 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550795 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33387 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 171360 [startup+1774.2 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13520 /proc/meminfo: memFree=840672/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=1760.54 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33644 0 7 0 176023 31 0 0 25 0 1 0 148781296 139374592 33387 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33387 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 171360 [startup+1775.21 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13520 /proc/meminfo: memFree=840672/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=1761.55 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33644 0 7 0 176124 31 0 0 25 0 1 0 148781296 139374592 33387 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33387 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 171360 [startup+1776.21 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13520 /proc/meminfo: memFree=840672/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=1762.55 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33644 0 7 0 176224 31 0 0 25 0 1 0 148781296 139374592 33387 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550959 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33387 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 171360 [startup+1777.22 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13520 /proc/meminfo: memFree=840672/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=1763.56 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33644 0 7 0 176325 31 0 0 25 0 1 0 148781296 139374592 33387 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548930 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33387 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (Kb) 171360 [startup+1778.22 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13520 /proc/meminfo: memFree=840672/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=1764.56 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33644 0 7 0 176425 31 0 0 25 0 1 0 148781296 139374592 33387 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549876 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33387 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1798.42 Current children cumulated vsize (Kb) 171360 [startup+1779.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13520 /proc/meminfo: memFree=840672/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=1765.57 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33644 0 7 0 176526 31 0 0 25 0 1 0 148781296 139374592 33387 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33387 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 171360 [startup+1780.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13520 /proc/meminfo: memFree=840672/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=1766.58 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33644 0 7 0 176627 31 0 0 25 0 1 0 148781296 139374592 33387 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531169 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33387 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (Kb) 171360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1780.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13520 /proc/meminfo: memFree=840672/2055920 swapFree=4183140/4192956 [pid=13317] ppid=13315 vsize=5360 CPUtime=0 /proc/13317/stat : 13317 (runpbsmodels) S 13315 13317 13268 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 148781294 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13317/statm: 1340 234 195 169 0 51 0 [pid=13318] ppid=13317 vsize=12268 CPUtime=0 /proc/13318/stat : 13318 (pbsmodels-v1.28) S 13317 13317 13268 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 148781295 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13318/statm: 3067 383 293 3 0 167 0 [pid=13319] ppid=13318 vsize=5356 CPUtime=33.86 /proc/13319/stat : 13319 (sh) S 13318 13317 13268 0 -1 4194304 311 518 0 0 0 0 3382 4 16 0 1 0 148781296 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13319/statm: 1339 227 188 169 0 50 0 [pid=13321] ppid=13319 vsize=136108 CPUtime=1766.58 /proc/13321/stat : 13321 (smodels) R 13319 13317 13268 0 -1 4194304 33644 0 7 0 176627 31 0 0 25 0 1 0 148781296 139374592 33387 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531495 0 0 4096 0 0 0 0 17 1 0 0 /proc/13321/statm: 34027 33387 210 20 0 33464 0 [pid=13322] ppid=13319 vsize=12268 CPUtime=0 /proc/13322/stat : 13322 (pbout.pl) S 13319 13317 13268 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 148781296 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/13322/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (Kb) 171360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) !!! problem with CPU time !!! wait4(...,&childrusage) returns 13317 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0 CPU time returned by wait4() is 0.001999 while last known CPU time is 1800.44 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1780.26 CPU time (s): 1800.44 CPU user time (s): 1800.09 CPU system time (s): 0.35 CPU usage (%): 101.133 Max. virtual memory (cumulated for all children) (Kb): 171360 The end
Begin job on node4 on Thu Jul 27 16:53:18 UTC 2006 FILE ID= 33712-1154019197 PBS_JOBID= 880528 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node4/33712-1154019197/instance-33712-1154019197.opb 192290518 ROOT/tmp/node4/33712-1154019197 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-33712-1154019197 -o ROOT/results/node4/solver-33712-1154019197 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node4/33712-1154019197/instance-33712-1154019197.opb 192290518 ROOT/tmp/node4/33712-1154019197 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= 3764cf8f4e2d3654f46ab0ec56ea8581 RANDOM SEED= 192290518 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 976592 kB Buffers: 47204 kB Cached: 948864 kB SwapCached: 3804 kB Active: 436888 kB Inactive: 567920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 976592 kB SwapTotal: 4192956 kB SwapFree: 4183140 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14824 kB Slab: 60512 kB Committed_AS: 578248 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Thu Jul 27 17:22:59 UTC 2006