Trace number 234417

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 1457.34 1459.44

General information on the benchmark

Nametaillard/js-taillard-15/
js-taillard-15-105-7.xml
MD5SUM441962ff57cd2d684c3aeacfd384595f
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 benchmark16.07
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

SAT
38 121 129 308 402 432 516 597 638 687 719 768 879 944 1121 0 40 108 187 208 292 477 543 594 677 773 841 879 917 1137 0 46 121 187 271 359 417 473 508 567 649 673 841 865 1053 0 114 195 432 530 567 687 770 850 889 915 974 1055 1085 1161 0 85 165 201 258 354 388 402 405 495 615 717 1122 1228 1255 0 28 90 165 167 202 381 530 614 687 762 892 973 1045 1137 202 223 246 359 364 386 426 609 738 814 879 951 1085 1184 1234 0 49 129 292 379 420 426 530 609 687 770 810 894 993 1185 0 77 417 526 649 655 728 827 860 894 926 1040 1122 1127 1232 46 131 225 354 430 694 762 796 827 917 950 1041 1045 1063 1158 0 40 48 85 90 91 202 386 473 563 655 1041 1106 1158 1271 0 103 186 234 341 356 388 477 518 615 712 728 775 796 891 24 131 153 187 202 262 327 389 428 516 563 594 600 788 1259 0 239 327 331 595 614 712 717 796 865 924 950 951 955 1046 0 24 90 94 167 331 420 466 512 594 702 894 990 1053 1279

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/node48/watcher-234417-1168332282 -o ROOT/results/node48/solver-234417-1168332282 -C 1800 -M 900 /tmp/evaluation/234417-1168332282/solver2 /tmp/evaluation/234417-1168332282/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.17 1.04 1.01 5/84 23330
/proc/meminfo: memFree=1356992/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=18540 CPUtime=0
/proc/23329/stat : 23329 (runsolver) R 23327 23329 22600 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 181627129 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 255539604775 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23329/statm: 4635 279 244 17 0 2626 0

[startup+0.102747 s]
/proc/loadavg: 1.17 1.04 1.01 5/84 23330
/proc/meminfo: memFree=1356992/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=0
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 353 334 0 0 0 0 0 0 19 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.510783 s]
/proc/loadavg: 1.17 1.04 1.01 5/84 23330
/proc/meminfo: memFree=1356992/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=0.03
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 376 2261 0 0 0 0 3 0 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5352

[startup+1.33986 s]
/proc/loadavg: 1.17 1.04 1.01 3/85 23342
/proc/meminfo: memFree=1286448/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=0.03
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 376 2261 0 0 0 0 3 0 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23342] ppid=23329 vsize=52356 CPUtime=1.2
/proc/23342/stat : 23342 (bordewijk) R 23329 23329 22600 0 -1 4194304 13957 0 0 0 85 35 0 0 25 0 1 0 181627141 53612544 12285 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23342/statm: 13089 12285 217 97 0 12370 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 57708

[startup+2.99002 s]
/proc/loadavg: 1.17 1.04 1.01 3/85 23342
/proc/meminfo: memFree=1279856/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=0.03
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 376 2261 0 0 0 0 3 0 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23342] ppid=23329 vsize=52356 CPUtime=2.83
/proc/23342/stat : 23342 (bordewijk) R 23329 23329 22600 0 -1 4194304 13957 0 0 0 93 190 0 0 25 0 1 0 181627141 53612544 12285 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23342/statm: 13089 12285 217 97 0 12370 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 57708

[startup+6.26932 s]
/proc/loadavg: 1.47 1.10 1.03 3/85 23343
/proc/meminfo: memFree=1267056/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=3
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8294 0 0 0 249 51 0 0 25 0 1 0 181627453 37236736 8268 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129256242 0 0 4096 0 0 0 0 17 1 0 0
/proc/23343/statm: 9091 8268 136 64 0 8406 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 41716

[startup+12.7451 s]
/proc/loadavg: 1.51 1.12 1.04 3/85 23343
/proc/meminfo: memFree=1225648/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=9.44
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8447 0 0 0 892 52 0 0 25 0 1 0 181627453 37236736 8421 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134556244 0 0 4096 0 0 0 0 17 1 0 0
/proc/23343/statm: 9091 8421 136 64 0 8406 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 41716

[startup+25.5643 s]
/proc/loadavg: 1.62 1.16 1.05 3/85 23343
/proc/meminfo: memFree=1141432/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=22.16
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8450 0 0 0 2164 52 0 0 25 0 1 0 181627453 37236736 8424 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129442375 0 0 4096 0 0 0 0 17 1 0 0
/proc/23343/statm: 9091 8424 136 64 0 8406 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 41716

[startup+51.2317 s]
/proc/loadavg: 1.87 1.26 1.09 3/85 23343
/proc/meminfo: memFree=970104/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=47.58
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8450 0 0 0 4706 52 0 0 25 0 1 0 181627453 37236736 8424 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129259914 0 0 4096 0 0 0 0 17 1 0 0
/proc/23343/statm: 9091 8424 136 64 0 8406 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 41716

[startup+102.491 s]
/proc/loadavg: 1.94 1.37 1.13 3/85 23343
/proc/meminfo: memFree=717432/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=98.61
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8450 0 0 0 9809 52 0 0 25 0 1 0 181627453 37236736 8424 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129241972 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9091 8424 136 64 0 8406 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 41716

[startup+162.518 s]
/proc/loadavg: 1.98 1.48 1.18 3/85 23343
/proc/meminfo: memFree=713272/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=158.58
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8450 0 0 0 15806 52 0 0 25 0 1 0 181627453 37236736 8424 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129248050 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9091 8424 136 64 0 8406 0
Current children cumulated CPU time (s) 161.7
Current children cumulated vsize (KiB) 41716

[startup+222.527 s]
/proc/loadavg: 2.14 1.61 1.24 3/85 23343
/proc/meminfo: memFree=711800/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=218.33
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8450 0 0 0 21781 52 0 0 25 0 1 0 181627453 37236736 8424 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134555406 0 0 4096 0 0 0 0 17 1 0 0
/proc/23343/statm: 9091 8424 136 64 0 8406 0
Current children cumulated CPU time (s) 221.45
Current children cumulated vsize (KiB) 41716

[startup+282.584 s]
/proc/loadavg: 2.20 1.72 1.30 2/69 24050
/proc/meminfo: memFree=1435632/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=277.92
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8450 0 0 0 27739 53 0 0 25 0 1 0 181627453 37236736 8424 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129319832 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9091 8424 136 64 0 8406 0
Current children cumulated CPU time (s) 281.04
Current children cumulated vsize (KiB) 41716

[startup+342.65 s]
/proc/loadavg: 2.05 1.76 1.34 3/82 24241
/proc/meminfo: memFree=1255432/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=337.93
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8450 0 0 0 33738 55 0 0 25 0 1 0 181627453 37236736 8424 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129258853 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9091 8424 136 64 0 8406 0
Current children cumulated CPU time (s) 341.05
Current children cumulated vsize (KiB) 41716

[startup+402.676 s]
/proc/loadavg: 1.72 1.73 1.36 2/66 24265
/proc/meminfo: memFree=1451600/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=397.92
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8450 0 0 0 39736 56 0 0 25 0 1 0 181627453 37236736 8424 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129465045 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9091 8424 136 64 0 8406 0
Current children cumulated CPU time (s) 401.04
Current children cumulated vsize (KiB) 41716

[startup+462.747 s]
/proc/loadavg: 1.26 1.60 1.33 2/66 24265
/proc/meminfo: memFree=1451728/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36364 CPUtime=457.97
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8451 0 0 0 45741 56 0 0 25 0 1 0 181627453 37236736 8425 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134555362 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9091 8425 136 64 0 8406 0
Current children cumulated CPU time (s) 461.09
Current children cumulated vsize (KiB) 41716

[startup+522.82 s]
/proc/loadavg: 1.09 1.49 1.31 2/66 24265
/proc/meminfo: memFree=1451600/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=518.03
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8544 0 0 0 51747 56 0 0 25 0 1 0 181627453 37240832 8518 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129274729 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8518 137 64 0 8407 0
Current children cumulated CPU time (s) 521.15

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

Current children cumulated CPU time (s) 581.21
Current children cumulated vsize (KiB) 41720

[startup+642.968 s]
/proc/loadavg: 1.01 1.32 1.26 2/66 24265
/proc/meminfo: memFree=1451536/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=638.15
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8553 0 0 0 63759 56 0 0 25 0 1 0 181627453 37240832 8527 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554280 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8527 137 64 0 8407 0
Current children cumulated CPU time (s) 641.27
Current children cumulated vsize (KiB) 41720

[startup+703.039 s]
/proc/loadavg: 1.00 1.26 1.25 2/66 24265
/proc/meminfo: memFree=1451480/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=698.2
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8553 0 0 0 69764 56 0 0 25 0 1 0 181627453 37240832 8527 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129486540 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8527 137 64 0 8407 0
Current children cumulated CPU time (s) 701.32
Current children cumulated vsize (KiB) 41720

[startup+763.115 s]
/proc/loadavg: 1.00 1.21 1.23 2/66 24265
/proc/meminfo: memFree=1451480/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=758.26
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8553 0 0 0 75770 56 0 0 25 0 1 0 181627453 37240832 8527 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554165 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8527 137 64 0 8407 0
Current children cumulated CPU time (s) 761.38
Current children cumulated vsize (KiB) 41720

[startup+823.185 s]
/proc/loadavg: 1.00 1.17 1.21 2/66 24265
/proc/meminfo: memFree=1451480/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=818.33
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 81776 57 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554227 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 821.45
Current children cumulated vsize (KiB) 41720

[startup+883.252 s]
/proc/loadavg: 1.00 1.14 1.19 2/66 24265
/proc/meminfo: memFree=1451416/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=878.38
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 87781 57 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129327894 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 881.5
Current children cumulated vsize (KiB) 41720

[startup+943.324 s]
/proc/loadavg: 1.00 1.11 1.18 2/66 24265
/proc/meminfo: memFree=1451480/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=938.43
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 93786 57 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554272 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 941.55
Current children cumulated vsize (KiB) 41720

[startup+1003.41 s]
/proc/loadavg: 1.00 1.08 1.16 2/72 24373
/proc/meminfo: memFree=1450216/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=998.49
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 99786 63 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129310156 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 1001.61
Current children cumulated vsize (KiB) 41720

[startup+1063.51 s]
/proc/loadavg: 1.07 1.08 1.16 2/72 24439
/proc/meminfo: memFree=1450088/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=1058.58
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 105787 71 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129477939 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 41720

[startup+1123.59 s]
/proc/loadavg: 1.02 1.07 1.15 2/66 24463
/proc/meminfo: memFree=1451096/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=1118.64
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 111793 71 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129340274 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 41720

[startup+1183.66 s]
/proc/loadavg: 1.01 1.05 1.14 2/66 24463
/proc/meminfo: memFree=1451096/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=1178.69
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 117798 71 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129257393 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 41720

[startup+1243.73 s]
/proc/loadavg: 1.00 1.04 1.12 2/66 24463
/proc/meminfo: memFree=1451160/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=1238.75
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 123803 72 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129482824 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 41720

[startup+1303.8 s]
/proc/loadavg: 1.00 1.03 1.11 2/66 24463
/proc/meminfo: memFree=1451224/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=1298.81
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 129809 72 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129477469 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 41720

[startup+1363.87 s]
/proc/loadavg: 1.00 1.02 1.10 2/66 24463
/proc/meminfo: memFree=1451224/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=1358.86
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 135814 72 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129378026 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 41720

[startup+1423.94 s]
/proc/loadavg: 1.00 1.02 1.09 2/66 24463
/proc/meminfo: memFree=1451224/2055920 swapFree=4192812/4192956
[pid=23329] ppid=23327 vsize=5352 CPUtime=3.12
/proc/23329/stat : 23329 (solver2) S 23327 23329 22600 0 -1 4194304 397 16219 0 0 0 0 97 215 16 0 1 0 181627129 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23329/statm: 1338 242 203 169 0 49 0
[pid=23343] ppid=23329 vsize=36368 CPUtime=1418.92
/proc/23343/stat : 23343 (standalone) R 23329 23329 22600 0 -1 4194304 8555 0 0 0 141820 72 0 0 25 0 1 0 181627453 37240832 8529 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4129285696 0 0 4096 0 0 0 0 17 0 0 0
/proc/23343/statm: 9092 8529 137 64 0 8407 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 41720

Child status: 0
Real time (s): 1459.44
CPU time (s): 1457.34
CPU user time (s): 1454.46
CPU system time (s): 2.88456
CPU usage (%): 99.8564
Max. virtual memory (cumulated for all children) (KiB): 57708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1454.46
system time used= 2.88456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25200
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= 130
involuntary context switches= 7829

runsolver used 1.41478 s user time and 3.90041 s system time

The end

Launcher Data (download as text)

Begin job on node48 on Tue Jan  9 08:44:44 UTC 2007


IDJOB= 234417
IDBENCH= 6686
FILE ID= node48/234417-1168332282

PBS_JOBID= 3503308

Free space on /tmp= 66552 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-105-7.xml
COMMAND LINE= /tmp/evaluation/234417-1168332282/solver2 /tmp/evaluation/234417-1168332282/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-234417-1168332282 -o ROOT/results/node48/solver-234417-1168332282 -C 1800 -M 900  /tmp/evaluation/234417-1168332282/solver2 /tmp/evaluation/234417-1168332282/unknown 1800

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  441962ff57cd2d684c3aeacfd384595f

RANDOM SEED= 469463184

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.218
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.218
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:       1360424 kB
Buffers:         76144 kB
Cached:         413728 kB
SwapCached:          0 kB
Active:         319504 kB
Inactive:       314768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1360424 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           13440 kB
Writeback:           0 kB
Mapped:         164456 kB
Slab:            46316 kB
Committed_AS:  5186668 kB
PageTables:       2036 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= 66548 MiB



End job on node48 on Tue Jan  9 09:09:04 UTC 2007