Trace number 2089326

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-restart 0.3.2? (TO) 1800.05 1804.03

General information on the benchmark

Namecsp/tightness0.5/
normalized-rand-2-40-25-180-500-15_ext.xml
MD5SUM09f0ae9583655fad26f9d5c9dcc3419a
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.63414
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints180
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension180
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.18/0.21	c Seed is 921215141
0.18/0.21	c Constructing HOME/instance-2089326-1247729993.xml  with 4500 constraints
0.18/0.21	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-2089326-1247729993/watcher-2089326-1247729993 -o /tmp/evaluation-result-2089326-1247729993/solver-2089326-1247729993 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 921215141 HOME/instance-2089326-1247729993.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: 2.03 2.01 2.00 4/81 16012
/proc/meminfo: memFree=1520560/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=5356 CPUtime=0
/proc/16012/stat : 16012 (pcssolve) S 16010 16012 15489 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 60063742 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16012/statm: 1339 242 201 169 0 50 0
[pid=16013] ppid=16012 vsize=5356 CPUtime=0
/proc/16013/stat : 16013 (pcssolve) R 16012 16012 15489 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 60063743 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 231882681639 0 0 4096 0 0 0 0 17 1 0 0
/proc/16013/statm: 1339 243 202 169 0 50 0
[pid=16014] ppid=16012 vsize=3544 CPUtime=0
/proc/16014/stat : 16014 (grep) R 16012 16012 15489 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 60063743 3629056 71 996147200 4194304 4274172 548682069040 18446744073709551615 231883111748 0 0 4096 0 0 0 0 17 0 0 0
/proc/16014/statm: 886 71 54 19 0 10 0

[startup+0.0316429 s]
/proc/loadavg: 2.03 2.01 2.00 4/81 16012
/proc/meminfo: memFree=1520560/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=4640 CPUtime=0.01
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 859 822 0 0 1 0 0 0 17 0 1 0 60063742 4751360 468 996147200 134512640 135095119 4294956304 18446744073709551615 134731064 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 1160 468 364 142 0 114 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4640

[startup+0.102277 s]
/proc/loadavg: 2.03 2.01 2.00 4/81 16012
/proc/meminfo: memFree=1520560/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=5832 CPUtime=0.08
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 1174 822 0 0 8 0 0 0 18 0 1 0 60063742 5971968 783 996147200 134512640 135095119 4294956304 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 1458 783 364 142 0 412 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5832

[startup+0.300673 s]
/proc/loadavg: 2.03 2.01 2.00 4/81 16012
/proc/meminfo: memFree=1520560/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=7048 CPUtime=0.28
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 1500 822 0 0 28 0 0 0 19 0 1 0 60063742 7217152 1076 996147200 134512640 135095119 4294956304 18446744073709551615 134589601 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 1762 1076 379 142 0 716 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7048

[startup+0.702378 s]
/proc/loadavg: 2.03 2.01 2.00 4/81 16012
/proc/meminfo: memFree=1520560/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=7048 CPUtime=0.68
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 1511 822 0 0 68 0 0 0 23 0 1 0 60063742 7217152 1087 996147200 134512640 135095119 4294956304 18446744073709551615 134570608 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 1762 1087 379 142 0 716 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7048

[startup+1.50081 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 16018
/proc/meminfo: memFree=1517416/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=6788 CPUtime=1.48
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 1528 822 0 0 148 0 0 0 25 0 1 0 60063742 6950912 1039 996147200 134512640 135095119 4294956304 18446744073709551615 134636914 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 1697 1039 379 142 0 651 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6788

[startup+3.10201 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 16018
/proc/meminfo: memFree=1517480/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=7944 CPUtime=3.07
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 1708 822 0 0 307 0 0 0 25 0 1 0 60063742 8134656 1219 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 1986 1219 379 142 0 940 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7944

[startup+6.30238 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 16018
/proc/meminfo: memFree=1515304/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=10788 CPUtime=6.28
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 2440 822 0 0 627 1 0 0 25 0 1 0 60063742 11046912 1694 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 2697 1694 379 142 0 1651 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10788

[startup+12.7011 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 16018
/proc/meminfo: memFree=1513576/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=11180 CPUtime=12.67
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 2791 822 0 0 1266 1 0 0 25 0 1 0 60063742 11448320 2045 996147200 134512640 135095119 4294956304 18446744073709551615 134599375 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 2795 2045 379 142 0 1749 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11180

[startup+25.5006 s]
/proc/loadavg: 2.02 2.01 2.00 4/82 16018
/proc/meminfo: memFree=1509736/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=16748 CPUtime=25.46
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 4509 822 0 0 2544 2 0 0 25 0 1 0 60063742 17149952 2993 996147200 134512640 135095119 4294956304 18446744073709551615 134642912 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 4187 2993 379 142 0 3141 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 16748

[startup+51.1017 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 16018
/proc/meminfo: memFree=1506216/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=22552 CPUtime=51.05
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 6441 822 0 0 5102 3 0 0 25 0 1 0 60063742 23093248 3900 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 5638 3900 379 142 0 4592 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 22552

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16018
/proc/meminfo: memFree=1498344/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=29600 CPUtime=102.24
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 8867 822 0 0 10219 5 0 0 25 0 1 0 60063742 30310400 5813 996147200 134512640 135095119 4294956304 18446744073709551615 134607027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 7400 5813 379 142 0 6354 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 29600

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16018
/proc/meminfo: memFree=1494376/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=31176 CPUtime=162.21
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 9861 822 0 0 16215 6 0 0 25 0 1 0 60063742 31924224 6807 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 7794 6807 379 142 0 6748 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 31176

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16018
/proc/meminfo: memFree=1489768/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=41868 CPUtime=222.19
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 13046 822 0 0 22210 9 0 0 25 0 1 0 60063742 42872832 7943 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 10467 7943 379 142 0 9421 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 41868

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16018
/proc/meminfo: memFree=1485672/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=44232 CPUtime=282.16
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 14088 822 0 0 28206 10 0 0 25 0 1 0 60063742 45293568 8985 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 11058 8985 379 142 0 10012 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 44232

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16018
/proc/meminfo: memFree=1475496/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=56508 CPUtime=342.14
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 17593 822 0 0 34203 11 0 0 25 0 1 0 60063742 57864192 11465 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 14127 11465 379 142 0 13081 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 56508

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16018
/proc/meminfo: memFree=1473896/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=56508 CPUtime=402.12
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 17989 822 0 0 40200 12 0 0 25 0 1 0 60063742 57864192 11861 996147200 134512640 135095119 4294956304 18446744073709551615 134589551 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 14127 11861 379 142 0 13081 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 56508

[startup+462.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16018
/proc/meminfo: memFree=1472488/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=56508 CPUtime=462.1
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 18357 822 0 0 46197 13 0 0 25 0 1 0 60063742 57864192 12229 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 14127 12229 379 142 0 13081 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 56508

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16018
/proc/meminfo: memFree=1471144/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=56508 CPUtime=522.07
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 18703 822 0 0 52194 13 0 0 25 0 1 0 60063742 57864192 12575 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 14127 12575 379 142 0 13081 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 56508

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 16018
/proc/meminfo: memFree=1468264/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=74336 CPUtime=582.05
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 23504 822 0 0 58189 16 0 0 25 0 1 0 60063742 76120064 13279 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 18584 13279 379 142 0 17538 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 74336

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 16018
/proc/meminfo: memFree=1465320/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=75780 CPUtime=642.04

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 16020
/proc/meminfo: memFree=1456744/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=80112 CPUtime=821.95
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 26176 822 0 0 82176 19 0 0 25 0 1 0 60063742 82034688 15951 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 20028 15951 379 142 0 18982 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 80112

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 16020
/proc/meminfo: memFree=1453864/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=81428 CPUtime=881.93
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 26800 822 0 0 88173 20 0 0 25 0 1 0 60063742 83382272 16575 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16012/statm: 20357 16575 379 142 0 19311 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 81428

[startup+942.302 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 16054
/proc/meminfo: memFree=1490096/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=82748 CPUtime=941.71
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 27396 822 0 0 94149 22 0 0 25 0 1 0 60063742 84733952 17171 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 20687 17171 379 142 0 19641 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 82748

[startup+1002.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 16054
/proc/meminfo: memFree=1479152/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=83932 CPUtime=1001.47
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 27962 822 0 0 100125 22 0 0 25 0 1 0 60063742 85946368 17737 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 20983 17737 379 142 0 19937 0
Current children cumulated CPU time (s) 1001.47
Current children cumulated vsize (KiB) 83932

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16054
/proc/meminfo: memFree=1472624/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=85104 CPUtime=1061.23
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 28519 822 0 0 106100 23 0 0 25 0 1 0 60063742 87146496 18294 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 21276 18294 379 142 0 20230 0
Current children cumulated CPU time (s) 1061.23
Current children cumulated vsize (KiB) 85104

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16054
/proc/meminfo: memFree=1465648/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=86284 CPUtime=1121
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 29077 822 0 0 112076 24 0 0 25 0 1 0 60063742 88354816 18852 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 21571 18852 379 142 0 20525 0
Current children cumulated CPU time (s) 1121
Current children cumulated vsize (KiB) 86284

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16054
/proc/meminfo: memFree=1459056/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=87472 CPUtime=1180.77
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 29632 822 0 0 118052 25 0 0 25 0 1 0 60063742 89571328 19407 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 21868 19407 379 142 0 20822 0
Current children cumulated CPU time (s) 1180.77
Current children cumulated vsize (KiB) 87472

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16054
/proc/meminfo: memFree=1447856/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=88664 CPUtime=1240.53
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 30179 822 0 0 124028 25 0 0 25 0 1 0 60063742 90791936 19954 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 22166 19954 379 142 0 21120 0
Current children cumulated CPU time (s) 1240.53
Current children cumulated vsize (KiB) 88664

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16060
/proc/meminfo: memFree=1430576/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=111500 CPUtime=1300.29
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 36128 822 0 0 130001 28 0 0 25 0 1 0 60063742 114176000 23854 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 27875 23854 379 142 0 26829 0
Current children cumulated CPU time (s) 1300.29
Current children cumulated vsize (KiB) 111500

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16060
/proc/meminfo: memFree=1428336/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=111500 CPUtime=1360.05
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 36357 822 0 0 135976 29 0 0 25 0 1 0 60063742 114176000 24083 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 27875 24083 379 142 0 26829 0
Current children cumulated CPU time (s) 1360.05
Current children cumulated vsize (KiB) 111500

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16060
/proc/meminfo: memFree=1424560/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=111500 CPUtime=1419.82
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 36589 822 0 0 141953 29 0 0 25 0 1 0 60063742 114176000 24315 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 27875 24315 379 142 0 26829 0
Current children cumulated CPU time (s) 1419.82
Current children cumulated vsize (KiB) 111500

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16060
/proc/meminfo: memFree=1420592/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=111500 CPUtime=1479.58
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 36814 822 0 0 147928 30 0 0 25 0 1 0 60063742 114176000 24540 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 27875 24540 379 142 0 26829 0
Current children cumulated CPU time (s) 1479.58
Current children cumulated vsize (KiB) 111500

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16060
/proc/meminfo: memFree=1416496/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=111500 CPUtime=1539.34
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 37046 822 0 0 153904 30 0 0 25 0 1 0 60063742 114176000 24772 996147200 134512640 135095119 4294956304 18446744073709551615 134589639 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 27875 24772 379 142 0 26829 0
Current children cumulated CPU time (s) 1539.34
Current children cumulated vsize (KiB) 111500

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16060
/proc/meminfo: memFree=1412848/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=111500 CPUtime=1599.11
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 37267 822 0 0 159881 30 0 0 25 0 1 0 60063742 114176000 24993 996147200 134512640 135095119 4294956304 18446744073709551615 134642940 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 27875 24993 379 142 0 26829 0
Current children cumulated CPU time (s) 1599.11
Current children cumulated vsize (KiB) 111500

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16060
/proc/meminfo: memFree=1409136/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=111500 CPUtime=1658.87
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 37480 822 0 0 165857 30 0 0 25 0 1 0 60063742 114176000 25206 996147200 134512640 135095119 4294956304 18446744073709551615 134644016 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 27875 25206 379 142 0 26829 0
Current children cumulated CPU time (s) 1658.87
Current children cumulated vsize (KiB) 111500

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16060
/proc/meminfo: memFree=1405680/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=111500 CPUtime=1718.64
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 37688 822 0 0 171833 31 0 0 25 0 1 0 60063742 114176000 25414 996147200 134512640 135095119 4294956304 18446744073709551615 134571101 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 27875 25414 379 142 0 26829 0
Current children cumulated CPU time (s) 1718.64
Current children cumulated vsize (KiB) 111500

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16060
/proc/meminfo: memFree=1401712/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=144268 CPUtime=1778.39
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 46097 822 0 0 177804 35 0 0 25 0 1 0 60063742 147730432 25630 996147200 134512640 135095119 4294956304 18446744073709551615 134617057 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 36067 25630 379 142 0 35021 0
Current children cumulated CPU time (s) 1778.39
Current children cumulated vsize (KiB) 144268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.01 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 16060
/proc/meminfo: memFree=1400560/2055920 swapFree=4192812/4192956
[pid=16012] ppid=16010 vsize=144268 CPUtime=1800.02
/proc/16012/stat : 16012 (pcs.small) R 16010 16012 15489 0 -1 4194304 46175 822 0 0 179966 36 0 0 25 0 1 0 60063742 147730432 25708 996147200 134512640 135095119 4294956304 18446744073709551615 134643981 0 0 4096 0 0 0 0 17 1 0 0
/proc/16012/statm: 36067 25708 379 142 0 35021 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 144268

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): 1804.03
CPU time (s): 1800.05
CPU user time (s): 1799.67
CPU system time (s): 0.380942
CPU usage (%): 99.7797
Max. virtual memory (cumulated for all children) (KiB): 144268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.380942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46997
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= 22
involuntary context switches= 13728

runsolver used 1.64475 second user time and 5.2322 second system time

The end

Launcher Data 

Begin job on node75 at 2009-07-16 09:39:53
IDJOB=2089326
IDBENCH=59454
IDSOLVER=734
FILE ID=node75/2089326-1247729993
PBS_JOBID= 9521626
Free space on /tmp= 66248 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/tightness0.5/normalized-rand-2-40-25-180-500-15_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089326-1247729993/watcher-2089326-1247729993 -o /tmp/evaluation-result-2089326-1247729993/solver-2089326-1247729993 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 921215141 HOME/instance-2089326-1247729993.xml

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

MD5SUM BENCH= 09f0ae9583655fad26f9d5c9dcc3419a
RANDOM SEED=921215141

node75.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.232
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.232
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1521040 kB
Buffers:         82360 kB
Cached:         303200 kB
SwapCached:          0 kB
Active:         108332 kB
Inactive:       338384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1521040 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2020 kB
Writeback:           0 kB
Mapped:          81612 kB
Slab:            73280 kB
Committed_AS:   603108 kB
PageTables:       1952 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= 66252 MiB
End job on node75 at 2009-07-16 10:09:59