Trace number 2083353

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 1805.87

General information on the benchmark

Namecsp/fapp/fapp21/
normalized-fapp21-0500-4.xml
MD5SUM6763a8e49185bfad346b8249a47748d7
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 benchmark18.2122
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints2852
Maximum constraint arity2
Maximum domain size242
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2852
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.20	c Seed is 625577531
0.18/0.20	c Constructing HOME/instance-2083353-1247723025.xml  with 17594 constraints
0.28/0.31	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-2083353-1247723025/watcher-2083353-1247723025 -o /tmp/evaluation-result-2083353-1247723025/solver-2083353-1247723025 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 625577531 HOME/instance-2083353-1247723025.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.09 2.07 2.01 4/72 18814
/proc/meminfo: memFree=1558128/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=5260 CPUtime=0
/proc/18814/stat : 18814 (pcssolve) R 18812 18814 17004 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 59366104 5386240 43 996147200 4194304 4889804 548682068800 18446744073709551615 240574855257 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 1315 43 29 169 0 14 0

[startup+0.086846 s]
/proc/loadavg: 2.09 2.07 2.01 4/72 18814
/proc/meminfo: memFree=1558128/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=6284 CPUtime=0.06
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 1239 660 0 0 6 0 0 0 18 0 1 0 59366104 6434816 830 996147200 134512640 135215973 4294956304 18446744073709551615 4159750768 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 1571 830 386 171 0 496 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6284

[startup+0.102842 s]
/proc/loadavg: 2.09 2.07 2.01 4/72 18814
/proc/meminfo: memFree=1558128/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=6844 CPUtime=0.08
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 1382 660 0 0 8 0 0 0 18 0 1 0 59366104 7008256 899 996147200 134512640 135215973 4294956304 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 1711 899 386 171 0 636 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6844

[startup+0.302867 s]
/proc/loadavg: 2.09 2.07 2.01 4/72 18814
/proc/meminfo: memFree=1558128/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=11232 CPUtime=0.28
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 2828 660 0 0 27 1 0 0 19 0 1 0 59366104 11501568 1889 996147200 134512640 135215973 4294956304 18446744073709551615 134697526 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 2808 1889 386 171 0 1733 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11232

[startup+0.702893 s]
/proc/loadavg: 2.09 2.07 2.01 4/72 18814
/proc/meminfo: memFree=1558128/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=12968 CPUtime=0.68
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 3595 660 0 0 67 1 0 0 23 0 1 0 59366104 13279232 2413 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 3242 2413 410 171 0 2167 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12968

[startup+1.50196 s]
/proc/loadavg: 2.09 2.07 2.01 3/73 18819
/proc/meminfo: memFree=1549736/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=13496 CPUtime=1.47
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 3764 660 0 0 146 1 0 0 25 0 1 0 59366104 13819904 2522 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 3374 2522 410 171 0 2299 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13496

[startup+3.1011 s]
/proc/loadavg: 2.09 2.07 2.01 3/73 18819
/proc/meminfo: memFree=1548520/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=14024 CPUtime=3.06
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 3945 660 0 0 305 1 0 0 25 0 1 0 59366104 14360576 2703 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 3506 2703 410 171 0 2431 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 14024

[startup+6.30138 s]
/proc/loadavg: 2.09 2.07 2.01 3/73 18819
/proc/meminfo: memFree=1547240/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=14928 CPUtime=6.26
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 4245 660 0 0 624 2 0 0 25 0 1 0 59366104 15286272 2898 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 3732 2898 413 171 0 2657 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14928

[startup+12.7019 s]
/proc/loadavg: 2.07 2.06 2.01 3/73 18819
/proc/meminfo: memFree=1544232/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=16776 CPUtime=12.63
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 4709 660 0 0 1261 2 0 0 25 0 1 0 59366104 17178624 3362 996147200 134512640 135215973 4294956304 18446744073709551615 134583418 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 4194 3362 413 171 0 3119 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 16776

[startup+25.5011 s]
/proc/loadavg: 2.06 2.06 2.01 3/73 18819
/proc/meminfo: memFree=1540008/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=20432 CPUtime=25.38
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 5626 660 0 0 2536 2 0 0 25 0 1 0 59366104 20922368 4279 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 5108 4279 413 171 0 4033 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 20432

[startup+51.1013 s]
/proc/loadavg: 2.04 2.05 2.01 3/73 18819
/proc/meminfo: memFree=1532712/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=27300 CPUtime=50.88
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 7369 660 0 0 5085 3 0 0 25 0 1 0 59366104 27955200 6022 996147200 134512640 135215973 4294956304 18446744073709551615 134583375 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 6825 6022 413 171 0 5750 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 27300

[startup+102.307 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 18819
/proc/meminfo: memFree=1513768/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=44768 CPUtime=101.88
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 11801 660 0 0 10183 5 0 0 25 0 1 0 59366104 45842432 10245 996147200 134512640 135215973 4294956304 18446744073709551615 4158960162 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 11192 10245 413 171 0 10117 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 44768

[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 18819
/proc/meminfo: memFree=1486632/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=64720 CPUtime=161.64
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 16798 660 0 0 16158 6 0 0 25 0 1 0 59366104 66273280 15242 996147200 134512640 135215973 4294956304 18446744073709551615 134585878 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 16180 15242 413 171 0 15105 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 64720

[startup+222.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18819
/proc/meminfo: memFree=1465960/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=80820 CPUtime=221.4
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 20851 660 0 0 22133 7 0 0 25 0 1 0 59366104 82759680 19295 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 20205 19295 413 171 0 19130 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 80820

[startup+282.303 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18819
/proc/meminfo: memFree=1447400/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=95400 CPUtime=281.17
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 24507 660 0 0 28109 8 0 0 25 0 1 0 59366104 97689600 22918 996147200 134512640 135215973 4294956304 18446744073709551615 134599865 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 23850 22918 413 171 0 22775 0
Current children cumulated CPU time (s) 281.17
Current children cumulated vsize (KiB) 95400

[startup+342.303 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18819
/proc/meminfo: memFree=1425576/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=110336 CPUtime=340.95
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 28404 660 0 0 34085 10 0 0 25 0 1 0 59366104 112984064 26815 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 27584 26815 413 171 0 26509 0
Current children cumulated CPU time (s) 340.95
Current children cumulated vsize (KiB) 110336

[startup+402.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18819
/proc/meminfo: memFree=1411432/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=121000 CPUtime=400.71
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 31096 660 0 0 40061 10 0 0 25 0 1 0 59366104 123904000 29507 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 30250 29507 413 171 0 29175 0
Current children cumulated CPU time (s) 400.71
Current children cumulated vsize (KiB) 121000

[startup+462.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18819
/proc/meminfo: memFree=1399592/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=129304 CPUtime=460.47
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 33183 660 0 0 46036 11 0 0 25 0 1 0 59366104 132407296 31594 996147200 134512640 135215973 4294956304 18446744073709551615 134970108 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 32326 31594 413 171 0 31251 0
Current children cumulated CPU time (s) 460.47
Current children cumulated vsize (KiB) 129304

[startup+522.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18821
/proc/meminfo: memFree=1387880/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=137488 CPUtime=520.23
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 35244 660 0 0 52012 11 0 0 25 0 1 0 59366104 140787712 33655 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 34372 33655 413 171 0 33297 0
Current children cumulated CPU time (s) 520.23
Current children cumulated vsize (KiB) 137488

[startup+582.302 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 18821
/proc/meminfo: memFree=1378536/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=142868 CPUtime=580.01
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 36602 660 0 0 57989 12 0 0 25 0 1 0 59366104 146296832 35013 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 35717 35013 413 171 0 34642 0
Current children cumulated CPU time (s) 580.01
Current children cumulated vsize (KiB) 142868

[startup+642.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 18821
/proc/meminfo: memFree=1369768/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=149540 CPUtime=639.78
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 38302 660 0 0 63965 13 0 0 25 0 1 0 59366104 153128960 36358 996147200 134512640 135215973 4294956304 18446744073709551615 134585794 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 37385 36358 413 171 0 36310 0
Current children cumulated CPU time (s) 639.78
Current children cumulated vsize (KiB) 149540

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/73 18821
/proc/meminfo: memFree=1342568/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=167308 CPUtime=819.07
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 42770 660 0 0 81892 15 0 0 25 0 1 0 59366104 171323392 40826 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 41827 40826 413 171 0 40752 0
Current children cumulated CPU time (s) 819.07
Current children cumulated vsize (KiB) 167308

[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 18821
/proc/meminfo: memFree=1329960/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=176388 CPUtime=878.82
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 45040 660 0 0 87867 15 0 0 25 0 1 0 59366104 180621312 43096 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 44097 43096 413 171 0 43022 0
Current children cumulated CPU time (s) 878.82
Current children cumulated vsize (KiB) 176388

[startup+942.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18821
/proc/meminfo: memFree=1319592/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=183612 CPUtime=938.6
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 46855 660 0 0 93844 16 0 0 25 0 1 0 59366104 188018688 44911 996147200 134512640 135215973 4294956304 18446744073709551615 134583364 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 45903 44911 413 171 0 44828 0
Current children cumulated CPU time (s) 938.6
Current children cumulated vsize (KiB) 183612

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18821
/proc/meminfo: memFree=1292776/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=205996 CPUtime=998.36
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 52476 660 0 0 99818 18 0 0 25 0 1 0 59366104 210939904 50532 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 51499 50532 413 171 0 50424 0
Current children cumulated CPU time (s) 998.36
Current children cumulated vsize (KiB) 205996

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18827
/proc/meminfo: memFree=1262752/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=230860 CPUtime=1058.11
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 58703 660 0 0 105791 20 0 0 25 0 1 0 59366104 236400640 56759 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 57715 56759 413 171 0 56640 0
Current children cumulated CPU time (s) 1058.11
Current children cumulated vsize (KiB) 230860

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18827
/proc/meminfo: memFree=1224480/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=259104 CPUtime=1117.88
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 65803 660 0 0 111765 23 0 0 25 0 1 0 59366104 265322496 63859 996147200 134512640 135215973 4294956304 18446744073709551615 134591361 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 64776 63859 413 171 0 63701 0
Current children cumulated CPU time (s) 1117.88
Current children cumulated vsize (KiB) 259104

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18827
/proc/meminfo: memFree=1200416/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=278700 CPUtime=1177.64
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 70740 660 0 0 117740 24 0 0 25 0 1 0 59366104 285388800 68796 996147200 134512640 135215973 4294956304 18446744073709551615 134586902 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 69675 68796 413 171 0 68600 0
Current children cumulated CPU time (s) 1177.64
Current children cumulated vsize (KiB) 278700

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18827
/proc/meminfo: memFree=1183712/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=290828 CPUtime=1237.4
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 73788 660 0 0 123715 25 0 0 25 0 1 0 59366104 297807872 71844 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 72707 71844 413 171 0 71632 0
Current children cumulated CPU time (s) 1237.4
Current children cumulated vsize (KiB) 290828

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18827
/proc/meminfo: memFree=1168800/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=301772 CPUtime=1297.18
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 76521 660 0 0 129691 27 0 0 25 0 1 0 59366104 309014528 74577 996147200 134512640 135215973 4294956304 18446744073709551615 134597608 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 75443 74577 413 171 0 74368 0
Current children cumulated CPU time (s) 1297.18
Current children cumulated vsize (KiB) 301772

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18827
/proc/meminfo: memFree=1156328/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=311024 CPUtime=1356.94
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 78863 660 0 0 135666 28 0 0 25 0 1 0 59366104 318488576 76919 996147200 134512640 135215973 4294956304 18446744073709551615 134589867 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 77756 76919 413 171 0 76681 0
Current children cumulated CPU time (s) 1356.94
Current children cumulated vsize (KiB) 311024

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18827
/proc/meminfo: memFree=1142888/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=320364 CPUtime=1416.7
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 81215 660 0 0 141641 29 0 0 25 0 1 0 59366104 328052736 79271 996147200 134512640 135215973 4294956304 18446744073709551615 134597400 0 0 4096 0 0 0 0 17 1 0 0
/proc/18814/statm: 80091 79271 413 171 0 79016 0
Current children cumulated CPU time (s) 1416.7
Current children cumulated vsize (KiB) 320364

[startup+1482.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/73 18892
/proc/meminfo: memFree=1325536/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=327508 CPUtime=1476.66
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 83006 660 0 0 147636 30 0 0 25 0 1 0 59366104 335368192 81062 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/18814/statm: 81877 81062 413 171 0 80802 0
Current children cumulated CPU time (s) 1476.66
Current children cumulated vsize (KiB) 327508

[startup+1542.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/83 19006
/proc/meminfo: memFree=1281224/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=334888 CPUtime=1536.64
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 84861 660 0 0 153631 33 0 0 25 0 1 0 59366104 342925312 82917 996147200 134512640 135215973 4294956304 18446744073709551615 134585600 0 0 4096 0 0 0 0 17 0 0 0
/proc/18814/statm: 83722 82917 413 171 0 82647 0
Current children cumulated CPU time (s) 1536.64
Current children cumulated vsize (KiB) 334888

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/83 19006
/proc/meminfo: memFree=1235464/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=343032 CPUtime=1596.61
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 86924 660 0 0 159627 34 0 0 25 0 1 0 59366104 351264768 84980 996147200 134512640 135215973 4294956304 18446744073709551615 134591518 0 0 4096 0 0 0 0 17 0 0 0
/proc/18814/statm: 85758 84980 413 171 0 84683 0
Current children cumulated CPU time (s) 1596.61
Current children cumulated vsize (KiB) 343032

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/83 19006
/proc/meminfo: memFree=1198024/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=354092 CPUtime=1656.59
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 89729 660 0 0 165624 35 0 0 25 0 1 0 59366104 362590208 87368 996147200 134512640 135215973 4294956304 18446744073709551615 4158513072 0 0 4096 0 0 0 0 17 0 0 0
/proc/18814/statm: 88523 87368 413 171 0 87448 0
Current children cumulated CPU time (s) 1656.59
Current children cumulated vsize (KiB) 354092

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 19006
/proc/meminfo: memFree=1171656/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=368236 CPUtime=1716.57
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 93287 660 0 0 171620 37 0 0 25 0 1 0 59366104 377073664 90926 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 0 0 0
/proc/18814/statm: 92059 90926 413 171 0 90984 0
Current children cumulated CPU time (s) 1716.57
Current children cumulated vsize (KiB) 368236

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19006
/proc/meminfo: memFree=1155528/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=380024 CPUtime=1776.55
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 96254 660 0 0 177617 38 0 0 25 0 1 0 59366104 389144576 93893 996147200 134512640 135215973 4294956304 18446744073709551615 135094881 0 0 4096 0 0 0 0 17 0 0 0
/proc/18814/statm: 95006 93893 413 171 0 93931 0
Current children cumulated CPU time (s) 1776.55
Current children cumulated vsize (KiB) 380024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.8 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 19006
/proc/meminfo: memFree=1134472/2055920 swapFree=4192812/4192956
[pid=18814] ppid=18812 vsize=384640 CPUtime=1800.04
/proc/18814/stat : 18814 (pcs.big) R 18812 18814 17004 0 -1 4194304 97429 660 0 0 179965 39 0 0 25 0 1 0 59366104 393871360 95068 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/18814/statm: 96160 95068 413 171 0 95085 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 384640

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): 1805.87
CPU time (s): 1800.12
CPU user time (s): 1799.66
CPU system time (s): 0.45793
CPU usage (%): 99.6817
Max. virtual memory (cumulated for all children) (KiB): 384640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.45793
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 18205

runsolver used 1.87371 second user time and 5.02623 second system time

The end

Launcher Data 

Begin job on node50 at 2009-07-16 07:43:45
IDJOB=2083353
IDBENCH=57789
IDSOLVER=734
FILE ID=node50/2083353-1247723025
PBS_JOBID= 9521412
Free space on /tmp= 66392 MiB

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

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

MD5SUM BENCH= 6763a8e49185bfad346b8249a47748d7
RANDOM SEED=625577531

node50.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.231
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.231
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:       1558608 kB
Buffers:         71600 kB
Cached:         230388 kB
SwapCached:          0 kB
Active:         198296 kB
Inactive:       226032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1558608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2112 kB
Writeback:           0 kB
Mapped:         133892 kB
Slab:            57956 kB
Committed_AS:   599980 kB
PageTables:       2084 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= 66396 MiB
End job on node50 at 2009-07-16 08:13:51