Trace number 1064997

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
casper zito? (TO) 1800.15 1811.4

General information on the benchmark

Namecsp/pseudo/mps/
normalized-mps-air06.xml
MD5SUM00668b6a7dafa5fe6313e8c116ffb6c0
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark912.34
Satisfiable
(Un)Satisfiability was proved
Number of variables8627
Number of constraints1640
Maximum constraint arity461
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1640
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.13	c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.13	c Parsing = 1
7.52/7.62	c Building = 1
7.82/7.91	c [ NumberOfVariables = 8627 ]
7.82/7.91	c [ NumberOfConstraints = 1640 ]
7.82/7.91	c [ SizeOfSearchSpace(log2) = 8624 ]
7.82/7.91	c SymmetrySearch = 1
14.07/14.29	c [ Found 7.93176e+27 symmetries ]
14.76/14.91	c InitialPropagation = 1
15.95/16.15	c [ SizeOfSearchSpace(log2) = 8572 ]
15.95/16.15	c InitialSAC = (Timeout)
43.84/44.21	c [ SizeOfSearchSpace(log2) = 8559 ]
43.84/44.22	c Search(DomWDeg) =

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064997-1215474613/watcher-1064997-1215474613 -o /tmp/evaluation-result-1064997-1215474613/solver-1064997-1215474613 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1064997-1215474613.xml 1828710008 

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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.18 1.98 4/73 5714
/proc/meminfo: memFree=1851088/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=1052 CPUtime=0
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 4163338 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 2495268 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 263 26 20 234 0 3 0

[startup+0.21256 s]
/proc/loadavg: 2.02 2.18 1.98 4/73 5714
/proc/meminfo: memFree=1851088/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=16456 CPUtime=0.19
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 3241 0 0 0 18 1 0 0 19 0 1 0 4163338 16850944 3201 996147200 134512640 135472138 4294956224 18446744073709551615 4158772387 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 4114 3201 368 234 0 2816 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16456

[startup+0.302574 s]
/proc/loadavg: 2.02 2.18 1.98 4/73 5714
/proc/meminfo: memFree=1851088/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=22924 CPUtime=0.28
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 4824 0 0 0 26 2 0 0 19 0 1 0 4163338 23474176 4784 996147200 134512640 135472138 4294956224 18446744073709551615 2930245 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 5731 4784 368 234 0 4433 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22924

[startup+0.402582 s]
/proc/loadavg: 2.02 2.18 1.98 4/73 5714
/proc/meminfo: memFree=1851088/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=30896 CPUtime=0.39
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 6846 0 0 0 35 4 0 0 20 0 1 0 4163338 31637504 6806 996147200 134512640 135472138 4294956224 18446744073709551615 2936482 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 7724 6806 368 234 0 6426 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 30896

[startup+0.702609 s]
/proc/loadavg: 2.02 2.18 1.98 4/73 5714
/proc/meminfo: memFree=1851088/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=53516 CPUtime=0.68
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 12465 0 0 0 62 6 0 0 23 0 1 0 4163338 54800384 12425 996147200 134512640 135472138 4294956224 18446744073709551615 2929129 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 13379 12425 368 234 0 12081 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 53516

[startup+1.50271 s]
/proc/loadavg: 2.02 2.18 1.98 3/74 5715
/proc/meminfo: memFree=1765960/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=113876 CPUtime=1.48
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 27566 0 0 0 133 15 0 0 25 0 1 0 4163338 116609024 27526 996147200 134512640 135472138 4294956224 18446744073709551615 134730548 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 28469 27526 368 234 0 27171 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 113876

[startup+3.10189 s]
/proc/loadavg: 2.01 2.17 1.98 3/74 5715
/proc/meminfo: memFree=1677512/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=244000 CPUtime=3.06
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 60083 0 0 0 271 35 0 0 25 0 1 0 4163338 249856000 60043 996147200 134512640 135472138 4294956224 18446744073709551615 2928344 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 61000 60043 368 234 0 59702 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 244000

[startup+6.30125 s]
/proc/loadavg: 2.01 2.17 1.98 3/74 5715
/proc/meminfo: memFree=1403984/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=499552 CPUtime=6.23
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 123985 0 0 0 553 70 0 0 25 0 1 0 4163338 511541248 123945 996147200 134512640 135472138 4294956224 18446744073709551615 2930299 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 124888 123945 368 234 0 123590 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 499552

[startup+12.702 s]
/proc/loadavg: 2.01 2.17 1.98 3/74 5715
/proc/meminfo: memFree=1296016/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=642216 CPUtime=12.57
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 139078 0 0 0 1180 77 0 0 25 0 1 0 4163338 657629184 138911 996147200 134512640 135472138 4294956224 18446744073709551615 134534862 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 160554 138911 449 234 0 159256 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 642216

[startup+25.5064 s]
/proc/loadavg: 2.01 2.16 1.98 3/74 5715
/proc/meminfo: memFree=1304720/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=25.28
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158210 0 0 0 2440 88 0 0 25 0 1 0 4163338 641425408 136728 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 136728 468 234 0 155300 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 626392

[startup+51.1014 s]
/proc/loadavg: 2.00 2.15 1.98 3/74 5715
/proc/meminfo: memFree=1303952/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=50.68
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158392 0 2 0 4980 88 0 0 25 0 1 0 4163338 641425408 136912 996147200 134512640 135472138 4294956224 18446744073709551615 134580881 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 136912 502 234 0 155300 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 626392

[startup+102.301 s]
/proc/loadavg: 2.00 2.12 1.98 3/74 5715
/proc/meminfo: memFree=1303312/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=101.49
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158543 0 2 0 10061 88 0 0 25 0 1 0 4163338 641425408 137063 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137063 502 234 0 155300 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 626392

[startup+162.302 s]
/proc/loadavg: 2.00 2.10 1.98 3/74 5715
/proc/meminfo: memFree=1302800/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=161.03
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158638 0 2 0 16015 88 0 0 25 0 1 0 4163338 641425408 137158 996147200 134512640 135472138 4294956224 18446744073709551615 134578202 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137158 502 234 0 155300 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 626392

[startup+222.302 s]
/proc/loadavg: 2.00 2.08 1.98 3/74 5715
/proc/meminfo: memFree=1302800/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=220.58
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158638 0 2 0 21970 88 0 0 25 0 1 0 4163338 641425408 137158 996147200 134512640 135472138 4294956224 18446744073709551615 134672480 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137158 502 234 0 155300 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 626392

[startup+282.302 s]
/proc/loadavg: 2.08 2.08 1.98 3/74 5715
/proc/meminfo: memFree=1302736/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=280.13
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158688 0 2 0 27925 88 0 0 25 0 1 0 4163338 641425408 137208 996147200 134512640 135472138 4294956224 18446744073709551615 134936183 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137208 502 234 0 155300 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 626392

[startup+342.306 s]
/proc/loadavg: 2.03 2.06 1.98 3/75 5716
/proc/meminfo: memFree=1302344/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=339.67
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158689 0 2 0 33879 88 0 0 25 0 1 0 4163338 641425408 137209 996147200 134512640 135472138 4294956224 18446744073709551615 134578193 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137209 502 234 0 155300 0
Current children cumulated CPU time (s) 339.67
Current children cumulated vsize (KiB) 626392

[startup+402.301 s]
/proc/loadavg: 2.01 2.05 1.98 3/75 5716
/proc/meminfo: memFree=1302216/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=399.22
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158716 0 2 0 39834 88 0 0 25 0 1 0 4163338 641425408 137236 996147200 134512640 135472138 4294956224 18446744073709551615 134578193 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137236 502 234 0 155300 0
Current children cumulated CPU time (s) 399.22
Current children cumulated vsize (KiB) 626392

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 1.98 3/75 5716
/proc/meminfo: memFree=1302024/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=458.76
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158745 0 2 0 45788 88 0 0 25 0 1 0 4163338 641425408 137265 996147200 134512640 135472138 4294956224 18446744073709551615 134580971 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137265 502 234 0 155300 0
Current children cumulated CPU time (s) 458.76
Current children cumulated vsize (KiB) 626392

[startup+522.302 s]
/proc/loadavg: 2.00 2.03 1.98 3/75 5716
/proc/meminfo: memFree=1301960/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=518.3
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158745 0 2 0 51742 88 0 0 25 0 1 0 4163338 641425408 137265 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137265 502 234 0 155300 0
Current children cumulated CPU time (s) 518.3
Current children cumulated vsize (KiB) 626392

[startup+582.302 s]
/proc/loadavg: 2.00 2.02 1.98 3/75 5716
/proc/meminfo: memFree=1301960/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=577.85
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158745 0 2 0 57696 89 0 0 25 0 1 0 4163338 641425408 137265 996147200 134512640 135472138 4294956224 18446744073709551615 134672497 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137265 502 234 0 155300 0
Current children cumulated CPU time (s) 577.85
Current children cumulated vsize (KiB) 626392

[startup+642.302 s]
/proc/loadavg: 2.00 2.01 1.98 3/75 5716
/proc/meminfo: memFree=1301832/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=637.4
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158745 0 2 0 63651 89 0 0 25 0 1 0 4163338 641425408 137265 996147200 134512640 135472138 4294956224 18446744073709551615 134580310 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137265 502 234 0 155300 0
Current children cumulated CPU time (s) 637.4
Current children cumulated vsize (KiB) 626392


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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 1.98 3/76 5723
/proc/meminfo: memFree=1301496/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=875.57
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158747 0 2 0 87468 89 0 0 25 0 1 0 4163338 641425408 137267 996147200 134512640 135472138 4294956224 18446744073709551615 134580903 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137267 502 234 0 155300 0
Current children cumulated CPU time (s) 875.57
Current children cumulated vsize (KiB) 626392

[startup+942.303 s]
/proc/loadavg: 2.00 2.00 1.98 3/76 5723
/proc/meminfo: memFree=1301496/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=935.11
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158747 0 2 0 93422 89 0 0 25 0 1 0 4163338 641425408 137267 996147200 134512640 135472138 4294956224 18446744073709551615 134578094 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137267 502 234 0 155300 0
Current children cumulated CPU time (s) 935.11
Current children cumulated vsize (KiB) 626392

[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/76 5723
/proc/meminfo: memFree=1301504/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=994.66
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158747 0 2 0 99377 89 0 0 25 0 1 0 4163338 641425408 137267 996147200 134512640 135472138 4294956224 18446744073709551615 134936183 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137267 502 234 0 155300 0
Current children cumulated CPU time (s) 994.66
Current children cumulated vsize (KiB) 626392

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/77 5724
/proc/meminfo: memFree=1301496/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1054.16
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158747 0 2 0 105326 90 0 0 25 0 1 0 4163338 641425408 137267 996147200 134512640 135472138 4294956224 18446744073709551615 134578080 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137267 502 234 0 155300 0
Current children cumulated CPU time (s) 1054.16
Current children cumulated vsize (KiB) 626392

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/77 5724
/proc/meminfo: memFree=1301432/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1113.66
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158747 0 2 0 111276 90 0 0 25 0 1 0 4163338 641425408 137267 996147200 134512640 135472138 4294956224 18446744073709551615 134580310 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137267 502 234 0 155300 0
Current children cumulated CPU time (s) 1113.66
Current children cumulated vsize (KiB) 626392

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/77 5724
/proc/meminfo: memFree=1301368/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1173.15
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158747 0 2 0 117225 90 0 0 25 0 1 0 4163338 641425408 137267 996147200 134512640 135472138 4294956224 18446744073709551615 134936145 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137267 502 234 0 155300 0
Current children cumulated CPU time (s) 1173.15
Current children cumulated vsize (KiB) 626392

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/83 5773
/proc/meminfo: memFree=1244424/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1232.74
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158747 0 2 0 123181 93 0 0 25 0 1 0 4163338 641425408 137267 996147200 134512640 135472138 4294956224 18446744073709551615 134672490 0 0 4096 0 0 0 0 17 0 0 0
/proc/5714/statm: 156598 137267 502 234 0 155300 0
Current children cumulated CPU time (s) 1232.74
Current children cumulated vsize (KiB) 626392

[startup+1302.3 s]
/proc/loadavg: 2.64 2.18 2.04 3/83 5773
/proc/meminfo: memFree=800968/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1292.69
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158747 0 2 0 129168 101 0 0 25 0 1 0 4163338 641425408 137267 996147200 134512640 135472138 4294956224 18446744073709551615 134578081 0 0 4096 0 0 0 0 17 0 0 0
/proc/5714/statm: 156598 137267 502 234 0 155300 0
Current children cumulated CPU time (s) 1292.69
Current children cumulated vsize (KiB) 626392

[startup+1362.3 s]
/proc/loadavg: 2.86 2.33 2.10 3/83 5773
/proc/meminfo: memFree=377352/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1352.63
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158748 0 2 0 135155 108 0 0 25 0 1 0 4163338 641425408 137268 996147200 134512640 135472138 4294956224 18446744073709551615 134672497 0 0 4096 0 0 0 0 17 0 0 0
/proc/5714/statm: 156598 137268 502 234 0 155300 0
Current children cumulated CPU time (s) 1352.63
Current children cumulated vsize (KiB) 626392

[startup+1422.3 s]
/proc/loadavg: 2.95 2.45 2.15 3/83 5773
/proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1412.58
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158748 0 2 0 141143 115 0 0 25 0 1 0 4163338 641425408 137268 996147200 134512640 135472138 4294956224 18446744073709551615 134936311 0 0 4096 0 0 0 0 17 0 0 0
/proc/5714/statm: 156598 137268 502 234 0 155300 0
Current children cumulated CPU time (s) 1412.58
Current children cumulated vsize (KiB) 626392

[startup+1482.3 s]
/proc/loadavg: 3.10 2.59 2.22 3/83 5773
/proc/meminfo: memFree=15432/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1472.53
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158748 0 2 0 147132 121 0 0 25 0 1 0 4163338 641425408 137268 996147200 134512640 135472138 4294956224 18446744073709551615 134672497 0 0 4096 0 0 0 0 17 0 0 0
/proc/5714/statm: 156598 137268 502 234 0 155300 0
Current children cumulated CPU time (s) 1472.53
Current children cumulated vsize (KiB) 626392

[startup+1542.3 s]
/proc/loadavg: 2.71 2.58 2.24 3/81 5808
/proc/meminfo: memFree=1391328/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1532.35
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158748 0 2 0 153105 130 0 0 25 0 1 0 4163338 641425408 137268 996147200 134512640 135472138 4294956224 18446744073709551615 134578202 0 0 4096 0 0 0 0 17 0 0 0
/proc/5714/statm: 156598 137268 502 234 0 155300 0
Current children cumulated CPU time (s) 1532.35
Current children cumulated vsize (KiB) 626392

[startup+1602.3 s]
/proc/loadavg: 2.26 2.47 2.22 3/83 5882
/proc/meminfo: memFree=1146376/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1592.32
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158778 0 2 0 159080 152 0 0 25 0 1 0 4163338 641425408 137298 996147200 134512640 135472138 4294956224 18446744073709551615 134578209 0 0 4096 0 0 0 0 17 0 0 0
/proc/5714/statm: 156598 137298 502 234 0 155300 0
Current children cumulated CPU time (s) 1592.32
Current children cumulated vsize (KiB) 626392

[startup+1662.3 s]
/proc/loadavg: 2.09 2.38 2.20 3/82 5885
/proc/meminfo: memFree=1143296/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1652.29
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158778 0 2 0 165077 152 0 0 25 0 1 0 4163338 641425408 137298 996147200 134512640 135472138 4294956224 18446744073709551615 134672480 0 0 4096 0 0 0 0 17 0 0 0
/proc/5714/statm: 156598 137298 502 234 0 155300 0
Current children cumulated CPU time (s) 1652.29
Current children cumulated vsize (KiB) 626392

[startup+1722.3 s]
/proc/loadavg: 2.03 2.31 2.19 4/82 5925
/proc/meminfo: memFree=1338768/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1711.8
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158778 0 2 0 171026 154 0 0 25 0 1 0 4163338 641425408 137298 996147200 134512640 135472138 4294956224 18446744073709551615 134672490 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137298 502 234 0 155300 0
Current children cumulated CPU time (s) 1711.8
Current children cumulated vsize (KiB) 626392

[startup+1782.3 s]
/proc/loadavg: 2.01 2.25 2.17 3/82 5925
/proc/meminfo: memFree=1338384/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1771.29
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158800 0 2 0 176975 154 0 0 25 0 1 0 4163338 641425408 137320 996147200 134512640 135472138 4294956224 18446744073709551615 134578193 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137320 502 234 0 155300 0
Current children cumulated CPU time (s) 1771.29
Current children cumulated vsize (KiB) 626392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.3 s]
/proc/loadavg: 2.00 2.23 2.17 3/82 5925
/proc/meminfo: memFree=1338320/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1800.05
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158810 0 2 0 179851 154 0 0 25 0 1 0 4163338 641425408 137330 996147200 134512640 135472138 4294956224 18446744073709551615 134578273 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137330 502 234 0 155300 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 626392

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

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

[startup+1811.3 s]
/proc/loadavg: 2.00 2.23 2.17 3/82 5925
/proc/meminfo: memFree=1338320/2055920 swapFree=4192812/4192956
[pid=5714] ppid=5712 vsize=626392 CPUtime=1800.05
/proc/5714/stat : 5714 (casperzito) R 5712 5714 2691 0 -1 4194304 158810 0 2 0 179851 154 0 0 25 0 1 0 4163338 641425408 137330 996147200 134512640 135472138 4294956224 18446744073709551615 134578273 0 0 4096 0 0 0 0 17 1 0 0
/proc/5714/statm: 156598 137330 502 234 0 155300 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 626392

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.4
CPU time (s): 1800.15
CPU user time (s): 1798.51
CPU system time (s): 1.63175
CPU usage (%): 99.3789
Max. virtual memory (cumulated for all children) (KiB): 715308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 1.63175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158810
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 34677

runsolver used 1.86272 second user time and 4.95125 second system time

The end

Launcher Data (download as text)

Begin job on node23 at 2008-07-08 01:50:13
IDJOB=1064997
IDBENCH=55020
IDSOLVER=362
FILE ID=node23/1064997-1215474613
PBS_JOBID= 7888600
Free space on /tmp= 66536 MiB

SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/pseudo/mps/normalized-mps-air06.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064997-1215474613/watcher-1064997-1215474613 -o /tmp/evaluation-result-1064997-1215474613/solver-1064997-1215474613 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/casperzito HOME/instance-1064997-1215474613.xml 1828710008 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 00668b6a7dafa5fe6313e8c116ffb6c0
RANDOM SEED=1828710008

node23.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.240
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.240
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:       1851568 kB
Buffers:         20544 kB
Cached:         107976 kB
SwapCached:          0 kB
Active:         135704 kB
Inactive:        33692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851568 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6720 kB
Writeback:           0 kB
Mapped:          51592 kB
Slab:            20260 kB
Committed_AS:   178872 kB
PageTables:       1780 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= 66536 MiB
End job on node23 at 2008-07-08 02:20:27