Trace number 232627

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
sugar 0.40SAT 109.911 111.346

General information on the benchmark

Nametaillard/js-taillard-20/
js-taillard-20-105-1.xml
MD5SUMab07e163281424af8d5ceae6e2460409
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark109.911
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1707
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/232627-1170106570/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/232627-1170106570/unknown.xml [Mon Jan 29 22:36:10 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/232627-1170106570/unknown.xml /tmp/evaluation/232627-1170106570/sugar18750.csp [Mon Jan 29 22:36:10 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232627-1170106570/sugar-v0-40.jar -convert /tmp/evaluation/232627-1170106570/unknown.xml /tmp/evaluation/232627-1170106570/sugar18750.csp
0.17	c BEGIN convert /tmp/evaluation/232627-1170106570/unknown.xml
0.91	c END convert (0.74083 seconds)
0.96	c # CONVERT_XML  END : /tmp/evaluation/232627-1170106570/sugar18750.csp 201522 bytes (1 seconds) [Mon Jan 29 22:36:11 2007]
0.96	c # CONVERT_XML  CPU : 0.85 = 0 + 0 + 0.78 + 0.07
0.96	
0.96	c # GENERATE_SAT  BEGIN : /tmp/evaluation/232627-1170106570/sugar18750.bcnf [Mon Jan 29 22:36:11 2007]
0.96	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232627-1170106570/sugar-v0-40.jar -bcnf -map /tmp/evaluation/232627-1170106570/sugar18750.map /tmp/evaluation/232627-1170106570/sugar18750.csp /tmp/evaluation/232627-1170106570/sugar18750.bcnf
1.08	c BEGIN parse /tmp/evaluation/232627-1170106570/sugar18750.csp
1.79	c END parse (0.7038 seconds)
1.79	c BEGIN simplify
1.82	c END simplify (0.033659 seconds)
1.82	c BEGIN encode /tmp/evaluation/232627-1170106570/sugar18750.bcnf
14.56	c END encode (12.73529 seconds)
14.67	c # GENERATE_SAT  END : 670257 variables 13500205 clauses 210830908 bytes (14 seconds) [Mon Jan 29 22:36:25 2007]
14.67	c # GENERATE_SAT  CPU : 13.3 = 0.07 + 0.01 + 12.14 + 1.08
14.67	
14.67	c # SOLVE_SAT  BEGIN : /tmp/evaluation/232627-1170106570/sugar18750.bcnf [Mon Jan 29 22:36:25 2007]
14.68	c # CMD : /tmp/evaluation/232627-1170106570/minisat /tmp/evaluation/232627-1170106570/sugar18750.bcnf /tmp/evaluation/232627-1170106570/sugar18750.out
29.29	c ==================================[MINISAT]===================================
29.29	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
29.29	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
29.29	c ==============================================================================
29.29	c |         0 | 6160906 17340482 | 2053635       0        0     nan |  0.000 % |
32.69	c |       101 | 6160906 17340482 | 2258998     101     2674    26.5 | 57.264 % |
36.01	c |       252 | 6160907 17340482 | 2484898     251     7683    30.6 | 57.264 % |
41.10	c |       477 | 6160908 17340482 | 2733388     475    12663    26.7 | 57.264 % |
46.95	c |       814 | 6160908 17340482 | 3006727     812    19832    24.4 | 57.264 % |
55.03	c |      1320 | 6160908 17340482 | 3307399    1318    36870    28.0 | 57.264 % |
69.78	c |      2079 | 6160909 17340482 | 3638139    2076    58445    28.2 | 57.264 % |
90.26	c |      3218 | 6160909 17340482 | 4001953    3215   102876    32.0 | 57.264 % |
109.86	c ==============================================================================
109.86	c restarts              : 8
109.86	c conflicts             : 4516           (48 /sec)
109.86	c decisions             : 8429           (90 /sec)
109.86	c propagations          : 88280301       (947368 /sec)
109.86	c conflict literals     : 160195         (20.53 % deleted)
109.87	c Memory used           : 570.97 MB
109.87	c CPU time              : 93.1848 s
109.87	c 
109.87	c SATISFIABLE
110.29	c # SOLVE_SAT  END : SATISFIABLE (96 seconds) [Mon Jan 29 22:38:01 2007]
110.29	c # SOLVE_SAT  CPU : 94.71 = 0 + 0 + 93.49 + 1.22
110.29	
110.29	c # RESULT : SATISFIABLE
110.29	
110.29	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 22:38:01 2007]
110.43	c BEGIN read SAT output /tmp/evaluation/232627-1170106570/sugar18750.out
111.02	c END read SAT output (0.588135 seconds)
111.02	c BEGIN write solution /tmp/evaluation/232627-1170106570/sugar18750.sol
111.17	c END write solution (0.153303 seconds)
111.22	s SATISFIABLE
111.22	v 377 471 542 554 622 662 746 776 792 826 919 972 1036 1097 1164 1194 1282 1301 1377 1393 180 202 277 306 451 532 597 618 689 868 946 956 1285 1294 1369 1409 1498 1585 1704 1706 2 34 42 183 226 320 373 584 641 696 749 947 1031 1128 1219 1240 1262 1355 1427 1444 56 96 143 359 401 405 591 644 737 831 866 908 1112 1234 1243 1401 1411 1467 1548 1670 3 29 106 139 197 235 312 398 451 498 518 589 727 822 840 863 952 1039 1059 1126 55 141 214 720 765 868 905 977 1071 1104 1110 1178 1237 1249 1254 1287 1389 1485 1531 1618 26 149 183 208 304 502 559 750 992 1076 1103 1140 1229 1321 1408 1428 1508 1584 1658 1669 39 99 196 238 311 339 417 507 551 580 634 658 694 785 805 838 918 962 1410 1541 2 81 173 204 231 316 389 393 397 408 447 532 589 608 688 708 724 820 844 1023 120 181 267 313 371 386 443 489 539 625 755 769 827 903 1012 1097 1183 1386 1442 1644 387 400 444 470 531 664 697 716 743 780 868 890 952 1027 1048 1231 1234 1340 1574 1661 48 69 125 137 328 628 658 741 798 1016 1251 1331 1412 1437 1456 1531 1569 1585 1605 1655 34 51 327 333 567 809 891 1037 1077 1161 1207 1316 1323 1374 1400 1497 1511 1538 1613 1625 14 60 204 205 503 586 800 849 891 965 1044 1061 1130 1191 1290 1339 1430 1470 1624 1693 127 177 237 314 377 382 462 755 758 862 1001 1064 1116 1168 1236 1307 1424 1531 1584 1609 101 227 278 303 346 437 530 597 668 709 758 778 802 860 884 1199 1397 1422 1636 1667 2 128 273 307 410 493 578 598 603 680 766 863 1063 1263 1350 1382 1468 1508 1552 1587 1 39 65 242 319 400 520 562 961 1041 1103 1125 1157 1201 1263 1332 1478 1594 1658 1692 127 185 240 308 313 352 440 575 654 709 725 778 964 965 1062 1204 1490 1491 1623 1677 74 154 327 336 385 604 623 715 831 952 1035 1042 1110 1189 1210 1294 1411 1477 1528 1611
111.23	c # OUTPUT_SOL  END :  (0 seconds) [Mon Jan 29 22:38:01 2007]
111.23	c # OUTPUT_SOL  CPU : 0.88000000000001 = 0.01 + 0 + 0.77000000000001 + 0.1
111.23	
111.23	c # MAIN  END :  (111 seconds) [Mon Jan 29 22:38:01 2007]
111.23	c # MAIN  CPU : 109.75 = 0.09 + 0.01 + 107.18 + 2.47
111.23

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node41/watcher-232627-1170106570 -o ROOT/results/node41/solver-232627-1170106570 -C 1800 -M 900 /tmp/evaluation/232627-1170106570/solver /tmp/evaluation/232627-1170106570 /tmp/evaluation/232627-1170106570/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.11 2.29 2.55 5/82 18751
/proc/meminfo: memFree=1720728/2055920 swapFree=4192812/4192956
[pid=18750] ppid=18748 vsize=18540 CPUtime=0
/proc/18750/stat : 18750 (runsolver) R 18748 18750 18149 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 30612961 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18750/statm: 4635 279 244 17 0 2626 0

[startup+0.110025 s]
/proc/loadavg: 2.11 2.29 2.55 5/82 18751
/proc/meminfo: memFree=1720728/2055920 swapFree=4192812/4192956
[pid=18750] ppid=18748 vsize=13724 CPUtime=0.03
/proc/18750/stat : 18750 (sugar) S 18748 18750 18149 0 -1 4194304 1112 0 0 0 3 0 0 0 21 0 1 0 30612961 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18750/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.519057 s]
/proc/loadavg: 2.11 2.29 2.55 5/82 18751
/proc/meminfo: memFree=1720728/2055920 swapFree=4192812/4192956
[pid=18750] ppid=18748 vsize=13724 CPUtime=0.03
/proc/18750/stat : 18750 (sugar) S 18748 18750 18149 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30612961 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18750/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.34713 s]
/proc/loadavg: 2.11 2.29 2.55 3/90 18767
/proc/meminfo: memFree=1691928/2055920 swapFree=4192812/4192956
[pid=18750] ppid=18748 vsize=13724 CPUtime=0.89
/proc/18750/stat : 18750 (sugar) S 18748 18750 18149 0 -1 4194304 1190 9508 0 1 4 0 78 7 15 0 1 0 30612961 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18750/statm: 3431 809 371 3 0 531 0
[pid=18760] ppid=18750 vsize=807064 CPUtime=0.36
/proc/18760/stat : 18760 (java) R 18750 18750 18149 0 -1 0 6544 0 1 0 33 3 0 0 17 0 8 0 30613057 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073481404 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18760/statm: 201766 6294 1494 14 0 189044 0
[pid=18760/tid=18761] ppid=18750 vsize=807064 CPUtime=0.02
/proc/18760/task/18761/stat : 18761 (java) S 18750 18750 18149 0 -1 64 491 0 0 0 2 0 0 0 16 0 8 0 30613061 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18762] ppid=18750 vsize=807064 CPUtime=0
/proc/18760/task/18762/stat : 18762 (java) S 18750 18750 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30613061 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18763] ppid=18750 vsize=807064 CPUtime=0
/proc/18760/task/18763/stat : 18763 (java) S 18750 18750 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30613061 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18764] ppid=18750 vsize=807064 CPUtime=0
/proc/18760/task/18764/stat : 18764 (java) S 18750 18750 18149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30613064 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18765] ppid=18750 vsize=807064 CPUtime=0.06
/proc/18760/task/18765/stat : 18765 (java) R 18750 18750 18149 0 -1 64 292 0 0 0 6 0 0 0 19 0 8 0 30613064 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18766] ppid=18750 vsize=807064 CPUtime=0
/proc/18760/task/18766/stat : 18766 (java) S 18750 18750 18149 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30613064 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18767] ppid=18750 vsize=807064 CPUtime=0
/proc/18760/task/18767/stat : 18767 (java) S 18750 18750 18149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30613064 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788

[startup+2.99127 s]
/proc/loadavg: 2.10 2.29 2.54 3/90 18767
/proc/meminfo: memFree=1638936/2055920 swapFree=4192812/4192956
[pid=18750] ppid=18748 vsize=13724 CPUtime=0.89
/proc/18750/stat : 18750 (sugar) S 18748 18750 18149 0 -1 4194304 1190 9508 0 1 4 0 78 7 16 0 1 0 30612961 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18750/statm: 3431 809 371 3 0 531 0
[pid=18760] ppid=18750 vsize=807332 CPUtime=1.96
/proc/18760/stat : 18760 (java) R 18750 18750 18149 0 -1 0 8784 0 1 0 181 15 0 0 25 0 8 0 30613057 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18760/statm: 201833 8530 1510 14 0 189111 0
[pid=18760/tid=18761] ppid=18750 vsize=807332 CPUtime=0.11
/proc/18760/task/18761/stat : 18761 (java) S 18750 18750 18149 0 -1 64 2551 0 0 0 11 0 0 0 16 0 8 0 30613061 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18762] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18762/stat : 18762 (java) S 18750 18750 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30613061 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18763] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18763/stat : 18763 (java) S 18750 18750 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30613061 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18764] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18764/stat : 18764 (java) S 18750 18750 18149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30613064 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18765] ppid=18750 vsize=807332 CPUtime=0.17
/proc/18760/task/18765/stat : 18765 (java) S 18750 18750 18149 0 -1 64 420 0 0 0 17 0 0 0 16 0 8 0 30613064 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18766] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18766/stat : 18766 (java) S 18750 18750 18149 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30613064 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18767] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18767/stat : 18767 (java) S 18750 18750 18149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30613064 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 821056

[startup+6.27656 s]
/proc/loadavg: 2.10 2.29 2.54 3/84 18770
/proc/meminfo: memFree=1394824/2055920 swapFree=4192812/4192956
[pid=18750] ppid=18748 vsize=13724 CPUtime=0.89
/proc/18750/stat : 18750 (sugar) S 18748 18750 18149 0 -1 4194304 1190 9508 0 1 4 0 78 7 16 0 1 0 30612961 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18750/statm: 3431 809 371 3 0 531 0
[pid=18760] ppid=18750 vsize=807332 CPUtime=5.19
/proc/18760/stat : 18760 (java) R 18750 18750 18149 0 -1 0 8785 0 1 0 478 41 0 0 25 0 8 0 30613057 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18760/statm: 201833 8531 1510 14 0 189111 0
[pid=18760/tid=18761] ppid=18750 vsize=807332 CPUtime=0.11
/proc/18760/task/18761/stat : 18761 (java) S 18750 18750 18149 0 -1 64 2551 0 0 0 11 0 0 0 16 0 8 0 30613061 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18762] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18762/stat : 18762 (java) S 18750 18750 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30613061 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18763] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18763/stat : 18763 (java) S 18750 18750 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30613061 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18764] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18764/stat : 18764 (java) S 18750 18750 18149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30613064 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18765] ppid=18750 vsize=807332 CPUtime=0.17
/proc/18760/task/18765/stat : 18765 (java) S 18750 18750 18149 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 30613064 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18766] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18766/stat : 18766 (java) S 18750 18750 18149 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30613064 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18767] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18767/stat : 18767 (java) S 18750 18750 18149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30613064 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821056

[startup+12.6781 s]
/proc/loadavg: 2.09 2.28 2.54 3/83 18770
/proc/meminfo: memFree=954704/2055920 swapFree=4192812/4192956
[pid=18750] ppid=18748 vsize=13724 CPUtime=0.89
/proc/18750/stat : 18750 (sugar) S 18748 18750 18149 0 -1 4194304 1190 9508 0 1 4 0 78 7 16 0 1 0 30612961 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18750/statm: 3431 809 371 3 0 531 0
[pid=18760] ppid=18750 vsize=807332 CPUtime=11.36
/proc/18760/stat : 18760 (java) R 18750 18750 18149 0 -1 0 8785 0 1 0 1042 94 0 0 25 0 8 0 30613057 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18760/statm: 201833 8531 1510 14 0 189111 0
[pid=18760/tid=18761] ppid=18750 vsize=807332 CPUtime=0.11
/proc/18760/task/18761/stat : 18761 (java) S 18750 18750 18149 0 -1 64 2551 0 0 0 11 0 0 0 16 0 8 0 30613061 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18762] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18762/stat : 18762 (java) S 18750 18750 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30613061 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18763] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18763/stat : 18763 (java) S 18750 18750 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30613061 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18764] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18764/stat : 18764 (java) S 18750 18750 18149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30613064 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18765] ppid=18750 vsize=807332 CPUtime=0.17
/proc/18760/task/18765/stat : 18765 (java) S 18750 18750 18149 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 30613064 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18766] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18766/stat : 18766 (java) S 18750 18750 18149 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30613064 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18760/tid=18767] ppid=18750 vsize=807332 CPUtime=0
/proc/18760/task/18767/stat : 18767 (java) S 18750 18750 18149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30613064 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 821056

[startup+25.5092 s]
/proc/loadavg: 2.07 2.27 2.53 3/76 18771
/proc/meminfo: memFree=400008/2055920 swapFree=4192812/4192956
[pid=18750] ppid=18748 vsize=18372 CPUtime=14.19
/proc/18750/stat : 18750 (sugar) S 18748 18750 18149 0 -1 4194304 2413 18309 0 2 11 1 1292 115 19 0 1 0 30612961 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18750/statm: 4593 1934 373 3 0 1693 0
[pid=18771] ppid=18750 vsize=576268 CPUtime=10.69
/proc/18771/stat : 18771 (minisat) R 18750 18750 18149 0 -1 0 138457 0 0 0 961 108 0 0 25 0 1 0 30614429 590098432 137226 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 0 0 0 0 17 1 0 0
/proc/18771/statm: 144067 137226 36 112 0 143951 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 594640

[startup+51.1895 s]
/proc/loadavg: 2.05 2.25 2.52 3/76 18771
/proc/meminfo: memFree=389448/2055920 swapFree=4192812/4192956
[pid=18750] ppid=18748 vsize=18372 CPUtime=14.19
/proc/18750/stat : 18750 (sugar) S 18748 18750 18149 0 -1 4194304 2423 18309 0 2 11 1 1292 115 16 0 1 0 30612961 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18750/statm: 4593 1934 373 3 0 1693 0
[pid=18771] ppid=18750 vsize=582048 CPUtime=36.13
/proc/18771/stat : 18771 (minisat) R 18750 18750 18149 0 -1 0 139855 0 0 0 3504 109 0 0 25 0 1 0 30614429 596017152 138624 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18771/statm: 145512 138624 51 112 0 145396 0
Current children cumulated CPU time (s) 50.32
Current children cumulated vsize (KiB) 600420

[startup+102.447 s]
/proc/loadavg: 2.02 2.20 2.49 3/76 18771
/proc/meminfo: memFree=389960/2055920 swapFree=4192812/4192956
[pid=18750] ppid=18748 vsize=18372 CPUtime=14.19
/proc/18750/stat : 18750 (sugar) S 18748 18750 18149 0 -1 4194304 2423 18309 0 2 11 1 1292 115 16 0 1 0 30612961 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18750/statm: 4593 1934 373 3 0 1693 0
[pid=18771] ppid=18750 vsize=582048 CPUtime=86.92
/proc/18771/stat : 18771 (minisat) R 18750 18750 18149 0 -1 0 139855 0 0 0 8583 109 0 0 25 0 1 0 30614429 596017152 138624 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528340 0 0 4096 3 0 0 0 17 1 0 0
/proc/18771/statm: 145512 138624 51 112 0 145396 0
Current children cumulated CPU time (s) 101.11
Current children cumulated vsize (KiB) 600420

Child status: 0
Real time (s): 111.346
CPU time (s): 109.911
CPU user time (s): 107.308
CPU system time (s): 2.6036
CPU usage (%): 98.7112
Max. virtual memory (cumulated for all children) (KiB): 825508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.308
system time used= 2.6036
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175164
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2040
involuntary context switches= 4189

runsolver used 0.138978 s user time and 0.363944 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Mon Jan 29 21:36:10 UTC 2007


IDJOB= 232627
IDBENCH= 6538
IDSOLVER= 86
FILE ID= node41/232627-1170106570

PBS_JOBID= 3689825

Free space on /tmp= 66422 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-105-1.xml
COMMAND LINE= /tmp/evaluation/232627-1170106570/solver /tmp/evaluation/232627-1170106570 /tmp/evaluation/232627-1170106570/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-232627-1170106570 -o ROOT/results/node41/solver-232627-1170106570 -C 1800 -M 900  /tmp/evaluation/232627-1170106570/solver /tmp/evaluation/232627-1170106570 /tmp/evaluation/232627-1170106570/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  ab07e163281424af8d5ceae6e2460409

RANDOM SEED= 150213500

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.231
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.231
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:       1721464 kB
Buffers:         39232 kB
Cached:         186664 kB
SwapCached:          0 kB
Active:          85792 kB
Inactive:       192116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1721464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          146208 kB
Writeback:           0 kB
Mapped:          68844 kB
Slab:            41724 kB
Committed_AS:   436172 kB
PageTables:       2016 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= 66371 MiB



End job on node41 on Mon Jan 29 21:38:02 UTC 2007