Trace number 232979

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.6622 45.1931

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-9.xml
MD5SUMe4f07f5e15632e967d01c8f33a30aa21
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 benchmark0.792879
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1348
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/232979-1170106613/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/232979-1170106613/unknown.xml [Mon Jan 29 22:36:54 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/232979-1170106613/unknown.xml /tmp/evaluation/232979-1170106613/sugar26484.csp [Mon Jan 29 22:36:54 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232979-1170106613/sugar-v0-40.jar -convert /tmp/evaluation/232979-1170106613/unknown.xml /tmp/evaluation/232979-1170106613/sugar26484.csp
0.17	c BEGIN convert /tmp/evaluation/232979-1170106613/unknown.xml
1.07	c END convert (0.901365 seconds)
1.12	c # CONVERT_XML  END : /tmp/evaluation/232979-1170106613/sugar26484.csp 378200 bytes (1 seconds) [Mon Jan 29 22:36:55 2007]
1.12	c # CONVERT_XML  CPU : 1 = 0 + 0 + 0.93 + 0.07
1.12	
1.12	c # GENERATE_SAT  BEGIN : /tmp/evaluation/232979-1170106613/sugar26484.bcnf [Mon Jan 29 22:36:55 2007]
1.12	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232979-1170106613/sugar-v0-40.jar -bcnf -map /tmp/evaluation/232979-1170106613/sugar26484.map /tmp/evaluation/232979-1170106613/sugar26484.csp /tmp/evaluation/232979-1170106613/sugar26484.bcnf
1.24	c BEGIN parse /tmp/evaluation/232979-1170106613/sugar26484.csp
2.24	c END parse (1.005669 seconds)
2.24	c BEGIN simplify
2.32	c END simplify (0.077646 seconds)
2.32	c BEGIN encode /tmp/evaluation/232979-1170106613/sugar26484.bcnf
19.74	c END encode (17.413849 seconds)
19.98	c # GENERATE_SAT  END : 534124 variables 19505148 clauses 309856880 bytes (19 seconds) [Mon Jan 29 22:37:14 2007]
19.98	c # GENERATE_SAT  CPU : 18.46 = 0.14 + 0.01 + 17.09 + 1.22
19.98	
19.98	c # SOLVE_SAT  BEGIN : /tmp/evaluation/232979-1170106613/sugar26484.bcnf [Mon Jan 29 22:37:14 2007]
19.98	c # CMD : /tmp/evaluation/232979-1170106613/minisat /tmp/evaluation/232979-1170106613/sugar26484.bcnf /tmp/evaluation/232979-1170106613/sugar26484.out
31.34	c ==================================[MINISAT]===================================
31.34	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
31.34	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
31.34	c ==============================================================================
31.34	c |         0 | 19505148 57958920 | 6501716       0        0     nan |  0.000 % |
35.80	c |       100 | 19505148 57958920 | 7151887     100     1992    19.9 |  0.000 % |
39.54	c |       251 | 19505148 57958920 | 7867076     251     5707    22.7 |  0.000 % |
43.78	c ==============================================================================
43.78	c restarts              : 3
43.78	c conflicts             : 380            (17 /sec)
43.78	c decisions             : 6149           (274 /sec)
43.78	c propagations          : 4789906        (213620 /sec)
43.78	c conflict literals     : 6878           (8.88 % deleted)
43.78	c Memory used           : 849.38 MB
43.78	c CPU time              : 22.4226 s
43.78	c 
43.78	c SATISFIABLE
44.19	c # SOLVE_SAT  END : SATISFIABLE (24 seconds) [Mon Jan 29 22:37:38 2007]
44.19	c # SOLVE_SAT  CPU : 24.21 = 0 + 0 + 22.68 + 1.53
44.19	
44.19	c # RESULT : SATISFIABLE
44.19	
44.19	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 22:37:38 2007]
44.31	c BEGIN read SAT output /tmp/evaluation/232979-1170106613/sugar26484.out
44.76	c END read SAT output (0.45134 seconds)
44.76	c BEGIN write solution /tmp/evaluation/232979-1170106613/sugar26484.sol
44.95	c END write solution (0.191151 seconds)
45.00	s SATISFIABLE
45.00	v 1041 1162 1215 809 677 546 969 760 420 537 8 80 1320 913 233 151 755 1300 331 1261 725 487 1222 455 986 599 967 775 1181 869 248 1104 451 59 220 382 914 644 0 126 33 899 254 27 1272 8 176 486 637 473 1287 107 371 281 516 570 583 546 1069 350 505 343 983 1315 853 1171 628 387 1243 1147 907 1050 675 541 251 155 763 402 75 376 476 961 1147 626 1049 985 644 1275 811 908 72 543 1225 284 182 427 1215 963 485 118 855 1044 828 539 77 217 1156 404 1139 746 634 951 326 1271 196 182 1078 287 970 711 915 972 800 731 350 592 1144 385 329 551 9 702 1257 837 1347 79 152 475 218 1067 6 409 422 960 2 469 572 72 1127 939 788 661 1230 269 1321 1004 155 1071 162 688 425 45 335 975 113 1140 652 1236 490 898 1033 519 4 835 1323 730 139 1272 596 1347 343 172 634 1022 736 1139 1260 51 888 136 204 397 30 1198 953 1227 247 471 1064 547 659 547 737 1084 1256 251 420 983 449 106 816 785 1267 223 340 1045 1223 869 490 158 94 20 1211 385 496 1046 531 1 1177 33 182 843 947 457 1100 321 259 786 634 658 1065 353 1159 26 1233 763 829 497 178 1115 261 412 92 667 533 809 1343 884 620 886 1122 1237 673 901 99 1231 577 212 880 1040 391 772 34 689 352 418 1224 972 1214 1327 52 679 260 258 1051 229 881 1146 529 1264 1242 217 616 961 344 420 1211 755 1288 64 1009 1039 641 374 783 1130 305 242 1272 1104 30 214 689 896 1343 323 1189 495 1279 556 19 507 1298 673 95 1154 296 449 737 592 1142 359 1258 1235 982 935 949 134 838 456 371 1310 1018 1211 281 569 1052 470 904 5 622 551 1149 799 824 1016 714 999 973 119 313 531 1287 1078 1331 890 1148 66 237 1131 459 804 342 1241 159 695 382 1113 982 598 539 741 729 1177 962 470 943 890 917 60 7 1018 194 579 312 400 1112 785 837 1272
45.01	c # OUTPUT_SOL  END :  (1 seconds) [Mon Jan 29 22:37:39 2007]
45.01	c # OUTPUT_SOL  CPU : 0.769999999999996 = 0.01 + 0 + 0.699999999999996 + 0.0600000000000001
45.02	
45.02	c # MAIN  END :  (45 seconds) [Mon Jan 29 22:37:39 2007]
45.02	c # MAIN  CPU : 44.44 = 0.15 + 0.01 + 41.4 + 2.88
45.02

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-232979-1170106613 -o ROOT/results/node19/solver-232979-1170106613 -C 1800 -M 900 /tmp/evaluation/232979-1170106613/solver /tmp/evaluation/232979-1170106613 /tmp/evaluation/232979-1170106613/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.81 2.26 2.64 5/94 26485
/proc/meminfo: memFree=1266392/2055920 swapFree=4192812/4192956
[pid=26484] ppid=26482 vsize=18540 CPUtime=0
/proc/26484/stat : 26484 (runsolver) R 26482 26484 26355 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30615413 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 255236566311 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26484/statm: 4635 279 244 17 0 2626 0

[startup+0.102669 s]
/proc/loadavg: 1.81 2.26 2.64 5/94 26485
/proc/meminfo: memFree=1266392/2055920 swapFree=4192812/4192956
[pid=26484] ppid=26482 vsize=13724 CPUtime=0.03
/proc/26484/stat : 26484 (sugar) S 26482 26484 26355 0 -1 4194304 1112 0 0 0 2 1 0 0 18 0 1 0 30615413 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26484/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.510722 s]
/proc/loadavg: 1.81 2.26 2.64 5/94 26485
/proc/meminfo: memFree=1266392/2055920 swapFree=4192812/4192956
[pid=26484] ppid=26482 vsize=13724 CPUtime=0.03
/proc/26484/stat : 26484 (sugar) S 26482 26484 26355 0 -1 4194304 1121 0 0 0 2 1 0 0 15 0 1 0 30615413 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26484/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.3348 s]
/proc/loadavg: 1.81 2.26 2.64 5/95 26494
/proc/meminfo: memFree=1264144/2055920 swapFree=4192812/4192956
[pid=26484] ppid=26482 vsize=13724 CPUtime=1.03
/proc/26484/stat : 26484 (sugar) S 26482 26484 26355 0 -1 4194304 1190 11031 0 1 2 1 93 7 15 0 1 0 30615413 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26484/statm: 3431 809 371 3 0 531 0
[pid=26494] ppid=26484 vsize=807064 CPUtime=0.19
/proc/26494/stat : 26494 (java) R 26484 26484 26355 0 -1 0 3219 0 1 0 17 2 0 0 24 0 8 0 30615526 826433536 2970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26494/statm: 201766 2970 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 820788

[startup+2.98498 s]
/proc/loadavg: 1.81 2.26 2.64 4/102 26501
/proc/meminfo: memFree=1234584/2055920 swapFree=4192812/4192956
[pid=26484] ppid=26482 vsize=13724 CPUtime=1.03
/proc/26484/stat : 26484 (sugar) S 26482 26484 26355 0 -1 4194304 1190 11031 0 1 2 1 93 7 16 0 1 0 30615413 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26484/statm: 3431 809 371 3 0 531 0
[pid=26494] ppid=26484 vsize=807332 CPUtime=1.82
/proc/26494/stat : 26494 (java) R 26484 26484 26355 0 -1 0 9817 0 1 0 173 9 0 0 25 0 8 0 30615526 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816266 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26494/statm: 201833 9561 1511 14 0 189111 0
[pid=26494/tid=26495] ppid=26484 vsize=807332 CPUtime=0.19
/proc/26494/task/26495/stat : 26495 (java) S 26484 26484 26355 0 -1 64 3586 0 0 0 18 1 0 0 16 0 8 0 30615529 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26496] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26496/stat : 26496 (java) S 26484 26484 26355 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30615530 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26497] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26497/stat : 26497 (java) S 26484 26484 26355 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30615530 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26498] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26484 26484 26355 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30615533 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26499] ppid=26484 vsize=807332 CPUtime=0.14
/proc/26494/task/26499/stat : 26499 (java) S 26484 26484 26355 0 -1 64 418 0 0 0 14 0 0 0 16 0 8 0 30615533 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26500] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26484 26484 26355 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30615533 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26501] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26501/stat : 26501 (java) S 26484 26484 26355 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30615533 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 821056

[startup+6.26433 s]
/proc/loadavg: 1.82 2.26 2.64 3/102 26501
/proc/meminfo: memFree=1171096/2055920 swapFree=4192812/4192956
[pid=26484] ppid=26482 vsize=13724 CPUtime=1.03
/proc/26484/stat : 26484 (sugar) S 26482 26484 26355 0 -1 4194304 1190 11031 0 1 2 1 93 7 16 0 1 0 30615413 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26484/statm: 3431 809 371 3 0 531 0
[pid=26494] ppid=26484 vsize=807332 CPUtime=5.05
/proc/26494/stat : 26494 (java) R 26484 26484 26355 0 -1 0 9821 0 1 0 474 31 0 0 25 0 8 0 30615526 826707968 9564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152096930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26494/statm: 201833 9564 1511 14 0 189111 0
[pid=26494/tid=26495] ppid=26484 vsize=807332 CPUtime=0.19
/proc/26494/task/26495/stat : 26495 (java) S 26484 26484 26355 0 -1 64 3586 0 0 0 18 1 0 0 16 0 8 0 30615529 826707968 9564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26496] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26496/stat : 26496 (java) S 26484 26484 26355 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30615530 826707968 9564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26497] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26497/stat : 26497 (java) S 26484 26484 26355 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30615530 826707968 9564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26498] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26484 26484 26355 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30615533 826707968 9564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26499] ppid=26484 vsize=807332 CPUtime=0.15
/proc/26494/task/26499/stat : 26499 (java) S 26484 26484 26355 0 -1 64 421 0 0 0 15 0 0 0 16 0 8 0 30615533 826707968 9564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26500] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26484 26484 26355 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30615533 826707968 9564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26501] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26501/stat : 26501 (java) S 26484 26484 26355 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30615533 826707968 9564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821056

[startup+12.763 s]
/proc/loadavg: 1.83 2.25 2.63 3/102 26501
/proc/meminfo: memFree=1042968/2055920 swapFree=4192812/4192956
[pid=26484] ppid=26482 vsize=13724 CPUtime=1.03
/proc/26484/stat : 26484 (sugar) S 26482 26484 26355 0 -1 4194304 1190 11031 0 1 2 1 93 7 16 0 1 0 30615413 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26484/statm: 3431 809 371 3 0 531 0
[pid=26494] ppid=26484 vsize=807332 CPUtime=11.46
/proc/26494/stat : 26494 (java) R 26484 26484 26355 0 -1 0 11762 0 1 0 1071 75 0 0 25 0 8 0 30615526 826707968 11504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803860 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26494/statm: 201833 11504 1511 14 0 189111 0
[pid=26494/tid=26495] ppid=26484 vsize=807332 CPUtime=0.24
/proc/26494/task/26495/stat : 26495 (java) S 26484 26484 26355 0 -1 64 5526 0 0 0 22 2 0 0 16 0 8 0 30615529 826707968 11504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26496] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26496/stat : 26496 (java) S 26484 26484 26355 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30615530 826707968 11504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26497] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26497/stat : 26497 (java) S 26484 26484 26355 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30615530 826707968 11504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26498] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26484 26484 26355 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30615533 826707968 11504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26499] ppid=26484 vsize=807332 CPUtime=0.15
/proc/26494/task/26499/stat : 26499 (java) S 26484 26484 26355 0 -1 64 421 0 0 0 15 0 0 0 16 0 8 0 30615533 826707968 11504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26500] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26484 26484 26355 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30615533 826707968 11504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26494/tid=26501] ppid=26484 vsize=807332 CPUtime=0
/proc/26494/task/26501/stat : 26501 (java) S 26484 26484 26355 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30615533 826707968 11504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 821056

[startup+25.6104 s]
/proc/loadavg: 1.87 2.24 2.62 3/95 26502
/proc/meminfo: memFree=611792/2055920 swapFree=4192812/4192956
[pid=26484] ppid=26482 vsize=22196 CPUtime=19.49
/proc/26484/stat : 26484 (sugar) S 26482 26484 26355 0 -1 4194304 3370 22811 0 2 16 2 1802 129 19 0 1 0 30615413 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26484/statm: 5549 2891 373 3 0 2649 0
[pid=26502] ppid=26484 vsize=404492 CPUtime=5.61
/proc/26502/stat : 26502 (minisat) R 26484 26484 26355 0 -1 0 95517 0 0 0 497 64 0 0 25 0 1 0 30617412 414199808 95312 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522955 0 0 4096 0 0 0 0 17 1 0 0
/proc/26502/statm: 101123 95312 35 112 0 101007 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 426688

Child status: 0
Real time (s): 45.1931
CPU time (s): 44.6622
CPU user time (s): 41.5797
CPU system time (s): 3.08253
CPU usage (%): 98.8253
Max. virtual memory (cumulated for all children) (KiB): 891956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.5797
system time used= 3.08253
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245408
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= 2292
involuntary context switches= 3503

runsolver used 0.065989 s user time and 0.133979 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Mon Jan 29 21:36:54 UTC 2007


IDJOB= 232979
IDBENCH= 6572
IDSOLVER= 86
FILE ID= node19/232979-1170106613

PBS_JOBID= 3689888

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  e4f07f5e15632e967d01c8f33a30aa21

RANDOM SEED= 966259595

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:       1267000 kB
Buffers:         20996 kB
Cached:          57680 kB
SwapCached:          0 kB
Active:         698800 kB
Inactive:        36664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1267000 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2188 kB
Writeback:           0 kB
Mapped:         682336 kB
Slab:            37056 kB
Committed_AS:   993240 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= 66558 MiB



End job on node19 on Mon Jan 29 21:37:39 UTC 2007