Trace number 2083188

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.16 1800.96

General information on the benchmark

Namecsp/fapp/fapp13/
normalized-fapp13-2000-6.xml
MD5SUMb1bc0ce20909360461048c9e001540ac
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
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 518969554
0.00/0.02	c Constructing HOME/instance-2083188-1247722623.xml  with 161470 constraints
2.67/2.76	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-2083188-1247722623/watcher-2083188-1247722623 -o /tmp/evaluation-result-2083188-1247722623/solver-2083188-1247722623 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 518969554 HOME/instance-2083188-1247722623.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.38 2.15 2.04 3/73 14574
/proc/meminfo: memFree=1572432/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=5356 CPUtime=0
/proc/14574/stat : 14574 (pcssolve) R 14572 14574 13038 0 -1 4194304 305 0 0 0 0 0 0 0 19 0 1 0 59327716 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 243665527620 0 65536 4100 65538 0 0 0 17 0 0 0
/proc/14574/statm: 1339 242 201 169 0 50 0
[pid=14575] ppid=14574 vsize=0 CPUtime=0
/proc/14575/stat : 14575 (fgrep) Z 14574 14574 13038 0 -1 4194316 155 0 0 0 0 0 0 0 18 0 1 0 59327717 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/14575/statm: 0 0 0 0 0 0 0
[pid=14576] ppid=14574 vsize=5356 CPUtime=0
/proc/14576/stat : 14576 (pcssolve) R 14574 14574 13038 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 59327717 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 243665530151 0 0 4096 0 0 0 0 17 0 0 0
/proc/14576/statm: 1339 244 203 169 0 50 0

[startup+0.10343 s]
/proc/loadavg: 2.38 2.15 2.04 3/73 14574
/proc/meminfo: memFree=1572432/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=7072 CPUtime=0.07
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 1450 666 0 0 7 0 0 0 20 0 1 0 59327716 7241728 967 996147200 134512640 135215973 4294956304 18446744073709551615 7222283 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 1768 969 386 171 0 693 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7072

[startup+0.202449 s]
/proc/loadavg: 2.38 2.15 2.04 3/73 14574
/proc/meminfo: memFree=1572432/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=9616 CPUtime=0.17
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 2256 666 0 0 17 0 0 0 20 0 1 0 59327716 9846784 1486 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 2404 1486 386 171 0 1329 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9616

[startup+0.302466 s]
/proc/loadavg: 2.38 2.15 2.04 3/73 14574
/proc/meminfo: memFree=1572432/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=13576 CPUtime=0.28
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 3387 666 0 0 27 1 0 0 21 0 1 0 59327716 13901824 2137 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 3394 2137 386 171 0 2319 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13576

[startup+0.701536 s]
/proc/loadavg: 2.38 2.15 2.04 3/73 14574
/proc/meminfo: memFree=1572432/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=22848 CPUtime=0.67
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 6516 666 0 0 65 2 0 0 25 0 1 0 59327716 23396352 4083 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 5712 4083 386 171 0 4637 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22848

[startup+1.50168 s]
/proc/loadavg: 2.38 2.15 2.04 3/74 14579
/proc/meminfo: memFree=1548872/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=41660 CPUtime=1.47
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 12941 666 0 0 142 5 0 0 25 0 1 0 59327716 42659840 8015 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 10415 8015 386 171 0 9340 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 41660

[startup+3.10198 s]
/proc/loadavg: 2.38 2.15 2.04 3/74 14579
/proc/meminfo: memFree=1526728/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=85544 CPUtime=3.07
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 30455 666 0 0 296 11 0 0 25 0 1 0 59327716 87597056 18114 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 21386 18114 410 171 0 20311 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 85544

[startup+6.30155 s]
/proc/loadavg: 2.35 2.15 2.04 3/74 14579
/proc/meminfo: memFree=1498952/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=87020 CPUtime=6.27
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 31075 666 0 0 616 11 0 0 25 0 1 0 59327716 89108480 18351 996147200 134512640 135215973 4294956304 18446744073709551615 134583456 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 21755 18351 410 171 0 20680 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 87020

[startup+12.7017 s]
/proc/loadavg: 2.32 2.14 2.04 3/74 14579
/proc/meminfo: memFree=1494928/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=91588 CPUtime=12.66
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 32616 666 0 0 1254 12 0 0 25 0 1 0 59327716 93786112 19475 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 22897 19475 410 171 0 21822 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 91588

[startup+25.502 s]
/proc/loadavg: 2.25 2.14 2.04 3/74 14579
/proc/meminfo: memFree=1486544/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=100064 CPUtime=25.46
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 35143 666 0 0 2533 13 0 0 25 0 1 0 59327716 102465536 21169 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 25016 21169 410 171 0 23941 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 100064

[startup+51.1027 s]
/proc/loadavg: 2.16 2.13 2.04 3/74 14579
/proc/meminfo: memFree=1478608/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=102320 CPUtime=51.05
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 125810 666 0 0 5066 39 0 0 25 0 1 0 59327716 104775680 21791 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 25580 21791 413 171 0 24505 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 102320

[startup+102.302 s]
/proc/loadavg: 2.07 2.10 2.03 3/74 14579
/proc/meminfo: memFree=1462544/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=110628 CPUtime=102.24
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 267893 666 0 0 10143 81 0 0 25 0 1 0 59327716 113283072 23879 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 27657 23879 413 171 0 26582 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 110628

[startup+162.302 s]
/proc/loadavg: 2.02 2.08 2.03 3/74 14579
/proc/meminfo: memFree=1451792/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=117228 CPUtime=162.21
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 430874 666 0 0 16088 133 0 0 25 0 1 0 59327716 120041472 25535 996147200 134512640 135215973 4294956304 18446744073709551615 4158960167 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 29307 25535 413 171 0 28232 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 117228

[startup+222.307 s]
/proc/loadavg: 2.01 2.06 2.02 3/74 14579
/proc/meminfo: memFree=1437008/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=123296 CPUtime=222.2
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 550788 666 0 0 22048 172 0 0 25 0 1 0 59327716 126255104 27054 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 30824 27054 413 171 0 29749 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 123296

[startup+282.302 s]
/proc/loadavg: 2.00 2.05 2.02 3/74 14579
/proc/meminfo: memFree=1418320/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=130280 CPUtime=282.18
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 792858 666 0 0 27975 243 0 0 25 0 1 0 59327716 133406720 28824 996147200 134512640 135215973 4294956304 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 32570 28824 413 171 0 31495 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 130280

[startup+342.302 s]
/proc/loadavg: 2.00 2.04 2.01 3/74 14579
/proc/meminfo: memFree=1404688/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=138188 CPUtime=342.15
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 1021794 666 0 0 33906 309 0 0 25 0 1 0 59327716 141504512 30825 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 34547 30825 413 171 0 33472 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 138188

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 14579
/proc/meminfo: memFree=1387920/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=143864 CPUtime=402.13
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 1129323 666 0 0 39871 342 0 0 25 0 1 0 59327716 147316736 32244 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 35966 32244 413 171 0 34891 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 143864

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 14579
/proc/meminfo: memFree=1369680/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=152828 CPUtime=462.11
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 1329465 666 0 0 45806 405 0 0 25 0 1 0 59327716 156495872 34476 996147200 134512640 135215973 4294956304 18446744073709551615 134583660 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 38207 34476 413 171 0 37132 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 152828

[startup+522.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/74 14579
/proc/meminfo: memFree=1354896/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=159420 CPUtime=522.09
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 1528695 666 0 0 51745 464 0 0 25 0 1 0 59327716 163246080 36201 996147200 134512640 135215973 4294956304 18446744073709551615 134600804 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 39855 36201 413 171 0 38780 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 159420

[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/74 14579
/proc/meminfo: memFree=1341840/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=166796 CPUtime=582.08
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 1693252 666 0 0 57694 514 0 0 25 0 1 0 59327716 170799104 38050 996147200 134512640 135215973 4294956304 18446744073709551615 134591384 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 41699 38050 413 171 0 40624 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 166796

[startup+642.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/74 14579
/proc/meminfo: memFree=1331984/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=172204 CPUtime=642.05

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

[startup+822.302 s]
/proc/loadavg: 2.03 2.04 2.00 3/74 14579
/proc/meminfo: memFree=1306384/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=186960 CPUtime=821.99
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 2290733 666 0 0 81505 694 0 0 25 0 1 0 59327716 191447040 43151 996147200 134512640 135215973 4294956304 18446744073709551615 134597443 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 46740 43151 413 171 0 45665 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 186960

[startup+882.307 s]
/proc/loadavg: 2.01 2.03 2.00 3/74 14581
/proc/meminfo: memFree=1290760/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=194600 CPUtime=881.97
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 2465049 666 0 0 87448 749 0 0 25 0 1 0 59327716 199270400 45072 996147200 134512640 135215973 4294956304 18446744073709551615 134583412 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 48650 45072 413 171 0 47575 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 194600

[startup+942.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 14581
/proc/meminfo: memFree=1276368/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=204088 CPUtime=941.95
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 2640511 666 0 0 93396 799 0 0 25 0 1 0 59327716 208986112 47464 996147200 134512640 135215973 4294956304 18446744073709551615 134585756 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 51022 47464 413 171 0 49947 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 204088

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 14581
/proc/meminfo: memFree=1264656/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=211200 CPUtime=1001.93
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 2823377 666 0 0 99340 853 0 0 25 0 1 0 59327716 216268800 49230 996147200 134512640 135215973 4294956304 18446744073709551615 134600789 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 52800 49230 413 171 0 51725 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 211200

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 14581
/proc/meminfo: memFree=1256656/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=215028 CPUtime=1061.91
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 2923693 666 0 0 105307 884 0 0 25 0 1 0 59327716 220188672 50186 996147200 134512640 135215973 4294956304 18446744073709551615 134590112 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 53757 50186 413 171 0 52682 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 215028

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 14581
/proc/meminfo: memFree=1240784/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=225976 CPUtime=1121.89
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 3163786 666 0 0 111241 948 0 0 25 0 1 0 59327716 231399424 52949 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 56494 52949 413 171 0 55419 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 225976

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14581
/proc/meminfo: memFree=1221712/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=235228 CPUtime=1181.87
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 3360487 666 0 0 117178 1009 0 0 25 0 1 0 59327716 240873472 55250 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 58807 55250 413 171 0 57732 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 235228

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14581
/proc/meminfo: memFree=1196176/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=245900 CPUtime=1241.85
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 3585804 666 0 0 123104 1081 0 0 25 0 1 0 59327716 251801600 57952 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 61475 57952 413 171 0 60400 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 245900

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14581
/proc/meminfo: memFree=1172752/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=256584 CPUtime=1301.83
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 3786001 666 0 0 129043 1140 0 0 25 0 1 0 59327716 262742016 60644 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 64146 60644 413 171 0 63071 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 256584

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14581
/proc/meminfo: memFree=1151888/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=269372 CPUtime=1361.81
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 3979314 666 0 0 134985 1196 0 0 25 0 1 0 59327716 275836928 63877 996147200 134512640 135215973 4294956304 18446744073709551615 135095011 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 67343 63877 413 171 0 66268 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 269372

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14581
/proc/meminfo: memFree=1128912/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=281236 CPUtime=1421.8
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 4184116 666 0 0 140922 1258 0 0 25 0 1 0 59327716 287985664 66854 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 70309 66854 413 171 0 69234 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 281236

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14587
/proc/meminfo: memFree=1111504/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=290996 CPUtime=1481.77
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 4379137 666 0 0 146855 1322 0 0 25 0 1 0 59327716 297979904 69365 996147200 134512640 135215973 4294956304 18446744073709551615 134591502 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 72749 69365 413 171 0 71674 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 290996

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14587
/proc/meminfo: memFree=1098256/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=294692 CPUtime=1541.75
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 4475227 666 0 0 152823 1352 0 0 25 0 1 0 59327716 301764608 70280 996147200 134512640 135215973 4294956304 18446744073709551615 134585706 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 73673 70280 413 171 0 72598 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 294692

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14587
/proc/meminfo: memFree=1090768/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=298256 CPUtime=1601.73
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 4529998 666 0 0 158801 1372 0 0 25 0 1 0 59327716 305414144 71186 996147200 134512640 135215973 4294956304 18446744073709551615 134585798 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 74564 71186 413 171 0 73489 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 298256

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14587
/proc/meminfo: memFree=1080592/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=303140 CPUtime=1661.71
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 4621265 666 0 0 164769 1402 0 0 25 0 1 0 59327716 310415360 72408 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 75785 72408 413 171 0 74710 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 303140

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14587
/proc/meminfo: memFree=1069840/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=307884 CPUtime=1721.69
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 4712897 666 0 0 170739 1430 0 0 25 0 1 0 59327716 315273216 73590 996147200 134512640 135215973 4294956304 18446744073709551615 134974415 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 76971 73590 413 171 0 75896 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 307884

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14619
/proc/meminfo: memFree=1324416/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=312352 CPUtime=1781.56
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 4802870 666 0 0 176696 1460 0 0 25 0 1 0 59327716 319848448 74733 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 78088 74733 413 171 0 77013 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 312352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14619
/proc/meminfo: memFree=1322944/2055920 swapFree=4192812/4192956
[pid=14574] ppid=14572 vsize=313672 CPUtime=1800.08
/proc/14574/stat : 14574 (pcs.big) R 14572 14574 13038 0 -1 4194304 4824127 666 0 0 178541 1467 0 0 25 0 1 0 59327716 321200128 75065 996147200 134512640 135215973 4294956304 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14574/statm: 78418 75065 413 171 0 77343 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 313672

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): 1800.96
CPU time (s): 1800.16
CPU user time (s): 1785.43
CPU system time (s): 14.7358
CPU usage (%): 99.956
Max. virtual memory (cumulated for all children) (KiB): 314212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.43
system time used= 14.7358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4824793
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= 31
involuntary context switches= 2481

runsolver used 1.60276 second user time and 4.95925 second system time

The end

Launcher Data 

Begin job on node84 at 2009-07-16 07:37:03
IDJOB=2083188
IDBENCH=57732
IDSOLVER=734
FILE ID=node84/2083188-1247722623
PBS_JOBID= 9521381
Free space on /tmp= 66176 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp13/normalized-fapp13-2000-6.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083188-1247722623/watcher-2083188-1247722623 -o /tmp/evaluation-result-2083188-1247722623/solver-2083188-1247722623 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 518969554 HOME/instance-2083188-1247722623.xml

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

MD5SUM BENCH= b1bc0ce20909360461048c9e001540ac
RANDOM SEED=518969554

node84.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.259
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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1572720 kB
Buffers:         73400 kB
Cached:         221176 kB
SwapCached:          0 kB
Active:         189188 kB
Inactive:       205564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1572720 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5312 kB
Writeback:           0 kB
Mapped:         111632 kB
Slab:            73504 kB
Committed_AS:   577836 kB
PageTables:       1956 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= 66176 MiB
End job on node84 at 2009-07-16 08:07:06