Trace number 233291

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 41.2197 41.6444

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-1.xml
MD5SUM9d005d728c1360dc7f3c9368b8c3efe0
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.763882
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1399
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.04	c # Sugar v0-40 (/tmp/evaluation/233291-1170106692/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/233291-1170106692/unknown.xml [Mon Jan 29 22:38:12 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/233291-1170106692/unknown.xml /tmp/evaluation/233291-1170106692/sugar26097.csp [Mon Jan 29 22:38:12 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233291-1170106692/sugar-v0-40.jar -convert /tmp/evaluation/233291-1170106692/unknown.xml /tmp/evaluation/233291-1170106692/sugar26097.csp
0.15	c BEGIN convert /tmp/evaluation/233291-1170106692/unknown.xml
1.07	c END convert (0.916597 seconds)
1.11	c # CONVERT_XML  END : /tmp/evaluation/233291-1170106692/sugar26097.csp 378238 bytes (1 seconds) [Mon Jan 29 22:38:13 2007]
1.11	c # CONVERT_XML  CPU : 1.02 = 0 + 0 + 0.95 + 0.07
1.11	
1.11	c # GENERATE_SAT  BEGIN : /tmp/evaluation/233291-1170106692/sugar26097.bcnf [Mon Jan 29 22:38:13 2007]
1.11	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233291-1170106692/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233291-1170106692/sugar26097.map /tmp/evaluation/233291-1170106692/sugar26097.csp /tmp/evaluation/233291-1170106692/sugar26097.bcnf
1.24	c BEGIN parse /tmp/evaluation/233291-1170106692/sugar26097.csp
2.26	c END parse (1.022816 seconds)
2.26	c BEGIN simplify
2.34	c END simplify (0.076295 seconds)
2.34	c BEGIN encode /tmp/evaluation/233291-1170106692/sugar26097.bcnf
20.20	c END encode (17.854319 seconds)
20.36	c # GENERATE_SAT  END : 553993 variables 20259861 clauses 321852836 bytes (20 seconds) [Mon Jan 29 22:38:33 2007]
20.36	c # GENERATE_SAT  CPU : 18.97 = 0.12 + 0.03 + 17.53 + 1.29
20.36	
20.36	c # SOLVE_SAT  BEGIN : /tmp/evaluation/233291-1170106692/sugar26097.bcnf [Mon Jan 29 22:38:33 2007]
20.36	c # CMD : /tmp/evaluation/233291-1170106692/minisat /tmp/evaluation/233291-1170106692/sugar26097.bcnf /tmp/evaluation/233291-1170106692/sugar26097.out
31.77	c ==================================[MINISAT]===================================
31.77	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
31.77	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
31.77	c ==============================================================================
31.77	c |         0 | 20259861 60203190 | 6753287       0        0     nan |  0.000 % |
36.48	c |       101 | 20259861 60203190 | 7428615     101     1947    19.3 |  0.000 % |
40.31	c ==============================================================================
40.31	c restarts              : 2
40.31	c conflicts             : 161            (9 /sec)
40.31	c decisions             : 3287           (179 /sec)
40.31	c propagations          : 2704764        (147373 /sec)
40.31	c conflict literals     : 2562           (5.91 % deleted)
40.31	c Memory used           : 865.42 MB
40.31	c CPU time              : 18.3532 s
40.31	c 
40.31	c SATISFIABLE
40.70	c # SOLVE_SAT  END : SATISFIABLE (20 seconds) [Mon Jan 29 22:38:53 2007]
40.70	c # SOLVE_SAT  CPU : 20.26 = 0 + 0 + 18.6 + 1.66
40.70	
40.70	c # RESULT : SATISFIABLE
40.70	
40.70	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 22:38:53 2007]
40.82	c BEGIN read SAT output /tmp/evaluation/233291-1170106692/sugar26097.out
41.27	c END read SAT output (0.44572 seconds)
41.27	c BEGIN write solution /tmp/evaluation/233291-1170106692/sugar26097.sol
41.45	c END write solution (0.178861 seconds)
41.48	s SATISFIABLE
41.48	v 1287 1209 1236 1335 533 1176 996 107 304 623 250 969 772 198 467 1 403 929 1061 15 992 1342 1203 473 10 1338 816 103 193 78 605 1263 705 909 49 172 546 1100 274 1089 143 257 465 556 618 1265 742 358 32 50 977 600 156 1060 876 779 235 1180 700 241 776 530 448 25 609 1016 454 939 362 280 1262 846 1307 712 72 1109 186 1205 1244 226 988 873 404 257 1276 1189 1181 1160 290 904 1339 761 843 755 1072 316 1236 750 617 492 834 1165 589 1074 762 918 81 584 696 296 485 311 20 606 129 135 981 1298 171 406 1382 914 615 536 180 90 318 1199 265 498 8 411 606 1281 892 1080 972 453 1068 621 632 87 4 968 24 715 498 422 1204 979 788 351 547 875 483 964 1153 1088 643 187 24 83 291 188 247 1084 28 614 756 702 518 980 1166 714 1230 934 1372 846 996 599 1179 1051 146 600 1097 1261 693 950 162 846 974 14 99 1390 237 1369 280 767 647 431 481 1106 77 857 1057 1229 924 1039 115 720 1326 138 41 941 352 220 957 626 421 795 686 1017 896 1291 944 402 502 104 1072 585 24 1144 1236 610 146 359 855 1340 215 814 81 389 13 238 470 874 65 333 743 483 1251 191 113 1216 1321 925 627 997 1149 1171 154 1008 28 739 668 408 97 755 304 925 1291 515 1303 1118 504 580 313 1352 848 1221 129 394 633 212 936 293 724 324 364 886 1236 1008 590 1238 482 1302 1045 769 1138 1149 467 947 1211 1126 1154 1045 1395 757 679 289 226 844 1295 1086 1334 1320 956 597 239 527 943 189 707 134 777 338 781 399 1251 548 844 1187 1362 1090 1052 37 1281 992 458 244 404 1030 1106 278 205 567 603 1298 1192 1001 645 794 933 706 340 1185 1394 1358 1229 574 726 335 1077 3 300 413 13 468 661 1088 783 1164 265 108 1009 151 1308 1239 1278 547 399 331 541 216 145 608 788 804 1296 985 453 843 1076 1093 1356 1129 466 1184 1326 1031
41.48	c # OUTPUT_SOL  END :  (1 seconds) [Mon Jan 29 22:38:54 2007]
41.48	c # OUTPUT_SOL  CPU : 0.750000000000002 = 0.01 + 0 + 0.670000000000002 + 0.0699999999999998
41.48	
41.48	c # MAIN  END :  (42 seconds) [Mon Jan 29 22:38:54 2007]
41.48	c # MAIN  CPU : 41 = 0.13 + 0.03 + 37.75 + 3.09
41.48

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/node75/watcher-233291-1170106692 -o ROOT/results/node75/solver-233291-1170106692 -C 1800 -M 900 /tmp/evaluation/233291-1170106692/solver /tmp/evaluation/233291-1170106692 /tmp/evaluation/233291-1170106692/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.43 2.32 1.78 5/74 26098
/proc/meminfo: memFree=1885344/2055920 swapFree=4192812/4192956
[pid=26097] ppid=26095 vsize=12268 CPUtime=0
/proc/26097/stat : 26097 (sugar) R 26095 26097 25787 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 30635062 12562432 315 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231882848869 0 0 4224 0 0 0 0 17 0 0 0
/proc/26097/statm: 3067 316 241 3 0 167 0

[startup+0.107367 s]
/proc/loadavg: 2.43 2.32 1.78 5/74 26098
/proc/meminfo: memFree=1885344/2055920 swapFree=4192812/4192956
[pid=26097] ppid=26095 vsize=13724 CPUtime=0.03
/proc/26097/stat : 26097 (sugar) S 26095 26097 25787 0 -1 4194304 1112 0 0 0 3 0 0 0 19 0 1 0 30635062 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26097/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.515419 s]
/proc/loadavg: 2.43 2.32 1.78 5/74 26098
/proc/meminfo: memFree=1885344/2055920 swapFree=4192812/4192956
[pid=26097] ppid=26095 vsize=13724 CPUtime=0.03
/proc/26097/stat : 26097 (sugar) S 26095 26097 25787 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30635062 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26097/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33651 s]
/proc/loadavg: 2.43 2.32 1.78 2/75 26107
/proc/meminfo: memFree=1882328/2055920 swapFree=4192812/4192956
[pid=26097] ppid=26095 vsize=13724 CPUtime=1.05
/proc/26097/stat : 26097 (sugar) S 26095 26097 25787 0 -1 4194304 1190 11035 0 1 3 0 95 7 15 0 1 0 30635062 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26097/statm: 3431 809 371 3 0 531 0
[pid=26107] ppid=26097 vsize=807064 CPUtime=0.19
/proc/26107/stat : 26107 (java) R 26097 26097 25787 0 -1 0 3216 0 1 0 17 2 0 0 23 0 8 0 30635173 826433536 2967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26107/statm: 201766 2967 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788

[startup+2.97971 s]
/proc/loadavg: 2.43 2.32 1.78 3/82 26114
/proc/meminfo: memFree=1853536/2055920 swapFree=4192812/4192956
[pid=26097] ppid=26095 vsize=13724 CPUtime=1.05
/proc/26097/stat : 26097 (sugar) S 26095 26097 25787 0 -1 4194304 1190 11035 0 1 3 0 95 7 16 0 1 0 30635062 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26097/statm: 3431 809 371 3 0 531 0
[pid=26107] ppid=26097 vsize=807332 CPUtime=1.82
/proc/26107/stat : 26107 (java) R 26097 26097 25787 0 -1 0 9816 0 1 0 172 10 0 0 25 0 8 0 30635173 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816260 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26107/statm: 201833 9560 1510 14 0 189111 0
[pid=26107/tid=26108] ppid=26097 vsize=807332 CPUtime=0.2
/proc/26107/task/26108/stat : 26108 (java) S 26097 26097 25787 0 -1 64 3584 0 0 0 19 1 0 0 16 0 8 0 30635178 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26109] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26109/stat : 26109 (java) S 26097 26097 25787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30635178 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26110] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26110/stat : 26110 (java) S 26097 26097 25787 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30635178 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26111] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26111/stat : 26111 (java) S 26097 26097 25787 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30635181 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26112] ppid=26097 vsize=807332 CPUtime=0.16
/proc/26107/task/26112/stat : 26112 (java) S 26097 26097 25787 0 -1 64 418 0 0 0 15 1 0 0 16 0 8 0 30635181 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26113] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26113/stat : 26113 (java) S 26097 26097 25787 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30635181 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26114] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26114/stat : 26114 (java) S 26097 26097 25787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30635181 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 821056

[startup+6.27309 s]
/proc/loadavg: 2.40 2.31 1.78 3/82 26114
/proc/meminfo: memFree=1789920/2055920 swapFree=4192812/4192956
[pid=26097] ppid=26095 vsize=13724 CPUtime=1.05
/proc/26097/stat : 26097 (sugar) S 26095 26097 25787 0 -1 4194304 1190 11035 0 1 3 0 95 7 16 0 1 0 30635062 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26097/statm: 3431 809 371 3 0 531 0
[pid=26107] ppid=26097 vsize=807332 CPUtime=5.08
/proc/26107/stat : 26107 (java) R 26097 26097 25787 0 -1 0 9820 0 1 0 478 30 0 0 25 0 8 0 30635173 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795556 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26107/statm: 201833 9563 1510 14 0 189111 0
[pid=26107/tid=26108] ppid=26097 vsize=807332 CPUtime=0.2
/proc/26107/task/26108/stat : 26108 (java) S 26097 26097 25787 0 -1 64 3584 0 0 0 19 1 0 0 16 0 8 0 30635178 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26109] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26109/stat : 26109 (java) S 26097 26097 25787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30635178 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26110] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26110/stat : 26110 (java) S 26097 26097 25787 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30635178 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26111] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26111/stat : 26111 (java) S 26097 26097 25787 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30635181 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26112] ppid=26097 vsize=807332 CPUtime=0.16
/proc/26107/task/26112/stat : 26112 (java) S 26097 26097 25787 0 -1 64 421 0 0 0 15 1 0 0 16 0 8 0 30635181 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26113] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26113/stat : 26113 (java) S 26097 26097 25787 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30635181 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26114] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26114/stat : 26114 (java) S 26097 26097 25787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30635181 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 821056

[startup+12.7669 s]
/proc/loadavg: 2.37 2.31 1.78 3/82 26114
/proc/meminfo: memFree=1659936/2055920 swapFree=4192812/4192956
[pid=26097] ppid=26095 vsize=13724 CPUtime=1.05
/proc/26097/stat : 26097 (sugar) S 26095 26097 25787 0 -1 4194304 1190 11035 0 1 3 0 95 7 16 0 1 0 30635062 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26097/statm: 3431 809 371 3 0 531 0
[pid=26107] ppid=26097 vsize=807332 CPUtime=11.51
/proc/26107/stat : 26107 (java) R 26097 26097 25787 0 -1 0 11761 0 1 0 1075 76 0 0 25 0 8 0 30635173 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26107/statm: 201833 11503 1510 14 0 189111 0
[pid=26107/tid=26108] ppid=26097 vsize=807332 CPUtime=0.25
/proc/26107/task/26108/stat : 26108 (java) S 26097 26097 25787 0 -1 64 5524 0 0 0 23 2 0 0 16 0 8 0 30635178 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26109] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26109/stat : 26109 (java) S 26097 26097 25787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30635178 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26110] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26110/stat : 26110 (java) S 26097 26097 25787 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30635178 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26111] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26111/stat : 26111 (java) S 26097 26097 25787 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30635181 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26112] ppid=26097 vsize=807332 CPUtime=0.16
/proc/26107/task/26112/stat : 26112 (java) S 26097 26097 25787 0 -1 64 421 0 0 0 15 1 0 0 16 0 8 0 30635181 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26113] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26113/stat : 26113 (java) S 26097 26097 25787 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30635181 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26107/tid=26114] ppid=26097 vsize=807332 CPUtime=0
/proc/26107/task/26114/stat : 26114 (java) S 26097 26097 25787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30635181 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 821056

[startup+25.6154 s]
/proc/loadavg: 2.36 2.31 1.79 3/75 26117
/proc/meminfo: memFree=1232088/2055920 swapFree=4192812/4192956
[pid=26097] ppid=26095 vsize=22196 CPUtime=20.02
/proc/26097/stat : 26097 (sugar) S 26095 26097 25787 0 -1 4194304 3370 22814 0 2 15 3 1848 136 20 0 1 0 30635062 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26097/statm: 5549 2891 373 3 0 2649 0
[pid=26117] ppid=26097 vsize=395608 CPUtime=5.22
/proc/26117/stat : 26117 (minisat) R 26097 26097 25787 0 -1 0 93237 0 0 0 456 66 0 0 25 0 1 0 30637098 405102592 93032 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134518962 0 0 4096 0 0 0 0 17 1 0 0
/proc/26117/statm: 98902 93032 35 112 0 98786 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 417804

Child status: 0
Real time (s): 41.6444
CPU time (s): 41.2197
CPU user time (s): 37.9212
CPU system time (s): 3.2985
CPU usage (%): 98.9802
Max. virtual memory (cumulated for all children) (KiB): 908388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.9212
system time used= 3.2985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250567
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= 2307
involuntary context switches= 2695

runsolver used 0.055991 s user time and 0.115982 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Mon Jan 29 21:38:12 UTC 2007


IDJOB= 233291
IDBENCH= 6591
IDSOLVER= 86
FILE ID= node75/233291-1170106692

PBS_JOBID= 3689873

Free space on /tmp= 66551 MiB

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

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  9d005d728c1360dc7f3c9368b8c3efe0

RANDOM SEED= 95981167

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.218
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.218
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1885824 kB
Buffers:          8288 kB
Cached:          45908 kB
SwapCached:          0 kB
Active:          93876 kB
Inactive:        24500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1885824 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1788 kB
Writeback:           0 kB
Mapped:          75192 kB
Slab:            36876 kB
Committed_AS:   415636 kB
PageTables:       1896 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= 66551 MiB



End job on node75 on Mon Jan 29 21:38:54 UTC 2007