Trace number 233193

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 864.454 868.5

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
1147 770 670 193 0 257 815 1039 63 1209 326 1124 606 721 523 380 955 483 880 417 247 788 610 955 0 1235 196 471 1028 569 858 716 146 343 540 226 1163 54 408 595 199 529 0 1189 238 1143 138 178 725 305 624 213 750 930 398 33 184 1059 266 490 259 522 336 803 90 0 601 1142 436 1024 789 677 885 372 342 181 968 765 861 835 955 652 0 914 100 1059 415 1039 155 804 727 433 610 88 522 172 375 195 145 226 196 438 644 257 124 674 596 661 0 1073 815 343 63 725 54 1178 509 1107 915 994 710 39 330 961 181 343 529 817 0 97 266 673 155 880 433 1143 1076 788 635 457 885 586 0 199 404 145 1123 835 1053 491 317 1154 968 685 210 1116 20 774 248 52 75 1100 762 79 654 408 336 1182 969 324 0 579 698 130 483 624 172 226 888 200 994 306 579 1183 342 150 829 1106 595 438 723 942 259 800 891 540 670 0 1130 79 1136 525 282 1063 0 603 1009 163 811 847 743 179 1027 173 196 922 436 320 677 39 410 674 324 866 491 623 729 1112 1146 372 144 0 811 944 1002 563 1071 85 228 1222 834 1108 57 517 184 762 163 403 468 969 432 33 868 1189 85 196 644 268 0 359 248 0 501 1091 727 811 1201 1000 74 332 52 662 1136 403 63 90 905 1154 586 178 163 75 590 359 858 1178 813 770 1106 467 717 424 681 743 944 1009 268 0 246 518 509 179 720 131 360 194 334 673 246 817 225 880 1091 99 1194 0 154 961 52 603 847 138 285 395 134 334 0 1008 720 750 193 944 1067 623 1104 432 63 885 1136 529 0 469 721 921 1025 800 670 397 1146 306 314 588 1201 138 79 257 811 885 816 226 1106 0 79 90 635 685 134 739 432 866 282 1163 1000 1035 410 228 497 596 818 343 662 1112 404 97 563 0 264 861 1078 922 516 968 177 213 818 1180 285 716 199 471

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/node24/watcher-233193-1168324958 -o ROOT/results/node24/solver-233193-1168324958 -C 1800 -M 900 /tmp/evaluation/233193-1168324958/solver2 /tmp/evaluation/233193-1168324958/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: 2.22 1.99 1.93 5/97 22595
/proc/meminfo: memFree=991320/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=0
/proc/22594/stat : 22594 (solver2) R 22592 22594 21786 0 -1 4194304 280 0 0 0 0 0 0 0 25 0 1 0 180891224 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788261023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/22594/statm: 1338 231 193 169 0 49 0
[pid=22596] ppid=22594 vsize=0 CPUtime=0
/proc/22596/stat : 22596 (solver2) Z 22594 22594 21786 0 -1 4194380 26 0 0 0 0 0 0 0 15 0 1 0 180891224 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 0 0 0
/proc/22596/statm: 0 0 0 0 0 0 0
[pid=22597] ppid=22594 vsize=5352 CPUtime=0
/proc/22597/stat : 22597 (solver2) R 22594 22594 21786 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 180891225 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788261023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/22597/statm: 1338 231 193 169 0 49 0

[startup+0.110534 s]
/proc/loadavg: 2.22 1.99 1.93 5/97 22595
/proc/meminfo: memFree=991320/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=0
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 353 334 0 0 0 0 0 0 25 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.518349 s]
/proc/loadavg: 2.22 1.99 1.93 5/97 22595
/proc/meminfo: memFree=991320/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=0.11
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 376 2351 0 1 0 0 10 1 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5352

[startup+1.33944 s]
/proc/loadavg: 2.22 1.99 1.93 3/98 22607
/proc/meminfo: memFree=961104/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=0.11
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 376 2351 0 1 0 0 10 1 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22607] ppid=22594 vsize=28376 CPUtime=1.15
/proc/22607/stat : 22607 (bordewijk) R 22594 22594 21786 0 -1 4194304 7081 0 0 0 109 6 0 0 25 0 1 0 180891241 29057024 6540 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/22607/statm: 7094 6540 204 97 0 6375 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 33728

[startup+2.98161 s]
/proc/loadavg: 2.22 1.99 1.93 5/98 22607
/proc/meminfo: memFree=850960/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=0.11
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 376 2351 0 1 0 0 10 1 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22607] ppid=22594 vsize=146100 CPUtime=2.8
/proc/22607/stat : 22607 (bordewijk) R 22594 22594 21786 0 -1 4194304 38393 0 0 0 192 88 0 0 25 0 1 0 180891241 149606400 35489 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/22607/statm: 36525 35489 217 97 0 35806 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 151452

[startup+6.273 s]
/proc/loadavg: 2.21 1.99 1.93 3/98 22607
/proc/meminfo: memFree=827792/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 5352

[startup+12.7397 s]
/proc/loadavg: 2.19 1.99 1.93 3/98 22608
/proc/meminfo: memFree=874768/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104860 CPUtime=6.56
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25352 0 0 0 548 108 0 0 25 0 1 0 180891835 107376640 25147 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059369444 0 0 4096 0 0 0 0 17 1 0 0
/proc/22608/statm: 26215 25147 136 64 0 25530 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 110212

[startup+25.576 s]
/proc/loadavg: 2.15 1.99 1.93 3/98 22608
/proc/meminfo: memFree=873488/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104860 CPUtime=19.28
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25353 0 0 0 1820 108 0 0 25 0 1 0 180891835 107376640 25148 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4058961434 0 0 4096 0 0 0 0 17 1 0 0
/proc/22608/statm: 26215 25148 137 64 0 25530 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 110212

[startup+51.2308 s]
/proc/loadavg: 2.10 1.99 1.93 3/98 22608
/proc/meminfo: memFree=871760/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104860 CPUtime=44.72
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25353 0 0 0 4364 108 0 0 25 0 1 0 180891835 107376640 25148 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4058961402 0 0 4096 0 0 0 0 17 1 0 0
/proc/22608/statm: 26215 25148 137 64 0 25530 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 110212

[startup+102.437 s]
/proc/loadavg: 2.48 2.11 1.97 4/98 22608
/proc/meminfo: memFree=866512/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104860 CPUtime=95.48
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25353 0 0 0 9440 108 0 0 25 0 1 0 180891835 107376640 25148 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059505342 0 0 4096 0 0 0 0 17 1 0 0
/proc/22608/statm: 26215 25148 137 64 0 25530 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 110212

[startup+162.451 s]
/proc/loadavg: 2.14 2.07 1.96 3/87 22680
/proc/meminfo: memFree=1387296/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104860 CPUtime=155.42
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25353 0 0 0 15433 109 0 0 25 0 1 0 180891835 107376640 25148 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059673668 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26215 25148 137 64 0 25530 0
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (KiB) 110212

[startup+222.473 s]
/proc/loadavg: 2.05 2.06 1.96 3/87 22680
/proc/meminfo: memFree=1155296/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104860 CPUtime=215.39
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25353 0 0 0 21430 109 0 0 25 0 1 0 180891835 107376640 25148 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059744114 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26215 25148 137 64 0 25530 0
Current children cumulated CPU time (s) 221.44
Current children cumulated vsize (KiB) 110212

[startup+282.493 s]
/proc/loadavg: 2.02 2.04 1.96 3/87 22680
/proc/meminfo: memFree=938656/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104860 CPUtime=275.36
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25353 0 0 0 27427 109 0 0 25 0 1 0 180891835 107376640 25148 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4058973984 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26215 25148 137 64 0 25530 0
Current children cumulated CPU time (s) 281.41
Current children cumulated vsize (KiB) 110212

[startup+342.512 s]
/proc/loadavg: 2.00 2.03 1.96 3/87 22680
/proc/meminfo: memFree=714336/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104860 CPUtime=335.3
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25353 0 0 0 33421 109 0 0 25 0 1 0 180891835 107376640 25148 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134555397 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26215 25148 137 64 0 25530 0
Current children cumulated CPU time (s) 341.35
Current children cumulated vsize (KiB) 110212

[startup+402.567 s]
/proc/loadavg: 2.11 2.06 1.97 3/98 22732
/proc/meminfo: memFree=877448/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104860 CPUtime=393.79
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25353 0 0 0 39268 111 0 0 25 0 1 0 180891835 107376640 25148 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059688130 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26215 25148 137 64 0 25530 0
Current children cumulated CPU time (s) 399.84
Current children cumulated vsize (KiB) 110212

[startup+462.643 s]
/proc/loadavg: 2.12 2.07 1.98 4/95 22807
/proc/meminfo: memFree=1192288/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104860 CPUtime=453.53
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25353 0 0 0 45238 115 0 0 25 0 1 0 180891835 107376640 25148 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059603443 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26215 25148 137 64 0 25530 0
Current children cumulated CPU time (s) 459.58
Current children cumulated vsize (KiB) 110212

[startup+522.743 s]
/proc/loadavg: 2.54 2.20 2.03 3/95 22807
/proc/meminfo: memFree=974368/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104876 CPUtime=513.28
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25722 0 0 0 51212 116 0 0 25 0 1 0 180891835 107393024 25517 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059393948 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26219 25517 138 64 0 25534 0
Current children cumulated CPU time (s) 519.33
Current children cumulated vsize (KiB) 110228

[startup+582.768 s]
/proc/loadavg: 2.75 2.31 2.08 3/95 22807
/proc/meminfo: memFree=872672/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104880 CPUtime=572.99
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25753 0 0 0 57183 116 0 0 25 0 1 0 180891835 107397120 25548 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554165 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26220 25548 138 64 0 25535 0
Current children cumulated CPU time (s) 579.04
Current children cumulated vsize (KiB) 110232

[startup+642.839 s]
/proc/loadavg: 2.31 2.27 2.08 3/88 23558
/proc/meminfo: memFree=1546984/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104880 CPUtime=632.98
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25768 0 0 0 63177 121 0 0 25 0 1 0 180891835 107397120 25563 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554232 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26220 25563 138 64 0 25535 0
Current children cumulated CPU time (s) 639.03
Current children cumulated vsize (KiB) 110232

[startup+702.845 s]
/proc/loadavg: 2.11 2.21 2.07 3/88 23558
/proc/meminfo: memFree=1547112/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104880 CPUtime=692.88
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25768 0 0 0 69167 121 0 0 25 0 1 0 180891835 107397120 25563 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4059136094 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26220 25563 138 64 0 25535 0
Current children cumulated CPU time (s) 698.93
Current children cumulated vsize (KiB) 110232

[startup+762.851 s]
/proc/loadavg: 2.09 2.19 2.07 3/88 23558
/proc/meminfo: memFree=1547112/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104880 CPUtime=752.84
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25768 0 0 0 75163 121 0 0 25 0 1 0 180891835 107397120 25563 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549715 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26220 25563 138 64 0 25535 0
Current children cumulated CPU time (s) 758.89
Current children cumulated vsize (KiB) 110232

[startup+822.857 s]
/proc/loadavg: 2.03 2.15 2.06 3/88 23558
/proc/meminfo: memFree=1547112/2055920 swapFree=4192812/4192956
[pid=22594] ppid=22592 vsize=5352 CPUtime=6.05
/proc/22594/stat : 22594 (solver2) S 22592 22594 21786 0 -1 4194304 397 40745 0 1 0 0 219 386 16 0 1 0 180891224 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22594/statm: 1338 242 203 169 0 49 0
[pid=22608] ppid=22594 vsize=104880 CPUtime=812.78
/proc/22608/stat : 22608 (standalone) R 22594 22594 21786 0 -1 4194304 25768 0 0 0 81157 121 0 0 25 0 1 0 180891835 107397120 25563 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554291 0 0 4096 0 0 0 0 17 0 0 0
/proc/22608/statm: 26220 25563 138 64 0 25535 0
Current children cumulated CPU time (s) 818.83
Current children cumulated vsize (KiB) 110232

Child status: 0
Real time (s): 868.5
CPU time (s): 864.454
CPU user time (s): 859.352
CPU system time (s): 5.10122
CPU usage (%): 99.5341
Max. virtual memory (cumulated for all children) (KiB): 151452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 859.352
system time used= 5.10122
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66936
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 215
involuntary context switches= 22322

runsolver used 1.09883 s user time and 2.45163 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue Jan  9 06:42:40 UTC 2007


IDJOB= 233193
IDBENCH= 6586
FILE ID= node24/233193-1168324958

PBS_JOBID= 3502966

Free space on /tmp= 66464 MiB

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

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  3f59ce7e2cf0069032dc8d030cfb3b7e

RANDOM SEED= 631463374

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.234
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.234
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:        991800 kB
Buffers:          5364 kB
Cached:         218968 kB
SwapCached:          0 kB
Active:         850304 kB
Inactive:       162680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        991800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11204 kB
Writeback:           0 kB
Mapped:         818112 kB
Slab:            34192 kB
Committed_AS:  4614196 kB
PageTables:       3860 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= 66435 MiB



End job on node24 on Tue Jan  9 06:57:08 UTC 2007