Trace number 2083198

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 0.3.2? (TO) 1800.09 1809.74

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-9.xml
MD5SUMa935103af39bd284c54c6d98a149f42a
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 benchmark315.042
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
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 676993797
0.00/0.02	c Constructing HOME/instance-2083198-1247722632.xml  with 160409 constraints
2.74/3.73	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-2083198-1247722632/watcher-2083198-1247722632 -o /tmp/evaluation-result-2083198-1247722632/solver-2083198-1247722632 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 676993797 HOME/instance-2083198-1247722632.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.20 2.08 2.02 4/72 21643
/proc/meminfo: memFree=1709352/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=18576 CPUtime=0
/proc/21643/stat : 21643 (runsolver) R 21641 21643 19964 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 59329836 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 217871609127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21643/statm: 4644 284 249 26 0 2626 0

[startup+0.0758231 s]
/proc/loadavg: 2.20 2.08 2.02 4/72 21643
/proc/meminfo: memFree=1709352/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=5996 CPUtime=0.04
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1147 662 0 0 4 0 0 0 23 0 1 0 59329836 6139904 778 996147200 134512640 135215973 4294956304 18446744073709551615 134795273 0 0 4096 0 0 0 0 17 1 0 0
/proc/21643/statm: 1499 778 386 171 0 424 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5996

[startup+0.101825 s]
/proc/loadavg: 2.20 2.08 2.02 4/72 21643
/proc/meminfo: memFree=1709352/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=6692 CPUtime=0.07
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1316 662 0 0 7 0 0 0 23 0 1 0 59329836 6852608 906 996147200 134512640 135215973 4294956304 18446744073709551615 134796301 0 0 4096 0 0 0 0 17 1 0 0
/proc/21643/statm: 1673 906 386 171 0 598 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6692

[startup+0.30185 s]
/proc/loadavg: 2.20 2.08 2.02 4/72 21643
/proc/meminfo: memFree=1709352/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=11936 CPUtime=0.27
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 2818 662 0 0 26 1 0 0 25 0 1 0 59329836 12222464 1996 996147200 134512640 135215973 4294956304 18446744073709551615 13057670 0 0 4096 0 0 0 0 17 1 0 0
/proc/21643/statm: 2984 1996 386 171 0 1909 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11936

[startup+0.701896 s]
/proc/loadavg: 2.20 2.08 2.02 4/72 21643
/proc/meminfo: memFree=1709352/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=21656 CPUtime=0.66
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 6146 662 0 0 64 2 0 0 25 0 1 0 59329836 22175744 3909 996147200 134512640 135215973 4294956304 18446744073709551615 13022513 0 0 4096 0 0 0 0 17 1 0 0
/proc/21643/statm: 5414 3909 386 171 0 4339 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 21656

[startup+1.50199 s]
/proc/loadavg: 2.18 2.07 2.02 3/73 21648
/proc/meminfo: memFree=1688800/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=39344 CPUtime=1.46
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 12192 662 0 0 141 5 0 0 25 0 1 0 59329836 40288256 7673 996147200 134512640 135215973 4294956304 18446744073709551615 13059040 0 0 4096 0 0 0 0 17 1 0 0
/proc/21643/statm: 9836 7673 386 171 0 8761 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39344

[startup+3.10198 s]
/proc/loadavg: 2.18 2.07 2.02 3/73 21648
/proc/meminfo: memFree=1667552/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=72332 CPUtime=2.74
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 22926 662 0 0 263 11 0 0 25 0 1 0 59329836 74067968 13848 996147200 134512640 135215973 4294956304 18446744073709551615 134771981 0 0 4096 0 0 0 0 17 1 0 0
/proc/21643/statm: 18083 13848 386 171 0 17008 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 72332

[startup+6.30153 s]
/proc/loadavg: 2.18 2.07 2.02 3/73 21648
/proc/meminfo: memFree=1637792/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=85348 CPUtime=5.1
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 29620 662 0 0 497 13 0 0 25 0 1 0 59329836 87396352 18065 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 21337 18065 410 171 0 20262 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 85348

[startup+12.7013 s]
/proc/loadavg: 2.23 2.09 2.02 3/73 21648
/proc/meminfo: memFree=1636128/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=86596 CPUtime=11.46
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 30182 662 0 0 1133 13 0 0 25 0 1 0 59329836 88674304 18313 996147200 134512640 135215973 4294956304 18446744073709551615 134600073 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 21649 18313 410 171 0 20574 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 86596

[startup+25.5017 s]
/proc/loadavg: 2.20 2.08 2.02 3/73 21648
/proc/meminfo: memFree=1626080/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=94860 CPUtime=24.2
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 32723 662 0 0 2406 14 0 0 25 0 1 0 59329836 97136640 20437 996147200 134512640 135215973 4294956304 18446744073709551615 134590096 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 23715 20437 410 171 0 22640 0
Current children cumulated CPU time (s) 24.2
Current children cumulated vsize (KiB) 94860

[startup+51.1017 s]
/proc/loadavg: 2.12 2.08 2.02 3/73 21648
/proc/meminfo: memFree=1620576/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=99640 CPUtime=49.67
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 35044 662 0 0 4952 15 0 0 25 0 1 0 59329836 102031360 21121 996147200 134512640 135215973 4294956304 18446744073709551615 134597297 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 24910 21121 413 171 0 23835 0
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (KiB) 99640

[startup+102.307 s]
/proc/loadavg: 2.05 2.06 2.02 3/73 21648
/proc/meminfo: memFree=1611296/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=101744 CPUtime=100.65
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 91053 662 0 0 10032 33 0 0 25 0 1 0 59329836 104185856 21654 996147200 134512640 135215973 4294956304 18446744073709551615 134591585 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 25436 21654 413 171 0 24361 0
Current children cumulated CPU time (s) 100.65
Current children cumulated vsize (KiB) 101744

[startup+162.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/73 21648
/proc/meminfo: memFree=1601824/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=106228 CPUtime=160.39
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 161970 662 0 0 15987 52 0 0 25 0 1 0 59329836 108777472 22757 996147200 134512640 135215973 4294956304 18446744073709551615 134591393 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 26557 22757 413 171 0 25482 0
Current children cumulated CPU time (s) 160.39
Current children cumulated vsize (KiB) 106228

[startup+222.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/73 21648
/proc/meminfo: memFree=1592160/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=110716 CPUtime=220.13
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 224609 662 0 0 21942 71 0 0 25 0 1 0 59329836 113373184 23890 996147200 134512640 135215973 4294956304 18446744073709551615 134597427 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 27679 23890 413 171 0 26604 0
Current children cumulated CPU time (s) 220.13
Current children cumulated vsize (KiB) 110716

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 21648
/proc/meminfo: memFree=1585248/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=114144 CPUtime=279.87
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 267681 662 0 0 27905 82 0 0 25 0 1 0 59329836 116883456 24752 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 28536 24752 413 171 0 27461 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 114144

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 21648
/proc/meminfo: memFree=1568736/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=119420 CPUtime=339.61
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 320334 662 0 0 33864 97 0 0 25 0 1 0 59329836 122286080 26217 996147200 134512640 135215973 4294956304 18446744073709551615 134585804 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 29855 26217 413 171 0 28780 0
Current children cumulated CPU time (s) 339.61
Current children cumulated vsize (KiB) 119420

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 21648
/proc/meminfo: memFree=1554144/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=123248 CPUtime=399.34
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 411020 662 0 0 39810 124 0 0 25 0 1 0 59329836 126205952 27257 996147200 134512640 135215973 4294956304 18446744073709551615 134583528 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 30812 27257 413 171 0 29737 0
Current children cumulated CPU time (s) 399.34
Current children cumulated vsize (KiB) 123248

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 21648
/proc/meminfo: memFree=1543840/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=126016 CPUtime=459.07
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 493589 662 0 0 45761 146 0 0 25 0 1 0 59329836 129040384 27952 996147200 134512640 135215973 4294956304 18446744073709551615 134597353 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 31504 27952 413 171 0 30429 0
Current children cumulated CPU time (s) 459.07
Current children cumulated vsize (KiB) 126016

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21648
/proc/meminfo: memFree=1532640/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=128784 CPUtime=518.81
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 534101 662 0 0 51723 158 0 0 25 0 1 0 59329836 131874816 28666 996147200 134512640 135215973 4294956304 18446744073709551615 134583528 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 32196 28666 413 171 0 31121 0
Current children cumulated CPU time (s) 518.81
Current children cumulated vsize (KiB) 128784

[startup+582.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 21648
/proc/meminfo: memFree=1522400/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=130760 CPUtime=578.55
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 585236 662 0 0 57681 174 0 0 25 0 1 0 59329836 133898240 29149 996147200 134512640 135215973 4294956304 18446744073709551615 134585736 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 32690 29149 413 171 0 31615 0
Current children cumulated CPU time (s) 578.55
Current children cumulated vsize (KiB) 130760

[startup+642.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 21648
/proc/meminfo: memFree=1506592/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=138680 CPUtime=638.29
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 692012 662 0 0 63624 205 0 0 25 0 1 0 59329836 142008320 31137 996147200 134512640 135215973 4294956304 18446744073709551615 4158960157 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 34670 31137 413 171 0 33595 0
Current children cumulated CPU time (s) 638.29
Current children cumulated vsize (KiB) 138680

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 21648
/proc/meminfo: memFree=1470240/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=160052 CPUtime=817.51
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 962717 662 0 0 81464 287 0 0 25 0 1 0 59329836 163893248 36522 996147200 134512640 135215973 4294956304 18446744073709551615 134597368 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 40013 36522 413 171 0 38938 0
Current children cumulated CPU time (s) 817.51
Current children cumulated vsize (KiB) 160052

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 21650
/proc/meminfo: memFree=1462240/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=164144 CPUtime=877.25
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1022182 662 0 0 87420 305 0 0 25 0 1 0 59329836 168083456 37563 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 41036 37563 413 171 0 39961 0
Current children cumulated CPU time (s) 877.25
Current children cumulated vsize (KiB) 164144

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1454560/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=168492 CPUtime=936.99
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1080621 662 0 0 93375 324 0 0 25 0 1 0 59329836 172535808 38650 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 42123 38650 413 171 0 41048 0
Current children cumulated CPU time (s) 936.99
Current children cumulated vsize (KiB) 168492

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1443808/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=172184 CPUtime=996.73
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1123352 662 0 0 99334 339 0 0 25 0 1 0 59329836 176316416 39573 996147200 134512640 135215973 4294956304 18446744073709551615 134591824 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 43046 39573 413 171 0 41971 0
Current children cumulated CPU time (s) 996.73
Current children cumulated vsize (KiB) 172184

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1435808/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=175872 CPUtime=1056.47
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1181109 662 0 0 105289 358 0 0 25 0 1 0 59329836 180092928 40514 996147200 134512640 135215973 4294956304 18446744073709551615 134591440 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 43968 40514 413 171 0 42893 0
Current children cumulated CPU time (s) 1056.47
Current children cumulated vsize (KiB) 175872

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1428384/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=178908 CPUtime=1116.21
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1208943 662 0 0 111255 366 0 0 25 0 1 0 59329836 183201792 41280 996147200 134512640 135215973 4294956304 18446744073709551615 135094528 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 44727 41280 413 171 0 43652 0
Current children cumulated CPU time (s) 1116.21
Current children cumulated vsize (KiB) 178908

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1423008/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=182332 CPUtime=1175.95
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1249987 662 0 0 117214 381 0 0 25 0 1 0 59329836 186707968 42124 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 45583 42124 413 171 0 44508 0
Current children cumulated CPU time (s) 1175.95
Current children cumulated vsize (KiB) 182332

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1414560/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=186028 CPUtime=1235.69
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1303309 662 0 0 123173 396 0 0 25 0 1 0 59329836 190492672 43052 996147200 134512640 135215973 4294956304 18446744073709551615 134585469 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 46507 43052 413 171 0 45432 0
Current children cumulated CPU time (s) 1235.69
Current children cumulated vsize (KiB) 186028

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 21650
/proc/meminfo: memFree=1400736/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=192360 CPUtime=1295.43
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1391790 662 0 0 129124 419 0 0 25 0 1 0 59329836 196976640 44701 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 48090 44701 413 171 0 47015 0
Current children cumulated CPU time (s) 1295.43
Current children cumulated vsize (KiB) 192360

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/73 21650
/proc/meminfo: memFree=1393632/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=198688 CPUtime=1355.16
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1482983 662 0 0 135069 447 0 0 25 0 1 0 59329836 203456512 46382 996147200 134512640 135215973 4294956304 18446744073709551615 134583360 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 49672 46382 413 171 0 48597 0
Current children cumulated CPU time (s) 1355.16
Current children cumulated vsize (KiB) 198688

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21650
/proc/meminfo: memFree=1387424/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=204096 CPUtime=1414.9
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1588037 662 0 0 141012 478 0 0 25 0 1 0 59329836 208994304 47720 996147200 134512640 135215973 4294956304 18446744073709551615 134585789 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 51024 47720 413 171 0 49949 0
Current children cumulated CPU time (s) 1414.9
Current children cumulated vsize (KiB) 204096

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1378904/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=209232 CPUtime=1474.64
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1670419 662 0 0 146962 502 0 0 25 0 1 0 59329836 214253568 49032 996147200 134512640 135215973 4294956304 18446744073709551615 134591510 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 52308 49032 413 171 0 51233 0
Current children cumulated CPU time (s) 1474.64
Current children cumulated vsize (KiB) 209232

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1372504/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=215436 CPUtime=1534.37
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1753321 662 0 0 152909 528 0 0 25 0 1 0 59329836 220606464 50596 996147200 134512640 135215973 4294956304 18446744073709551615 134599834 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 53859 50596 413 171 0 52784 0
Current children cumulated CPU time (s) 1534.37
Current children cumulated vsize (KiB) 215436

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1363864/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=219392 CPUtime=1594.12
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1849442 662 0 0 158856 556 0 0 25 0 1 0 59329836 224657408 51577 996147200 134512640 135215973 4294956304 18446744073709551615 134600822 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 54848 51577 413 171 0 53773 0
Current children cumulated CPU time (s) 1594.12
Current children cumulated vsize (KiB) 219392

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 21656
/proc/meminfo: memFree=1358360/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=222952 CPUtime=1653.85
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1935577 662 0 0 164803 582 0 0 25 0 1 0 59329836 228302848 52488 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 55738 52488 413 171 0 54663 0
Current children cumulated CPU time (s) 1653.85
Current children cumulated vsize (KiB) 222952

[startup+1722.3 s]
/proc/loadavg: 1.87 1.97 1.99 3/73 21721
/proc/meminfo: memFree=1494488/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=225456 CPUtime=1712.67
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 1986849 662 0 0 170668 599 0 0 25 0 1 0 59329836 230866944 53108 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 56364 53108 413 171 0 55289 0
Current children cumulated CPU time (s) 1712.67
Current children cumulated vsize (KiB) 225456

[startup+1782.3 s]
/proc/loadavg: 1.95 1.97 1.99 3/73 21721
/proc/meminfo: memFree=1477592/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=229200 CPUtime=1772.64
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 2060280 662 0 0 176642 622 0 0 25 0 1 0 59329836 234700800 54045 996147200 134512640 135215973 4294956304 18446744073709551615 134583360 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 57300 54045 413 171 0 56225 0
Current children cumulated CPU time (s) 1772.64
Current children cumulated vsize (KiB) 229200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.7 s]
/proc/loadavg: 1.97 1.97 1.99 3/73 21721
/proc/meminfo: memFree=1472408/2055920 swapFree=4192812/4192956
[pid=21643] ppid=21641 vsize=231048 CPUtime=1800.03
/proc/21643/stat : 21643 (pcs.big) R 21641 21643 19964 0 -1 4194304 2092628 662 0 0 179371 632 0 0 25 0 1 0 59329836 236593152 54501 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 57762 54501 413 171 0 56687 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 231048

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): 1809.74
CPU time (s): 1800.09
CPU user time (s): 1793.72
CPU system time (s): 6.36803
CPU usage (%): 99.4667
Max. virtual memory (cumulated for all children) (KiB): 231452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.72
system time used= 6.36803
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2093290
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= 23
involuntary context switches= 24471

runsolver used 1.89471 second user time and 5.16421 second system time

The end

Launcher Data 

Begin job on node28 at 2009-07-16 07:37:12
IDJOB=2083198
IDBENCH=57738
IDSOLVER=733
FILE ID=node28/2083198-1247722632
PBS_JOBID= 9521462
Free space on /tmp= 66004 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083198-1247722632/watcher-2083198-1247722632 -o /tmp/evaluation-result-2083198-1247722632/solver-2083198-1247722632 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 676993797 HOME/instance-2083198-1247722632.xml

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

MD5SUM BENCH= a935103af39bd284c54c6d98a149f42a
RANDOM SEED=676993797

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:       1709832 kB
Buffers:         46712 kB
Cached:         170344 kB
SwapCached:          0 kB
Active:         144844 kB
Inactive:       138212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1709832 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5216 kB
Writeback:           0 kB
Mapped:          77544 kB
Slab:            48192 kB
Committed_AS:   614992 kB
PageTables:       1892 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= 66000 MiB
End job on node28 at 2009-07-16 08:07:24