Trace number 2083155

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.08 1808.84

General information on the benchmark

Namecsp/fapp/fapp10/
normalized-fapp10-0900-4.xml
MD5SUMf60495681f907379789521d31738f5ab
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark26.6949
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints11381
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11381
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.18/0.20	c Seed is 2143526306
0.18/0.20	c Constructing HOME/instance-2083155-1247722528.xml  with 71589 constraints
1.17/1.28	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-2083155-1247722528/watcher-2083155-1247722528 -o /tmp/evaluation-result-2083155-1247722528/solver-2083155-1247722528 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2143526306 HOME/instance-2083155-1247722528.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.04 2.01 2.00 4/82 21569
/proc/meminfo: memFree=1513104/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=5356 CPUtime=0
/proc/21569/stat : 21569 (pcssolve) R 21567 21569 18473 0 -1 4194304 268 0 0 0 0 0 0 0 22 0 1 0 59319437 5484544 236 996147200 4194304 4889804 548682068800 18446744073709551615 4450768 0 0 4100 65536 0 0 0 17 1 0 0
/proc/21569/statm: 1339 236 197 169 0 50 0

[startup+0.0848869 s]
/proc/loadavg: 2.04 2.01 2.00 4/82 21569
/proc/meminfo: memFree=1513104/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=6360 CPUtime=0.06
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1224 664 0 0 6 0 0 0 18 0 1 0 59319437 6512640 819 996147200 134512640 135215973 4294956304 18446744073709551615 13023127 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 1590 819 386 171 0 515 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6360

[startup+0.10189 s]
/proc/loadavg: 2.04 2.01 2.00 4/82 21569
/proc/meminfo: memFree=1513104/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=6776 CPUtime=0.07
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1378 664 0 0 7 0 0 0 18 0 1 0 59319437 6938624 899 996147200 134512640 135215973 4294956304 18446744073709551615 4158960644 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 1694 899 386 171 0 619 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6776

[startup+0.30192 s]
/proc/loadavg: 2.04 2.01 2.00 4/82 21569
/proc/meminfo: memFree=1513104/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=11888 CPUtime=0.28
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 2990 664 0 0 27 1 0 0 19 0 1 0 59319437 12173312 1982 996147200 134512640 135215973 4294956304 18446744073709551615 13021261 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 2972 1982 386 171 0 1897 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11888

[startup+0.701961 s]
/proc/loadavg: 2.04 2.01 2.00 4/82 21569
/proc/meminfo: memFree=1513104/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=22652 CPUtime=0.67
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 6384 664 0 0 65 2 0 0 23 0 1 0 59319437 23195648 3869 996147200 134512640 135215973 4294956304 18446744073709551615 134795013 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 5663 3869 386 171 0 4588 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22652

[startup+1.50104 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 21574
/proc/meminfo: memFree=1493768/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=38396 CPUtime=1.47
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 13209 664 0 0 141 6 0 0 25 0 1 0 59319437 39317504 8353 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 9599 8353 410 171 0 8524 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 38396

[startup+3.10123 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 21574
/proc/meminfo: memFree=1480776/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=38820 CPUtime=2.98
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 13386 664 0 0 292 6 0 0 25 0 1 0 59319437 39751680 8460 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 9705 8460 410 171 0 8630 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 38820

[startup+6.30141 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 21574
/proc/meminfo: memFree=1480008/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=39236 CPUtime=5.98
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 13614 664 0 0 592 6 0 0 25 0 1 0 59319437 40177664 8583 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 0 0 0
/proc/21569/statm: 9809 8583 410 171 0 8734 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 39236

[startup+12.7011 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 21614
/proc/meminfo: memFree=1697688/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=42840 CPUtime=12.06
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 14661 664 0 0 1200 6 0 0 25 0 1 0 59319437 43868160 9421 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/21569/statm: 10710 9421 410 171 0 9635 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 42840

[startup+25.5026 s]
/proc/loadavg: 2.17 2.04 2.01 3/83 21615
/proc/meminfo: memFree=1661456/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=45428 CPUtime=24.77
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 21065 664 0 0 2468 9 0 0 25 0 1 0 59319437 46518272 9918 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 0 0 0
/proc/21569/statm: 11357 9918 413 171 0 10282 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 45428

[startup+51.1026 s]
/proc/loadavg: 2.19 2.06 2.01 3/83 21615
/proc/meminfo: memFree=1571088/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=47536 CPUtime=50.25
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 49224 664 0 0 5006 19 0 0 25 0 1 0 59319437 48676864 10444 996147200 134512640 135215973 4294956304 18446744073709551615 134591840 0 0 4096 0 0 0 0 17 0 0 0
/proc/21569/statm: 11884 10444 413 171 0 10809 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 47536

[startup+102.302 s]
/proc/loadavg: 2.20 2.08 2.02 4/83 21615
/proc/meminfo: memFree=1224336/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=56116 CPUtime=101.21
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 103754 664 0 0 10087 34 0 0 25 0 1 0 59319437 57462784 12575 996147200 134512640 135215973 4294956304 18446744073709551615 134585677 0 0 4096 0 0 0 0 17 0 0 0
/proc/21569/statm: 14029 12575 413 171 0 12954 0
Current children cumulated CPU time (s) 101.21
Current children cumulated vsize (KiB) 56116

[startup+162.302 s]
/proc/loadavg: 2.11 2.07 2.02 3/73 21648
/proc/meminfo: memFree=1619360/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=62444 CPUtime=160.46
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 154011 664 0 0 15996 50 0 0 25 0 1 0 59319437 63942656 14215 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 15611 14215 413 171 0 14536 0
Current children cumulated CPU time (s) 160.46
Current children cumulated vsize (KiB) 62444

[startup+222.302 s]
/proc/loadavg: 2.04 2.06 2.01 3/73 21648
/proc/meminfo: memFree=1609440/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=70520 CPUtime=220.21
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 186517 664 0 0 21961 60 0 0 25 0 1 0 59319437 72212480 15815 996147200 134512640 135215973 4294956304 18446744073709551615 134589125 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 17630 15815 413 171 0 16555 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 70520

[startup+282.302 s]
/proc/loadavg: 2.01 2.05 2.01 3/73 21648
/proc/meminfo: memFree=1597536/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=77252 CPUtime=279.97
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 212564 664 0 0 27929 68 0 0 25 0 1 0 59319437 79106048 17523 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 19313 17523 413 171 0 18238 0
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (KiB) 77252

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 21648
/proc/meminfo: memFree=1589856/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=81472 CPUtime=339.72
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 244904 664 0 0 33894 78 0 0 25 0 1 0 59319437 83427328 18570 996147200 134512640 135215973 4294956304 18446744073709551615 134591856 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 20368 18570 413 171 0 19293 0
Current children cumulated CPU time (s) 339.72
Current children cumulated vsize (KiB) 81472

[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 21648
/proc/meminfo: memFree=1582240/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=85692 CPUtime=399.46
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 286677 664 0 0 39854 92 0 0 25 0 1 0 59319437 87748608 19656 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 21423 19656 413 171 0 20348 0
Current children cumulated CPU time (s) 399.46
Current children cumulated vsize (KiB) 85692

[startup+462.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 21648
/proc/meminfo: memFree=1564704/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=97096 CPUtime=459.23
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 362948 664 0 0 45807 116 0 0 25 0 1 0 59319437 99426304 22483 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 24274 22483 413 171 0 23199 0
Current children cumulated CPU time (s) 459.23
Current children cumulated vsize (KiB) 97096

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 21648
/proc/meminfo: memFree=1551328/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=107128 CPUtime=518.98
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 419329 664 0 0 51765 133 0 0 25 0 1 0 59319437 109699072 25001 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 26782 25001 413 171 0 25707 0
Current children cumulated CPU time (s) 518.98
Current children cumulated vsize (KiB) 107128

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 21648
/proc/meminfo: memFree=1541472/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=113852 CPUtime=578.74
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 464033 664 0 0 57728 146 0 0 25 0 1 0 59319437 116584448 26700 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 28463 26700 413 171 0 27388 0
Current children cumulated CPU time (s) 578.74
Current children cumulated vsize (KiB) 113852

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21648
/proc/meminfo: memFree=1529504/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=121900 CPUtime=638.49
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 532731 664 0 0 63681 168 0 0 25 0 1 0 59319437 124825600 28725 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 30475 28725 413 171 0 29400 0
Current children cumulated CPU time (s) 638.49
Current children cumulated vsize (KiB) 121900

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21648
/proc/meminfo: memFree=1478304/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=146824 CPUtime=877.49
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 755993 664 0 0 87512 237 0 0 25 0 1 0 59319437 150347776 34977 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 36706 34977 413 171 0 35631 0
Current children cumulated CPU time (s) 877.49
Current children cumulated vsize (KiB) 146824

[startup+942.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 21648
/proc/meminfo: memFree=1466528/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=153288 CPUtime=937.25
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 787332 664 0 0 93479 246 0 0 25 0 1 0 59319437 156966912 36609 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 38322 36609 413 171 0 37247 0
Current children cumulated CPU time (s) 937.25
Current children cumulated vsize (KiB) 153288

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 21650
/proc/meminfo: memFree=1459488/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=155928 CPUtime=997
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 817335 664 0 0 99445 255 0 0 25 0 1 0 59319437 159670272 37271 996147200 134512640 135215973 4294956304 18446744073709551615 134597429 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 38982 37271 413 171 0 37907 0
Current children cumulated CPU time (s) 997
Current children cumulated vsize (KiB) 155928

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1451744/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=159620 CPUtime=1056.75
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 845164 664 0 0 105412 263 0 0 25 0 1 0 59319437 163450880 38199 996147200 134512640 135215973 4294956304 18446744073709551615 135094872 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 39905 38199 413 171 0 38830 0
Current children cumulated CPU time (s) 1056.75
Current children cumulated vsize (KiB) 159620

[startup+1122.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1441760/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=165560 CPUtime=1116.51
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 884723 664 0 0 111377 274 0 0 25 0 1 0 59319437 169533440 39694 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 41390 39694 413 171 0 40315 0
Current children cumulated CPU time (s) 1116.51
Current children cumulated vsize (KiB) 165560

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1434976/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=168860 CPUtime=1176.25
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 912789 664 0 0 117342 283 0 0 25 0 1 0 59319437 172912640 40493 996147200 134512640 135215973 4294956304 18446744073709551615 134970082 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 42215 40493 413 171 0 41140 0
Current children cumulated CPU time (s) 1176.25
Current children cumulated vsize (KiB) 168860

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1425376/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=175064 CPUtime=1236
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 950228 664 0 0 123304 296 0 0 25 0 1 0 59319437 179265536 42064 996147200 134512640 135215973 4294956304 18446744073709551615 135094643 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 43766 42064 413 171 0 42691 0
Current children cumulated CPU time (s) 1236
Current children cumulated vsize (KiB) 175064

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1420128/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=176912 CPUtime=1295.73
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 978018 664 0 0 129269 304 0 0 25 0 1 0 59319437 181157888 42526 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 44228 42526 413 171 0 43153 0
Current children cumulated CPU time (s) 1295.73
Current children cumulated vsize (KiB) 176912

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1410400/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=181796 CPUtime=1355.48
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1004328 664 0 0 135234 314 0 0 25 0 1 0 59319437 186159104 43765 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 45449 43765 413 171 0 44374 0
Current children cumulated CPU time (s) 1355.48
Current children cumulated vsize (KiB) 181796

[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 21650
/proc/meminfo: memFree=1399328/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=186808 CPUtime=1415.23
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1025154 664 0 0 141201 322 0 0 25 0 1 0 59319437 191291392 45010 996147200 134512640 135215973 4294956304 18446744073709551615 134597368 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 46702 45010 413 171 0 45627 0
Current children cumulated CPU time (s) 1415.23
Current children cumulated vsize (KiB) 186808

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 21650
/proc/meminfo: memFree=1393120/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=187072 CPUtime=1474.96
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1040295 664 0 0 147168 328 0 0 25 0 1 0 59319437 191561728 45084 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 46768 45084 413 171 0 45693 0
Current children cumulated CPU time (s) 1474.96
Current children cumulated vsize (KiB) 187072

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1382424/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=190236 CPUtime=1534.66
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1061625 664 0 0 153130 336 0 0 25 0 1 0 59319437 194801664 45857 996147200 134512640 135215973 4294956304 18446744073709551615 134591658 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 47559 45857 413 171 0 46484 0
Current children cumulated CPU time (s) 1534.66
Current children cumulated vsize (KiB) 190236

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1377688/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=191028 CPUtime=1594.38
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1087288 664 0 0 159093 345 0 0 25 0 1 0 59319437 195612672 46083 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 47757 46083 413 171 0 46682 0
Current children cumulated CPU time (s) 1594.38
Current children cumulated vsize (KiB) 191028

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1369880/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=192872 CPUtime=1654.12
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1108302 664 0 0 165059 353 0 0 25 0 1 0 59319437 197500928 46540 996147200 134512640 135215973 4294956304 18446744073709551615 134583377 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 48218 46540 413 171 0 47143 0
Current children cumulated CPU time (s) 1654.12
Current children cumulated vsize (KiB) 192872

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1360984/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=197092 CPUtime=1713.86
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1129480 664 0 0 171026 360 0 0 25 0 1 0 59319437 201822208 47588 996147200 134512640 135215973 4294956304 18446744073709551615 134583409 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 49273 47588 413 171 0 48198 0
Current children cumulated CPU time (s) 1713.86
Current children cumulated vsize (KiB) 197092

[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1356952/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=197616 CPUtime=1773.63
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1149331 664 0 0 176996 367 0 0 25 0 1 0 59319437 202358784 47736 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 49404 47736 413 171 0 48329 0
Current children cumulated CPU time (s) 1773.63
Current children cumulated vsize (KiB) 197616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1355160/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=199464 CPUtime=1800.03
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1159600 664 0 0 179632 371 0 0 25 0 1 0 59319437 204251136 48184 996147200 134512640 135215973 4294956304 18446744073709551615 135094860 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 49866 48184 413 171 0 48791 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 199464

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

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

[startup+1808.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1355160/2055920 swapFree=4192812/4192956
[pid=21569] ppid=21567 vsize=199464 CPUtime=1800.03
/proc/21569/stat : 21569 (pcs.big) R 21567 21569 18473 0 -1 4194304 1159600 664 0 0 179632 371 0 0 25 0 1 0 59319437 204251136 48184 996147200 134512640 135215973 4294956304 18446744073709551615 135094860 0 0 4096 0 0 0 0 17 1 0 0
/proc/21569/statm: 49866 48184 413 171 0 48791 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 199464

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.84
CPU time (s): 1800.08
CPU user time (s): 1796.33
CPU system time (s): 3.75143
CPU usage (%): 99.5156
Max. virtual memory (cumulated for all children) (KiB): 199464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.33
system time used= 3.75143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1160264
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= 26
involuntary context switches= 20301

runsolver used 1.75273 second user time and 4.91425 second system time

The end

Launcher Data 

Begin job on node28 at 2009-07-16 07:35:28
IDJOB=2083155
IDBENCH=57722
IDSOLVER=734
FILE ID=node28/2083155-1247722528
PBS_JOBID= 9521391
Free space on /tmp= 66008 MiB

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

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

MD5SUM BENCH= f60495681f907379789521d31738f5ab
RANDOM SEED=2143526306

node28.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.230
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.230
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:       1513584 kB
Buffers:         46408 kB
Cached:         167044 kB
SwapCached:          0 kB
Active:         340764 kB
Inactive:       138040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1513584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3316 kB
Writeback:           0 kB
Mapped:         285740 kB
Slab:            48120 kB
Committed_AS:   841484 kB
PageTables:       2368 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66004 MiB
End job on node28 at 2009-07-16 08:05:39