Trace number 2083463

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.12 1814.68

General information on the benchmark

Namecsp/fapp/fapp38/
normalized-fapp38-2500-4.xml
MD5SUM64e0e16bf67546b6939ec446b8afe6cf
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark65.795
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of constraints62132
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension62132
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.06	c Seed is 1084669923
0.00/0.06	c Constructing HOME/instance-2083463-1247723179.xml  with 393256 constraints
7.10/7.23	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-2083463-1247723179/watcher-2083463-1247723179 -o /tmp/evaluation-result-2083463-1247723179/solver-2083463-1247723179 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1084669923 HOME/instance-2083463-1247723179.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.13 2.23 2.09 4/72 14347
/proc/meminfo: memFree=1428440/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=5356 CPUtime=0
/proc/14347/stat : 14347 (pcssolve) R 14345 14347 12731 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59381856 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 259415141023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14347/statm: 1339 241 200 169 0 50 0
[pid=14348] ppid=14347 vsize=5356 CPUtime=0
/proc/14348/stat : 14348 (pcssolve) R 14347 14347 12731 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59381857 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 259415141023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14348/statm: 1339 241 200 169 0 50 0

[startup+0.0652491 s]
/proc/loadavg: 2.13 2.23 2.09 4/72 14347
/proc/meminfo: memFree=1428440/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=5540 CPUtime=0.03
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 1044 668 0 0 2 0 1 0 18 0 1 0 59381856 5672960 675 996147200 134512640 135215973 4294956304 18446744073709551615 4158960244 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 1385 675 386 171 0 310 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5540

[startup+0.101256 s]
/proc/loadavg: 2.13 2.23 2.09 4/72 14347
/proc/meminfo: memFree=1428440/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=6516 CPUtime=0.07
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 1289 668 0 0 6 0 1 0 18 0 1 0 59381856 6672384 879 996147200 134512640 135215973 4294956304 18446744073709551615 4159186643 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 1629 879 386 171 0 554 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6516

[startup+0.301298 s]
/proc/loadavg: 2.13 2.23 2.09 4/72 14347
/proc/meminfo: memFree=1428440/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=10736 CPUtime=0.26
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 2671 668 0 0 25 0 1 0 19 0 1 0 59381856 10993664 1868 996147200 134512640 135215973 4294956304 18446744073709551615 4159046527 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 2684 1868 386 171 0 1609 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10736

[startup+0.701375 s]
/proc/loadavg: 2.13 2.23 2.09 4/72 14347
/proc/meminfo: memFree=1428440/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=21540 CPUtime=0.66
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 6126 668 0 0 63 2 1 0 23 0 1 0 59381856 22056960 3915 996147200 134512640 135215973 4294956304 18446744073709551615 12874705 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 5385 3915 386 171 0 4310 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 21540

[startup+1.50153 s]
/proc/loadavg: 2.13 2.23 2.09 3/73 14352
/proc/meminfo: memFree=1408784/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=39164 CPUtime=1.45
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 12140 668 0 0 139 5 1 0 25 0 1 0 59381856 40103936 7671 996147200 134512640 135215973 4294956304 18446744073709551615 134837274 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 9791 7671 386 171 0 8716 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 39164

[startup+3.10183 s]
/proc/loadavg: 2.13 2.23 2.09 3/73 14352
/proc/meminfo: memFree=1388432/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=74132 CPUtime=3.04
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 24089 668 0 0 291 12 1 0 25 0 1 0 59381856 75911168 15104 996147200 134512640 135215973 4294956304 18446744073709551615 134709129 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 18533 15104 386 171 0 17458 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 74132

[startup+6.30144 s]
/proc/loadavg: 2.12 2.23 2.09 3/73 14352
/proc/meminfo: memFree=1330384/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=143668 CPUtime=6.22
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 47700 668 0 0 598 23 1 0 25 0 1 0 59381856 147116032 29684 996147200 134512640 135215973 4294956304 18446744073709551615 4159729162 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 35917 29684 386 171 0 34842 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 143668

[startup+12.7017 s]
/proc/loadavg: 2.11 2.22 2.09 3/73 14352
/proc/meminfo: memFree=1256080/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=190924 CPUtime=12.56
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 71050 668 0 0 1222 33 1 0 25 0 1 0 59381856 195506176 43331 996147200 134512640 135215973 4294956304 18446744073709551615 134600434 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 47731 43331 410 171 0 46656 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 190924

[startup+25.5011 s]
/proc/loadavg: 2.08 2.21 2.09 3/73 14352
/proc/meminfo: memFree=1254160/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=192172 CPUtime=25.26
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 71592 668 0 0 2492 33 1 0 25 0 1 0 59381856 196784128 43559 996147200 134512640 135215973 4294956304 18446744073709551615 134585741 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 48043 43559 410 171 0 46968 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 192172

[startup+51.102 s]
/proc/loadavg: 2.05 2.19 2.09 3/73 14352
/proc/meminfo: memFree=1246096/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=193836 CPUtime=50.66
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 72444 668 0 0 5032 33 1 0 25 0 1 0 59381856 198488064 43994 996147200 134512640 135215973 4294956304 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 48459 43994 410 171 0 47384 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 193836

[startup+102.307 s]
/proc/loadavg: 2.02 2.16 2.08 3/73 14352
/proc/meminfo: memFree=1226960/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=205348 CPUtime=101.47
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 76173 668 0 0 10112 34 1 0 25 0 1 0 59381856 210276352 46890 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 51337 46890 410 171 0 50262 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 205348

[startup+162.301 s]
/proc/loadavg: 2.01 2.13 2.08 3/73 14352
/proc/meminfo: memFree=1207312/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=220452 CPUtime=161.01
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 80317 668 0 0 16065 35 1 0 25 0 1 0 59381856 225742848 49369 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 55113 49369 410 171 0 54038 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 220452

[startup+222.302 s]
/proc/loadavg: 2.00 2.10 2.07 3/73 14352
/proc/meminfo: memFree=1194832/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=220452 CPUtime=220.56
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 80535 668 0 0 22019 36 1 0 25 0 1 0 59381856 225742848 49587 996147200 134512640 135215973 4294956304 18446744073709551615 134585677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 55113 49587 410 171 0 54038 0
Current children cumulated CPU time (s) 220.56
Current children cumulated vsize (KiB) 220452

[startup+282.302 s]
/proc/loadavg: 2.00 2.08 2.07 3/73 14352
/proc/meminfo: memFree=1182288/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=223620 CPUtime=280.1
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 93011 668 0 0 27969 40 1 0 25 0 1 0 59381856 228986880 50583 996147200 134512640 135215973 4294956304 18446744073709551615 134585677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 55905 50583 413 171 0 54830 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 223620

[startup+342.301 s]
/proc/loadavg: 2.00 2.06 2.06 3/73 14354
/proc/meminfo: memFree=1170704/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=227052 CPUtime=339.62
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 104502 668 0 0 33917 44 1 0 25 0 1 0 59381856 232501248 51906 996147200 134512640 135215973 4294956304 18446744073709551615 134585606 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 56763 51906 413 171 0 55688 0
Current children cumulated CPU time (s) 339.62
Current children cumulated vsize (KiB) 227052

[startup+402.302 s]
/proc/loadavg: 2.00 2.05 2.05 3/73 14354
/proc/meminfo: memFree=1155536/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=233784 CPUtime=399.17
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 110112 668 0 0 39868 48 1 0 25 0 1 0 59381856 239394816 53580 996147200 134512640 135215973 4294956304 18446744073709551615 134600790 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 58446 53580 413 171 0 57371 0
Current children cumulated CPU time (s) 399.17
Current children cumulated vsize (KiB) 233784

[startup+462.301 s]
/proc/loadavg: 2.00 2.04 2.05 3/73 14354
/proc/meminfo: memFree=1131152/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=241700 CPUtime=458.7
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 154069 668 0 0 45805 64 1 0 25 0 1 0 59381856 247500800 55553 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 60425 55553 413 171 0 59350 0
Current children cumulated CPU time (s) 458.7
Current children cumulated vsize (KiB) 241700

[startup+522.303 s]
/proc/loadavg: 2.00 2.03 2.04 3/73 14354
/proc/meminfo: memFree=1113232/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=246848 CPUtime=518.24
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 165196 668 0 0 51754 69 1 0 25 0 1 0 59381856 252772352 56840 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 61712 56840 413 171 0 60637 0
Current children cumulated CPU time (s) 518.24
Current children cumulated vsize (KiB) 246848

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.04 3/73 14354
/proc/meminfo: memFree=1093200/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=252260 CPUtime=577.77
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 170476 668 0 0 57705 71 1 0 25 0 1 0 59381856 258314240 58184 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 63065 58184 413 171 0 61990 0
Current children cumulated CPU time (s) 577.77
Current children cumulated vsize (KiB) 252260

[startup+642.302 s]
/proc/loadavg: 2.00 2.02 2.03 3/73 14354
/proc/meminfo: memFree=1077840/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=256484 CPUtime=637.32
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 175820 668 0 0 63657 74 1 0 25 0 1 0 59381856 262639616 59264 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 64121 59264 413 171 0 63046 0
Current children cumulated CPU time (s) 637.32

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 14354
/proc/meminfo: memFree=1014672/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=293424 CPUtime=815.94
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 196968 668 0 0 81510 83 1 0 25 0 1 0 59381856 300466176 66259 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 73356 66259 413 171 0 72281 0
Current children cumulated CPU time (s) 815.94
Current children cumulated vsize (KiB) 293424

[startup+882.301 s]
/proc/loadavg: 2.11 2.03 2.02 3/73 14360
/proc/meminfo: memFree=1000768/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=294348 CPUtime=875.45
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 202790 668 0 0 87459 85 1 0 25 0 1 0 59381856 301412352 66505 996147200 134512640 135215973 4294956304 18446744073709551615 134585666 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 73587 66505 413 171 0 72512 0
Current children cumulated CPU time (s) 875.45
Current children cumulated vsize (KiB) 294348

[startup+942.302 s]
/proc/loadavg: 2.04 2.02 2.01 3/73 14360
/proc/meminfo: memFree=985800/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=297912 CPUtime=934.99
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 209584 668 0 0 93410 88 1 0 25 0 1 0 59381856 305061888 67395 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 74478 67395 413 171 0 73403 0
Current children cumulated CPU time (s) 934.99
Current children cumulated vsize (KiB) 297912

[startup+1002.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/73 14360
/proc/meminfo: memFree=952328/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=316280 CPUtime=994.53
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 216119 668 0 0 99361 91 1 0 25 0 1 0 59381856 323870720 71962 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 79070 71962 413 171 0 77995 0
Current children cumulated CPU time (s) 994.53
Current children cumulated vsize (KiB) 316280

[startup+1062.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/73 14360
/proc/meminfo: memFree=918600/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=336740 CPUtime=1054.08
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 222895 668 0 0 105313 94 1 0 25 0 1 0 59381856 344821760 77098 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 84185 77098 413 171 0 83110 0
Current children cumulated CPU time (s) 1054.08
Current children cumulated vsize (KiB) 336740

[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/73 14360
/proc/meminfo: memFree=897928/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=349808 CPUtime=1113.61
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 228777 668 0 0 111264 96 1 0 25 0 1 0 59381856 358203392 80356 996147200 134512640 135215973 4294956304 18446744073709551615 134971001 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 87452 80356 413 171 0 86377 0
Current children cumulated CPU time (s) 1113.61
Current children cumulated vsize (KiB) 349808

[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/73 14360
/proc/meminfo: memFree=882440/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=354824 CPUtime=1173.16
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 233322 668 0 0 117217 98 1 0 25 0 1 0 59381856 363339776 81621 996147200 134512640 135215973 4294956304 18446744073709551615 134591870 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 88706 81621 413 171 0 87631 0
Current children cumulated CPU time (s) 1173.16
Current children cumulated vsize (KiB) 354824

[startup+1242.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/73 14360
/proc/meminfo: memFree=858256/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=366304 CPUtime=1232.69
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 240445 668 0 0 123167 101 1 0 25 0 1 0 59381856 375095296 84480 996147200 134512640 135215973 4294956304 18446744073709551615 135094452 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 91576 84480 413 171 0 90501 0
Current children cumulated CPU time (s) 1232.69
Current children cumulated vsize (KiB) 366304

[startup+1302.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/73 14360
/proc/meminfo: memFree=841680/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=378844 CPUtime=1292.23
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 248159 668 0 0 129118 104 1 0 25 0 1 0 59381856 387936256 87602 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 94711 87602 413 171 0 93636 0
Current children cumulated CPU time (s) 1292.23
Current children cumulated vsize (KiB) 378844

[startup+1362.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/73 14360
/proc/meminfo: memFree=831440/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=388216 CPUtime=1351.77
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 254778 668 0 0 135068 108 1 0 25 0 1 0 59381856 397533184 89957 996147200 134512640 135215973 4294956304 18446744073709551615 134585681 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 97054 89957 413 171 0 95979 0
Current children cumulated CPU time (s) 1351.77
Current children cumulated vsize (KiB) 388216

[startup+1422.31 s]
/proc/loadavg: 2.10 2.07 2.01 3/73 14360
/proc/meminfo: memFree=807824/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=406168 CPUtime=1411.32
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 261883 668 0 0 141020 111 1 0 25 0 1 0 59381856 415916032 94438 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 101542 94438 413 171 0 100467 0
Current children cumulated CPU time (s) 1411.32
Current children cumulated vsize (KiB) 406168

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/83 14402
/proc/meminfo: memFree=1090040/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=417652 CPUtime=1470.8
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 267722 668 0 0 146965 114 1 0 25 0 1 0 59381856 427675648 97325 996147200 134512640 135215973 4294956304 18446744073709551615 134597297 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 104413 97325 413 171 0 103338 0
Current children cumulated CPU time (s) 1470.8
Current children cumulated vsize (KiB) 417652

[startup+1542.3 s]
/proc/loadavg: 2.33 2.16 2.04 3/83 14402
/proc/meminfo: memFree=1079800/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=418840 CPUtime=1530.24
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 272278 668 0 0 152907 116 1 0 25 0 1 0 59381856 428892160 97617 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 104710 97617 413 171 0 103635 0
Current children cumulated CPU time (s) 1530.24
Current children cumulated vsize (KiB) 418840

[startup+1602.3 s]
/proc/loadavg: 2.17 2.14 2.04 3/82 14402
/proc/meminfo: memFree=1076536/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=422004 CPUtime=1589.69
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 277334 668 0 0 158849 119 1 0 25 0 1 0 59381856 432132096 98409 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 105501 98409 413 171 0 104426 0
Current children cumulated CPU time (s) 1589.69
Current children cumulated vsize (KiB) 422004

[startup+1662.3 s]
/proc/loadavg: 2.10 2.13 2.04 3/82 14402
/proc/meminfo: memFree=1073528/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=425172 CPUtime=1649.12
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 282374 668 0 0 164790 121 1 0 25 0 1 0 59381856 435376128 99185 996147200 134512640 135215973 4294956304 18446744073709551615 134591473 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 106293 99185 413 171 0 105218 0
Current children cumulated CPU time (s) 1649.12
Current children cumulated vsize (KiB) 425172

[startup+1722.3 s]
/proc/loadavg: 2.04 2.10 2.04 3/82 14402
/proc/meminfo: memFree=1070520/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=428076 CPUtime=1708.57
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 287040 668 0 0 170732 124 1 0 25 0 1 0 59381856 438349824 99915 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 107019 99915 413 171 0 105944 0
Current children cumulated CPU time (s) 1708.57
Current children cumulated vsize (KiB) 428076

[startup+1782.3 s]
/proc/loadavg: 2.01 2.08 2.03 3/82 14402
/proc/meminfo: memFree=1067192/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=431244 CPUtime=1768.01
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 292107 668 0 0 176673 127 1 0 25 0 1 0 59381856 441593856 100718 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 107811 100718 413 171 0 106736 0
Current children cumulated CPU time (s) 1768.01
Current children cumulated vsize (KiB) 431244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.6 s]
/proc/loadavg: 2.00 2.07 2.03 3/82 14402
/proc/meminfo: memFree=1065528/2055920 swapFree=4192812/4192956
[pid=14347] ppid=14345 vsize=432956 CPUtime=1800.02
/proc/14347/stat : 14347 (pcs.big) R 14345 14347 12731 0 -1 4194304 294824 668 0 0 179873 128 1 0 25 0 1 0 59381856 443346944 101139 996147200 134512640 135215973 4294956304 18446744073709551615 134600784 0 0 4096 0 0 0 0 17 1 0 0
/proc/14347/statm: 108239 101139 413 171 0 107164 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 432956

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): 1814.68
CPU time (s): 1800.12
CPU user time (s): 1798.75
CPU system time (s): 1.36279
CPU usage (%): 99.1976
Max. virtual memory (cumulated for all children) (KiB): 433084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.36279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295492
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= 32
involuntary context switches= 45280

runsolver used 1.92271 second user time and 4.99824 second system time

The end

Launcher Data 

Begin job on node42 at 2009-07-16 07:46:19
IDJOB=2083463
IDBENCH=57828
IDSOLVER=734
FILE ID=node42/2083463-1247723179
PBS_JOBID= 9521419
Free space on /tmp= 66284 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp38/normalized-fapp38-2500-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083463-1247723179/watcher-2083463-1247723179 -o /tmp/evaluation-result-2083463-1247723179/solver-2083463-1247723179 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1084669923 HOME/instance-2083463-1247723179.xml

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

MD5SUM BENCH= 64e0e16bf67546b6939ec446b8afe6cf
RANDOM SEED=1084669923

node42.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.283
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.283
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:       1428920 kB
Buffers:         84296 kB
Cached:         344308 kB
SwapCached:          0 kB
Active:         199488 kB
Inactive:       337656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1428920 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10400 kB
Writeback:           0 kB
Mapped:         120032 kB
Slab:            74992 kB
Committed_AS:   643644 kB
PageTables:       1992 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= 66284 MiB
End job on node42 at 2009-07-16 08:16:36