Trace number 2081009

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
pcs 0.3.2? (TO) 1800.23 1801.13

General information on the benchmark

Namecsp/super-os/super-os-taillard-10/
normalized-super-os-taillard-10-8.xml
MD5SUMb41d261486a0b1beb3e9c4ad0daa644f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark800.17
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Maximum constraint arity2
Maximum domain size595
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2800
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.20	c Seed is 867990071
0.18/0.20	c Constructing HOME/instance-2081009-1247719206.xml  with 19000 constraints
0.27/0.31	c Solving

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-2081009-1247719206/watcher-2081009-1247719206 -o /tmp/evaluation-result-2081009-1247719206/solver-2081009-1247719206 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 867990071 HOME/instance-2081009-1247719206.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.92 1.98 1.99 4/73 17981
/proc/meminfo: memFree=1212048/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=5260 CPUtime=0
/proc/17981/stat : 17981 (pcssolve) R 17979 17981 16233 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 58986416 5386240 52 996147200 4194304 4889804 548682068800 18446744073709551615 228772086736 0 0 4096 0 0 0 0 17 1 0 0
/proc/17981/statm: 1315 52 38 169 0 14 0

[startup+0.0721989 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 17981
/proc/meminfo: memFree=1212048/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=5640 CPUtime=0.05
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 1066 658 0 0 5 0 0 0 18 0 1 0 58986416 5775360 697 996147200 134512640 135215973 4294956304 18446744073709551615 134907019 0 0 4096 0 0 0 0 17 1 0 0
/proc/17981/statm: 1410 697 388 171 0 335 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5640

[startup+0.102205 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 17981
/proc/meminfo: memFree=1212048/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=6472 CPUtime=0.07
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 1296 658 0 0 7 0 0 0 18 0 1 0 58986416 6627328 853 996147200 134512640 135215973 4294956304 18446744073709551615 10223231 0 0 4096 0 0 0 0 17 1 0 0
/proc/17981/statm: 1618 853 388 171 0 543 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6472

[startup+0.302228 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 17981
/proc/meminfo: memFree=1212048/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=10856 CPUtime=0.27
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 2721 658 0 0 26 1 0 0 19 0 1 0 58986416 11116544 1814 996147200 134512640 135215973 4294956304 18446744073709551615 4159786246 0 0 4096 0 0 0 0 17 1 0 0
/proc/17981/statm: 2714 1814 388 171 0 1639 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10856

[startup+0.701276 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 17981
/proc/meminfo: memFree=1212048/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=19920 CPUtime=0.68
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 5604 658 0 0 65 3 0 0 23 0 1 0 58986416 20398080 3558 996147200 134512640 135215973 4294956304 18446744073709551615 134592113 0 0 4096 0 0 0 0 17 1 0 0
/proc/17981/statm: 4980 3558 406 171 0 3905 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19920

[startup+1.50137 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 17986
/proc/meminfo: memFree=1199176/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=20156 CPUtime=1.47
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 5642 658 0 0 144 3 0 0 25 0 1 0 58986416 20639744 3596 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/17981/statm: 5039 3596 406 171 0 3964 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 20156

[startup+3.10155 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 17986
/proc/meminfo: memFree=1198600/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=20496 CPUtime=3.06
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 5746 658 0 0 303 3 0 0 25 0 1 0 58986416 20987904 3700 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/17981/statm: 5124 3700 406 171 0 4049 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 20496

[startup+6.30192 s]
/proc/loadavg: 1.93 1.98 1.99 3/74 17986
/proc/meminfo: memFree=1197640/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=20960 CPUtime=6.22
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 5910 658 0 0 619 3 0 0 25 0 1 0 58986416 21463040 3831 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/17981/statm: 5240 3831 406 171 0 4165 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 20960

[startup+12.7017 s]
/proc/loadavg: 1.93 1.98 1.99 3/74 17986
/proc/meminfo: memFree=1194760/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=23380 CPUtime=12.56
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 6575 658 0 0 1253 3 0 0 25 0 1 0 58986416 23941120 4431 996147200 134512640 135215973 4294956304 18446744073709551615 134594048 0 0 4096 0 0 0 0 17 1 0 0
/proc/17981/statm: 5845 4431 406 171 0 4770 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 23380

[startup+25.5023 s]
/proc/loadavg: 2.11 2.02 2.01 3/84 18027
/proc/meminfo: memFree=1490240/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=27696 CPUtime=25.27
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 7781 658 0 0 2523 4 0 0 25 0 1 0 58986416 28360704 5508 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 6924 5508 406 171 0 5849 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 27696

[startup+51.1011 s]
/proc/loadavg: 2.07 2.01 2.00 3/83 18028
/proc/meminfo: memFree=1476992/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=38052 CPUtime=50.86
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 10668 658 0 0 5079 7 0 0 25 0 1 0 58986416 38965248 8138 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 9513 8138 406 171 0 8438 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 38052

[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 18028
/proc/meminfo: memFree=1455104/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=61744 CPUtime=102.05
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 16896 658 0 0 10193 12 0 0 25 0 1 0 58986416 63225856 13563 996147200 134512640 135215973 4294956304 18446744073709551615 134676742 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 15436 13563 406 171 0 14361 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 61744

[startup+162.303 s]
/proc/loadavg: 2.01 2.00 2.00 3/84 18070
/proc/meminfo: memFree=1381560/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=85184 CPUtime=162.01
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 23460 658 0 0 16183 18 0 0 25 0 1 0 58986416 87228416 19102 996147200 134512640 135215973 4294956304 18446744073709551615 134600191 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 21296 19102 406 171 0 20221 0
Current children cumulated CPU time (s) 162.01
Current children cumulated vsize (KiB) 85184

[startup+222.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18070
/proc/meminfo: memFree=1317112/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=115176 CPUtime=222
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 31812 658 0 0 22175 25 0 0 25 0 1 0 58986416 117940224 26876 996147200 134512640 135215973 4294956304 18446744073709551615 134629804 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 28794 26876 406 171 0 27719 0
Current children cumulated CPU time (s) 222
Current children cumulated vsize (KiB) 115176

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18070
/proc/meminfo: memFree=1290616/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=146640 CPUtime=281.97
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 40505 658 0 0 28167 30 0 0 25 0 1 0 58986416 150159360 33520 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 36660 33520 406 171 0 35585 0
Current children cumulated CPU time (s) 281.97
Current children cumulated vsize (KiB) 146640

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18070
/proc/meminfo: memFree=1265400/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=169132 CPUtime=341.95
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 46734 658 0 0 34159 36 0 0 25 0 1 0 58986416 173191168 39749 996147200 134512640 135215973 4294956304 18446744073709551615 134648269 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 42283 39749 406 171 0 41208 0
Current children cumulated CPU time (s) 341.95
Current children cumulated vsize (KiB) 169132

[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18070
/proc/meminfo: memFree=1243320/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=188908 CPUtime=401.93
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 52274 658 0 0 40152 41 0 0 25 0 1 0 58986416 193441792 45289 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 47227 45289 406 171 0 46152 0
Current children cumulated CPU time (s) 401.93
Current children cumulated vsize (KiB) 188908

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18070
/proc/meminfo: memFree=1219384/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=210440 CPUtime=461.9
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 58233 658 0 0 46144 46 0 0 25 0 1 0 58986416 215490560 51248 996147200 134512640 135215973 4294956304 18446744073709551615 134583707 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 52610 51248 406 171 0 51535 0
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (KiB) 210440

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18070
/proc/meminfo: memFree=1196152/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=251776 CPUtime=521.88
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 69215 658 0 0 52135 53 0 0 25 0 1 0 58986416 257818624 57108 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 62944 57108 406 171 0 61869 0
Current children cumulated CPU time (s) 521.88
Current children cumulated vsize (KiB) 251776

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18112
/proc/meminfo: memFree=1198648/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=263892 CPUtime=581.86
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 72801 658 0 0 58128 58 0 0 25 0 1 0 58986416 270225408 60694 996147200 134512640 135215973 4294956304 18446744073709551615 134583622 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 65973 60694 406 171 0 64898 0
Current children cumulated CPU time (s) 581.86
Current children cumulated vsize (KiB) 263892

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18112
/proc/meminfo: memFree=1183864/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=275952 CPUtime=641.85
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 76376 658 0 0 64123 62 0 0 25 0 1 0 58986416 282574848 64269 996147200 134512640 135215973 4294956304 18446744073709551615 134585079 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 68988 64269 406 171 0 67913 0
Current children cumulated CPU time (s) 641.85
Current children cumulated vsize (KiB) 275952

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18114
/proc/meminfo: memFree=1096440/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=351760 CPUtime=881.74
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 98195 658 0 0 88095 79 0 0 25 0 1 0 58986416 360202240 86088 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 87940 86088 406 171 0 86865 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 351760

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18114
/proc/meminfo: memFree=1055672/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=421156 CPUtime=941.72
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 116639 658 0 0 94083 89 0 0 25 0 1 0 58986416 431263744 96339 996147200 134512640 135215973 4294956304 18446744073709551615 134590651 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 105289 96339 406 171 0 104214 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 421156

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18114
/proc/meminfo: memFree=1015672/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=465556 CPUtime=1001.7
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 128534 658 0 0 100075 95 0 0 25 0 1 0 58986416 476729344 106185 996147200 134512640 135215973 4294956304 18446744073709551615 134982872 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 116389 106185 406 171 0 115314 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 465556

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18114
/proc/meminfo: memFree=990456/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=487928 CPUtime=1061.67
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 134910 658 0 0 106067 100 0 0 25 0 1 0 58986416 499638272 112561 996147200 134512640 135215973 4294956304 18446744073709551615 134604669 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 121982 112561 406 171 0 120907 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 487928

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18114
/proc/meminfo: memFree=964664/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=510216 CPUtime=1121.66
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 141267 658 0 0 112060 106 0 0 25 0 1 0 58986416 522461184 118918 996147200 134512640 135215973 4294956304 18446744073709551615 134589860 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 127554 118918 406 171 0 126479 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 510216

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18114
/proc/meminfo: memFree=937912/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=534188 CPUtime=1181.63
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 148070 658 0 0 118053 110 0 0 25 0 1 0 58986416 547008512 125721 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 133547 125721 406 171 0 132472 0
Current children cumulated CPU time (s) 1181.63
Current children cumulated vsize (KiB) 534188

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18114
/proc/meminfo: memFree=911032/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=557616 CPUtime=1241.61
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 154640 658 0 0 124044 117 0 0 25 0 1 0 58986416 570998784 132291 996147200 134512640 135215973 4294956304 18446744073709551615 135097095 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 139404 132291 406 171 0 138329 0
Current children cumulated CPU time (s) 1241.61
Current children cumulated vsize (KiB) 557616

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=883512/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=581520 CPUtime=1301.58
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 161448 658 0 0 130034 124 0 0 25 0 1 0 58986416 595476480 139099 996147200 134512640 135215973 4294956304 18446744073709551615 134648267 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 145380 139099 406 171 0 144305 0
Current children cumulated CPU time (s) 1301.58
Current children cumulated vsize (KiB) 581520

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=857144/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=605176 CPUtime=1361.56
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 168109 658 0 0 136027 129 0 0 25 0 1 0 58986416 619700224 145760 996147200 134512640 135215973 4294956304 18446744073709551615 134590435 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 151294 145760 406 171 0 150219 0
Current children cumulated CPU time (s) 1361.56
Current children cumulated vsize (KiB) 605176

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=830392/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=628688 CPUtime=1421.53
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 174733 658 0 0 142018 135 0 0 25 0 1 0 58986416 643776512 152384 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 157172 152384 406 171 0 156097 0
Current children cumulated CPU time (s) 1421.53
Current children cumulated vsize (KiB) 628688

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=796408/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=658684 CPUtime=1481.5
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 183285 658 0 0 148011 139 0 0 25 0 1 0 58986416 674492416 160936 996147200 134512640 135215973 4294956304 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 164671 160936 406 171 0 163596 0
Current children cumulated CPU time (s) 1481.5
Current children cumulated vsize (KiB) 658684

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=762744/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=687652 CPUtime=1541.48
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 191605 658 0 0 154004 144 0 0 25 0 1 0 58986416 704155648 169256 996147200 134512640 135215973 4294956304 18446744073709551615 134590086 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 171913 169256 406 171 0 170838 0
Current children cumulated CPU time (s) 1541.48
Current children cumulated vsize (KiB) 687652

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=732280/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=779940 CPUtime=1601.46
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 215666 658 0 0 159987 159 0 0 25 0 1 0 58986416 798658560 176932 996147200 134512640 135215973 4294956304 18446744073709551615 134590481 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 194985 176932 406 171 0 193910 0
Current children cumulated CPU time (s) 1601.46
Current children cumulated vsize (KiB) 779940

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=700280/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=807484 CPUtime=1661.44
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 223573 658 0 0 165980 164 0 0 25 0 1 0 58986416 826863616 184839 996147200 134512640 135215973 4294956304 18446744073709551615 134902073 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 201871 184839 406 171 0 200796 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 807484

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=667640/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=836624 CPUtime=1721.42
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 231862 658 0 0 171972 170 0 0 25 0 1 0 58986416 856702976 193128 996147200 134512640 135215973 4294956304 18446744073709551615 134957922 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 209156 193128 406 171 0 208081 0
Current children cumulated CPU time (s) 1721.42
Current children cumulated vsize (KiB) 836624

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=642872/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=857640 CPUtime=1781.39
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 237841 658 0 0 177964 175 0 0 25 0 1 0 58986416 878223360 199107 996147200 134512640 135215973 4294956304 18446744073709551615 134587282 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 214410 199107 406 171 0 213335 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (KiB) 857640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=633336/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=866416 CPUtime=1800.09
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4194304 240208 658 0 0 179832 177 0 0 25 0 1 0 58986416 887209984 201474 996147200 134512640 135215973 4294956304 18446744073709551615 4158961381 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 216604 201474 406 171 0 215529 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 866416

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

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

[startup+1801.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18120
/proc/meminfo: memFree=633336/2055920 swapFree=4192812/4192956
[pid=17981] ppid=17979 vsize=0 CPUtime=1800.19
/proc/17981/stat : 17981 (pcs.big) R 17979 17981 16233 0 -1 4195332 240208 658 0 0 179832 187 0 0 25 0 1 0 58986416 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/17981/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.13
CPU time (s): 1800.23
CPU user time (s): 1798.33
CPU system time (s): 1.90171
CPU usage (%): 99.95
Max. virtual memory (cumulated for all children) (KiB): 866416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.33
system time used= 1.90171
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240866
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= 19
involuntary context switches= 6197

runsolver used 2.12968 second user time and 5.98009 second system time

The end

Launcher Data 

Begin job on node74 at 2009-07-16 06:40:06
IDJOB=2081009
IDBENCH=57258
IDSOLVER=733
FILE ID=node74/2081009-1247719206
PBS_JOBID= 9521383
Free space on /tmp= 103032 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-10/normalized-super-os-taillard-10-8.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081009-1247719206/watcher-2081009-1247719206 -o /tmp/evaluation-result-2081009-1247719206/solver-2081009-1247719206 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 867990071 HOME/instance-2081009-1247719206.xml

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

MD5SUM BENCH= b41d261486a0b1beb3e9c4ad0daa644f
RANDOM SEED=867990071

node74.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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1212464 kB
Buffers:         71556 kB
Cached:         368608 kB
SwapCached:          0 kB
Active:         373948 kB
Inactive:       397688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1212464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2108 kB
Writeback:           0 kB
Mapped:         343036 kB
Slab:            56396 kB
Committed_AS:   824896 kB
PageTables:       2492 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= 103032 MiB
End job on node74 at 2009-07-16 07:10:09