Trace number 233197

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 45.4021 45.9402

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-1.xml
MD5SUM3f59ce7e2cf0069032dc8d030cfb3b7e
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 benchmark45.4021
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1265
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/233197-1170106666/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/233197-1170106666/unknown.xml [Mon Jan 29 22:37:46 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/233197-1170106666/unknown.xml /tmp/evaluation/233197-1170106666/sugar466.csp [Mon Jan 29 22:37:46 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233197-1170106666/sugar-v0-40.jar -convert /tmp/evaluation/233197-1170106666/unknown.xml /tmp/evaluation/233197-1170106666/sugar466.csp
0.16	c BEGIN convert /tmp/evaluation/233197-1170106666/unknown.xml
1.05	c END convert (0.896586 seconds)
1.11	c # CONVERT_XML  END : /tmp/evaluation/233197-1170106666/sugar466.csp 378238 bytes (1 seconds) [Mon Jan 29 22:37:47 2007]
1.11	c # CONVERT_XML  CPU : 1 = 0 + 0 + 0.92 + 0.08
1.11	
1.11	c # GENERATE_SAT  BEGIN : /tmp/evaluation/233197-1170106666/sugar466.bcnf [Mon Jan 29 22:37:47 2007]
1.11	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233197-1170106666/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233197-1170106666/sugar466.map /tmp/evaluation/233197-1170106666/sugar466.csp /tmp/evaluation/233197-1170106666/sugar466.bcnf
1.24	c BEGIN parse /tmp/evaluation/233197-1170106666/sugar466.csp
2.31	c END parse (1.069325 seconds)
2.31	c BEGIN simplify
2.39	c END simplify (0.080593 seconds)
2.39	c BEGIN encode /tmp/evaluation/233197-1170106666/sugar466.bcnf
19.00	c END encode (16.608051 seconds)
19.17	c # GENERATE_SAT  END : 500393 variables 18169461 clauses 288620772 bytes (18 seconds) [Mon Jan 29 22:38:05 2007]
19.17	c # GENERATE_SAT  CPU : 17.81 = 0.14 + 0.01 + 16.41 + 1.25
19.17	
19.17	c # SOLVE_SAT  BEGIN : /tmp/evaluation/233197-1170106666/sugar466.bcnf [Mon Jan 29 22:38:05 2007]
19.17	c # CMD : /tmp/evaluation/233197-1170106666/minisat /tmp/evaluation/233197-1170106666/sugar466.bcnf /tmp/evaluation/233197-1170106666/sugar466.out
29.80	c ==================================[MINISAT]===================================
29.80	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
29.80	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
29.80	c ==============================================================================
29.80	c |         0 | 18169461 53985590 | 6056487       0        0     nan |  0.000 % |
33.32	c |       101 | 18169461 53985590 | 6662135     101     1897    18.8 |  0.000 % |
36.85	c |       252 | 18169461 53985590 | 7328349     252     4270    16.9 |  0.000 % |
40.90	c |       477 | 18169461 53985590 | 8061184     477     8237    17.3 |  0.000 % |
44.57	c ==============================================================================
44.57	c restarts              : 4
44.57	c conflicts             : 648            (27 /sec)
44.57	c decisions             : 7015           (293 /sec)
44.57	c propagations          : 6025847        (251660 /sec)
44.57	c conflict literals     : 10107          (5.65 % deleted)
44.57	c Memory used           : 772.33 MB
44.57	c CPU time              : 23.9444 s
44.57	c 
44.57	c SATISFIABLE
44.95	c # SOLVE_SAT  END : SATISFIABLE (26 seconds) [Mon Jan 29 22:38:31 2007]
44.95	c # SOLVE_SAT  CPU : 25.62 = 0 + 0.01 + 24.18 + 1.43
44.95	
44.95	c # RESULT : SATISFIABLE
44.95	
44.95	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 22:38:31 2007]
45.07	c BEGIN read SAT output /tmp/evaluation/233197-1170106666/sugar466.out
45.51	c END read SAT output (0.443077 seconds)
45.51	c BEGIN write solution /tmp/evaluation/233197-1170106666/sugar466.sol
45.70	c END write solution (0.190989 seconds)
45.77	s SATISFIABLE
45.77	v 1152 1238 1056 327 863 1203 172 961 559 697 48 25 1107 762 398 552 108 823 461 261 544 964 290 1192 180 932 901 0 99 876 777 644 1142 460 261 1021 358 1042 716 350 199 303 720 664 832 1153 514 193 640 1037 846 549 753 417 929 2 658 1182 574 108 102 753 364 51 273 1175 1060 521 399 832 917 582 670 971 74 180 931 497 564 1146 470 429 199 108 125 287 886 621 107 1123 554 672 169 641 894 1263 368 582 343 982 218 276 688 759 426 1079 1217 863 705 1063 964 120 903 7 114 498 1130 613 534 347 365 1207 101 485 1022 893 382 563 983 265 189 626 334 771 7 1107 663 730 863 107 49 60 258 297 965 1207 691 334 2 845 451 1132 585 750 1194 841 232 165 382 1028 1261 915 526 855 811 40 629 178 100 765 288 795 344 1079 1121 10 250 408 684 628 364 1078 9 1218 577 754 302 25 1117 874 1001 851 530 973 711 69 237 99 446 659 936 1142 361 104 446 867 84 1259 1236 671 193 35 538 183 772 277 1035 583 51 478 3 1141 133 614 859 347 680 931 762 834 965 262 398 453 1196 90 219 555 1045 511 597 816 1179 469 586 132 746 787 706 1207 278 667 391 328 184 988 33 897 1164 1106 1134 708 465 913 345 929 416 1023 1249 635 49 848 1114 82 63 760 540 2 251 181 598 839 253 537 760 222 1220 351 681 172 927 361 472 74 940 1039 1136 97 1028 2 496 99 367 108 971 1051 208 308 1187 1131 1118 706 131 939 868 212 684 226 179 556 11 561 1119 1082 1078 253 708 502 378 1168 616 314 928 771 124 156 49 868 1000 408 136 777 446 525 1120 47 624 693 587 1199 840 54 215 358 1005 1258 353 1216 281 935 914 569 259 492 534 205 270 390 1194 55 1134 990 647 773 508 821 682 875 159 1064 467 260 955 788 29 675 1120 916 335 159 1252 1047 1136 1157 632 205 541 370 1193 1207
45.78	c # OUTPUT_SOL  END :  (1 seconds) [Mon Jan 29 22:38:32 2007]
45.78	c # OUTPUT_SOL  CPU : 0.760000000000002 = 0.00999999999999998 + 0 + 0.670000000000002 + 0.0800000000000001
45.78	
45.78	c # MAIN  END :  (46 seconds) [Mon Jan 29 22:38:32 2007]
45.78	c # MAIN  CPU : 45.19 = 0.15 + 0.02 + 42.18 + 2.84
45.78

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/node10/watcher-233197-1170106666 -o ROOT/results/node10/solver-233197-1170106666 -C 1800 -M 900 /tmp/evaluation/233197-1170106666/solver /tmp/evaluation/233197-1170106666 /tmp/evaluation/233197-1170106666/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: 1.95 2.46 2.84 4/94 467
/proc/meminfo: memFree=1239832/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=18540 CPUtime=0
/proc/466/stat : 466 (runsolver) R 464 466 32597 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30621615 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 214919867687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/466/statm: 4635 279 244 17 0 2626 0

[startup+0.107961 s]
/proc/loadavg: 1.95 2.46 2.84 4/94 467
/proc/meminfo: memFree=1239832/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=0.03
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30621615 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/466/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.516024 s]
/proc/loadavg: 1.95 2.46 2.84 4/94 467
/proc/meminfo: memFree=1239832/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=0.03
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30621615 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/466/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33713 s]
/proc/loadavg: 1.95 2.46 2.84 3/95 476
/proc/meminfo: memFree=1237136/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=1.04
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1190 11200 0 1 3 1 92 8 16 0 1 0 30621615 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/466/statm: 3431 809 371 3 0 531 0
[pid=476] ppid=466 vsize=807064 CPUtime=0.2
/proc/476/stat : 476 (java) R 466 466 32597 0 -1 0 3215 0 1 0 18 2 0 0 24 0 8 0 30621726 826433536 2966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/476/statm: 201766 2966 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788

[startup+2.98535 s]
/proc/loadavg: 1.95 2.46 2.84 3/102 483
/proc/meminfo: memFree=1207960/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=1.04
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1190 11200 0 1 3 1 92 8 16 0 1 0 30621615 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/466/statm: 3431 809 371 3 0 531 0
[pid=476] ppid=466 vsize=807332 CPUtime=1.84
/proc/476/stat : 476 (java) R 466 466 32597 0 -1 0 9815 0 1 0 173 11 0 0 25 0 8 0 30621726 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/476/statm: 201833 9559 1510 14 0 189111 0
[pid=476/tid=477] ppid=466 vsize=807332 CPUtime=0.2
/proc/476/task/477/stat : 477 (java) S 466 466 32597 0 -1 64 3585 0 0 0 19 1 0 0 16 0 8 0 30621730 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=478] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/478/stat : 478 (java) S 466 466 32597 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=479] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/479/stat : 479 (java) S 466 466 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=480] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/480/stat : 480 (java) S 466 466 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30621734 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=481] ppid=466 vsize=807332 CPUtime=0.16
/proc/476/task/481/stat : 481 (java) S 466 466 32597 0 -1 64 418 0 0 0 16 0 0 0 16 0 8 0 30621734 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=482] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/482/stat : 482 (java) S 466 466 32597 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30621734 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=483] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/483/stat : 483 (java) S 466 466 32597 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30621734 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 821056

[startup+6.2738 s]
/proc/loadavg: 1.95 2.45 2.83 3/102 483
/proc/meminfo: memFree=1147544/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=1.04
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1190 11200 0 1 3 1 92 8 16 0 1 0 30621615 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/466/statm: 3431 809 371 3 0 531 0
[pid=476] ppid=466 vsize=807332 CPUtime=5.09
/proc/476/stat : 476 (java) R 466 466 32597 0 -1 0 9819 0 1 0 470 39 0 0 25 0 8 0 30621726 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152049425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/476/statm: 201833 9562 1510 14 0 189111 0
[pid=476/tid=477] ppid=466 vsize=807332 CPUtime=0.2
/proc/476/task/477/stat : 477 (java) S 466 466 32597 0 -1 64 3585 0 0 0 19 1 0 0 16 0 8 0 30621730 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=478] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/478/stat : 478 (java) S 466 466 32597 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=479] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/479/stat : 479 (java) S 466 466 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=480] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/480/stat : 480 (java) S 466 466 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30621734 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=481] ppid=466 vsize=807332 CPUtime=0.16
/proc/476/task/481/stat : 481 (java) S 466 466 32597 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30621734 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=482] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/482/stat : 482 (java) S 466 466 32597 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30621734 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=483] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/483/stat : 483 (java) S 466 466 32597 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30621734 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 821056

[startup+12.7727 s]
/proc/loadavg: 1.96 2.44 2.83 3/102 483
/proc/meminfo: memFree=1021728/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=1.04
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1190 11200 0 1 3 1 92 8 16 0 1 0 30621615 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/466/statm: 3431 809 371 3 0 531 0
[pid=476] ppid=466 vsize=807332 CPUtime=11.52
/proc/476/stat : 476 (java) R 466 466 32597 0 -1 0 11760 0 1 0 1065 87 0 0 25 0 8 0 30621726 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/476/statm: 201833 11502 1510 14 0 189111 0
[pid=476/tid=477] ppid=466 vsize=807332 CPUtime=0.26
/proc/476/task/477/stat : 477 (java) S 466 466 32597 0 -1 64 5525 0 0 0 24 2 0 0 16 0 8 0 30621730 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=478] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/478/stat : 478 (java) S 466 466 32597 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=479] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/479/stat : 479 (java) S 466 466 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=480] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/480/stat : 480 (java) S 466 466 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30621734 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=481] ppid=466 vsize=807332 CPUtime=0.16
/proc/476/task/481/stat : 481 (java) S 466 466 32597 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30621734 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=482] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/482/stat : 482 (java) S 466 466 32597 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30621734 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=483] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/483/stat : 483 (java) S 466 466 32597 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30621734 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 821056

[startup+25.6164 s]
/proc/loadavg: 1.97 2.42 2.81 3/95 484
/proc/meminfo: memFree=556824/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=22196 CPUtime=18.84
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 3370 22978 0 2 17 1 1733 133 20 0 1 0 30621615 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/466/statm: 5549 2891 373 3 0 2649 0
[pid=484] ppid=466 vsize=441640 CPUtime=6.36
/proc/484/stat : 484 (minisat) R 466 466 32597 0 -1 0 107278 0 0 0 564 72 0 0 25 0 1 0 30623532 452239360 107073 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134637942 0 0 4096 0 0 0 0 17 1 0 0
/proc/484/statm: 110410 107074 35 112 0 110294 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 463836

Child status: 0
Real time (s): 45.9402
CPU time (s): 45.4021
CPU user time (s): 42.3766
CPU system time (s): 3.02554
CPU usage (%): 98.8288
Max. virtual memory (cumulated for all children) (KiB): 829332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.3766
system time used= 3.02554
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234296
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= 2255
involuntary context switches= 2706

runsolver used 0.046992 s user time and 0.157975 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Mon Jan 29 21:37:46 UTC 2007


IDJOB= 233197
IDBENCH= 6586
IDSOLVER= 86
FILE ID= node10/233197-1170106666

PBS_JOBID= 3689885

Free space on /tmp= 66557 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-1.xml
COMMAND LINE= /tmp/evaluation/233197-1170106666/solver /tmp/evaluation/233197-1170106666 /tmp/evaluation/233197-1170106666/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-233197-1170106666 -o ROOT/results/node10/solver-233197-1170106666 -C 1800 -M 900  /tmp/evaluation/233197-1170106666/solver /tmp/evaluation/233197-1170106666 /tmp/evaluation/233197-1170106666/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  3f59ce7e2cf0069032dc8d030cfb3b7e

RANDOM SEED= 601407131

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.232
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.232
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:       1240312 kB
Buffers:         38384 kB
Cached:          65452 kB
SwapCached:          0 kB
Active:         702360 kB
Inactive:        58016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1240312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1940 kB
Writeback:           0 kB
Mapped:         682104 kB
Slab:            38900 kB
Committed_AS:  1413516 kB
PageTables:       3396 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= 66557 MiB



End job on node10 on Mon Jan 29 21:38:32 UTC 2007