Trace number 233194

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
buggy_2_5 2007-01-08SAT 642.121 643.981

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)

c 
c 
c 
c solution file
c 
c 

SAT
618 91 1103 909 0 230 1038 1160 516 426 279 828 336 352 182 269 118 788 973 683 514 0 1103 269 57 1076 97 200 349 763 979 691 430 133 485 788 624 830 1163 922 161 211 97 1081 622 872 306 665 143 435 528 195 696 948 0 775 130 352 1174 1213 156 817 899 148 686 58 409 516 937 1111 349 1023 556 1193 0 271 777 25 248 223 733 198 946 592 280 148 324 1204 264 835 241 61 405 55 504 450 1047 674 395 0 0 976 58 79 551 1047 426 1098 1174 535 841 165 474 751 702 940 260 1103 623 347 1170 344 504 113 533 414 665 0 817 1187 205 862 405 269 643 1074 899 973 177 1002 230 253 430 214 611 59 1131 674 1074 763 113 0 922 1160 55 421 450 858 352 474 177 623 754 181 1067 516 92 1132 279 1244 223 0 357 576 852 696 63 428 948 90 966 480 824 767 1159 267 79 925 177 599 690 364 1048 165 879 1244 393 0 1095 512 393 521 355 0 934 285 1224 334 759 684 156 814 1067 276 1111 599 852 64 966 1007 435 968 59 107 571 686 886 214 356 1154 806 1028 516 156 737 643 1113 0 260 1193 621 673 91 344 551 154 759 592 439 777 479 130 1002 528 1113 879 224 0 653 106 0 1042 480 84 409 177 632 733 271 1163 1234 1094 1010 824 1028 922 314 686 556 107 607 702 421 976 323 1213 817 401 1157 1025 145 97 1121 1098 165 0 230 862 134 535 624 25 449 0 567 355 266 1170 55 858 134 274 387 227 979 147 684 737 201 909 1209 297 751 1052 285 1089 610 1150 521 156 64 0 1015 352 253 824 450 551 673 921 0 958 800 896 201 118 421 141 482 461 1160 274 1076 691 632 90 414 364 553 1131 0 57 618 211 504 1087 356 946 790 135 678 1141 1215 1038 539 450 855 639 576 230 1078 97 269 668 195 571 363 964 934 879 165 482 386 1021 439 824 749 0 181 1157

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/node56/watcher-233194-1168324966 -o ROOT/results/node56/solver-233194-1168324966 -C 1800 -M 900 /tmp/evaluation/233194-1168324966/solver /tmp/evaluation/233194-1168324966/unknown 1800 

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.97 1.43 1.32 5/73 19586
/proc/meminfo: memFree=1255968/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=0
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 295 26 0 0 0 0 0 0 16 0 1 0 180894868 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19585/statm: 1338 232 194 169 0 49 0
[pid=19588] ppid=19585 vsize=0 CPUtime=0
/proc/19588/stat : 19588 (grep) R 19585 19585 16541 0 -1 4194308 164 0 0 0 0 0 0 0 23 0 1 0 180894869 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/19588/statm: 0 0 0 0 0 0 0

[startup+0.110165 s]
/proc/loadavg: 1.97 1.43 1.32 5/73 19586
/proc/meminfo: memFree=1255968/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=0
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 354 334 0 0 0 0 0 0 16 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.518247 s]
/proc/loadavg: 1.97 1.43 1.32 5/73 19586
/proc/meminfo: memFree=1255968/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=0.12
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 376 2352 0 0 0 0 10 2 15 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5352

[startup+1.34129 s]
/proc/loadavg: 1.97 1.43 1.32 3/74 19598
/proc/meminfo: memFree=1221400/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=0.12
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 376 2352 0 0 0 0 10 2 15 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19598] ppid=19585 vsize=26000 CPUtime=1.17
/proc/19598/stat : 19598 (bordewijk) R 19585 19585 16541 0 -1 4194304 6518 0 0 0 112 5 0 0 18 0 1 0 180894883 26624000 5977 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134522798 0 0 4096 0 0 0 0 17 1 0 0
/proc/19598/statm: 6500 5977 204 97 0 5781 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 31352

[startup+2.99044 s]
/proc/loadavg: 1.97 1.43 1.32 3/74 19598
/proc/meminfo: memFree=1162968/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=0.12
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 376 2352 0 0 0 0 10 2 15 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19598] ppid=19585 vsize=146100 CPUtime=2.8
/proc/19598/stat : 19598 (bordewijk) R 19585 19585 16541 0 -1 4194304 38393 0 0 0 200 80 0 0 25 0 1 0 180894883 149606400 35489 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19598/statm: 36525 35489 217 97 0 35806 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 151452

[startup+6.26876 s]
/proc/loadavg: 1.97 1.43 1.32 3/74 19598
/proc/meminfo: memFree=1074080/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=0.12
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 376 2352 0 0 0 0 10 2 15 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19598] ppid=19585 vsize=146100 CPUtime=6.05
/proc/19598/stat : 19598 (bordewijk) R 19585 19585 16541 0 -1 4194304 38394 0 0 0 218 387 0 0 25 0 1 0 180894883 149606400 35490 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19598/statm: 36525 35490 218 97 0 35806 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 151452

[startup+12.7414 s]
/proc/loadavg: 1.97 1.45 1.33 3/74 19599
/proc/meminfo: memFree=1088992/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104860 CPUtime=6.19
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25351 0 0 0 512 107 0 0 25 0 1 0 180895517 107376640 25146 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134556232 0 0 4096 0 0 0 0 17 1 0 0
/proc/19599/statm: 26215 25146 136 64 0 25530 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 110212

[startup+25.5627 s]
/proc/loadavg: 1.98 1.47 1.33 3/74 19599
/proc/meminfo: memFree=1036704/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104876 CPUtime=18.89
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25722 0 0 0 1782 107 0 0 25 0 1 0 180895517 107393024 25517 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059303202 0 0 4096 0 0 0 0 17 1 0 0
/proc/19599/statm: 26219 25517 138 64 0 25534 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 110228

[startup+51.2402 s]
/proc/loadavg: 1.98 1.51 1.35 3/74 19599
/proc/meminfo: memFree=928288/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104876 CPUtime=44.34
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25728 0 0 0 4327 107 0 0 25 0 1 0 180895517 107393024 25523 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 1 0 0
/proc/19599/statm: 26219 25523 138 64 0 25534 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 110228

[startup+102.475 s]
/proc/loadavg: 1.99 1.59 1.38 3/74 19599
/proc/meminfo: memFree=718048/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104880 CPUtime=95.14
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25753 0 0 0 9406 108 0 0 25 0 1 0 180895517 107397120 25548 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 1 0 0
/proc/19599/statm: 26220 25548 138 64 0 25535 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 110232

[startup+162.532 s]
/proc/loadavg: 1.91 1.64 1.41 3/75 20294
/proc/meminfo: memFree=1348176/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104880 CPUtime=154.72
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25768 0 0 0 15362 110 0 0 25 0 1 0 180895517 107397120 25563 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059346333 0 0 4096 0 0 0 0 17 0 0 0
/proc/19599/statm: 26220 25563 138 64 0 25535 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 110232

[startup+222.621 s]
/proc/loadavg: 2.03 1.74 1.46 3/75 20295
/proc/meminfo: memFree=1289744/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104880 CPUtime=214.74
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25768 0 0 0 21361 113 0 0 25 0 1 0 180895517 107397120 25563 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554186 0 0 4096 0 0 0 0 17 0 0 0
/proc/19599/statm: 26220 25563 138 64 0 25535 0
Current children cumulated CPU time (s) 221.15
Current children cumulated vsize (KiB) 110232

[startup+282.7 s]
/proc/loadavg: 2.01 1.78 1.49 3/75 20295
/proc/meminfo: memFree=1289744/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104880 CPUtime=274.76
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25768 0 0 0 27363 113 0 0 25 0 1 0 180895517 107397120 25563 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059101700 0 0 4096 0 0 0 0 17 0 0 0
/proc/19599/statm: 26220 25563 138 64 0 25535 0
Current children cumulated CPU time (s) 281.17
Current children cumulated vsize (KiB) 110232

[startup+342.776 s]
/proc/loadavg: 2.00 1.82 1.52 3/75 20295
/proc/meminfo: memFree=1289744/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104880 CPUtime=334.76
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25768 0 0 0 33363 113 0 0 25 0 1 0 180895517 107397120 25563 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059181016 0 0 4096 0 0 0 0 17 0 0 0
/proc/19599/statm: 26220 25563 138 64 0 25535 0
Current children cumulated CPU time (s) 341.17
Current children cumulated vsize (KiB) 110232

[startup+402.854 s]
/proc/loadavg: 2.06 1.86 1.55 3/75 20295
/proc/meminfo: memFree=1289744/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104880 CPUtime=394.79
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25768 0 0 0 39366 113 0 0 25 0 1 0 180895517 107397120 25563 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554163 0 0 4096 0 0 0 0 17 0 0 0
/proc/19599/statm: 26220 25563 138 64 0 25535 0
Current children cumulated CPU time (s) 401.2
Current children cumulated vsize (KiB) 110232

[startup+462.928 s]
/proc/loadavg: 2.02 1.89 1.58 3/75 20295
/proc/meminfo: memFree=1289744/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104880 CPUtime=454.82
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25768 0 0 0 45368 114 0 0 25 0 1 0 180895517 107397120 25563 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 0 0 0
/proc/19599/statm: 26220 25563 138 64 0 25535 0
Current children cumulated CPU time (s) 461.23
Current children cumulated vsize (KiB) 110232

[startup+523.01 s]
/proc/loadavg: 2.01 1.90 1.60 3/75 20295
/proc/meminfo: memFree=1289744/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104884 CPUtime=514.82
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25769 0 0 0 51368 114 0 0 25 0 1 0 180895517 107401216 25564 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059261556 0 0 4096 0 0 0 0 17 0 0 0
/proc/19599/statm: 26221 25564 138 64 0 25536 0
Current children cumulated CPU time (s) 521.23
Current children cumulated vsize (KiB) 110236

[startup+583.098 s]
/proc/loadavg: 2.00 1.92 1.62 3/75 20295
/proc/meminfo: memFree=1289744/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104884 CPUtime=574.86
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25769 0 0 0 57372 114 0 0 25 0 1 0 180895517 107401216 25564 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 0 0 0
/proc/19599/statm: 26221 25564 138 64 0 25536 0
Current children cumulated CPU time (s) 581.27
Current children cumulated vsize (KiB) 110236

[startup+643.175 s]
/proc/loadavg: 2.00 1.93 1.64 3/75 20295
/proc/meminfo: memFree=1289744/2055920 swapFree=4184772/4192956
[pid=19585] ppid=19583 vsize=5352 CPUtime=6.41
/proc/19585/stat : 19585 (solver) S 19583 19585 16541 0 -1 4194304 396 40746 0 0 0 0 231 410 18 0 1 0 180894868 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19585/statm: 1338 242 203 169 0 49 0
[pid=19599] ppid=19585 vsize=104884 CPUtime=634.88
/proc/19599/stat : 19599 (standalone) R 19585 19585 16541 0 -1 4194304 25769 0 0 0 63374 114 0 0 25 0 1 0 180895517 107401216 25564 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554280 0 0 4096 0 0 0 0 17 0 0 0
/proc/19599/statm: 26221 25564 138 64 0 25536 0
Current children cumulated CPU time (s) 641.29
Current children cumulated vsize (KiB) 110236

Child status: 0
Real time (s): 643.981
CPU time (s): 642.121
CPU user time (s): 636.847
CPU system time (s): 5.2742
CPU usage (%): 99.7112
Max. virtual memory (cumulated for all children) (KiB): 151452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 636.847
system time used= 5.2742
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214
involuntary context switches= 5394

runsolver used 0.78388 s user time and 2.03069 s system time

The end

Launcher Data (download as text)

Begin job on node56 on Tue Jan  9 06:42:47 UTC 2007


IDJOB= 233194
IDBENCH= 6586
FILE ID= node56/233194-1168324966

PBS_JOBID= 3502863

Free space on /tmp= 66550 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-1.xml
COMMAND LINE= /tmp/evaluation/233194-1168324966/solver /tmp/evaluation/233194-1168324966/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node56/watcher-233194-1168324966 -o ROOT/results/node56/solver-233194-1168324966 -C 1800 -M 900  /tmp/evaluation/233194-1168324966/solver /tmp/evaluation/233194-1168324966/unknown 1800

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  3f59ce7e2cf0069032dc8d030cfb3b7e

RANDOM SEED= 929546989

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:       1256384 kB
Buffers:         48604 kB
Cached:         402636 kB
SwapCached:       2048 kB
Active:         463540 kB
Inactive:       280308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1256384 kB
SwapTotal:     4192956 kB
SwapFree:      4184772 kB
Dirty:           11792 kB
Writeback:           0 kB
Mapped:         300392 kB
Slab:            40632 kB
Committed_AS:  4258592 kB
PageTables:       2352 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= 66510 MiB



End job on node56 on Tue Jan  9 06:53:31 UTC 2007