Trace number 234217

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 61.0037 61.7644

General information on the benchmark

Nametaillard/js-taillard-15/
js-taillard-15-100-1.xml
MD5SUMb3d611ca069239f98b1759de1b883165
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 benchmark61.0037
SatisfiableYES
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1263
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	c # Sugar v0-40 (/tmp/evaluation/234217-1170106900/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/234217-1170106900/unknown.xml [Mon Jan 29 22:41:40 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/234217-1170106900/unknown.xml /tmp/evaluation/234217-1170106900/sugar27968.csp [Mon Jan 29 22:41:40 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/234217-1170106900/sugar-v0-40.jar -convert /tmp/evaluation/234217-1170106900/unknown.xml /tmp/evaluation/234217-1170106900/sugar27968.csp
0.21	c BEGIN convert /tmp/evaluation/234217-1170106900/unknown.xml
0.71	c END convert (0.500134 seconds)
0.76	c # CONVERT_XML  END : /tmp/evaluation/234217-1170106900/sugar27968.csp 84430 bytes (1 seconds) [Mon Jan 29 22:41:41 2007]
0.76	c # CONVERT_XML  CPU : 0.6 = 0 + 0 + 0.55 + 0.05
0.76	
0.76	c # GENERATE_SAT  BEGIN : /tmp/evaluation/234217-1170106900/sugar27968.bcnf [Mon Jan 29 22:41:41 2007]
0.76	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/234217-1170106900/sugar-v0-40.jar -bcnf -map /tmp/evaluation/234217-1170106900/sugar27968.map /tmp/evaluation/234217-1170106900/sugar27968.csp /tmp/evaluation/234217-1170106900/sugar27968.bcnf
0.87	c BEGIN parse /tmp/evaluation/234217-1170106900/sugar27968.csp
1.29	c END parse (0.421222 seconds)
1.29	c BEGIN simplify
1.32	c END simplify (0.025135 seconds)
1.32	c BEGIN encode /tmp/evaluation/234217-1170106900/sugar27968.bcnf
4.85	c END encode (3.533287 seconds)
4.93	c # GENERATE_SAT  END : 275969 variables 4185416 clauses 64865384 bytes (4 seconds) [Mon Jan 29 22:41:45 2007]
4.93	c # GENERATE_SAT  CPU : 4.1 = 0.03 + 0.01 + 3.79 + 0.27
4.93	
4.93	c # SOLVE_SAT  BEGIN : /tmp/evaluation/234217-1170106900/sugar27968.bcnf [Mon Jan 29 22:41:45 2007]
4.93	c # CMD : /tmp/evaluation/234217-1170106900/minisat /tmp/evaluation/234217-1170106900/sugar27968.bcnf /tmp/evaluation/234217-1170106900/sugar27968.out
8.73	c ==================================[MINISAT]===================================
8.73	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
8.73	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
8.73	c ==============================================================================
8.73	c |         0 | 1959342  5426127 |  653114       0        0     nan |  0.000 % |
9.55	c |       100 | 1959342  5426127 |  718425     100     1083    10.8 | 57.819 % |
10.63	c |       251 | 1959342  5426127 |  790267     251     2776    11.1 | 57.819 % |
12.03	c |       476 | 1959343  5426127 |  869294     475     5780    12.2 | 57.819 % |
14.42	c |       813 | 1959344  5426127 |  956224     811     9407    11.6 | 57.819 % |
17.95	c |      1319 | 1959349  5426127 | 1051846    1312    15261    11.6 | 57.819 % |
23.79	c |      2078 | 1959350  5426127 | 1157031    2070    25839    12.5 | 57.819 % |
31.67	c |      3217 | 1959352  5426127 | 1272734    3207    44452    13.9 | 57.819 % |
43.02	c |      4926 | 1959353  5426127 | 1400007    4915    69659    14.2 | 57.819 % |
61.06	c ==============================================================================
61.06	c restarts              : 9
61.06	c conflicts             : 7306           (132 /sec)
61.06	c decisions             : 11204          (203 /sec)
61.06	c propagations          : 88766650       (1606096 /sec)
61.06	c conflict literals     : 121780         (30.35 % deleted)
61.06	c Memory used           : 177.52 MB
61.06	c CPU time              : 55.2686 s
61.06	c 
61.06	c SATISFIABLE
61.22	c # SOLVE_SAT  END : SATISFIABLE (57 seconds) [Mon Jan 29 22:42:42 2007]
61.22	c # SOLVE_SAT  CPU : 55.75 = 0 + 0 + 55.38 + 0.37
61.22	
61.22	c # RESULT : SATISFIABLE
61.22	
61.22	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 22:42:42 2007]
61.34	c BEGIN read SAT output /tmp/evaluation/234217-1170106900/sugar27968.out
61.57	c END read SAT output (0.231124 seconds)
61.57	c BEGIN write solution /tmp/evaluation/234217-1170106900/sugar27968.sol
61.69	c END write solution (0.116265 seconds)
61.74	s SATISFIABLE
61.74	v 22 108 218 238 467 551 662 733 782 920 976 1019 1077 1169 1190 12 92 120 168 204 297 332 369 397 459 545 631 642 662 1240 30 63 132 228 538 621 702 762 850 870 939 961 1041 1141 1181 0 13 35 166 279 303 319 397 472 782 878 951 1111 1252 1259 27 166 334 459 472 491 532 603 783 802 862 959 1058 1131 1244 60 122 182 275 291 301 381 469 610 689 730 776 918 994 1201 10 80 148 254 288 356 361 369 394 464 525 610 993 1055 1140 367 433 521 645 708 771 883 904 905 1004 1023 1082 1094 1135 1146 224 351 408 459 540 640 758 839 879 947 1006 1027 1118 1167 1240 268 273 308 337 382 488 497 503 618 681 745 821 915 932 1226 317 352 397 472 540 613 680 732 829 976 1001 1010 1044 1099 1154 149 172 302 371 488 517 601 713 721 779 841 880 912 960 1040 64 96 127 130 158 229 373 427 858 1036 1066 1110 1152 1187 1210 111 135 228 329 388 450 473 496 585 668 847 907 1022 1098 1191 121 157 255 293 317 401 448 520 527 744 969 1037 1079 1121 1151
61.74	c # OUTPUT_SOL  END :  (0 seconds) [Mon Jan 29 22:42:42 2007]
61.74	c # OUTPUT_SOL  CPU : 0.470000000000004 = 0 + 0 + 0.410000000000004 + 0.0600000000000001
61.74	
61.74	c # MAIN  END :  (62 seconds) [Mon Jan 29 22:42:42 2007]
61.74	c # MAIN  CPU : 60.92 = 0.03 + 0.01 + 60.13 + 0.75
61.74

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/node15/watcher-234217-1170106900 -o ROOT/results/node15/solver-234217-1170106900 -C 1800 -M 900 /tmp/evaluation/234217-1170106900/solver /tmp/evaluation/234217-1170106900 /tmp/evaluation/234217-1170106900/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.98 2.13 2.44 3/94 27969
/proc/meminfo: memFree=1199392/2055920 swapFree=4192812/4192956
[pid=27968] ppid=27966 vsize=5352 CPUtime=0
/proc/27968/stat : 27968 (solver) R 27966 27968 27695 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 30644412 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 240472616231 0 0 4096 0 0 0 0 17 1 0 0
/proc/27968/statm: 1338 231 193 169 0 49 0

[startup+0.103906 s]
/proc/loadavg: 1.98 2.13 2.44 3/94 27969
/proc/meminfo: memFree=1199392/2055920 swapFree=4192812/4192956
[pid=27968] ppid=27966 vsize=13724 CPUtime=0.03
/proc/27968/stat : 27968 (sugar) S 27966 27968 27695 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30644412 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27968/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.51198 s]
/proc/loadavg: 1.98 2.13 2.44 3/94 27969
/proc/meminfo: memFree=1199392/2055920 swapFree=4192812/4192956
[pid=27968] ppid=27966 vsize=13724 CPUtime=0.03
/proc/27968/stat : 27968 (sugar) S 27966 27968 27695 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30644412 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27968/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33512 s]
/proc/loadavg: 1.98 2.13 2.44 3/102 27985
/proc/meminfo: memFree=1180640/2055920 swapFree=4192812/4192956
[pid=27968] ppid=27966 vsize=13724 CPUtime=0.63
/proc/27968/stat : 27968 (sugar) S 27966 27968 27695 0 -1 4194304 1190 7392 0 1 3 0 55 5 16 0 1 0 30644412 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27968/statm: 3431 809 371 3 0 531 0
[pid=27978] ppid=27968 vsize=808356 CPUtime=0.55
/proc/27978/stat : 27978 (java) R 27968 27968 27695 0 -1 0 6696 0 1 0 52 3 0 0 25 0 8 0 30644488 827756544 6446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072937011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27978/statm: 202089 6446 1508 14 0 189367 0
[pid=27978/tid=27979] ppid=27968 vsize=808356 CPUtime=0.02
/proc/27978/task/27979/stat : 27979 (java) S 27968 27968 27695 0 -1 64 483 0 0 0 2 0 0 0 16 0 8 0 30644491 827756544 6446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27980] ppid=27968 vsize=808356 CPUtime=0
/proc/27978/task/27980/stat : 27980 (java) S 27968 27968 27695 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30644491 827756544 6446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27981] ppid=27968 vsize=808356 CPUtime=0
/proc/27978/task/27981/stat : 27981 (java) S 27968 27968 27695 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30644491 827756544 6446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27982] ppid=27968 vsize=808356 CPUtime=0
/proc/27978/task/27982/stat : 27982 (java) S 27968 27968 27695 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30644494 827756544 6446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27983] ppid=27968 vsize=808356 CPUtime=0.14
/proc/27978/task/27983/stat : 27983 (java) S 27968 27968 27695 0 -1 64 405 0 0 0 14 0 0 0 16 0 8 0 30644494 827756544 6446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27984] ppid=27968 vsize=808356 CPUtime=0
/proc/27978/task/27984/stat : 27984 (java) S 27968 27968 27695 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30644494 827756544 6446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27985] ppid=27968 vsize=808356 CPUtime=0
/proc/27978/task/27985/stat : 27985 (java) S 27968 27968 27695 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30644494 827756544 6446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 822080

[startup+2.9854 s]
/proc/loadavg: 1.98 2.13 2.44 4/102 27985
/proc/meminfo: memFree=1155104/2055920 swapFree=4192812/4192956
[pid=27968] ppid=27966 vsize=13724 CPUtime=0.63
/proc/27968/stat : 27968 (sugar) S 27966 27968 27695 0 -1 4194304 1190 7392 0 1 3 0 55 5 16 0 1 0 30644412 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27968/statm: 3431 809 371 3 0 531 0
[pid=27978] ppid=27968 vsize=808356 CPUtime=2.19
/proc/27978/stat : 27978 (java) R 27968 27968 27695 0 -1 0 8181 0 1 0 206 13 0 0 25 0 8 0 30644488 827756544 7929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799665 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27978/statm: 202089 7929 1510 14 0 189367 0
[pid=27978/tid=27979] ppid=27968 vsize=808356 CPUtime=0.03
/proc/27978/task/27979/stat : 27979 (java) S 27968 27968 27695 0 -1 64 1954 0 0 0 3 0 0 0 17 0 8 0 30644491 827756544 7929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27980] ppid=27968 vsize=808356 CPUtime=0
/proc/27978/task/27980/stat : 27980 (java) S 27968 27968 27695 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30644491 827756544 7929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27981] ppid=27968 vsize=808356 CPUtime=0
/proc/27978/task/27981/stat : 27981 (java) S 27968 27968 27695 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30644491 827756544 7929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27982] ppid=27968 vsize=808356 CPUtime=0
/proc/27978/task/27982/stat : 27982 (java) S 27968 27968 27695 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30644494 827756544 7929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27983] ppid=27968 vsize=808356 CPUtime=0.16
/proc/27978/task/27983/stat : 27983 (java) S 27968 27968 27695 0 -1 64 416 0 0 0 16 0 0 0 16 0 8 0 30644494 827756544 7929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27984] ppid=27968 vsize=808356 CPUtime=0
/proc/27978/task/27984/stat : 27984 (java) S 27968 27968 27695 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30644494 827756544 7929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27978/tid=27985] ppid=27968 vsize=808356 CPUtime=0
/proc/27978/task/27985/stat : 27985 (java) S 27968 27968 27695 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30644494 827756544 7929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 822080

[startup+6.26498 s]
/proc/loadavg: 1.98 2.13 2.43 3/95 27986
/proc/meminfo: memFree=1070232/2055920 swapFree=4192812/4192956
[pid=27968] ppid=27966 vsize=15600 CPUtime=4.73
/proc/27968/stat : 27968 (sugar) S 27966 27968 27695 0 -1 4194304 1753 15589 0 2 6 1 434 32 18 0 1 0 30644412 15974400 1274 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27968/statm: 3900 1274 373 3 0 1000 0
[pid=27986] ppid=27968 vsize=104360 CPUtime=1.31
/proc/27986/stat : 27986 (minisat) R 27968 27968 27695 0 -1 0 24802 0 0 0 112 19 0 0 25 0 1 0 30644905 106864640 24704 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134533634 0 0 4096 0 0 0 0 17 0 0 0
/proc/27986/statm: 26090 24704 36 112 0 25974 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 119960

[startup+12.7411 s]
/proc/loadavg: 1.98 2.12 2.43 3/95 27986
/proc/meminfo: memFree=961944/2055920 swapFree=4192812/4192956
[pid=27968] ppid=27966 vsize=15600 CPUtime=4.73
/proc/27968/stat : 27968 (sugar) S 27966 27968 27695 0 -1 4194304 1763 15589 0 2 6 1 434 32 16 0 1 0 30644412 15974400 1274 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27968/statm: 3900 1274 373 3 0 1000 0
[pid=27986] ppid=27968 vsize=180700 CPUtime=7.73
/proc/27986/stat : 27986 (minisat) R 27968 27968 27695 0 -1 0 43629 0 0 0 740 33 0 0 25 0 1 0 30644905 185036800 42505 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528357 0 0 4096 3 0 0 0 17 0 0 0
/proc/27986/statm: 45175 42505 51 112 0 45059 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 196300

[startup+25.5793 s]
/proc/loadavg: 1.99 2.12 2.42 3/95 27986
/proc/meminfo: memFree=960024/2055920 swapFree=4192812/4192956
[pid=27968] ppid=27966 vsize=15600 CPUtime=4.73
/proc/27968/stat : 27968 (sugar) S 27966 27968 27695 0 -1 4194304 1763 15589 0 2 6 1 434 32 16 0 1 0 30644412 15974400 1274 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27968/statm: 3900 1274 373 3 0 1000 0
[pid=27986] ppid=27968 vsize=180700 CPUtime=20.43
/proc/27986/stat : 27986 (minisat) R 27968 27968 27695 0 -1 0 43635 0 0 0 2010 33 0 0 25 0 1 0 30644905 185036800 42511 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528762 0 0 4096 3 0 0 0 17 0 0 0
/proc/27986/statm: 45175 42511 51 112 0 45059 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 196300

[startup+51.2717 s]
/proc/loadavg: 1.99 2.11 2.41 3/95 27986
/proc/meminfo: memFree=958808/2055920 swapFree=4192812/4192956
[pid=27968] ppid=27966 vsize=15600 CPUtime=4.73
/proc/27968/stat : 27968 (sugar) S 27966 27968 27695 0 -1 4194304 1763 15589 0 2 6 1 434 32 16 0 1 0 30644412 15974400 1274 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27968/statm: 3900 1274 373 3 0 1000 0
[pid=27986] ppid=27968 vsize=180700 CPUtime=45.89
/proc/27986/stat : 27986 (minisat) R 27968 27968 27695 0 -1 0 43637 0 0 0 4556 33 0 0 25 0 1 0 30644905 185036800 42513 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/27986/statm: 45175 42513 51 112 0 45059 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 196300

Child status: 0
Real time (s): 61.7644
CPU time (s): 61.0037
CPU user time (s): 60.2038
CPU system time (s): 0.799878
CPU usage (%): 98.7684
Max. virtual memory (cumulated for all children) (KiB): 822080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.2038
system time used= 0.799878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68513
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= 1928
involuntary context switches= 3323

runsolver used 0.072988 s user time and 0.173973 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Mon Jan 29 21:41:40 UTC 2007


IDJOB= 234217
IDBENCH= 6671
IDSOLVER= 86
FILE ID= node15/234217-1170106900

PBS_JOBID= 3689900

Free space on /tmp= 66558 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-100-1.xml
COMMAND LINE= /tmp/evaluation/234217-1170106900/solver /tmp/evaluation/234217-1170106900 /tmp/evaluation/234217-1170106900/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-234217-1170106900 -o ROOT/results/node15/solver-234217-1170106900 -C 1800 -M 900  /tmp/evaluation/234217-1170106900/solver /tmp/evaluation/234217-1170106900 /tmp/evaluation/234217-1170106900/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  b3d611ca069239f98b1759de1b883165

RANDOM SEED= 159301239

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.276
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.276
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:       1199936 kB
Buffers:         66624 kB
Cached:          54552 kB
SwapCached:          0 kB
Active:         728284 kB
Inactive:        72492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1199936 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1180 kB
Writeback:           0 kB
Mapped:         705184 kB
Slab:            38804 kB
Committed_AS:  1119716 kB
PageTables:       3412 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 node15 on Mon Jan 29 21:42:42 UTC 2007