Trace number 2091053

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.11 1802.93

General information on the benchmark

Namecsp/rand-2-50-23/
normalized-rand-2-50-23-587-230-37_ext.xml
MD5SUM504bb3cfc5b77d445e8ef185c72f0228
Bench Category2-ARY-EXT (binary constraints in extension)
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 variables50
Number of constraints485
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension485
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.00/0.02	c Seed is 562414294
0.00/0.02	c Constructing HOME/instance-2091053-1247731343.xml  with 11127 constraints
0.07/0.17	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-2091053-1247731343/watcher-2091053-1247731343 -o /tmp/evaluation-result-2091053-1247731343/solver-2091053-1247731343 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 562414294 HOME/instance-2091053-1247731343.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.02 1.99 1.99 3/73 17123
/proc/meminfo: memFree=1475104/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=780 CPUtime=0
/proc/17123/stat : 17123 (pcssolve) R 17121 17123 16749 0 -1 4194304 17 0 0 0 0 0 0 0 21 0 1 0 60199871 798720 3 996147200 0 0 548682069571 18446744073709551615 234045893927 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 195 3 0 0 0 6 0

[startup+0.0473999 s]
/proc/loadavg: 2.02 1.99 1.99 3/73 17123
/proc/meminfo: memFree=1475104/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=4772 CPUtime=0.02
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 920 822 0 0 2 0 0 0 24 0 1 0 60199871 4886528 529 996147200 134512640 135095119 4294956304 18446744073709551615 134770149 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 1193 529 364 142 0 147 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4772

[startup+0.101405 s]
/proc/loadavg: 2.02 1.99 1.99 3/73 17123
/proc/meminfo: memFree=1475104/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=5828 CPUtime=0.07
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 1165 822 0 0 7 0 0 0 24 0 1 0 60199871 5967872 774 996147200 134512640 135095119 4294956304 18446744073709551615 134739383 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 1457 774 364 142 0 411 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5828

[startup+0.301431 s]
/proc/loadavg: 2.02 1.99 1.99 3/73 17123
/proc/meminfo: memFree=1475104/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=8124 CPUtime=0.27
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 1814 822 0 0 27 0 0 0 25 0 1 0 60199871 8318976 1325 996147200 134512640 135095119 4294956304 18446744073709551615 134617066 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 2031 1325 378 142 0 985 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8124

[startup+0.701472 s]
/proc/loadavg: 2.02 1.99 1.99 3/73 17123
/proc/meminfo: memFree=1475104/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=8124 CPUtime=0.67
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 1818 822 0 0 67 0 0 0 25 0 1 0 60199871 8318976 1329 996147200 134512640 135095119 4294956304 18446744073709551615 134616900 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 2031 1329 378 142 0 985 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8124

[startup+1.50256 s]
/proc/loadavg: 2.02 1.99 1.99 3/74 17129
/proc/meminfo: memFree=1471000/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=8124 CPUtime=1.46
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 1823 822 0 0 146 0 0 0 25 0 1 0 60199871 8318976 1334 996147200 134512640 135095119 4294956304 18446744073709551615 134616996 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 2031 1334 378 142 0 985 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8124

[startup+3.10173 s]
/proc/loadavg: 2.02 1.99 1.99 3/74 17129
/proc/meminfo: memFree=1470680/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=8124 CPUtime=3.05
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 1837 822 0 0 305 0 0 0 25 0 1 0 60199871 8318976 1348 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 2031 1348 378 142 0 985 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8124

[startup+6.30106 s]
/proc/loadavg: 2.02 1.99 1.99 3/74 17129
/proc/meminfo: memFree=1470040/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=8636 CPUtime=6.23
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 1988 822 0 0 622 1 0 0 25 0 1 0 60199871 8843264 1370 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 2159 1370 378 142 0 1113 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 8636

[startup+12.7017 s]
/proc/loadavg: 2.02 1.99 1.99 3/74 17129
/proc/meminfo: memFree=1468632/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=9664 CPUtime=12.58
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 2186 822 0 0 1257 1 0 0 25 0 1 0 60199871 9895936 1568 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 2416 1568 378 142 0 1370 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 9664

[startup+25.5011 s]
/proc/loadavg: 2.01 1.99 1.99 3/74 17129
/proc/meminfo: memFree=1465752/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=11344 CPUtime=25.28
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 2783 822 0 0 2527 1 0 0 25 0 1 0 60199871 11616256 1908 996147200 134512640 135095119 4294956304 18446744073709551615 134642872 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 2836 1908 378 142 0 1790 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 11344

[startup+51.1018 s]
/proc/loadavg: 2.01 1.99 1.99 3/74 17129
/proc/meminfo: memFree=1459608/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=14344 CPUtime=50.68
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 3822 822 0 0 5066 2 0 0 25 0 1 0 60199871 14688256 2690 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 3586 2690 378 142 0 2540 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 14344

[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.99 3/74 17129
/proc/meminfo: memFree=1449240/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=18764 CPUtime=101.49
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 5362 822 0 0 10145 4 0 0 25 0 1 0 60199871 19214336 3717 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 4691 3717 378 142 0 3645 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 18764

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/74 17129
/proc/meminfo: memFree=1437016/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=28868 CPUtime=161.02
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 8313 822 0 0 16097 5 0 0 25 0 1 0 60199871 29560832 5130 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 7217 5130 378 142 0 6171 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 28868

[startup+222.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/74 17129
/proc/meminfo: memFree=1428056/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=29660 CPUtime=220.56
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 8864 822 0 0 22050 6 0 0 25 0 1 0 60199871 30371840 5681 996147200 134512640 135095119 4294956304 18446744073709551615 134616992 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 7415 5681 378 142 0 6369 0
Current children cumulated CPU time (s) 220.56
Current children cumulated vsize (KiB) 29660

[startup+282.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/74 17129
/proc/meminfo: memFree=1418392/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=31508 CPUtime=280.11
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 9644 822 0 0 28004 7 0 0 25 0 1 0 60199871 32264192 6461 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/17123/statm: 7877 6461 378 142 0 6831 0
Current children cumulated CPU time (s) 280.11
Current children cumulated vsize (KiB) 31508

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/74 17161
/proc/meminfo: memFree=1464344/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=33224 CPUtime=339.84
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 10367 822 0 0 33976 8 0 0 25 0 1 0 60199871 34021376 7184 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 8306 7184 378 142 0 7260 0
Current children cumulated CPU time (s) 339.84
Current children cumulated vsize (KiB) 33224

[startup+402.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/74 17161
/proc/meminfo: memFree=1455576/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=34804 CPUtime=399.82
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 11056 822 0 0 39973 9 0 0 25 0 1 0 60199871 35639296 7873 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 8701 7873 378 142 0 7655 0
Current children cumulated CPU time (s) 399.82
Current children cumulated vsize (KiB) 34804

[startup+462.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/74 17161
/proc/meminfo: memFree=1446616/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=44580 CPUtime=459.81
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 13782 822 0 0 45970 11 0 0 25 0 1 0 60199871 45649920 8550 996147200 134512640 135095119 4294956304 18446744073709551615 134589634 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 11145 8550 378 142 0 10099 0
Current children cumulated CPU time (s) 459.81
Current children cumulated vsize (KiB) 44580

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/74 17161
/proc/meminfo: memFree=1437208/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=55268 CPUtime=519.79
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 16713 822 0 0 51967 12 0 0 25 0 1 0 60199871 56594432 10456 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 13817 10456 378 142 0 12771 0
Current children cumulated CPU time (s) 519.79
Current children cumulated vsize (KiB) 55268

[startup+582.301 s]
/proc/loadavg: 2.10 2.02 2.00 3/74 17161
/proc/meminfo: memFree=1433240/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=55268 CPUtime=579.77
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 16960 822 0 0 57965 12 0 0 25 0 1 0 60199871 56594432 10703 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 13817 10703 378 142 0 12771 0
Current children cumulated CPU time (s) 579.77
Current children cumulated vsize (KiB) 55268

[startup+642.302 s]
/proc/loadavg: 2.10 2.03 2.00 3/74 17161
/proc/meminfo: memFree=1429272/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=55268 CPUtime=639.77
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 17207 822 0 0 63964 13 0 0 25 0 1 0 60199871 56594432 10950 996147200 134512640 135095119 4294956304 18446744073709551615 134642968 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 13817 10950 378 142 0 12771 0
Current children cumulated CPU time (s) 639.77
Current children cumulated vsize (KiB) 55268

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.15 2.08 2.01 3/74 17161
/proc/meminfo: memFree=1407192/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=58704 CPUtime=879.7
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 18947 822 0 0 87954 16 0 0 25 0 1 0 60199871 60112896 12690 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 14676 12690 378 142 0 13630 0
Current children cumulated CPU time (s) 879.7
Current children cumulated vsize (KiB) 58704

[startup+942.301 s]
/proc/loadavg: 2.13 2.09 2.02 3/74 17161
/proc/meminfo: memFree=1404248/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=59760 CPUtime=939.69
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 19449 822 0 0 93952 17 0 0 25 0 1 0 60199871 61194240 13192 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 14940 13192 378 142 0 13894 0
Current children cumulated CPU time (s) 939.69
Current children cumulated vsize (KiB) 59760

[startup+1002.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/74 17161
/proc/meminfo: memFree=1401112/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=60944 CPUtime=999.67
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 19933 822 0 0 99950 17 0 0 25 0 1 0 60199871 62406656 13676 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 15236 13676 378 142 0 14190 0
Current children cumulated CPU time (s) 999.67
Current children cumulated vsize (KiB) 60944

[startup+1062.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/74 17161
/proc/meminfo: memFree=1397976/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=62004 CPUtime=1059.65
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 20422 822 0 0 105947 18 0 0 25 0 1 0 60199871 63492096 14165 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 15501 14165 378 142 0 14455 0
Current children cumulated CPU time (s) 1059.65
Current children cumulated vsize (KiB) 62004

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/74 17161
/proc/meminfo: memFree=1393944/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=63196 CPUtime=1119.63
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 20908 822 0 0 111945 18 0 0 25 0 1 0 60199871 64712704 14651 996147200 134512640 135095119 4294956304 18446744073709551615 134638480 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 15799 14651 378 142 0 14753 0
Current children cumulated CPU time (s) 1119.63
Current children cumulated vsize (KiB) 63196

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 17161
/proc/meminfo: memFree=1389976/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=80632 CPUtime=1179.62
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 25473 822 0 0 117941 21 0 0 25 0 1 0 60199871 82567168 15119 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 20158 15119 378 142 0 19112 0
Current children cumulated CPU time (s) 1179.62
Current children cumulated vsize (KiB) 80632

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 17161
/proc/meminfo: memFree=1385944/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=81820 CPUtime=1239.61
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 25948 822 0 0 123939 22 0 0 25 0 1 0 60199871 83783680 15594 996147200 134512640 135095119 4294956304 18446744073709551615 134637464 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 20455 15594 378 142 0 19409 0
Current children cumulated CPU time (s) 1239.61
Current children cumulated vsize (KiB) 81820

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 17161
/proc/meminfo: memFree=1382040/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=82876 CPUtime=1299.6
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 26418 822 0 0 129937 23 0 0 25 0 1 0 60199871 84865024 16064 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 20719 16064 378 142 0 19673 0
Current children cumulated CPU time (s) 1299.6
Current children cumulated vsize (KiB) 82876

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 17161
/proc/meminfo: memFree=1378200/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=83932 CPUtime=1359.58
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 26876 822 0 0 135935 23 0 0 25 0 1 0 60199871 85946368 16522 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 20983 16522 378 142 0 19937 0
Current children cumulated CPU time (s) 1359.58
Current children cumulated vsize (KiB) 83932

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 17161
/proc/meminfo: memFree=1374296/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=84988 CPUtime=1419.57
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 27336 822 0 0 141933 24 0 0 25 0 1 0 60199871 87027712 16982 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 21247 16982 378 142 0 20201 0
Current children cumulated CPU time (s) 1419.57
Current children cumulated vsize (KiB) 84988

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 17161
/proc/meminfo: memFree=1370584/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=86044 CPUtime=1479.54
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 27777 822 0 0 147930 24 0 0 25 0 1 0 60199871 88109056 17423 996147200 134512640 135095119 4294956304 18446744073709551615 134616996 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 21511 17423 378 142 0 20465 0
Current children cumulated CPU time (s) 1479.54
Current children cumulated vsize (KiB) 86044

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17161
/proc/meminfo: memFree=1366872/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=86976 CPUtime=1539.53
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 28192 822 0 0 153928 25 0 0 25 0 1 0 60199871 89063424 17838 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 21744 17838 378 142 0 20698 0
Current children cumulated CPU time (s) 1539.53
Current children cumulated vsize (KiB) 86976

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17161
/proc/meminfo: memFree=1363096/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=88028 CPUtime=1599.51
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 28624 822 0 0 159926 25 0 0 25 0 1 0 60199871 90140672 18270 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 22007 18270 378 142 0 20961 0
Current children cumulated CPU time (s) 1599.51
Current children cumulated vsize (KiB) 88028

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17161
/proc/meminfo: memFree=1346968/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=109688 CPUtime=1659.5
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 34226 822 0 0 165922 28 0 0 25 0 1 0 60199871 112320512 21823 996147200 134512640 135095119 4294956304 18446744073709551615 134607196 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 27422 21823 378 142 0 26376 0
Current children cumulated CPU time (s) 1659.5
Current children cumulated vsize (KiB) 109688

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17161
/proc/meminfo: memFree=1344600/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=109688 CPUtime=1719.49
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 34398 822 0 0 171921 28 0 0 25 0 1 0 60199871 112320512 21995 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 27422 21995 378 142 0 26376 0
Current children cumulated CPU time (s) 1719.49
Current children cumulated vsize (KiB) 109688

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17161
/proc/meminfo: memFree=1341976/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=109688 CPUtime=1779.47
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 34566 822 0 0 177919 28 0 0 25 0 1 0 60199871 112320512 22163 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 27422 22163 378 142 0 26376 0
Current children cumulated CPU time (s) 1779.47
Current children cumulated vsize (KiB) 109688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17161
/proc/meminfo: memFree=1341016/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=109688 CPUtime=1800.07
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 34627 822 0 0 179979 28 0 0 25 0 1 0 60199871 112320512 22224 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 27422 22224 378 142 0 26376 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 109688

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

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

[startup+1802.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17161
/proc/meminfo: memFree=1341016/2055920 swapFree=4192812/4192956
[pid=17123] ppid=17121 vsize=109688 CPUtime=1800.07
/proc/17123/stat : 17123 (pcs.small) R 17121 17123 16749 0 -1 4194304 34627 822 0 0 179979 28 0 0 25 0 1 0 60199871 112320512 22224 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17123/statm: 27422 22224 378 142 0 26376 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 109688

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.93
CPU time (s): 1800.11
CPU user time (s): 1799.8
CPU system time (s): 0.307953
CPU usage (%): 99.8437
Max. virtual memory (cumulated for all children) (KiB): 116960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.307953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35449
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= 18
involuntary context switches= 8864

runsolver used 1.60276 second user time and 4.97724 second system time

The end

Launcher Data 

Begin job on node79 at 2009-07-16 10:02:23
IDJOB=2091053
IDBENCH=59987
IDSOLVER=734
FILE ID=node79/2091053-1247731343
PBS_JOBID= 9521634
Free space on /tmp= 66388 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-2-50-23/normalized-rand-2-50-23-587-230-37_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091053-1247731343/watcher-2091053-1247731343 -o /tmp/evaluation-result-2091053-1247731343/solver-2091053-1247731343 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 562414294 HOME/instance-2091053-1247731343.xml

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

MD5SUM BENCH= 504bb3cfc5b77d445e8ef185c72f0228
RANDOM SEED=562414294

node79.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.229
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.229
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:       1475520 kB
Buffers:         87228 kB
Cached:         363544 kB
SwapCached:          0 kB
Active:          86444 kB
Inactive:       403020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1475520 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2140 kB
Writeback:           0 kB
Mapped:          50152 kB
Slab:            76296 kB
Committed_AS:   547824 kB
PageTables:       1764 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= 66384 MiB
End job on node79 at 2009-07-16 10:32:28