Trace number 2068917

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
Mistral 1.545? (TO) 1800.14 1801.25

General information on the benchmark

Namecsp/tdsp/
normalized-C7-2-241.xml
MD5SUM8d8cf1b474fe7a5bceeecee77718d1b9
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables593
Number of constraints19700
Maximum constraint arity6
Maximum domain size242
Number of constraints which are defined in extension0
Number of constraints which are defined in intension19700
Global constraints used (with number of constraints)

Solver Data 

0.00/0.00	c mistral version 1.545

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2068917-1247348901/watcher-2068917-1247348901 -o /tmp/evaluation-result-2068917-1247348901/solver-2068917-1247348901 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2068917-1247348901.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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


[startup+0 s]
/proc/loadavg: 1.78 1.96 2.02 4/82 14668
/proc/meminfo: memFree=459808/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=4804 CPUtime=0
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 21954029 4919296 163 996147200 1448431616 1448550632 4294956208 18446744073709551615 1448473824 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 1201 163 138 29 0 16 0

[startup+0.092075 s]
/proc/loadavg: 1.78 1.96 2.02 4/82 14668
/proc/meminfo: memFree=459808/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=8632 CPUtime=0.08
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 1365 0 0 0 8 0 0 0 18 0 1 0 21954029 8839168 1344 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 2158 1345 382 29 0 973 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8632

[startup+0.101076 s]
/proc/loadavg: 1.78 1.96 2.02 4/82 14668
/proc/meminfo: memFree=459808/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=9156 CPUtime=0.08
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 1475 0 0 0 8 0 0 0 18 0 1 0 21954029 9375744 1454 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 2289 1455 383 29 0 1104 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9156

[startup+0.301099 s]
/proc/loadavg: 1.78 1.96 2.02 4/82 14668
/proc/meminfo: memFree=459808/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=18652 CPUtime=0.29
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 3869 0 0 0 27 2 0 0 19 0 1 0 21954029 19099648 3848 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 4663 3849 383 29 0 3478 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18652

[startup+0.701145 s]
/proc/loadavg: 1.78 1.96 2.02 4/82 14668
/proc/meminfo: memFree=459808/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=38404 CPUtime=0.69
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 8572 0 0 0 62 7 0 0 23 0 1 0 21954029 39325696 8552 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 9601 8552 383 29 0 8416 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38404

[startup+1.50224 s]
/proc/loadavg: 1.78 1.96 2.02 3/83 14669
/proc/meminfo: memFree=412952/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=74124 CPUtime=1.49
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 17259 0 0 0 137 12 0 0 25 0 1 0 21954029 75902976 17238 996147200 1448431616 1448550632 4294956208 18446744073709551615 134942337 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 18531 17238 387 29 0 17346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74124

[startup+3.10142 s]
/proc/loadavg: 1.78 1.96 2.02 3/83 14669
/proc/meminfo: memFree=363992/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=265628 CPUtime=3.08
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 64140 0 0 0 269 39 0 0 25 0 1 0 21954029 272003072 64119 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 66407 64120 427 29 0 65222 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 265628

[startup+6.30179 s]
/proc/loadavg: 1.80 1.96 2.02 3/83 14669
/proc/meminfo: memFree=200472/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=271180 CPUtime=6.29
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65045 0 0 0 588 41 0 0 25 0 1 0 21954029 277688320 65024 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 67795 65024 433 29 0 66610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 271180

[startup+12.7025 s]
/proc/loadavg: 1.81 1.96 2.02 3/83 14669
/proc/meminfo: memFree=199768/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=271972 CPUtime=12.69
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65245 0 0 0 1228 41 0 0 25 0 1 0 21954029 278499328 65224 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824169 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 67993 65224 433 29 0 66808 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 271972

[startup+25.502 s]
/proc/loadavg: 1.85 1.96 2.02 3/83 14669
/proc/meminfo: memFree=198040/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=273556 CPUtime=25.48
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65701 0 0 0 2507 41 0 0 25 0 1 0 21954029 280121344 65680 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865184 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68389 65680 433 29 0 67204 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 273556

[startup+51.1027 s]
/proc/loadavg: 1.90 1.97 2.02 3/83 14669
/proc/meminfo: memFree=175832/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=273820 CPUtime=51.07
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65796 0 0 0 5065 42 0 0 25 0 1 0 21954029 280391680 65775 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161637 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68455 65775 433 29 0 67270 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 273820

[startup+102.307 s]
/proc/loadavg: 1.96 1.97 2.01 3/83 14669
/proc/meminfo: memFree=175640/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=273952 CPUtime=102.25
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65854 0 0 0 10183 42 0 0 25 0 1 0 21954029 280526848 65833 996147200 1448431616 1448550632 4294956208 18446744073709551615 135263072 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68488 65833 433 29 0 67303 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 273952

[startup+162.302 s]
/proc/loadavg: 1.98 1.97 2.01 3/83 14671
/proc/meminfo: memFree=175568/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274084 CPUtime=162.22
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65861 0 0 0 16180 42 0 0 25 0 1 0 21954029 280662016 65840 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68521 65840 433 29 0 67336 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 274084

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14671
/proc/meminfo: memFree=175512/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274084 CPUtime=222.19
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65890 0 0 0 22177 42 0 0 25 0 1 0 21954029 280662016 65869 996147200 1448431616 1448550632 4294956208 18446744073709551615 135259312 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68521 65869 433 29 0 67336 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 274084

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14671
/proc/meminfo: memFree=170200/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274084 CPUtime=282.17
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65890 0 0 0 28174 43 0 0 25 0 1 0 21954029 280662016 65869 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161214 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68521 65869 433 29 0 67336 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 274084

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 2.00 4/83 14671
/proc/meminfo: memFree=161688/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274084 CPUtime=342.15
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65890 0 0 0 34172 43 0 0 25 0 1 0 21954029 280662016 65869 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161620 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68521 65869 433 29 0 67336 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 274084

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14671
/proc/meminfo: memFree=155224/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274216 CPUtime=402.12
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65913 0 0 0 40169 43 0 0 25 0 1 0 21954029 280797184 65892 996147200 1448431616 1448550632 4294956208 18446744073709551615 135291328 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68554 65892 433 29 0 67369 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 274216

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14671
/proc/meminfo: memFree=154456/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274216 CPUtime=462.09
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65913 0 0 0 46166 43 0 0 25 0 1 0 21954029 280797184 65892 996147200 1448431616 1448550632 4294956208 18446744073709551615 135267152 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68554 65892 433 29 0 67369 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 274216

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14671
/proc/meminfo: memFree=117144/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274216 CPUtime=522.06
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65913 0 0 0 52163 43 0 0 25 0 1 0 21954029 280797184 65892 996147200 1448431616 1448550632 4294956208 18446744073709551615 135291329 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68554 65892 433 29 0 67369 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 274216

[startup+582.303 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14671
/proc/meminfo: memFree=110680/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274216 CPUtime=582.03
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65913 0 0 0 58160 43 0 0 25 0 1 0 21954029 280797184 65892 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161214 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68554 65892 433 29 0 67369 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 274216

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14671
/proc/meminfo: memFree=109976/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274216 CPUtime=642.02
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65928 0 0 0 64158 44 0 0 25 0 1 0 21954029 280797184 65907 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865184 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68554 65907 433 29 0 67369 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 274216

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14677
/proc/meminfo: memFree=105240/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=821.93
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65952 0 0 0 82149 44 0 0 25 0 1 0 21954029 280932352 65931 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865397 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65931 433 29 0 67402 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 274348

[startup+882.302 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14677
/proc/meminfo: memFree=105240/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=881.92
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 88147 45 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865397 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 274348

[startup+942.301 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14677
/proc/meminfo: memFree=78296/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=941.88
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 94142 46 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 274348

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14677
/proc/meminfo: memFree=78232/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=1001.86
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 100140 46 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 135293632 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 274348

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 2.00 3/83 14677
/proc/meminfo: memFree=78232/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=1061.83
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 106137 46 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 135293234 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 274348

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/75 14730
/proc/meminfo: memFree=433048/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=1121.79
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 112130 49 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 134864862 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 274348

[startup+1182.3 s]
/proc/loadavg: 2.07 1.99 2.00 3/75 14730
/proc/meminfo: memFree=428056/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=1181.78
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 118128 50 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 135219908 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 274348

[startup+1242.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/83 14780
/proc/meminfo: memFree=412568/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=1241.76
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 124125 51 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161275 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 274348

[startup+1302.3 s]
/proc/loadavg: 2.27 2.06 2.02 4/83 14780
/proc/meminfo: memFree=122968/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=1301.73
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 130122 51 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 135215941 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 274348

[startup+1362.3 s]
/proc/loadavg: 2.25 2.10 2.04 3/83 14780
/proc/meminfo: memFree=122904/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=1361.7
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 136119 51 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 135268108 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 274348

[startup+1422.31 s]
/proc/loadavg: 2.21 2.11 2.04 3/83 14780
/proc/meminfo: memFree=122904/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=1421.68
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 142117 51 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 134842566 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 274348

[startup+1482.3 s]
/proc/loadavg: 2.16 2.12 2.05 3/83 14780
/proc/meminfo: memFree=122904/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274348 CPUtime=1481.65
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65961 0 0 0 148114 51 0 0 25 0 1 0 21954029 280932352 65940 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68587 65940 433 29 0 67402 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 274348

[startup+1542.3 s]
/proc/loadavg: 2.06 2.10 2.04 3/83 14780
/proc/meminfo: memFree=122904/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274480 CPUtime=1541.62
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 65970 0 0 0 154111 51 0 0 25 0 1 0 21954029 281067520 65949 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824147 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68620 65949 433 29 0 67435 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 274480

[startup+1602.3 s]
/proc/loadavg: 2.11 2.11 2.04 3/83 14780
/proc/meminfo: memFree=122712/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=274744 CPUtime=1601.6
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 66051 0 0 0 160109 51 0 0 25 0 1 0 21954029 281337856 66030 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68686 66030 433 29 0 67501 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 274744

[startup+1662.3 s]
/proc/loadavg: 2.24 2.14 2.06 3/83 14780
/proc/meminfo: memFree=122456/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=275008 CPUtime=1661.57
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 66115 0 0 0 166106 51 0 0 25 0 1 0 21954029 281608192 66094 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68752 66094 433 29 0 67567 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 275008

[startup+1722.3 s]
/proc/loadavg: 2.37 2.19 2.08 3/83 14780
/proc/meminfo: memFree=122200/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=275272 CPUtime=1721.55
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 66177 0 0 0 172104 51 0 0 25 0 1 0 21954029 281878528 66156 996147200 1448431616 1448550632 4294956208 18446744073709551615 135267165 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68818 66156 433 29 0 67633 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 275272

[startup+1782.3 s]
/proc/loadavg: 2.27 2.20 2.09 3/83 14780
/proc/meminfo: memFree=121944/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=275272 CPUtime=1781.35
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 66192 0 0 0 178084 51 0 0 25 0 1 0 21954029 281878528 66171 996147200 1448431616 1448550632 4294956208 18446744073709551615 134839791 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68818 66171 433 29 0 67633 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (KiB) 275272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 2.19 2.18 2.09 3/83 14781
/proc/meminfo: memFree=141200/2055920 swapFree=4192956/4192956
[pid=14668] ppid=14666 vsize=275404 CPUtime=1800.09
/proc/14668/stat : 14668 (ld-linux.so.2) R 14666 14668 14631 0 -1 4194304 66197 0 0 0 179958 51 0 0 25 0 1 0 21954029 282013696 66176 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824169 0 0 4096 0 0 0 0 17 0 0 0
/proc/14668/statm: 68851 66176 433 29 0 67666 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 275404

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.25
CPU time (s): 1800.14
CPU user time (s): 1799.58
CPU system time (s): 0.557915
CPU usage (%): 99.9388
Max. virtual memory (cumulated for all children) (KiB): 275404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.557915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66197
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= 24
involuntary context switches= 35386

runsolver used 2.16967 second user time and 5.78812 second system time

The end

Launcher Data 

Begin job on node62 at 2009-07-11 23:48:21
IDJOB=2068917
IDBENCH=54955
IDSOLVER=769
FILE ID=node62/2068917-1247348901
PBS_JOBID= 9506877
Free space on /tmp= 66248 MiB

SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/tdsp/normalized-C7-2-241.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068917-1247348901/watcher-2068917-1247348901 -o /tmp/evaluation-result-2068917-1247348901/solver-2068917-1247348901 -C 1800 -W 2000 -M 900  /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2068917-1247348901.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8d8cf1b474fe7a5bceeecee77718d1b9
RANDOM SEED=1334407235

node62.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.220
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.220
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:        460288 kB
Buffers:         71744 kB
Cached:        1151916 kB
SwapCached:          0 kB
Active:         555612 kB
Inactive:       984136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        460288 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4676 kB
Writeback:           0 kB
Mapped:         337396 kB
Slab:            40216 kB
Committed_AS:   519832 kB
PageTables:       2660 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66320 MiB
End job on node62 at 2009-07-12 00:18:24