Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | ? (TO) | 1800.6 | 1801.19 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb |
MD5SUM | f510e821cdc50f097865b59193d7ef06 |
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 | 315.989 |
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 | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
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 | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 677 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node78/41041-1149224286/instance-41041-1149224286.opb ......
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node78/watcher-41041-1149224286 -o ROOT/results/node78/solver-41041-1149224286 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node78/41041-1149224286/instance-41041-1149224286.opb 496684476 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.91 4/67 1849 /proc/meminfo: memFree=1395448/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=1400 CPUtime=0 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 148 0 0 0 0 0 0 0 19 0 1 0 187457410 1433600 132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135098081 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 350 132 100 232 0 115 0 [startup+10.0023 s] /proc/loadavg: 1.14 1.03 0.93 2/67 1849 /proc/meminfo: memFree=1383232/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=13892 CPUtime=9.99 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 3509 0 0 0 992 7 0 0 25 0 1 0 187457410 14225408 3146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 3473 3146 105 232 0 3238 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13892 [startup+20.0074 s] /proc/loadavg: 1.12 1.03 0.93 2/67 1849 /proc/meminfo: memFree=1376384/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=25220 CPUtime=19.99 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 5619 0 0 0 1988 11 0 0 25 0 1 0 187457410 25825280 4871 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 6305 4871 105 232 0 6070 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 25220 [startup+30.0125 s] /proc/loadavg: 1.10 1.03 0.93 2/67 1849 /proc/meminfo: memFree=1371136/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=26660 CPUtime=29.99 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 6947 0 0 0 2985 14 0 0 25 0 1 0 187457410 27299840 6199 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550687 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 6665 6199 105 232 0 6430 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 26660 [startup+40.0186 s] /proc/loadavg: 1.08 1.03 0.93 2/67 1849 /proc/meminfo: memFree=1366976/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=44192 CPUtime=40 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 7973 0 0 0 3983 17 0 0 25 0 1 0 187457410 45252608 7225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 11048 7225 105 232 0 10813 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 44192 [startup+50.0246 s] /proc/loadavg: 1.07 1.03 0.93 2/67 1849 /proc/meminfo: memFree=1363200/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=48216 CPUtime=50.01 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 9687 0 0 0 4980 21 0 0 25 0 1 0 187457410 49373184 8170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 12054 8170 105 232 0 11819 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 48216 [startup+60.0307 s] /proc/loadavg: 1.06 1.03 0.93 2/67 1849 /proc/meminfo: memFree=1359232/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=49448 CPUtime=60.01 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 10694 0 0 0 5978 23 0 0 25 0 1 0 187457410 50634752 9177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 12362 9177 105 232 0 12127 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 49448 [startup+70.0368 s] /proc/loadavg: 1.05 1.02 0.93 2/67 1849 /proc/meminfo: memFree=1355712/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=50372 CPUtime=70.01 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 11570 0 0 0 6975 26 0 0 25 0 1 0 187457410 51580928 10053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 12593 10053 105 232 0 12358 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 50372 [startup+80.0419 s] /proc/loadavg: 1.04 1.02 0.93 2/67 1849 /proc/meminfo: memFree=1352512/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=51516 CPUtime=80.01 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 12362 0 0 0 7973 28 0 0 25 0 1 0 187457410 52752384 10845 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 12879 10845 105 232 0 12644 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 51516 [startup+90.047 s] /proc/loadavg: 1.04 1.02 0.93 2/67 1849 /proc/meminfo: memFree=1349312/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=52280 CPUtime=90.01 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 13157 0 0 0 8971 30 0 0 25 0 1 0 187457410 53534720 11640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 13070 11640 105 232 0 12835 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 52280 [startup+100.053 s] /proc/loadavg: 1.03 1.02 0.93 2/67 1849 /proc/meminfo: memFree=1347008/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=52980 CPUtime=100.01 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 13732 0 0 0 9969 32 0 0 25 0 1 0 187457410 54251520 12215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 13245 12215 105 232 0 13010 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 52980 [startup+110.059 s] /proc/loadavg: 1.02 1.02 0.93 2/67 1849 /proc/meminfo: memFree=1344512/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=86336 CPUtime=110.02 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 14355 0 0 0 10968 34 0 0 25 0 1 0 187457410 88408064 12838 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 21584 12838 105 232 0 21349 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 86336 [startup+120.065 s] /proc/loadavg: 1.02 1.02 0.93 2/67 1849 /proc/meminfo: memFree=1342016/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=86792 CPUtime=120.02 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 14982 0 0 0 11967 35 0 0 25 0 1 0 187457410 88875008 13465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 21698 13465 105 232 0 21463 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 86792 [startup+130.071 s] /proc/loadavg: 1.02 1.02 0.93 2/67 1849 /proc/meminfo: memFree=1339328/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=87440 CPUtime=130.03 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 15693 0 0 0 12966 37 0 0 25 0 1 0 187457410 89538560 14143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 21860 14143 105 232 0 21625 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 87440 [startup+140.076 s] /proc/loadavg: 1.01 1.02 0.93 2/67 1849 /proc/meminfo: memFree=1338560/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=87916 CPUtime=140.03 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 15927 0 0 0 13964 39 0 0 25 0 1 0 187457410 90025984 14344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 21979 14344 105 232 0 21744 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 87916 [startup+150.083 s] /proc/loadavg: 1.01 1.02 0.93 2/67 1849 /proc/meminfo: memFree=1336192/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=88844 CPUtime=150.03 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 16539 0 0 0 14962 41 0 0 25 0 1 0 187457410 90976256 14923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552329 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 22211 14923 105 232 0 21976 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 88844 [startup+160.089 s] /proc/loadavg: 1.01 1.02 0.93 2/67 1849 /proc/meminfo: memFree=1333824/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=89168 CPUtime=160.03 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 17167 0 0 0 15961 42 0 0 25 0 1 0 187457410 91308032 15518 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611781 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 22292 15518 105 232 0 22057 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 89168 [startup+170.095 s] /proc/loadavg: 1.01 1.01 0.93 2/67 1849 /proc/meminfo: memFree=1331840/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=95984 CPUtime=170.04 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 19195 0 0 0 16959 45 0 0 25 0 1 0 187457410 98287616 16009 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 23996 16009 105 232 0 23761 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 95984 [startup+180.101 s] /proc/loadavg: 1.01 1.01 0.93 2/73 1914 /proc/meminfo: memFree=1328528/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=96920 CPUtime=180.01 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 19770 0 0 0 17954 47 0 0 25 0 1 0 187457410 99246080 16518 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 24230 16518 105 232 0 23995 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 96920 [startup+190.108 s] /proc/loadavg: 1.00 1.01 0.93 2/67 2051 /proc/meminfo: memFree=1327552/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=97444 CPUtime=189.98 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 20256 0 0 0 18949 49 0 0 25 0 1 0 187457410 99782656 17004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 24361 17004 105 232 0 24126 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 97444 [startup+200.114 s] /proc/loadavg: 1.00 1.01 0.93 2/67 2051 /proc/meminfo: memFree=1325440/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=98356 CPUtime=199.97 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 20868 0 0 0 19947 50 0 0 25 0 1 0 187457410 100716544 17550 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552307 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 24589 17550 105 232 0 24354 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 98356 [startup+210.12 s] /proc/loadavg: 1.00 1.01 0.93 2/67 2051 /proc/meminfo: memFree=1323072/2055892 swapFree=4085732/4096564 ################ # More data... # ################ /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54361 0 0 0 177939 208 0 0 25 0 1 0 187457410 221786112 44114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44114 105 232 0 53912 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 216588 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1219008/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1782.48 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54364 0 0 0 178040 208 0 0 25 0 1 0 187457410 221786112 44117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44117 105 232 0 53912 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 216588 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1219008/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1783.48 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54364 0 0 0 178140 208 0 0 25 0 1 0 187457410 221786112 44117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44117 105 232 0 53912 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 216588 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218944/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1784.49 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54367 0 0 0 178241 208 0 0 25 0 1 0 187457410 221786112 44120 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44120 105 232 0 53912 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 216588 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218944/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1785.49 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54368 0 0 0 178341 208 0 0 25 0 1 0 187457410 221786112 44121 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44121 105 232 0 53912 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 216588 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218944/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1786.49 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54377 0 0 0 178441 208 0 0 25 0 1 0 187457410 221786112 44130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558878 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44130 105 232 0 53912 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 216588 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218880/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1787.5 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54387 0 0 0 178542 208 0 0 25 0 1 0 187457410 221786112 44140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44140 105 232 0 53912 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 216588 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218880/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1788.5 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54393 0 0 0 178642 208 0 0 25 0 1 0 187457410 221786112 44146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44146 105 232 0 53912 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 216588 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1789.51 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54395 0 0 0 178743 208 0 0 25 0 1 0 187457410 221786112 44148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44148 105 232 0 53912 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 216588 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1790.51 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54397 0 0 0 178843 208 0 0 25 0 1 0 187457410 221786112 44150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44150 105 232 0 53912 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 216588 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1791.51 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54399 0 0 0 178943 208 0 0 25 0 1 0 187457410 221786112 44152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44152 105 232 0 53912 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 216588 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1792.52 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54400 0 0 0 179044 208 0 0 25 0 1 0 187457410 221786112 44153 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44153 105 232 0 53912 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 216588 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1793.52 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54402 0 0 0 179144 208 0 0 25 0 1 0 187457410 221786112 44155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44155 105 232 0 53912 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 216588 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218816/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216588 CPUtime=1794.53 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54403 0 0 0 179245 208 0 0 25 0 1 0 187457410 221786112 44156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611554 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54147 44156 105 232 0 53912 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 216588 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218752/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216720 CPUtime=1795.53 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54422 0 0 0 179345 208 0 0 25 0 1 0 187457410 221921280 44175 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54180 44175 105 232 0 53945 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 216720 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218688/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216720 CPUtime=1796.54 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54426 0 0 0 179446 208 0 0 25 0 1 0 187457410 221921280 44179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54180 44179 105 232 0 53945 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 216720 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218688/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216720 CPUtime=1797.55 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54428 0 0 0 179546 209 0 0 25 0 1 0 187457410 221921280 44181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54180 44181 105 232 0 53945 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 216720 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218688/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216720 CPUtime=1798.55 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54436 0 0 0 179646 209 0 0 25 0 1 0 187457410 221921280 44189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54180 44189 105 232 0 53945 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 216720 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218624/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216720 CPUtime=1799.56 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54445 0 0 0 179747 209 0 0 25 0 1 0 187457410 221921280 44198 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54180 44198 105 232 0 53945 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 216720 [startup+1801.15 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218624/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216720 CPUtime=1800.56 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54447 0 0 0 179847 209 0 0 25 0 1 0 187457410 221921280 44200 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54180 44200 105 232 0 53945 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 216720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 0.93 2/67 2053 /proc/meminfo: memFree=1218624/2055892 swapFree=4085732/4096564 [pid=1849] ppid=1847 vsize=216720 CPUtime=1800.56 /proc/1849/stat : 1849 (PBS4L) R 1847 1849 1802 0 -1 4194304 54447 0 0 0 179847 209 0 0 25 0 1 0 187457410 221921280 44200 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/1849/statm: 54180 44200 105 232 0 53945 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 216720 Sending SIGTERM to -1849 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.6 CPU user time (s): 1798.48 CPU system time (s): 2.11868 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (Kb): 216720 The end
Begin job on node78 on Fri Jun 2 04:58:06 UTC 2006 FILE ID= 41041-1149224286 PBS_JOBID= 295693 BENCH NAME= ROOT/tmp/node78/41041-1149224286/instance-41041-1149224286.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node78/41041-1149224286/instance-41041-1149224286.opb 496684476 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node78/watcher-41041-1149224286 -o ROOT/results/node78/solver-41041-1149224286 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node78/41041-1149224286/instance-41041-1149224286.opb 496684476 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= f510e821cdc50f097865b59193d7ef06 RANDOM SEED= 496684476 /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.225 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 : 6006.17 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.225 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1395656 kB Buffers: 38560 kB Cached: 547656 kB SwapCached: 2596 kB Active: 120112 kB Inactive: 474916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1395656 kB SwapTotal: 4096564 kB SwapFree: 4085732 kB Dirty: 172 kB Writeback: 0 kB Mapped: 15124 kB Slab: 51700 kB Committed_AS: 212216 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node78 on Fri Jun 2 05:28:08 UTC 2006