Trace number 233115

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_s 2007-01-08SAT 667.89 671.971

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-7.xml
MD5SUMcc8957f8a15d4415fcf3976e1a5630c5
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 benchmark1.76473
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1206
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
859 1037 950 375 505 649 766 796 1084 451 305 218 563 720 383 149 0 1096 806 73 393 646 148 1038 549 157 842 273 909 1100 472 244 953 601 1006 99 1053 722 343 0 1096 1142 229 0 577 97 991 441 277 830 538 868 1157 946 51 682 172 345 1023 762 1098 149 69 397 316 511 218 634 0 1044 902 1138 989 701 345 1069 810 451 796 583 58 583 781 909 820 299 215 511 318 410 669 106 148 794 1069 343 278 954 0 706 191 937 621 418 278 358 399 0 1154 66 567 1173 1079 465 494 842 119 658 749 1008 1028 203 169 738 0 602 893 418 63 531 253 810 338 365 352 1069 87 517 970 648 1084 924 1044 157 947 277 0 795 1008 724 60 531 243 305 859 395 451 703 738 623 384 612 160 892 980 1023 119 243 809 602 472 702 1123 410 58 1067 749 0 434 358 980 106 1149 435 836 472 700 923 665 203 302 658 133 0 1104 51 167 568 755 1064 1100 634 410 1037 881 212 299 73 218 720 509 959 1148 557 868 809 462 172 66 0 229 563 781 953 970 1060 283 0 568 997 472 69 862 446 686 1123 158 649 342 393 54 1006 1060 527 446 0 1098 981 63 218 623 273 342 546 133 819 864 465 722 417 877 749 859 567 947 462 1104 112 71 646 522 99 1183 437 770 0 167 253 338 830 1142 1154 237 437 57 970 755 158 627 927 781 22 365 881 1073 283 1018 1126 97 556 229 668 494 893 1051 557 73 318 781 630 956 703 42 1117 795 395 169 0 206 937 50 324 1035 215 668 820 1142 601 0 338 1117 532 875 126 271 190 568 764 937 419 937 930 836 875 1064 61 376 718 0 538 617 291 203 688 472 1034 1155 781 1051 148 316 73 522 669 905 1022 291 749 0 182 618 403 789 435 278 1096 212 394 242 635 1067 278 190 126 618 375 789 1126 0 229 472 527 167 260 87 969 648 1096 868 696

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/node50/watcher-233115-1168324834 -o ROOT/results/node50/solver-233115-1168324834 -C 1800 -M 900 /tmp/evaluation/233115-1168324834/solver2 /tmp/evaluation/233115-1168324834/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: 0.81 0.95 1.17 5/80 4112
/proc/meminfo: memFree=1430296/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=0
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 331 190 0 0 0 0 0 0 16 0 1 0 180882313 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4111/statm: 1338 241 202 169 0 49 0

[startup+0.102949 s]
/proc/loadavg: 0.81 0.95 1.17 5/80 4112
/proc/meminfo: memFree=1430296/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=0
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 353 334 0 0 0 0 0 0 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.511016 s]
/proc/loadavg: 0.81 0.95 1.17 5/80 4112
/proc/meminfo: memFree=1430296/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=0.12
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 376 2352 0 0 0 0 11 1 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5352

[startup+1.33215 s]
/proc/loadavg: 0.81 0.95 1.17 3/81 4124
/proc/meminfo: memFree=1402184/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=0.12
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 376 2352 0 0 0 0 11 1 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4124] ppid=4111 vsize=28672 CPUtime=1.18
/proc/4124/stat : 4124 (bordewijk) R 4111 4111 3381 0 -1 4194304 7184 0 0 0 112 6 0 0 18 0 1 0 180882327 29360128 6643 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 8353403 0 0 4096 0 0 0 0 17 1 0 0
/proc/4124/statm: 7168 6643 204 97 0 6449 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 34024

[startup+2.97443 s]
/proc/loadavg: 0.81 0.95 1.17 3/81 4124
/proc/meminfo: memFree=1298888/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=0.12
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 376 2352 0 0 0 0 11 1 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4124] ppid=4111 vsize=140788 CPUtime=2.82
/proc/4124/stat : 4124 (bordewijk) R 4111 4111 3381 0 -1 4194304 37083 0 0 0 195 87 0 0 25 0 1 0 180882327 144166912 34178 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4124/statm: 35197 34178 217 97 0 34478 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 146140

[startup+6.25198 s]
/proc/loadavg: 0.91 0.97 1.18 3/81 4124
/proc/meminfo: memFree=1272848/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 5352

[startup+12.7251 s]
/proc/loadavg: 0.99 0.99 1.18 3/81 4125
/proc/meminfo: memFree=1318544/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=6.51
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24260 0 0 0 554 97 0 0 25 0 1 0 180882932 102813696 24056 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134557044 0 0 4096 0 0 0 0 17 1 0 0
/proc/4125/statm: 25101 24056 136 64 0 24416 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 105756

[startup+25.5502 s]
/proc/loadavg: 1.22 1.03 1.19 3/81 4125
/proc/meminfo: memFree=1286288/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=19.3
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24261 0 0 0 1833 97 0 0 25 0 1 0 180882932 102813696 24057 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4063534818 0 0 4096 0 0 0 0 17 1 0 0
/proc/4125/statm: 25101 24057 137 64 0 24416 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 105756

[startup+51.1885 s]
/proc/loadavg: 1.48 1.11 1.21 3/81 4125
/proc/meminfo: memFree=1250768/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=44.93
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24261 0 0 0 4396 97 0 0 25 0 1 0 180882932 102813696 24057 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4063525763 0 0 4096 0 0 0 0 17 1 0 0
/proc/4125/statm: 25101 24057 137 64 0 24416 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 105756

[startup+102.434 s]
/proc/loadavg: 1.77 1.25 1.25 3/81 4125
/proc/meminfo: memFree=1210320/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=96.16
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24261 0 0 0 9519 97 0 0 25 0 1 0 180882932 102813696 24057 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4063555652 0 0 4096 0 0 0 0 17 1 0 0
/proc/4125/statm: 25101 24057 137 64 0 24416 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 105756

[startup+162.447 s]
/proc/loadavg: 1.91 1.38 1.30 3/81 4125
/proc/meminfo: memFree=1129808/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=156.15
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24261 0 0 0 15518 97 0 0 25 0 1 0 180882932 102813696 24057 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4063541420 0 0 4096 0 0 0 0 17 1 0 0
/proc/4125/statm: 25101 24057 137 64 0 24416 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 105756

[startup+222.493 s]
/proc/loadavg: 1.97 1.49 1.34 3/81 4125
/proc/meminfo: memFree=996304/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=215.99
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24261 0 0 0 21502 97 0 0 25 0 1 0 180882932 102813696 24057 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4063555542 0 0 4096 0 0 0 0 17 0 0 0
/proc/4125/statm: 25101 24057 137 64 0 24416 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 105756

[startup+282.584 s]
/proc/loadavg: 1.99 1.58 1.38 3/81 4125
/proc/meminfo: memFree=996304/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=275.61
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24261 0 0 0 27463 98 0 0 25 0 1 0 180882932 102813696 24057 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134555376 0 0 4096 0 0 0 0 17 0 0 0
/proc/4125/statm: 25101 24057 137 64 0 24416 0
Current children cumulated CPU time (s) 281.77
Current children cumulated vsize (KiB) 105756

[startup+342.605 s]
/proc/loadavg: 1.99 1.65 1.41 3/81 4125
/proc/meminfo: memFree=996184/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=335.12
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24261 0 0 0 33414 98 0 0 25 0 1 0 180882932 102813696 24057 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4063548332 0 0 4096 0 0 0 0 17 0 0 0
/proc/4125/statm: 25101 24057 137 64 0 24416 0
Current children cumulated CPU time (s) 341.28
Current children cumulated vsize (KiB) 105756

[startup+402.605 s]
/proc/loadavg: 1.99 1.71 1.45 3/81 4125
/proc/meminfo: memFree=996184/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=394.65
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24261 0 0 0 39367 98 0 0 25 0 1 0 180882932 102813696 24057 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4064092361 0 0 4096 0 0 0 0 17 0 0 0
/proc/4125/statm: 25101 24057 137 64 0 24416 0
Current children cumulated CPU time (s) 400.81
Current children cumulated vsize (KiB) 105756

[startup+462.704 s]
/proc/loadavg: 2.06 1.78 1.48 3/81 4125
/proc/meminfo: memFree=996120/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=454.27
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24261 0 0 0 45329 98 0 0 25 0 1 0 180882932 102813696 24057 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4063519922 0 0 4096 0 0 0 0 17 0 0 0
/proc/4125/statm: 25101 24057 137 64 0 24416 0
Current children cumulated CPU time (s) 460.43
Current children cumulated vsize (KiB) 105756

[startup+522.782 s]
/proc/loadavg: 2.02 1.82 1.51 3/81 4125
/proc/meminfo: memFree=996056/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100404 CPUtime=513.84
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24261 0 0 0 51286 98 0 0 25 0 1 0 180882932 102813696 24057 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4063549420 0 0 4096 0 0 0 0 17 0 0 0
/proc/4125/statm: 25101 24057 137 64 0 24416 0
Current children cumulated CPU time (s) 520
Current children cumulated vsize (KiB) 105756

[startup+582.831 s]
/proc/loadavg: 2.01 1.85 1.54 3/81 4125
/proc/meminfo: memFree=994648/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100424 CPUtime=573.37
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24664 0 0 0 57238 99 0 0 25 0 1 0 180882932 102834176 24460 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4063706001 0 0 4096 0 0 0 0 17 0 0 0
/proc/4125/statm: 25106 24460 138 64 0 24421 0
Current children cumulated CPU time (s) 579.53
Current children cumulated vsize (KiB) 105776

[startup+642.903 s]
/proc/loadavg: 2.00 1.87 1.57 3/81 4125
/proc/meminfo: memFree=994584/2055920 swapFree=4191892/4192956
[pid=4111] ppid=4109 vsize=5352 CPUtime=6.16
/proc/4111/stat : 4111 (solver2) S 4109 4111 3381 0 -1 4194304 397 39436 0 0 0 0 225 391 16 0 1 0 180882313 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4111/statm: 1338 242 203 169 0 49 0
[pid=4125] ppid=4111 vsize=100424 CPUtime=632.9
/proc/4125/stat : 4125 (standalone) R 4111 4111 3381 0 -1 4194304 24664 0 0 0 63191 99 0 0 25 0 1 0 180882932 102834176 24460 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4063705972 0 0 4096 0 0 0 0 17 0 0 0
/proc/4125/statm: 25106 24460 138 64 0 24421 0
Current children cumulated CPU time (s) 639.06
Current children cumulated vsize (KiB) 105776

Child status: 0
Real time (s): 671.971
CPU time (s): 667.89
CPU user time (s): 662.954
CPU system time (s): 4.93625
CPU usage (%): 99.3927
Max. virtual memory (cumulated for all children) (KiB): 146140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 662.954
system time used= 4.93625
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64519
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= 325
involuntary context switches= 19377

runsolver used 0.708892 s user time and 1.72674 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue Jan  9 06:40:37 UTC 2007


IDJOB= 233115
IDBENCH= 6582
FILE ID= node50/233115-1168324834

PBS_JOBID= 3502954

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-7.xml
COMMAND LINE= /tmp/evaluation/233115-1168324834/solver2 /tmp/evaluation/233115-1168324834/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-233115-1168324834 -o ROOT/results/node50/solver-233115-1168324834 -C 1800 -M 900  /tmp/evaluation/233115-1168324834/solver2 /tmp/evaluation/233115-1168324834/unknown 1800

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  cc8957f8a15d4415fcf3976e1a5630c5

RANDOM SEED= 311034265

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.263
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.263
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:       1430648 kB
Buffers:         70960 kB
Cached:         406412 kB
SwapCached:        396 kB
Active:         261316 kB
Inactive:       306212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1430648 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:           14052 kB
Writeback:           0 kB
Mapped:         108140 kB
Slab:            42880 kB
Committed_AS:  5250332 kB
PageTables:       2028 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= 66534 MiB



End job on node50 on Tue Jan  9 06:51:50 UTC 2007