Trace number 2090756

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.09 1808.56

General information on the benchmark

Namecsp/tightness0.9/
normalized-rand-2-40-180-84-900-47_ext.xml
MD5SUM0293ed4d3177082bd80a0695733fe5fc
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 benchmark2.47162
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 619768018
0.00/0.02	c Constructing HOME/instance-2090756-1247731077.xml  with 84 constraints
0.67/0.77	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-2090756-1247731077/watcher-2090756-1247731077 -o /tmp/evaluation-result-2090756-1247731077/solver-2090756-1247731077 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 619768018 HOME/instance-2090756-1247731077.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.08 2.05 2.00 4/72 21227
/proc/meminfo: memFree=1552944/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=5356 CPUtime=0
/proc/21227/stat : 21227 (pcssolve) R 21225 21227 20423 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60171196 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 273653754527 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/21227/statm: 1339 241 200 169 0 50 0
[pid=21228] ppid=21227 vsize=3676 CPUtime=0
/proc/21228/stat : 21228 (fgrep) R 21227 21227 20423 0 -1 4194304 121 0 0 0 0 0 0 0 22 0 1 0 60171197 3764224 88 996147200 4194304 4274172 548682068976 18446744073709551615 273653634400 0 0 4096 0 0 0 0 17 1 0 0
/proc/21228/statm: 919 88 70 19 0 43 0

[startup+0.0362171 s]
/proc/loadavg: 2.08 2.05 2.00 4/72 21227
/proc/meminfo: memFree=1552944/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=4624 CPUtime=0.01
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 829 656 0 0 1 0 0 0 23 0 1 0 60171196 4734976 460 996147200 134512640 135215973 4294956304 18446744073709551615 135038884 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 1156 460 381 171 0 81 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4624

[startup+0.101217 s]
/proc/loadavg: 2.08 2.05 2.00 4/72 21227
/proc/meminfo: memFree=1552944/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=5368 CPUtime=0.07
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 914 656 0 0 7 0 0 0 23 0 1 0 60171196 5496832 545 996147200 134512640 135215973 4294956304 18446744073709551615 4750996 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 1342 545 383 171 0 267 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5368

[startup+0.301232 s]
/proc/loadavg: 2.08 2.05 2.00 4/72 21227
/proc/meminfo: memFree=1552944/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=7428 CPUtime=0.27
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 1149 656 0 0 27 0 0 0 25 0 1 0 60171196 7606272 780 996147200 134512640 135215973 4294956304 18446744073709551615 134599834 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 1857 780 383 171 0 782 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7428

[startup+0.70126 s]
/proc/loadavg: 2.08 2.05 2.00 4/72 21227
/proc/meminfo: memFree=1552944/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=11756 CPUtime=0.67
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 1639 656 0 0 66 1 0 0 25 0 1 0 60171196 12038144 1270 996147200 134512640 135215973 4294956304 18446744073709551615 134590036 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 2939 1270 383 171 0 1864 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 11756

[startup+1.50131 s]
/proc/loadavg: 2.08 2.05 2.00 3/73 21232
/proc/meminfo: memFree=1548072/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=13220 CPUtime=1.46
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 1967 656 0 0 145 1 0 0 25 0 1 0 60171196 13537280 1598 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 3305 1598 401 171 0 2230 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13220

[startup+3.10143 s]
/proc/loadavg: 2.08 2.05 2.00 3/73 21232
/proc/meminfo: memFree=1547816/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=13220 CPUtime=3.05
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 2014 656 0 0 304 1 0 0 25 0 1 0 60171196 13537280 1645 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 3305 1645 401 171 0 2230 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 13220

[startup+6.30164 s]
/proc/loadavg: 2.07 2.05 2.00 3/73 21232
/proc/meminfo: memFree=1546920/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=13220 CPUtime=6.22
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 2152 656 0 0 621 1 0 0 25 0 1 0 60171196 13537280 1783 996147200 134512640 135215973 4294956304 18446744073709551615 135018588 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 3305 1783 401 171 0 2230 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 13220

[startup+12.7021 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 21232
/proc/meminfo: memFree=1546024/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=13220 CPUtime=12.56
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 2331 656 0 0 1255 1 0 0 25 0 1 0 60171196 13537280 1962 996147200 134512640 135215973 4294956304 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 3305 1962 401 171 0 2230 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 13220

[startup+25.5019 s]
/proc/loadavg: 2.05 2.04 2.00 3/73 21232
/proc/meminfo: memFree=1543848/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=13220 CPUtime=25.23
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 2718 656 0 0 2522 1 0 0 25 0 1 0 60171196 13537280 2349 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 3305 2349 401 171 0 2230 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 13220

[startup+51.1017 s]
/proc/loadavg: 2.03 2.04 2.00 3/73 21232
/proc/meminfo: memFree=1538728/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=16248 CPUtime=50.6
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 3727 656 0 0 5058 2 0 0 25 0 1 0 60171196 16637952 3358 996147200 134512640 135215973 4294956304 18446744073709551615 135026851 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 4062 3358 401 171 0 2987 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 16248

[startup+102.306 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 21232
/proc/meminfo: memFree=1527464/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=24688 CPUtime=101.32
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 5883 656 0 0 10129 3 0 0 25 0 1 0 60171196 25280512 5449 996147200 134512640 135215973 4294956304 18446744073709551615 135018640 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 6172 5449 401 171 0 5097 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 24688

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 21232
/proc/meminfo: memFree=1497768/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=36948 CPUtime=160.78
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 8989 656 0 0 16072 6 0 0 25 0 1 0 60171196 37834752 8426 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 9237 8426 401 171 0 8162 0
Current children cumulated CPU time (s) 160.78
Current children cumulated vsize (KiB) 36948

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 21238
/proc/meminfo: memFree=1486176/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=46976 CPUtime=220.2
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 11555 656 0 0 22012 8 0 0 25 0 1 0 60171196 48103424 10992 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 11744 10992 401 171 0 10669 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 46976

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 21238
/proc/meminfo: memFree=1474400/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=57652 CPUtime=279.66
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 14289 656 0 0 27956 10 0 0 25 0 1 0 60171196 59035648 13693 996147200 134512640 135215973 4294956304 18446744073709551615 134591201 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 14413 13693 401 171 0 13338 0
Current children cumulated CPU time (s) 279.66
Current children cumulated vsize (KiB) 57652

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1460704/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=70812 CPUtime=339.1
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 17623 656 0 0 33898 12 0 0 25 0 1 0 60171196 72511488 16770 996147200 134512640 135215973 4294956304 18446744073709551615 134590063 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 17703 16770 401 171 0 16628 0
Current children cumulated CPU time (s) 339.1
Current children cumulated vsize (KiB) 70812

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1449568/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=80708 CPUtime=398.56
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 20146 656 0 0 39843 13 0 0 25 0 1 0 60171196 82644992 19293 996147200 134512640 135215973 4294956304 18446744073709551615 135020330 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 20177 19293 401 171 0 19102 0
Current children cumulated CPU time (s) 398.56
Current children cumulated vsize (KiB) 80708

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1437344/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=91656 CPUtime=458
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 22952 656 0 0 45786 14 0 0 25 0 1 0 60171196 93855744 22034 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 22914 22034 401 171 0 21839 0
Current children cumulated CPU time (s) 458
Current children cumulated vsize (KiB) 91656

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1426280/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=101556 CPUtime=517.44
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 25471 656 0 0 51729 15 0 0 25 0 1 0 60171196 103993344 24553 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 25389 24553 401 171 0 24314 0
Current children cumulated CPU time (s) 517.44
Current children cumulated vsize (KiB) 101556

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1413864/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=112380 CPUtime=576.89
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 28231 656 0 0 57673 16 0 0 25 0 1 0 60171196 115077120 27313 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 28095 27313 401 171 0 27020 0
Current children cumulated CPU time (s) 576.89
Current children cumulated vsize (KiB) 112380

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1403048/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=121744 CPUtime=636.34
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 30637 656 0 0 63616 18 0 0 25 0 1 0 60171196 124665856 29719 996147200 134512640 135215973 4294956304 18446744073709551615 134590197 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 30436 29719 401 171 0 29361 0
Current children cumulated CPU time (s) 636.34

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21238
/proc/meminfo: memFree=1353000/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=165236 CPUtime=874.13
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 41726 656 0 0 87388 25 0 0 25 0 1 0 60171196 169201664 40295 996147200 134512640 135215973 4294956304 18446744073709551615 135018582 0 0 4096 0 0 0 0 17 1 0 0
/proc/21227/statm: 41309 40295 401 171 0 40234 0
Current children cumulated CPU time (s) 874.13
Current children cumulated vsize (KiB) 165236

[startup+942.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 21280
/proc/meminfo: memFree=1438168/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=176564 CPUtime=934.09
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 44627 656 0 0 93381 28 0 0 25 0 1 0 60171196 180801536 43067 996147200 134512640 135215973 4294956304 18446744073709551615 135009138 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 44141 43067 401 171 0 43066 0
Current children cumulated CPU time (s) 934.09
Current children cumulated vsize (KiB) 176564

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 21280
/proc/meminfo: memFree=1427160/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=187124 CPUtime=994.08
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 47320 656 0 0 99377 31 0 0 25 0 1 0 60171196 191614976 45760 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 46781 45760 401 171 0 45706 0
Current children cumulated CPU time (s) 994.08
Current children cumulated vsize (KiB) 187124

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 21313
/proc/meminfo: memFree=1429664/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=196756 CPUtime=1054.06
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 49784 656 0 0 105373 33 0 0 25 0 1 0 60171196 201478144 48224 996147200 134512640 135215973 4294956304 18446744073709551615 134599824 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 49189 48224 401 171 0 48114 0
Current children cumulated CPU time (s) 1054.06
Current children cumulated vsize (KiB) 196756

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1413856/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=205996 CPUtime=1114.04
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 52148 656 0 0 111369 35 0 0 25 0 1 0 60171196 210939904 50588 996147200 134512640 135215973 4294956304 18446744073709551615 135010222 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 51499 50588 401 171 0 50424 0
Current children cumulated CPU time (s) 1114.04
Current children cumulated vsize (KiB) 205996

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1400160/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=215500 CPUtime=1174.01
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 54565 656 0 0 117365 36 0 0 25 0 1 0 60171196 220672000 53005 996147200 134512640 135215973 4294956304 18446744073709551615 134600211 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 53875 53005 401 171 0 52800 0
Current children cumulated CPU time (s) 1174.01
Current children cumulated vsize (KiB) 215500

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1384736/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=226192 CPUtime=1234
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 57285 656 0 0 123362 38 0 0 25 0 1 0 60171196 231620608 55725 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 56548 55725 401 171 0 55473 0
Current children cumulated CPU time (s) 1234
Current children cumulated vsize (KiB) 226192

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1370464/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=237412 CPUtime=1293.98
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 60153 656 0 0 129358 40 0 0 25 0 1 0 60171196 243109888 58593 996147200 134512640 135215973 4294956304 18446744073709551615 134583215 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 59353 58593 401 171 0 58278 0
Current children cumulated CPU time (s) 1293.98
Current children cumulated vsize (KiB) 237412

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1357032/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=251932 CPUtime=1353.95
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 63841 656 0 0 135354 41 0 0 25 0 1 0 60171196 257978368 61256 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 62983 61256 401 171 0 61908 0
Current children cumulated CPU time (s) 1353.95
Current children cumulated vsize (KiB) 251932

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1343208/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=262876 CPUtime=1413.95
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 66623 656 0 0 141352 43 0 0 25 0 1 0 60171196 269185024 64038 996147200 134512640 135215973 4294956304 18446744073709551615 134583174 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 65719 64038 401 171 0 64644 0
Current children cumulated CPU time (s) 1413.95
Current children cumulated vsize (KiB) 262876

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1329064/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=274096 CPUtime=1473.92
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 69501 656 0 0 147347 45 0 0 25 0 1 0 60171196 280674304 66916 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 68524 66916 401 171 0 67449 0
Current children cumulated CPU time (s) 1473.92
Current children cumulated vsize (KiB) 274096

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1315816/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=284524 CPUtime=1533.9
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 72158 656 0 0 153343 47 0 0 25 0 1 0 60171196 291352576 69573 996147200 134512640 135215973 4294956304 18446744073709551615 135018640 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 71131 69573 401 171 0 70056 0
Current children cumulated CPU time (s) 1533.9
Current children cumulated vsize (KiB) 284524

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1297384/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=295348 CPUtime=1593.87
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 74929 656 0 0 159340 47 0 0 25 0 1 0 60171196 302436352 72344 996147200 134512640 135215973 4294956304 18446744073709551615 135020330 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 73837 72344 401 171 0 72762 0
Current children cumulated CPU time (s) 1593.87
Current children cumulated vsize (KiB) 295348

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1285352/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=306040 CPUtime=1653.85
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 77655 656 0 0 165336 49 0 0 25 0 1 0 60171196 313384960 75070 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 76510 75070 401 171 0 75435 0
Current children cumulated CPU time (s) 1653.85
Current children cumulated vsize (KiB) 306040

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1273448/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=316728 CPUtime=1713.84
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 80386 656 0 0 171333 51 0 0 25 0 1 0 60171196 324329472 77801 996147200 134512640 135215973 4294956304 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 79182 77801 401 171 0 78107 0
Current children cumulated CPU time (s) 1713.84
Current children cumulated vsize (KiB) 316728

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1261288/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=327288 CPUtime=1773.82
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 83071 656 0 0 177329 53 0 0 25 0 1 0 60171196 335142912 80486 996147200 134512640 135215973 4294956304 18446744073709551615 134583400 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 81822 80486 401 171 0 80747 0
Current children cumulated CPU time (s) 1773.82
Current children cumulated vsize (KiB) 327288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1256616/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=331512 CPUtime=1800.02
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 84141 656 0 0 179948 54 0 0 25 0 1 0 60171196 339468288 81556 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 82878 81556 401 171 0 81803 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 331512

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

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

[startup+1808.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21313
/proc/meminfo: memFree=1256616/2055920 swapFree=4192812/4192956
[pid=21227] ppid=21225 vsize=331512 CPUtime=1800.02
/proc/21227/stat : 21227 (pcs.big) R 21225 21227 20423 0 -1 4194304 84141 656 0 0 179948 54 0 0 25 0 1 0 60171196 339468288 81556 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/21227/statm: 82878 81556 401 171 0 81803 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 331512

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.56
CPU time (s): 1800.09
CPU user time (s): 1799.49
CPU system time (s): 0.599908
CPU usage (%): 99.5316
Max. virtual memory (cumulated for all children) (KiB): 331512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.599908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84797
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= 22421

runsolver used 2.47262 second user time and 5.2682 second system time

The end

Launcher Data 

Begin job on node52 at 2009-07-16 09:57:57
IDJOB=2090756
IDBENCH=59888
IDSOLVER=734
FILE ID=node52/2090756-1247731077
PBS_JOBID= 9521601
Free space on /tmp= 66188 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/tightness0.9/normalized-rand-2-40-180-84-900-47_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2090756-1247731077/watcher-2090756-1247731077 -o /tmp/evaluation-result-2090756-1247731077/solver-2090756-1247731077 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 619768018 HOME/instance-2090756-1247731077.xml

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

MD5SUM BENCH= 0293ed4d3177082bd80a0695733fe5fc
RANDOM SEED=619768018

node52.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.236
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.236
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:       1553424 kB
Buffers:         85088 kB
Cached:         257768 kB
SwapCached:          0 kB
Active:         174512 kB
Inactive:       258780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1553424 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3652 kB
Writeback:           0 kB
Mapped:         101868 kB
Slab:            54388 kB
Committed_AS:   734076 kB
PageTables:       2036 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= 66184 MiB
End job on node52 at 2009-07-16 10:28:08