0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.04 c 0 BEGIN Sat Jul 5 18:48:59 2008
0.00/0.04 c 0 PID 1299
0.03/0.05 c 0 HOST node50.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1092645-1215276539.xml TO HOME/temp.csp
0.03/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1092645-1215276539.xml' 'HOME/temp.csp'
0.03/0.69 c 1 400 domains, 400 variables, 2 predicates, 0 relations, 4180 constraints
0.03/0.73 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.73 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.67/0.81 c 1 Parsing HOME/temp.csp
1.11/1.27 c 2 parsed 4982 expressions
1.11/1.28 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.11/1.28 c 2 Converting to clausal form CSP
1.22/1.31 c 2 converted 499 (10%) expressions
1.22/1.38 c 2 converted 997 (20%) expressions
1.31/1.49 c 2 converted 1495 (30%) expressions
1.42/1.52 c 2 converted 1993 (40%) expressions
1.42/1.54 c 2 converted 2491 (50%) expressions
1.42/1.55 c 2 converted 2990 (60%) expressions
1.42/1.57 c 2 converted 3488 (70%) expressions
1.42/1.59 c 2 converted 3986 (80%) expressions
1.50/1.60 c 2 converted 4484 (90%) expressions
1.50/1.65 c 2 converted 4982 (100%) expressions
1.50/1.65 c 2 CSP : 400 integers, 0 booleans, 4180 clauses, largest domain size 1763
1.50/1.66 c 2 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.50/1.66 c 2 Propagation in CSP
1.81/1.92 c 2 391267 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.81/1.92 c 2 CSP : 400 integers, 0 booleans, 4180 clauses, largest domain size 967
1.81/1.92 c 2 Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.81/1.93 c 2 Simplifing CSP by introducing new Boolean variables
1.90/2.02 c 2 CSP : 400 integers, 7600 booleans, 11780 clauses, largest domain size 967
1.90/2.02 c 2 Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.90/2.07 c 2 Encoding CSP to SAT : HOME/temp.cnf
2.01/2.14 c 3 40 (10%) CSP integer variables are encoded (33180 clauses, 475582 bytes)
2.01/2.18 c 3 80 (20%) CSP integer variables are encoded (64540 clauses, 945982 bytes)
2.10/2.21 c 3 120 (30%) CSP integer variables are encoded (90820 clauses, 1340182 bytes)
2.10/2.25 c 3 160 (40%) CSP integer variables are encoded (124260 clauses, 1890565 bytes)
2.10/2.29 c 3 200 (50%) CSP integer variables are encoded (152580 clauses, 2372005 bytes)
2.20/2.33 c 3 240 (60%) CSP integer variables are encoded (182080 clauses, 2873505 bytes)
2.20/2.37 c 3 280 (70%) CSP integer variables are encoded (212860 clauses, 3396765 bytes)
2.30/2.40 c 3 320 (80%) CSP integer variables are encoded (236100 clauses, 3791845 bytes)
2.30/2.44 c 3 360 (90%) CSP integer variables are encoded (262920 clauses, 4247785 bytes)
2.30/2.47 c 3 400 (100%) CSP integer variables are encoded (292940 clauses, 4758125 bytes)
3.09/3.22 c 4 1178 (10%) CSP clauses are encoded (648038 clauses, 12770981 bytes)
3.78/3.90 c 4 2356 (20%) CSP clauses are encoded (989170 clauses, 20719194 bytes)
4.28/4.48 c 5 3534 (30%) CSP clauses are encoded (1274177 clauses, 27364313 bytes)
4.97/5.16 c 6 4712 (40%) CSP clauses are encoded (1621314 clauses, 35464255 bytes)
5.56/5.77 c 6 5890 (50%) CSP clauses are encoded (1919124 clauses, 42424575 bytes)
6.24/6.49 c 7 7068 (60%) CSP clauses are encoded (2272849 clauses, 50895272 bytes)
6.93/7.15 c 8 8246 (70%) CSP clauses are encoded (2603036 clauses, 58945669 bytes)
7.53/7.71 c 8 9424 (80%) CSP clauses are encoded (2879463 clauses, 65645065 bytes)
8.11/8.34 c 9 10602 (90%) CSP clauses are encoded (3198340 clauses, 73295452 bytes)
8.71/8.93 c 9 11780 (100%) CSP clauses are encoded (3507380 clauses, 80353753 bytes)
8.71/8.93 c 9 11780 CSP clauses encoded
8.71/8.93 c 9 Writing map file : HOME/temp.map
8.71/8.94 c 9 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.71/8.94 c 9 SAT : 300940 SAT variables, 3507380 SAT clauses, 80353753 bytes
8.71/8.94 c 9 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.71/8.97 c 9 SOLVING HOME/temp.cnf
8.71/8.97 c 9 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
49.09/49.76 c 50 DECODING HOME/temp.out WITH HOME/temp.map
49.09/49.76 c 50 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
49.16/49.85 c 50 Decoding HOME/temp.out
49.16/50.42 s SATISFIABLE
49.16/50.44 v 410 457 518 529 542 637 670 753 813 870 957 1191 1284 1353 1419 1426 1534 1602 1712 1759 83 190 218 236 309 428 522 546 615 643 669 1042 1303 1417 1426 1491 1512 1576 1639 1686 83 202 324 370 466 552 605 683 835 849 1171 1265 1291 1399 1445 1543 1614 1708 1736 1761 180 339 404 530 605 615 740 935 1002 1071 1087 1167 1323 1370 1374 1508 1551 1560 1613 1648 0 33 368 385 473 525 596 610 717 761 923 960 1045 1097 1191 1349 1433 1510 1524 1641 0 177 220 309 392 672 761 788 941 1041 1114 1136 1172 1273 1391 1469 1470 1616 1684 1710 0 310 402 471 525 585 687 703 764 805 862 983 986 1093 1112 1167 1222 1313 1375 1435 0 103 243 289 329 383 433 508 603 614 660 816 902 909 1109 1181 1196 1267 1308 1600 53 153 393 527 568 621 705 760 818 860 935 990 1047 1112 1135 1173 1190 1289 1532 1573 0 83 146 457 521 612 687 748 783 878 907 975 1262 1370 1421 1478 1512 1564 1690 1730 4 78 165 220 476 671 714 769 784 995 1023 1104 1191 1266 1343 1392 1444 1565 1590 1708 0 40 69 96 215 291 352 419 428 438 446 636 765 863 925 1020 1058 1402 1571 1754 180 252 352 451 492 612 710 756 872 961 972 1008 1075 1200 1283 1351 1409 1431 1448 1511 0 67 171 203 254 285 350 368 371 434 462 694 780 1225 1235 1278 1478 1518 1637 1730 16 88 141 166 168 304 381 714 824 863 908 991 1111 1267 1359 1422 1466 1524 1588 1675 0 62 97 143 204 279 497 600 628 717 809 904 1171 1231 1377 1435 1524 1604 1622 1697 2 53 69 129 167 210 363 366 541 877 975 1067 1133 1221 1355 1440 1510 1541 1658 1706 10 40 68 144 153 183 271 361 433 476 516 556 724 976 1031 1176 1468 1615 1706 1760 60 103 130 176 292 392 402 465 513 527 622 684 750 831 877 939 944 1126 1602 1612 0 96 131 170 267 594 737 835 1179 1230 1261 1351 1392 1427 1471 1506 1543 1566 1645 1703
49.16/50.44 c 51 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
49.16/50.46 c 51 CPU 32.6 (0.03 0.01 32.57 17.22)
49.16/50.46 c 51 END Sat Jul 5 18:49:50 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092645-1215276539/watcher-1092645-1215276539 -o /tmp/evaluation-result-1092645-1215276539/solver-1092645-1215276539 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1092645-1215276539.xml
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 4/82 1299
/proc/meminfo: memFree=1392184/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=12268 CPUtime=0
/proc/1299/stat : 1299 (sugar) R 1297 1299 429 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 2006625911 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 240577641061 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/1299/statm: 3067 316 241 3 0 167 0
[startup+0.0496579 s]
/proc/loadavg: 2.06 2.02 2.00 4/82 1299
/proc/meminfo: memFree=1392184/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=0.03
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 837 0 0 0 3 0 0 0 18 0 1 0 2006625911 13926400 792 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101616 s]
/proc/loadavg: 2.06 2.02 2.00 4/82 1299
/proc/meminfo: memFree=1392184/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=0.03
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2006625911 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301652 s]
/proc/loadavg: 2.06 2.02 2.00 4/82 1299
/proc/meminfo: memFree=1392184/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=0.03
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2006625911 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701714 s]
/proc/loadavg: 2.06 2.02 2.00 4/82 1299
/proc/meminfo: memFree=1392184/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=0.03
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 918 127 0 0 3 0 0 0 15 0 1 0 2006625911 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50285 s]
/proc/loadavg: 2.06 2.02 2.00 4/93 1323
/proc/meminfo: memFree=1384544/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=0.67
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 974 7183 0 1 3 1 59 4 15 0 1 0 2006625911 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 797 370 3 0 500 0
[pid=1314] ppid=1299 vsize=5356 CPUtime=0
/proc/1314/stat : 1314 (sh) S 1299 1299 429 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2006625984 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1314/statm: 1339 233 193 169 0 50 0
[pid=1315] ppid=1314 vsize=868372 CPUtime=0.75
/proc/1315/stat : 1315 (java) S 1314 1299 429 0 -1 0 5460 0 1 0 72 3 0 0 18 0 9 0 2006625985 889212928 4876 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1315/statm: 217093 4876 1733 9 0 211668 0
[pid=1315/tid=1316] ppid=1314 vsize=868372 CPUtime=0.52
/proc/1315/task/1316/stat : 1316 (java) R 1314 1299 429 0 -1 64 2656 0 1 0 51 1 0 0 18 0 9 0 2006625985 889212928 4876 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1317] ppid=1314 vsize=868372 CPUtime=0.03
/proc/1315/task/1317/stat : 1317 (java) S 1314 1299 429 0 -1 64 680 0 0 0 3 0 0 0 16 0 9 0 2006625986 889212928 4876 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1318] ppid=1314 vsize=868372 CPUtime=0
/proc/1315/task/1318/stat : 1318 (java) S 1314 1299 429 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2006625987 889212928 4876 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1319] ppid=1314 vsize=868372 CPUtime=0
/proc/1315/task/1319/stat : 1319 (java) S 1314 1299 429 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2006625987 889212928 4876 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1320] ppid=1314 vsize=868372 CPUtime=0
/proc/1315/task/1320/stat : 1320 (java) S 1314 1299 429 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2006625989 889212928 4876 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1321] ppid=1314 vsize=868372 CPUtime=0.17
/proc/1315/task/1321/stat : 1321 (java) R 1314 1299 429 0 -1 64 1432 0 0 0 16 1 0 0 16 0 9 0 2006625989 889212928 4876 996147200 134512640 134550740 4294955952 18446744073709551615 101464239 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1322] ppid=1314 vsize=868372 CPUtime=0
/proc/1315/task/1322/stat : 1322 (java) S 1314 1299 429 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2006625989 889212928 4876 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1323] ppid=1314 vsize=868372 CPUtime=0
/proc/1315/task/1323/stat : 1323 (java) S 1314 1299 429 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006625989 889212928 4876 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 887328
[startup+3.10212 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 1323
/proc/meminfo: memFree=1370976/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=0.67
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 974 7183 0 1 3 1 59 4 15 0 1 0 2006625911 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 797 370 3 0 500 0
[pid=1314] ppid=1299 vsize=5356 CPUtime=0
/proc/1314/stat : 1314 (sh) S 1299 1299 429 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2006625984 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1314/statm: 1339 233 193 169 0 50 0
[pid=1315] ppid=1314 vsize=868484 CPUtime=2.32
/proc/1315/stat : 1315 (java) S 1314 1299 429 0 -1 0 8296 0 1 0 217 15 0 0 18 0 9 0 2006625985 889327616 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1315/statm: 217121 7187 2564 9 0 211668 0
[pid=1315/tid=1316] ppid=1314 vsize=868484 CPUtime=1.77
/proc/1315/task/1316/stat : 1316 (java) R 1314 1299 429 0 -1 64 3054 0 1 0 167 10 0 0 25 0 9 0 2006625985 889327616 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4126843624 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1317] ppid=1314 vsize=868484 CPUtime=0.29
/proc/1315/task/1317/stat : 1317 (java) S 1314 1299 429 0 -1 64 3076 0 0 0 27 2 0 0 16 0 9 0 2006625986 889327616 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1318] ppid=1314 vsize=868484 CPUtime=0
/proc/1315/task/1318/stat : 1318 (java) S 1314 1299 429 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2006625987 889327616 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1319] ppid=1314 vsize=868484 CPUtime=0
/proc/1315/task/1319/stat : 1319 (java) S 1314 1299 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006625987 889327616 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1320] ppid=1314 vsize=868484 CPUtime=0
/proc/1315/task/1320/stat : 1320 (java) S 1314 1299 429 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2006625989 889327616 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1321] ppid=1314 vsize=868484 CPUtime=0.23
/proc/1315/task/1321/stat : 1321 (java) S 1314 1299 429 0 -1 64 1473 0 0 0 22 1 0 0 16 0 9 0 2006625989 889327616 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1322] ppid=1314 vsize=868484 CPUtime=0
/proc/1315/task/1322/stat : 1322 (java) S 1314 1299 429 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2006625989 889327616 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1323] ppid=1314 vsize=868484 CPUtime=0
/proc/1315/task/1323/stat : 1323 (java) S 1314 1299 429 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006625989 889327616 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 887440
[startup+6.30266 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 1323
/proc/meminfo: memFree=1332640/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=0.67
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 974 7183 0 1 3 1 59 4 15 0 1 0 2006625911 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 797 370 3 0 500 0
[pid=1314] ppid=1299 vsize=5356 CPUtime=0
/proc/1314/stat : 1314 (sh) S 1299 1299 429 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2006625984 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1314/statm: 1339 233 193 169 0 50 0
[pid=1315] ppid=1314 vsize=868484 CPUtime=5.49
/proc/1315/stat : 1315 (java) S 1314 1299 429 0 -1 0 9218 0 1 0 508 41 0 0 18 0 9 0 2006625985 889327616 7196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1315/statm: 217121 7196 2565 9 0 211668 0
[pid=1315/tid=1316] ppid=1314 vsize=868484 CPUtime=4.7
/proc/1315/task/1316/stat : 1316 (java) R 1314 1299 429 0 -1 64 3967 0 1 0 438 32 0 0 25 0 9 0 2006625985 889327616 7196 996147200 134512640 134550740 4294955952 18446744073709551615 4126957419 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1317] ppid=1314 vsize=868484 CPUtime=0.52
/proc/1315/task/1317/stat : 1317 (java) S 1314 1299 429 0 -1 64 3076 0 0 0 45 7 0 0 16 0 9 0 2006625986 889327616 7196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1318] ppid=1314 vsize=868484 CPUtime=0
/proc/1315/task/1318/stat : 1318 (java) S 1314 1299 429 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2006625987 889327616 7196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1319] ppid=1314 vsize=868484 CPUtime=0
/proc/1315/task/1319/stat : 1319 (java) S 1314 1299 429 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006625987 889327616 7196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1320] ppid=1314 vsize=868484 CPUtime=0
/proc/1315/task/1320/stat : 1320 (java) S 1314 1299 429 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2006625989 889327616 7196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1321] ppid=1314 vsize=868484 CPUtime=0.25
/proc/1315/task/1321/stat : 1321 (java) S 1314 1299 429 0 -1 64 1482 0 0 0 24 1 0 0 16 0 9 0 2006625989 889327616 7196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1322] ppid=1314 vsize=868484 CPUtime=0
/proc/1315/task/1322/stat : 1322 (java) S 1314 1299 429 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2006625989 889327616 7196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1315/tid=1323] ppid=1314 vsize=868484 CPUtime=0
/proc/1315/task/1323/stat : 1323 (java) S 1314 1299 429 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006625989 889327616 7196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 887440
[startup+12.7027 s]
/proc/loadavg: 2.13 2.04 2.01 3/85 1325
/proc/meminfo: memFree=1278880/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=8.77
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 1022 17456 0 2 3 1 800 73 16 0 1 0 2006625911 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 799 370 3 0 500 0
[pid=1324] ppid=1299 vsize=5356 CPUtime=0
/proc/1324/stat : 1324 (sh) S 1299 1299 429 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626808 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1324/statm: 1339 232 193 169 0 50 0
[pid=1325] ppid=1324 vsize=47896 CPUtime=3.67
/proc/1325/stat : 1325 (picosat) R 1324 1299 429 0 -1 4194304 8331 0 0 0 172 195 0 0 25 0 1 0 2006626808 49045504 8317 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/1325/statm: 11974 8317 40 102 0 11869 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 66852
[startup+25.5019 s]
/proc/loadavg: 2.10 2.04 2.01 3/85 1325
/proc/meminfo: memFree=1230944/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=8.77
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 1022 17456 0 2 3 1 800 73 16 0 1 0 2006625911 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 799 370 3 0 500 0
[pid=1324] ppid=1299 vsize=5356 CPUtime=0
/proc/1324/stat : 1324 (sh) S 1299 1299 429 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626808 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1324/statm: 1339 232 193 169 0 50 0
[pid=1325] ppid=1324 vsize=97172 CPUtime=16.35
/proc/1325/stat : 1325 (picosat) R 1324 1299 429 0 -1 4194304 20211 0 0 0 762 873 0 0 25 0 1 0 2006626808 99504128 20197 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/1325/statm: 24293 20197 40 102 0 24188 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 116128
Solver just ended. Dumping a history of the last processes samples
[startup+38.302 s]
/proc/loadavg: 2.09 2.04 2.01 3/85 1325
/proc/meminfo: memFree=1187488/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=8.77
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 1022 17456 0 2 3 1 800 73 16 0 1 0 2006625911 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 799 370 3 0 500 0
[pid=1324] ppid=1299 vsize=5356 CPUtime=0
/proc/1324/stat : 1324 (sh) S 1299 1299 429 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626808 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1324/statm: 1339 232 193 169 0 50 0
[pid=1325] ppid=1324 vsize=145756 CPUtime=29.02
/proc/1325/stat : 1325 (picosat) R 1324 1299 429 0 -1 4194304 31616 0 0 0 1346 1556 0 0 25 0 1 0 2006626808 149254144 31602 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/1325/statm: 36439 31602 40 102 0 36334 0
Current children cumulated CPU time (s) 37.79
Current children cumulated vsize (KiB) 164712
[startup+44.7011 s]
/proc/loadavg: 2.07 2.03 2.00 4/84 1325
/proc/meminfo: memFree=1177952/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=8.77
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 1022 17456 0 2 3 1 800 73 16 0 1 0 2006625911 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 799 370 3 0 500 0
[pid=1324] ppid=1299 vsize=5356 CPUtime=0
/proc/1324/stat : 1324 (sh) S 1299 1299 429 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626808 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1324/statm: 1339 232 193 169 0 50 0
[pid=1325] ppid=1324 vsize=157756 CPUtime=35.36
/proc/1325/stat : 1325 (picosat) R 1324 1299 429 0 -1 4194304 33072 0 0 0 1894 1642 0 0 25 0 1 0 2006626808 161542144 33058 996147200 134512640 134931368 4294956256 18446744073709551615 134525751 0 0 4096 0 0 0 0 17 1 0 0
/proc/1325/statm: 39439 33058 42 102 0 39334 0
Current children cumulated CPU time (s) 44.13
Current children cumulated vsize (KiB) 176712
[startup+47.9027 s]
/proc/loadavg: 2.07 2.03 2.00 3/84 1326
/proc/meminfo: memFree=1177888/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=8.77
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 1022 17456 0 2 3 1 800 73 16 0 1 0 2006625911 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 799 370 3 0 500 0
[pid=1324] ppid=1299 vsize=5356 CPUtime=0
/proc/1324/stat : 1324 (sh) S 1299 1299 429 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626808 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1324/statm: 1339 232 193 169 0 50 0
[pid=1325] ppid=1324 vsize=157756 CPUtime=38.53
/proc/1325/stat : 1325 (picosat) R 1324 1299 429 0 -1 4194304 33072 0 0 0 2211 1642 0 0 25 0 1 0 2006626808 161542144 33058 996147200 134512640 134931368 4294956256 18446744073709551615 134525785 0 0 4096 0 0 0 0 17 1 0 0
/proc/1325/statm: 39439 33058 42 102 0 39334 0
Current children cumulated CPU time (s) 47.3
Current children cumulated vsize (KiB) 176712
[startup+49.5069 s]
/proc/loadavg: 2.07 2.03 2.00 3/84 1326
/proc/meminfo: memFree=1177760/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=8.77
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 1022 17456 0 2 3 1 800 73 16 0 1 0 2006625911 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 799 370 3 0 500 0
[pid=1324] ppid=1299 vsize=5356 CPUtime=0
/proc/1324/stat : 1324 (sh) S 1299 1299 429 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626808 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1324/statm: 1339 232 193 169 0 50 0
[pid=1325] ppid=1324 vsize=157760 CPUtime=40.13
/proc/1325/stat : 1325 (picosat) R 1324 1299 429 0 -1 4194304 33114 0 0 0 2370 1643 0 0 25 0 1 0 2006626808 161546240 33100 996147200 134512640 134931368 4294956256 18446744073709551615 134676257 0 0 4096 0 0 0 0 17 1 0 0
/proc/1325/statm: 39440 33100 47 102 0 39335 0
Current children cumulated CPU time (s) 48.9
Current children cumulated vsize (KiB) 176716
[startup+50.3011 s]
/proc/loadavg: 2.07 2.03 2.00 3/84 1326
/proc/meminfo: memFree=1177760/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=49.16
/proc/1299/stat : 1299 (sugar) S 1297 1299 429 0 -1 4194304 1091 50856 0 2 3 1 3193 1719 16 0 1 0 2006625911 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/1299/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 49.16
Current children cumulated vsize (KiB) 13600
[startup+50.5041 s]
/proc/loadavg: 2.07 2.03 2.00 3/82 1336
/proc/meminfo: memFree=1386672/2055920 swapFree=4180240/4192956
[pid=1299] ppid=1297 vsize=13600 CPUtime=49.87
/proc/1299/stat : 1299 (sugar) R 1297 1299 429 0 -1 4194304 1119 54759 0 3 3 5 3257 1722 16 0 1 0 2006625911 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 240577647657 0 0 4224 16386 0 0 0 17 1 0 0
/proc/1299/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (KiB) 13600
Child status: 0
Real time (s): 50.5112
CPU time (s): 49.8974
CPU user time (s): 32.613
CPU system time (s): 17.2844
CPU usage (%): 98.7849
Max. virtual memory (cumulated for all children) (KiB): 887440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.613
system time used= 17.2844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55908
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16754
involuntary context switches= 18568
runsolver used 0.087986 second user time and 0.160975 second system time
The end
Begin job on node50 at 2008-07-05 18:48:59
IDJOB=1092645
IDBENCH=58645
IDSOLVER=345
FILE ID=node50/1092645-1215276539
PBS_JOBID= 7882255
Free space on /tmp= 66440 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-105-5.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092645-1215276539/watcher-1092645-1215276539 -o /tmp/evaluation-result-1092645-1215276539/solver-1092645-1215276539 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1092645-1215276539.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= c03a979904773fcfaa1bb1514e47dcef
RANDOM SEED=1301926907
node50.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.261
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.261
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: 1392664 kB
Buffers: 76304 kB
Cached: 263016 kB
SwapCached: 7072 kB
Active: 448444 kB
Inactive: 153404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1392664 kB
SwapTotal: 4192956 kB
SwapFree: 4180240 kB
Dirty: 3200 kB
Writeback: 0 kB
Mapped: 278272 kB
Slab: 46056 kB
Committed_AS: 4402516 kB
PageTables: 2488 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66440 MiB
End job on node50 at 2008-07-05 18:49:50