Trace number 232547

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 44.59 45.1483

General information on the benchmark

Nametaillard/js-taillard-20/
js-taillard-20-105-5.xml
MD5SUMb0bc3a455955fb2ea2b28a025b381c8f
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 benchmark44.59
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1763
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/232547-1170106545/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/232547-1170106545/unknown.xml [Mon Jan 29 22:35:46 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/232547-1170106545/unknown.xml /tmp/evaluation/232547-1170106545/sugar26312.csp [Mon Jan 29 22:35:46 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232547-1170106545/sugar-v0-40.jar -convert /tmp/evaluation/232547-1170106545/unknown.xml /tmp/evaluation/232547-1170106545/sugar26312.csp
0.17	c BEGIN convert /tmp/evaluation/232547-1170106545/unknown.xml
0.91	c END convert (0.739014 seconds)
0.97	c # CONVERT_XML  END : /tmp/evaluation/232547-1170106545/sugar26312.csp 201685 bytes (1 seconds) [Mon Jan 29 22:35:47 2007]
0.97	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
0.97	
0.97	c # GENERATE_SAT  BEGIN : /tmp/evaluation/232547-1170106545/sugar26312.bcnf [Mon Jan 29 22:35:47 2007]
0.97	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232547-1170106545/sugar-v0-40.jar -bcnf -map /tmp/evaluation/232547-1170106545/sugar26312.map /tmp/evaluation/232547-1170106545/sugar26312.csp /tmp/evaluation/232547-1170106545/sugar26312.bcnf
1.09	c BEGIN parse /tmp/evaluation/232547-1170106545/sugar26312.csp
1.79	c END parse (0.699352 seconds)
1.79	c BEGIN simplify
1.83	c END simplify (0.036178 seconds)
1.83	c BEGIN encode /tmp/evaluation/232547-1170106545/sugar26312.bcnf
14.72	c END encode (12.889928 seconds)
14.82	c # GENERATE_SAT  END : 692207 variables 13950925 clauses 217873556 bytes (14 seconds) [Mon Jan 29 22:36:01 2007]
14.82	c # GENERATE_SAT  CPU : 13.67 = 0.07 + 0 + 12.71 + 0.89
14.82	
14.82	c # SOLVE_SAT  BEGIN : /tmp/evaluation/232547-1170106545/sugar26312.bcnf [Mon Jan 29 22:36:01 2007]
14.82	c # CMD : /tmp/evaluation/232547-1170106545/minisat /tmp/evaluation/232547-1170106545/sugar26312.bcnf /tmp/evaluation/232547-1170106545/sugar26312.out
28.92	c ==================================[MINISAT]===================================
28.92	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
28.92	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
28.92	c ==============================================================================
28.92	c |         0 | 6461153 18200266 | 2153717       0        0     nan |  0.000 % |
32.14	c |       102 | 6461153 18200266 | 2369088     102     2603    25.5 | 56.679 % |
34.65	c |       253 | 6461153 18200266 | 2605997     253     5385    21.3 | 56.679 % |
38.18	c |       478 | 6461153 18200266 | 2866597     478    11599    24.3 | 56.679 % |
42.83	c |       815 | 6461153 18200266 | 3153257     815    25085    30.8 | 56.679 % |
43.70	c ==============================================================================
43.70	c restarts              : 5
43.70	c conflicts             : 870            (31 /sec)
43.70	c decisions             : 2328           (84 /sec)
43.70	c propagations          : 16389538       (590874 /sec)
43.70	c conflict literals     : 25859          (19.48 % deleted)
43.70	c Memory used           : 586.88 MB
43.70	c CPU time              : 27.7378 s
43.70	c 
43.70	c SATISFIABLE
44.15	c # SOLVE_SAT  END : SATISFIABLE (29 seconds) [Mon Jan 29 22:36:30 2007]
44.15	c # SOLVE_SAT  CPU : 29.16 = 0 + 0 + 28.06 + 1.1
44.15	
44.15	c # RESULT : SATISFIABLE
44.15	
44.15	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 22:36:30 2007]
44.27	c BEGIN read SAT output /tmp/evaluation/232547-1170106545/sugar26312.out
44.82	c END read SAT output (0.551066 seconds)
44.82	c BEGIN write solution /tmp/evaluation/232547-1170106545/sugar26312.sol
44.97	c END write solution (0.15114 seconds)
45.02	s SATISFIABLE
45.02	v 57 172 233 301 381 452 485 586 646 703 711 785 1040 1162 1467 1474 1558 1656 1714 1759 161 258 273 291 364 401 495 523 834 847 903 1021 1092 1462 1486 1528 1560 1624 1660 1686 162 592 681 718 799 874 927 1017 1095 1109 1201 1306 1336 1409 1445 1543 1614 1708 1736 1761 175 274 339 348 400 410 511 568 691 760 776 786 921 1036 1047 1129 1567 1651 1704 1734 3 36 100 117 198 240 300 314 409 445 558 595 680 800 874 950 1018 1460 1524 1667 1 87 103 137 222 301 390 412 486 554 625 647 683 740 820 873 878 950 1113 1545 143 298 495 524 609 655 743 759 871 968 1022 1133 1139 1243 1254 1309 1408 1513 1576 1666 124 195 294 340 380 434 461 540 673 682 728 811 943 1010 1120 1223 1238 1349 1390 1600 33 63 100 206 297 350 529 584 638 774 910 965 1190 1252 1275 1303 1326 1475 1588 1599 117 195 258 279 343 456 531 609 644 736 935 1004 1096 1185 1234 1281 1328 1332 1540 1730 147 219 345 635 709 765 808 831 846 934 962 1003 1159 1295 1372 1421 1473 1589 1614 1708 64 104 206 249 336 476 568 635 690 700 708 791 840 959 1026 1220 1258 1482 1575 1652 6 164 246 324 336 434 532 578 657 850 861 897 964 1216 1433 1571 1592 1614 1631 1674 40 140 217 249 305 400 465 483 615 696 710 745 921 1030 1271 1314 1523 1563 1661 1730 61 133 226 247 518 764 846 927 1022 1061 1106 1188 1238 1327 1404 1467 1511 1553 1593 1679 55 209 215 261 449 544 835 849 862 951 1040 1109 1195 1255 1347 1436 1524 1604 1622 1697 111 258 350 411 478 521 715 721 912 994 1090 1160 1226 1309 1391 1474 1544 1566 1660 1706 186 192 220 312 321 431 519 719 860 912 928 973 1051 1099 1136 1219 1529 1615 1736 1760 433 568 633 679 746 889 899 993 1026 1040 1135 1196 1262 1330 1376 1403 1430 1447 1579 1612 78 171 280 319 416 515 592 692 780 831 862 968 992 1026 1070 1099 1136 1193 1208 1457
45.03	c # OUTPUT_SOL  END :  (1 seconds) [Mon Jan 29 22:36:31 2007]
45.03	c # OUTPUT_SOL  CPU : 0.839999999999995 = 0.01 + 0.01 + 0.739999999999995 + 0.0799999999999998
45.03	
45.03	c # MAIN  END :  (45 seconds) [Mon Jan 29 22:36:31 2007]
45.03	c # MAIN  CPU : 43.67 = 0.08 + 0.01 + 41.51 + 2.07
45.03

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/node19/watcher-232547-1170106545 -o ROOT/results/node19/solver-232547-1170106545 -C 1800 -M 900 /tmp/evaluation/232547-1170106545/solver /tmp/evaluation/232547-1170106545 /tmp/evaluation/232547-1170106545/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.15 2.40 2.71 3/94 26313
/proc/meminfo: memFree=1269136/2055920 swapFree=4192812/4192956
[pid=26312] ppid=26310 vsize=7504 CPUtime=0
/proc/26312/stat : 26312 (sugar) R 26310 26312 25226 0 -1 4194304 312 0 0 0 0 0 0 0 20 0 1 0 30608640 7684096 48 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 255233947692 0 0 4096 0 0 0 0 17 1 0 0
/proc/26312/statm: 1876 48 36 3 0 9 0

[startup+0.104527 s]
/proc/loadavg: 2.15 2.40 2.71 3/94 26313
/proc/meminfo: memFree=1269136/2055920 swapFree=4192812/4192956
[pid=26312] ppid=26310 vsize=13724 CPUtime=0.04
/proc/26312/stat : 26312 (sugar) S 26310 26312 25226 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30608640 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26312/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+0.514579 s]
/proc/loadavg: 2.15 2.40 2.71 3/94 26313
/proc/meminfo: memFree=1269136/2055920 swapFree=4192812/4192956
[pid=26312] ppid=26310 vsize=13724 CPUtime=0.04
/proc/26312/stat : 26312 (sugar) S 26310 26312 25226 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30608640 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26312/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.33566 s]
/proc/loadavg: 2.06 2.37 2.70 3/103 26329
/proc/meminfo: memFree=1261896/2055920 swapFree=4192812/4192956
[pid=26312] ppid=26310 vsize=13724 CPUtime=0.04
/proc/26312/stat : 26312 (sugar) S 26310 26312 25226 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30608640 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26312/statm: 3431 808 370 3 0 531 0
[pid=26314] ppid=26312 vsize=0 CPUtime=0.85
/proc/26314/stat : 26314 (java) Z 26312 26312 25226 0 -1 1036 9392 0 1 0 78 7 0 0 16 0 1 0 30608645 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26314/statm: 0 0 0 0 0 0 0
[pid=26322] ppid=26312 vsize=807064 CPUtime=0.34
/proc/26322/stat : 26322 (java) R 26312 26312 25226 0 -1 0 6544 0 1 0 30 4 0 0 20 0 8 0 30608737 826433536 6294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073481342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26322/statm: 201766 6294 1494 14 0 189044 0
[pid=26322/tid=26323] ppid=26312 vsize=807064 CPUtime=0.02
/proc/26322/task/26323/stat : 26323 (java) S 26312 26312 25226 0 -1 64 492 0 0 0 2 0 0 0 16 0 8 0 30608740 826433536 6294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26324] ppid=26312 vsize=807064 CPUtime=0
/proc/26322/task/26324/stat : 26324 (java) S 26312 26312 25226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30608741 826433536 6294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26325] ppid=26312 vsize=807064 CPUtime=0
/proc/26322/task/26325/stat : 26325 (java) S 26312 26312 25226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30608741 826433536 6294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26326] ppid=26312 vsize=807064 CPUtime=0
/proc/26322/task/26326/stat : 26326 (java) S 26312 26312 25226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30608744 826433536 6294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26327] ppid=26312 vsize=807064 CPUtime=0.05
/proc/26322/task/26327/stat : 26327 (java) S 26312 26312 25226 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30608744 826433536 6294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26328] ppid=26312 vsize=807064 CPUtime=0
/proc/26322/task/26328/stat : 26328 (java) S 26312 26312 25226 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30608744 826433536 6294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26329] ppid=26312 vsize=807064 CPUtime=0
/proc/26322/task/26329/stat : 26329 (java) S 26312 26312 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30608744 826433536 6294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 820788

[startup+2.9739 s]
/proc/loadavg: 2.06 2.37 2.70 3/103 26329
/proc/meminfo: memFree=1230408/2055920 swapFree=4192812/4192956
[pid=26312] ppid=26310 vsize=13724 CPUtime=0.04
/proc/26312/stat : 26312 (sugar) S 26310 26312 25226 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30608640 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26312/statm: 3431 808 370 3 0 531 0
[pid=26314] ppid=26312 vsize=0 CPUtime=0.85
/proc/26314/stat : 26314 (java) Z 26312 26312 25226 0 -1 1036 9392 0 1 0 78 7 0 0 16 0 1 0 30608645 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26314/statm: 0 0 0 0 0 0 0
[pid=26322] ppid=26312 vsize=807332 CPUtime=1.97
/proc/26322/stat : 26322 (java) R 26312 26312 25226 0 -1 0 8785 0 1 0 185 12 0 0 25 0 8 0 30608737 826707968 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26322/statm: 201833 8531 1510 14 0 189111 0
[pid=26322/tid=26323] ppid=26312 vsize=807332 CPUtime=0.13
/proc/26322/task/26323/stat : 26323 (java) S 26312 26312 25226 0 -1 64 2553 0 0 0 12 1 0 0 17 0 8 0 30608740 826707968 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26324] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26324/stat : 26324 (java) S 26312 26312 25226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30608741 826707968 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26325] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26325/stat : 26325 (java) S 26312 26312 25226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30608741 826707968 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26326] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26326/stat : 26326 (java) S 26312 26312 25226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30608744 826707968 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26327] ppid=26312 vsize=807332 CPUtime=0.17
/proc/26322/task/26327/stat : 26327 (java) S 26312 26312 25226 0 -1 64 420 0 0 0 17 0 0 0 16 0 8 0 30608744 826707968 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26328] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26328/stat : 26328 (java) S 26312 26312 25226 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30608744 826707968 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26329] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26329/stat : 26329 (java) S 26312 26312 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30608744 826707968 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 821056

[startup+6.17919 s]
/proc/loadavg: 2.06 2.37 2.70 3/103 26329
/proc/meminfo: memFree=1173640/2055920 swapFree=4192812/4192956
[pid=26312] ppid=26310 vsize=13724 CPUtime=0.04
/proc/26312/stat : 26312 (sugar) S 26310 26312 25226 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30608640 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26312/statm: 3431 808 370 3 0 531 0
[pid=26314] ppid=26312 vsize=0 CPUtime=0.85
/proc/26314/stat : 26314 (java) Z 26312 26312 25226 0 -1 1036 9392 0 1 0 78 7 0 0 16 0 1 0 30608645 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26314/statm: 0 0 0 0 0 0 0
[pid=26322] ppid=26312 vsize=807332 CPUtime=5.16
/proc/26322/stat : 26322 (java) R 26312 26312 25226 0 -1 0 8786 0 1 0 486 30 0 0 25 0 8 0 30608737 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819327 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26322/statm: 201833 8532 1510 14 0 189111 0
[pid=26322/tid=26323] ppid=26312 vsize=807332 CPUtime=0.13
/proc/26322/task/26323/stat : 26323 (java) S 26312 26312 25226 0 -1 64 2553 0 0 0 12 1 0 0 16 0 8 0 30608740 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26324] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26324/stat : 26324 (java) S 26312 26312 25226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30608741 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26325] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26325/stat : 26325 (java) S 26312 26312 25226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30608741 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26326] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26326/stat : 26326 (java) S 26312 26312 25226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30608744 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26327] ppid=26312 vsize=807332 CPUtime=0.17
/proc/26322/task/26327/stat : 26327 (java) S 26312 26312 25226 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 30608744 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26328] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26328/stat : 26328 (java) S 26312 26312 25226 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30608744 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26329] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26329/stat : 26329 (java) S 26312 26312 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30608744 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 821056

[startup+12.6719 s]
/proc/loadavg: 2.12 2.38 2.70 3/103 26329
/proc/meminfo: memFree=1058824/2055920 swapFree=4192812/4192956
[pid=26312] ppid=26310 vsize=13724 CPUtime=0.04
/proc/26312/stat : 26312 (sugar) S 26310 26312 25226 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30608640 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26312/statm: 3431 808 370 3 0 531 0
[pid=26314] ppid=26312 vsize=0 CPUtime=0.85
/proc/26314/stat : 26314 (java) Z 26312 26312 25226 0 -1 1036 9392 0 1 0 78 7 0 0 16 0 1 0 30608645 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26314/statm: 0 0 0 0 0 0 0
[pid=26322] ppid=26312 vsize=807332 CPUtime=11.59
/proc/26322/stat : 26322 (java) R 26312 26312 25226 0 -1 0 8786 0 1 0 1081 78 0 0 25 0 8 0 30608737 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26322/statm: 201833 8532 1510 14 0 189111 0
[pid=26322/tid=26323] ppid=26312 vsize=807332 CPUtime=0.13
/proc/26322/task/26323/stat : 26323 (java) S 26312 26312 25226 0 -1 64 2553 0 0 0 12 1 0 0 16 0 8 0 30608740 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26324] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26324/stat : 26324 (java) S 26312 26312 25226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30608741 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26325] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26325/stat : 26325 (java) S 26312 26312 25226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30608741 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26326] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26326/stat : 26326 (java) S 26312 26312 25226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30608744 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26327] ppid=26312 vsize=807332 CPUtime=0.17
/proc/26322/task/26327/stat : 26327 (java) S 26312 26312 25226 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 30608744 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26328] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26328/stat : 26328 (java) S 26312 26312 25226 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30608744 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26322/tid=26329] ppid=26312 vsize=807332 CPUtime=0
/proc/26322/task/26329/stat : 26329 (java) S 26312 26312 25226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30608744 826707968 8532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 821056

[startup+25.5413 s]
/proc/loadavg: 2.10 2.37 2.69 3/96 26332
/proc/meminfo: memFree=482368/2055920 swapFree=4192812/4192956
[pid=26312] ppid=26310 vsize=18372 CPUtime=13.71
/proc/26312/stat : 26312 (sugar) S 26310 26312 25226 0 -1 4194304 2414 8803 0 1 10 1 1271 89 19 0 1 0 30608640 18812928 1934 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26312/statm: 4593 1934 373 3 0 1693 0
[pid=26314] ppid=26312 vsize=0 CPUtime=0.85
/proc/26314/stat : 26314 (java) Z 26312 26312 25226 0 -1 1036 9392 0 1 0 78 7 0 0 16 0 1 0 30608645 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26314/statm: 0 0 0 0 0 0 0
[pid=26332] ppid=26312 vsize=593700 CPUtime=10.64
/proc/26332/stat : 26332 (minisat) R 26312 26312 25226 0 -1 0 143351 0 0 0 967 97 0 0 25 0 1 0 30610122 607948800 142120 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 148425 142120 36 112 0 148309 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 612072

Child status: 0

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26312 and gives childrusage.ru_utime.tv_sec=41 childrusage.ru_utime.tv_usec=636670 childrusage.ru_stime.tv_sec=2 childrusage.ru_stime.tv_usec=221662
CPU time returned by wait4() is 43.8583
while last known CPU time is 44.59

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 45.1483
CPU time (s): 44.59
CPU user time (s): 42.4
CPU system time (s): 2.19
CPU usage (%): 98.7635
Max. virtual memory (cumulated for all children) (KiB): 821056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.6367
system time used= 2.22166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170494
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= 1384
involuntary context switches= 2965

runsolver used 0.056991 s user time and 0.152976 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Mon Jan 29 21:35:46 UTC 2007


IDJOB= 232547
IDBENCH= 6532
IDSOLVER= 86
FILE ID= node19/232547-1170106545

PBS_JOBID= 3689492

Free space on /tmp= 66559 MiB

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

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  b0bc3a455955fb2ea2b28a025b381c8f

RANDOM SEED= 692719753

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.214
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	: 5931.00
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.214
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:       1269680 kB
Buffers:         20432 kB
Cached:          54844 kB
SwapCached:          0 kB
Active:         697700 kB
Inactive:        35304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1269680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1352 kB
Writeback:           0 kB
Mapped:         683232 kB
Slab:            36864 kB
Committed_AS:   980832 kB
PageTables:       3400 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= 66559 MiB



End job on node19 on Mon Jan 29 21:36:32 UTC 2007