Trace number 233222

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
BPrologCSPSolver70a 2006-12-13SAT 1798.89 1801.02

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-3.xml
MD5SUMaf76b8d5f9d1f307c434b42c9d393cf0
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.804877
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1375
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)

1801.01	
1801.01	Time: 1798676
1801.01	
c 
c 
c 
c solution file
c 
c 

SAT
591 643 0 863 74 78 1152 185 478 725 926 992 1058 322 409 289 441 98 758 1289 430 688 1155 973 597 366 564 548 422 0 581 183 774 272 275 507 1250 96 1103 1042 85 951 1217 179 783 597 1307 529 664 1065 261 0 189 326 1131 469 422 282 977 96 863 802 992 0 904 724 409 715 343 251 507 1067 190 195 99 924 595 787 727 672 189 951 758 1176 468 1256 653 74 853 267 573 649 0 505 972 289 1039 803 372 99 469 0 687 166 836 272 592 1205 1151 1066 1250 409 526 548 989 349 498 96 926 255 688 814 507 407 765 251 498 736 791 301 857 979 0 594 396 580 191 924 99 289 320 407 1040 685 857 98 594 0 787 269 922 282 276 501 338 1130 1087 975 186 640 349 0 469 650 359 976 1039 251 1119 537 189 502 268 759 426 686 261 867 98 882 607 1213 686 97 1311 0 449 1279 1194 301 537 749 965 1151 359 833 188 1080 871 518 99 195 497 802 605 282 433 924 765 837 646 871 559 947 898 687 968 0 727 366 972 96 830 951 266 889 1131 502 588 721 396 193 1049 1237 478 269 0 326 284 656 352 497 529 929 73 0 774 98 595 85 1099 407 1279 292 736 457 1152 660 968 194 355 251 1257 1054 851 165 564 899 91 1194 646 1149 0 352 985 947 186 468 1307 753 372 899 559 717 1037 348 174 457 654 91 774 246 0 526 78 882 1073 1232 540 814 135 1289 1176 1314 1042 94 1236 724 904 275 592 1099 349 336 989 814 0 465 409 191 674 292 193 0 250 452 365 836 1262 751 184 895 96 284 498 984 922 893 246 597 0 78 837 430 591 182 988 1033 758 338 615 685 765 433 1160 512 1119 257 933 255 898 581 605 430 984 341 96 784 338 646 810 864 672 251 1268 507 0 753 933 190 98 918 452 1103 166 810 589 173 185 1155 268 1186 284 833 765 0 365 520 650 728 
c 
c 
c 
c conversion script
c 
c 

converting(/tmp/evaluation/233222-1168325047/unknown)

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/node61/watcher-233222-1168325047 -o ROOT/results/node61/solver-233222-1168325047 -C 1800 -M 900 /tmp/evaluation/233222-1168325047/Complete/Ordinary/solver /tmp/evaluation/233222-1168325047/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.89 1.49 1.19 5/80 10956
/proc/meminfo: memFree=1582968/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=18540 CPUtime=0
/proc/10955/stat : 10955 (runsolver) R 10953 10955 10837 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 180902983 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10955/statm: 4635 279 244 17 0 2626 0

[startup+0.107923 s]
/proc/loadavg: 1.89 1.49 1.19 5/80 10956
/proc/meminfo: memFree=1582968/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=53824 CPUtime=0.09
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 2430 0 0 0 8 1 0 0 21 0 1 0 180902983 55115776 2146 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134550507 0 0 4096 2 0 0 0 17 1 0 0
/proc/10955/statm: 13456 2146 158 90 0 12994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53824

[startup+0.518 s]
/proc/loadavg: 1.89 1.49 1.19 5/80 10956
/proc/meminfo: memFree=1582968/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=66220 CPUtime=0.5
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 4613 0 0 0 49 1 0 0 24 0 1 0 180902983 67809280 4326 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134564369 0 0 4096 2 0 0 0 17 1 0 0
/proc/10955/statm: 16555 4326 163 90 0 16093 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 66220

[startup+1.34514 s]
/proc/loadavg: 1.90 1.50 1.20 3/81 10957
/proc/meminfo: memFree=1560432/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1.32
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6051 0 0 0 130 2 0 0 25 0 2 0 180902983 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134626488 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5764 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 76464

[startup+2.98243 s]
/proc/loadavg: 1.90 1.50 1.20 3/81 10957
/proc/meminfo: memFree=1560432/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=2.95
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6051 0 0 0 293 2 0 0 25 0 2 0 180902983 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618382 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5764 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 76464

[startup+6.269 s]
/proc/loadavg: 1.90 1.50 1.20 3/81 10957
/proc/meminfo: memFree=1560432/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=6.23
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6051 0 0 0 621 2 0 0 25 0 2 0 180902983 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5764 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 76464

[startup+12.7341 s]
/proc/loadavg: 1.91 1.51 1.20 3/81 10957
/proc/meminfo: memFree=1560440/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=12.66
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6051 0 0 0 1264 2 0 0 25 0 2 0 180902983 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552480 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5764 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 76464

[startup+25.5564 s]
/proc/loadavg: 1.93 1.53 1.21 3/81 10957
/proc/meminfo: memFree=1560568/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=25.44
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6051 0 0 0 2542 2 0 0 25 0 2 0 180902983 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5764 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 76464

[startup+51.2129 s]
/proc/loadavg: 1.95 1.57 1.23 3/81 10957
/proc/meminfo: memFree=1560440/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=51
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6086 0 0 0 5097 3 0 0 25 0 2 0 180902983 78299136 5799 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754827 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5799 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5799 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 76464

[startup+102.425 s]
/proc/loadavg: 1.98 1.64 1.27 3/81 10957
/proc/meminfo: memFree=1560440/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=102.01
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6086 0 0 0 10198 3 0 0 25 0 2 0 180902983 78299136 5799 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555013 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5799 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5799 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 76464

[startup+162.457 s]
/proc/loadavg: 1.99 1.70 1.31 3/81 10957
/proc/meminfo: memFree=1560440/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=161.8
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 16177 3 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134755133 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 76464

[startup+222.504 s]
/proc/loadavg: 1.99 1.75 1.36 3/81 10957
/proc/meminfo: memFree=1560376/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=221.61
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 22158 3 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.61
Current children cumulated vsize (KiB) 76464

[startup+282.546 s]
/proc/loadavg: 2.04 1.81 1.40 3/81 10957
/proc/meminfo: memFree=1560376/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=281.41
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 28138 3 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134623894 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.41
Current children cumulated vsize (KiB) 76464

[startup+342.588 s]
/proc/loadavg: 2.01 1.84 1.43 3/81 10957
/proc/meminfo: memFree=1560376/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=341.22
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 34118 4 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.22
Current children cumulated vsize (KiB) 76464

[startup+402.63 s]
/proc/loadavg: 2.00 1.87 1.47 3/81 10957
/proc/meminfo: memFree=1560312/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=401.02
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 40098 4 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552999 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.02
Current children cumulated vsize (KiB) 76464

[startup+462.7 s]
/proc/loadavg: 1.47 1.75 1.45 2/66 10973
/proc/meminfo: memFree=1891464/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=461.02
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 46097 5 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589512 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.02
Current children cumulated vsize (KiB) 76464

[startup+522.766 s]
/proc/loadavg: 1.17 1.61 1.42 2/66 10973
/proc/meminfo: memFree=1891464/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=521.06
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 52101 5 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552886 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.06
Current children cumulated vsize (KiB) 76464

[startup+582.823 s]
/proc/loadavg: 1.06 1.50 1.39 2/66 10973
/proc/meminfo: memFree=1891528/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=581.1
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 58105 5 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552500 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.1
Current children cumulated vsize (KiB) 76464

[startup+642.879 s]

################
# More data... #
################

/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 881.28
Current children cumulated vsize (KiB) 76464

[startup+943.161 s]
/proc/loadavg: 1.00 1.14 1.25 2/66 10973
/proc/meminfo: memFree=1891464/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=941.32
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 94126 6 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552968 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 941.32
Current children cumulated vsize (KiB) 76464

[startup+1003.22 s]
/proc/loadavg: 1.00 1.12 1.24 2/66 10973
/proc/meminfo: memFree=1891400/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1001.36
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 100130 6 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618352 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1001.36
Current children cumulated vsize (KiB) 76464

[startup+1063.3 s]
/proc/loadavg: 1.00 1.09 1.22 2/72 11119
/proc/meminfo: memFree=1890000/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1061.41
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 106128 13 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134628140 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1061.41
Current children cumulated vsize (KiB) 76464

[startup+1123.37 s]
/proc/loadavg: 1.00 1.07 1.20 2/66 11171
/proc/meminfo: memFree=1891016/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1121.46
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 112128 18 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754716 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1121.46
Current children cumulated vsize (KiB) 76464

[startup+1183.43 s]
/proc/loadavg: 1.00 1.06 1.18 2/66 11171
/proc/meminfo: memFree=1891016/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1181.5
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 118132 18 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134622763 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1181.5
Current children cumulated vsize (KiB) 76464

[startup+1243.48 s]
/proc/loadavg: 1.00 1.04 1.17 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1241.54
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 124136 18 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589526 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1241.54
Current children cumulated vsize (KiB) 76464

[startup+1303.54 s]
/proc/loadavg: 1.00 1.03 1.16 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1301.57
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 130139 18 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134624677 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1301.57
Current children cumulated vsize (KiB) 76464

[startup+1363.61 s]
/proc/loadavg: 1.00 1.03 1.15 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1361.62
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 136143 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134557373 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1361.62
Current children cumulated vsize (KiB) 76464

[startup+1423.67 s]
/proc/loadavg: 1.00 1.02 1.14 2/66 11171
/proc/meminfo: memFree=1891144/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1421.66
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 142147 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 76464

[startup+1483.72 s]
/proc/loadavg: 1.00 1.01 1.12 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1481.7
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 148151 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134626298 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 76464

[startup+1543.78 s]
/proc/loadavg: 1.00 1.01 1.11 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1541.73
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 154154 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552804 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 76464

[startup+1603.84 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1601.77
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 160158 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 76464

[startup+1663.89 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1661.8
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 166161 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555024 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 76464

[startup+1723.95 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1721.84
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 172165 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 76464

[startup+1784.01 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 11171
/proc/meminfo: memFree=1891016/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1781.88
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 178169 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552366 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 76464

Child status: 0
Real time (s): 1801.02
CPU time (s): 1798.89
CPU user time (s): 1798.69
CPU system time (s): 0.202969
CPU usage (%): 99.8819
Max. virtual memory (cumulated for all children) (KiB): 86708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6193
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= 13
involuntary context switches= 15893

runsolver used 1.51677 s user time and 4.89226 s system time

The end

Launcher Data (download as text)

Begin job on node61 on Tue Jan  9 06:44:08 UTC 2007


IDJOB= 233222
IDBENCH= 6588
FILE ID= node61/233222-1168325047

PBS_JOBID= 3502951

Free space on /tmp= 66518 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-105-3.xml
COMMAND LINE= /tmp/evaluation/233222-1168325047/Complete/Ordinary/solver /tmp/evaluation/233222-1168325047/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-233222-1168325047 -o ROOT/results/node61/conversion-233222-1168325047 -C 600 -M 900 /tmp/evaluation/233222-1168325047/Complete/Ordinary/conversion /tmp/evaluation/233222-1168325047/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-233222-1168325047 -o ROOT/results/node61/solver-233222-1168325047 -C 1800 -M 900  /tmp/evaluation/233222-1168325047/Complete/Ordinary/solver /tmp/evaluation/233222-1168325047/unknown 1800

META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH=  af76b8d5f9d1f307c434b42c9d393cf0

RANDOM SEED= 922917432

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.259
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.259
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:       1583384 kB
Buffers:          9564 kB
Cached:          68160 kB
SwapCached:          0 kB
Active:         392708 kB
Inactive:        27892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1583384 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2884 kB
Writeback:           0 kB
Mapped:         363092 kB
Slab:            36796 kB
Committed_AS:  4856984 kB
PageTables:       2424 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= 66520 MiB



End job on node61 on Tue Jan  9 07:14:12 UTC 2007