Trace number 2083869

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.13 1815.47

General information on the benchmark

Namecsp/fapp/fapp23/
normalized-fapp23-1800-10.xml
MD5SUM5e00df4470fb1641364528d5964a8e44
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 benchmark38.2512
Satisfiable
(Un)Satisfiability was proved
Number of variables1800
Number of constraints63962
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63962
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.04	c Seed is 2105888365
0.00/0.04	c Constructing HOME/instance-2083869-1247723867.xml  with 406215 constraints
7.31/7.42	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-2083869-1247723867/watcher-2083869-1247723867 -o /tmp/evaluation-result-2083869-1247723867/solver-2083869-1247723867 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2105888365 HOME/instance-2083869-1247723867.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.25 2.14 2.05 4/72 15485
/proc/meminfo: memFree=1335704/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=5356 CPUtime=0
/proc/15485/stat : 15485 (pcssolve) R 15483 15485 12281 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59449895 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 217051622047 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15485/statm: 1339 241 200 169 0 50 0
[pid=15486] ppid=15485 vsize=5356 CPUtime=0
/proc/15486/stat : 15486 (pcssolve) R 15485 15485 12281 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59449896 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 217051622047 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15486/statm: 1339 241 200 169 0 50 0

[startup+0.071702 s]
/proc/loadavg: 2.25 2.14 2.05 4/72 15485
/proc/meminfo: memFree=1335704/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=5540 CPUtime=0.05
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 1039 664 0 0 3 0 1 1 22 0 1 0 59449895 5672960 670 996147200 134512640 135215973 4294956304 18446744073709551615 4159347601 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 1385 670 386 171 0 310 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5540

[startup+0.101713 s]
/proc/loadavg: 2.25 2.14 2.05 4/72 15485
/proc/meminfo: memFree=1335704/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=6576 CPUtime=0.07
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 1302 664 0 0 5 0 1 1 22 0 1 0 59449895 6733824 856 996147200 134512640 135215973 4294956304 18446744073709551615 134698256 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 1644 856 386 171 0 569 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6576

[startup+0.301752 s]
/proc/loadavg: 2.25 2.14 2.05 4/72 15485
/proc/meminfo: memFree=1335704/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=11076 CPUtime=0.27
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 2784 664 0 0 24 1 1 1 23 0 1 0 59449895 11341824 1903 996147200 134512640 135215973 4294956304 18446744073709551615 134632053 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 2769 1903 386 171 0 1694 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11076

[startup+0.70183 s]
/proc/loadavg: 2.25 2.14 2.05 4/72 15485
/proc/meminfo: memFree=1335704/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=22596 CPUtime=0.67
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 6265 664 0 0 62 3 1 1 25 0 1 0 59449895 23138304 3827 996147200 134512640 135215973 4294956304 18446744073709551615 9719533 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 5649 3827 386 171 0 4574 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22596

[startup+1.50198 s]
/proc/loadavg: 2.25 2.14 2.05 3/73 15490
/proc/meminfo: memFree=1316624/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=40988 CPUtime=1.47
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 12527 664 0 0 139 6 1 1 25 0 1 0 59449895 41971712 7557 996147200 134512640 135215973 4294956304 18446744073709551615 9720229 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 10247 7557 386 171 0 9172 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40988

[startup+3.10128 s]
/proc/loadavg: 2.25 2.14 2.05 3/73 15490
/proc/meminfo: memFree=1296208/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=77932 CPUtime=3.05
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 24712 664 0 0 292 11 1 1 25 0 1 0 59449895 79802368 14793 996147200 134512640 135215973 4294956304 18446744073709551615 134796285 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 19483 14793 386 171 0 18408 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 77932

[startup+6.3019 s]
/proc/loadavg: 2.23 2.13 2.05 3/73 15490
/proc/meminfo: memFree=1234320/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=151268 CPUtime=6.22
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 49206 664 0 0 600 20 1 1 25 0 1 0 59449895 154898432 29169 996147200 134512640 135215973 4294956304 18446744073709551615 134773431 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 37817 29169 386 171 0 36742 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 151268

[startup+12.7011 s]
/proc/loadavg: 2.21 2.13 2.05 3/73 15490
/proc/meminfo: memFree=1163024/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=188676 CPUtime=12.57
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 69293 664 0 0 1226 29 1 1 25 0 1 0 59449895 193204224 43022 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 47169 43022 410 171 0 46094 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 188676

[startup+25.5016 s]
/proc/loadavg: 2.16 2.12 2.04 3/73 15490
/proc/meminfo: memFree=1155984/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=191172 CPUtime=25.25
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 70439 664 0 0 2494 29 1 1 25 0 1 0 59449895 195760128 43542 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 47793 43542 410 171 0 46718 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 191172

[startup+51.1014 s]
/proc/loadavg: 2.11 2.11 2.04 3/73 15490
/proc/meminfo: memFree=1132880/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=220428 CPUtime=50.65
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 78789 664 0 0 5030 33 1 1 25 0 1 0 59449895 225718272 49394 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 55107 49394 410 171 0 54032 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 220428

[startup+102.306 s]
/proc/loadavg: 2.05 2.09 2.04 3/73 15490
/proc/meminfo: memFree=1122832/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=226104 CPUtime=101.43
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 81044 664 0 0 10108 33 1 1 25 0 1 0 59449895 231530496 51649 996147200 134512640 135215973 4294956304 18446744073709551615 134583680 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 56526 51649 411 171 0 55451 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 226104

[startup+162.303 s]
/proc/loadavg: 2.02 2.07 2.03 3/73 15490
/proc/meminfo: memFree=1081296/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=256840 CPUtime=160.95
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 93708 664 0 0 16055 38 1 1 25 0 1 0 59449895 263004160 59973 996147200 134512640 135215973 4294956304 18446744073709551615 135094926 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 64210 59973 413 171 0 63135 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 256840

[startup+222.301 s]
/proc/loadavg: 2.00 2.06 2.03 3/73 15496
/proc/meminfo: memFree=1049032/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=307224 CPUtime=220.38
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 201120 664 0 0 21954 82 1 1 25 0 1 0 59449895 314597376 66705 996147200 134512640 135215973 4294956304 18446744073709551615 134591693 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 76806 66705 413 171 0 75731 0
Current children cumulated CPU time (s) 220.38
Current children cumulated vsize (KiB) 307224

[startup+282.302 s]
/proc/loadavg: 2.00 2.04 2.02 3/73 15496
/proc/meminfo: memFree=1037768/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=307224 CPUtime=279.86
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 250384 664 0 0 27882 102 1 1 25 0 1 0 59449895 314597376 67104 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 76806 67104 413 171 0 75731 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 307224

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/73 15496
/proc/meminfo: memFree=1034696/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=307352 CPUtime=339.33
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 340719 664 0 0 33791 140 1 1 25 0 1 0 59449895 314728448 67123 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 76838 67123 413 171 0 75763 0
Current children cumulated CPU time (s) 339.33
Current children cumulated vsize (KiB) 307352

[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/73 15496
/proc/meminfo: memFree=1032200/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=307448 CPUtime=398.79
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 458604 664 0 0 39692 185 1 1 25 0 1 0 59449895 314826752 67395 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 76862 67395 413 171 0 75787 0
Current children cumulated CPU time (s) 398.79
Current children cumulated vsize (KiB) 307448

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15496
/proc/meminfo: memFree=1029512/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=307572 CPUtime=458.25
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 583161 664 0 0 45590 233 1 1 25 0 1 0 59449895 314953728 67599 996147200 134512640 135215973 4294956304 18446744073709551615 4158960060 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 76893 67599 413 171 0 75818 0
Current children cumulated CPU time (s) 458.25
Current children cumulated vsize (KiB) 307572

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 15496
/proc/meminfo: memFree=1019664/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=309812 CPUtime=517.72
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 725975 664 0 0 51484 286 1 1 25 0 1 0 59449895 317247488 69210 996147200 134512640 135215973 4294956304 18446744073709551615 134600790 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 77453 69210 413 171 0 76378 0
Current children cumulated CPU time (s) 517.72
Current children cumulated vsize (KiB) 309812

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 15496
/proc/meminfo: memFree=1014800/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=309940 CPUtime=577.19
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 835869 664 0 0 57387 330 1 1 25 0 1 0 59449895 317378560 69242 996147200 134512640 135215973 4294956304 18446744073709551615 134591366 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 77485 69242 413 171 0 76410 0
Current children cumulated CPU time (s) 577.19
Current children cumulated vsize (KiB) 309940

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=1004176/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=310056 CPUtime=636.67
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 909695 664 0 0 63307 358 1 1 25 0 1 0 59449895 317497344 69265 996147200 134512640 135215973 4294956304 18446744073709551615 134971032 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 77514 69265 413 171 0 76439 0
Current children cumulated CPU time (s) 636.67

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

[startup+822.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=982160/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=315860 CPUtime=815.08
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 1244471 664 0 0 81018 488 1 1 25 0 1 0 59449895 323440640 70748 996147200 134512640 135215973 4294956304 18446744073709551615 135097562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 78965 70748 413 171 0 77890 0
Current children cumulated CPU time (s) 815.08
Current children cumulated vsize (KiB) 315860

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=976912/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=316768 CPUtime=874.54
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 1288145 664 0 0 86947 505 1 1 25 0 1 0 59449895 324370432 70949 996147200 134512640 135215973 4294956304 18446744073709551615 4158960069 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 79192 70949 413 171 0 78117 0
Current children cumulated CPU time (s) 874.54
Current children cumulated vsize (KiB) 316768

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=960080/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=328104 CPUtime=934.01
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 1405587 664 0 0 92850 549 1 1 25 0 1 0 59449895 335978496 73811 996147200 134512640 135215973 4294956304 18446744073709551615 134589760 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 82026 73811 413 171 0 80951 0
Current children cumulated CPU time (s) 934.01
Current children cumulated vsize (KiB) 328104

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=956112/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=328228 CPUtime=993.49
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 1482445 664 0 0 98768 579 1 1 25 0 1 0 59449895 336105472 73833 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 82057 73833 413 171 0 80982 0
Current children cumulated CPU time (s) 993.49
Current children cumulated vsize (KiB) 328228

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=951056/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=328360 CPUtime=1052.96
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 1541869 664 0 0 104692 602 1 1 25 0 1 0 59449895 336240640 73945 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 82090 73945 413 171 0 81015 0
Current children cumulated CPU time (s) 1052.96
Current children cumulated vsize (KiB) 328360

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=947920/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=329836 CPUtime=1112.43
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 1655549 664 0 0 110595 646 1 1 25 0 1 0 59449895 337752064 74056 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 82459 74056 413 171 0 81384 0
Current children cumulated CPU time (s) 1112.43
Current children cumulated vsize (KiB) 329836

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=941328/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=330464 CPUtime=1171.9
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 1768874 664 0 0 116499 689 1 1 25 0 1 0 59449895 338395136 74486 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 82616 74486 413 171 0 81541 0
Current children cumulated CPU time (s) 1171.9
Current children cumulated vsize (KiB) 330464

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=928592/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=335480 CPUtime=1231.36
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 1918845 664 0 0 122386 748 1 1 25 0 1 0 59449895 343531520 76177 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 83870 76177 413 171 0 82795 0
Current children cumulated CPU time (s) 1231.36
Current children cumulated vsize (KiB) 335480

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=915664/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=339704 CPUtime=1290.83
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 2038701 664 0 0 128288 793 1 1 25 0 1 0 59449895 347856896 77409 996147200 134512640 135215973 4294956304 18446744073709551615 134583622 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 84926 77409 413 171 0 83851 0
Current children cumulated CPU time (s) 1290.83
Current children cumulated vsize (KiB) 339704

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=907856/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=343128 CPUtime=1350.31
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 2148427 664 0 0 134192 837 1 1 25 0 1 0 59449895 351363072 78284 996147200 134512640 135215973 4294956304 18446744073709551615 134591607 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 85782 78284 413 171 0 84707 0
Current children cumulated CPU time (s) 1350.31
Current children cumulated vsize (KiB) 343128

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=902928/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=345364 CPUtime=1409.76
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 2339415 664 0 0 140067 907 1 1 25 0 1 0 59449895 353652736 78867 996147200 134512640 135215973 4294956304 18446744073709551615 135094926 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 86341 78867 413 171 0 85266 0
Current children cumulated CPU time (s) 1409.76
Current children cumulated vsize (KiB) 345364

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=891728/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=350772 CPUtime=1469.23
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 2479320 664 0 0 145962 959 1 1 25 0 1 0 59449895 359190528 80602 996147200 134512640 135215973 4294956304 18446744073709551615 134585626 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 87693 80602 413 171 0 86618 0
Current children cumulated CPU time (s) 1469.23
Current children cumulated vsize (KiB) 350772

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=884624/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=353664 CPUtime=1528.69
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 2592985 664 0 0 151863 1004 1 1 25 0 1 0 59449895 362151936 81372 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 88416 81372 413 171 0 87341 0
Current children cumulated CPU time (s) 1528.69
Current children cumulated vsize (KiB) 353664

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=872336/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=358680 CPUtime=1588.15
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 2721193 664 0 0 157762 1051 1 1 25 0 1 0 59449895 367288320 83205 996147200 134512640 135215973 4294956304 18446744073709551615 134585798 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 89670 83205 413 171 0 88595 0
Current children cumulated CPU time (s) 1588.15
Current children cumulated vsize (KiB) 358680

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=859408/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=365400 CPUtime=1647.62
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 2831036 664 0 0 163665 1095 1 1 25 0 1 0 59449895 374169600 85545 996147200 134512640 135215973 4294956304 18446744073709551615 135094982 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 91350 85545 413 171 0 90275 0
Current children cumulated CPU time (s) 1647.62
Current children cumulated vsize (KiB) 365400

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15496
/proc/meminfo: memFree=854032/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=366580 CPUtime=1707.1
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 2947008 664 0 0 169569 1139 1 1 25 0 1 0 59449895 375377920 85926 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 91645 85926 413 171 0 90570 0
Current children cumulated CPU time (s) 1707.1
Current children cumulated vsize (KiB) 366580

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15529
/proc/meminfo: memFree=1104080/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=371060 CPUtime=1766.96
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 3102486 664 0 0 175504 1190 1 1 25 0 1 0 59449895 379965440 87732 996147200 134512640 135215973 4294956304 18446744073709551615 134600804 0 0 4096 0 0 0 0 17 0 0 0
/proc/15485/statm: 92765 87732 413 171 0 91690 0
Current children cumulated CPU time (s) 1766.96
Current children cumulated vsize (KiB) 371060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15529
/proc/meminfo: memFree=1095056/2055920 swapFree=4192812/4192956
[pid=15485] ppid=15483 vsize=371192 CPUtime=1800.05
/proc/15485/stat : 15485 (pcs.big) R 15483 15485 12281 0 -1 4194304 3200576 664 0 0 178776 1227 1 1 25 0 1 0 59449895 380100608 87755 996147200 134512640 135215973 4294956304 18446744073709551615 134614327 0 0 4096 0 0 0 0 17 0 0 0
/proc/15485/statm: 92798 87755 413 171 0 91723 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 371192

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): 1815.47
CPU time (s): 1800.13
CPU user time (s): 1787.78
CPU system time (s): 12.3491
CPU usage (%): 99.1551
Max. virtual memory (cumulated for all children) (KiB): 372540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.78
system time used= 12.3491
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3201240
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= 27
involuntary context switches= 37669

runsolver used 2.22166 second user time and 5.31219 second system time

The end

Launcher Data 

Begin job on node59 at 2009-07-16 07:57:48
IDJOB=2083869
IDBENCH=57962
IDSOLVER=733
FILE ID=node59/2083869-1247723867
PBS_JOBID= 9521389
Free space on /tmp= 66332 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp23/normalized-fapp23-1800-10.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083869-1247723867/watcher-2083869-1247723867 -o /tmp/evaluation-result-2083869-1247723867/solver-2083869-1247723867 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2105888365 HOME/instance-2083869-1247723867.xml

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

MD5SUM BENCH= 5e00df4470fb1641364528d5964a8e44
RANDOM SEED=2105888365

node59.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.263
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.263
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:       1336184 kB
Buffers:        104448 kB
Cached:         373660 kB
SwapCached:          0 kB
Active:         208500 kB
Inactive:       414312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1336184 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10564 kB
Writeback:           0 kB
Mapped:         156256 kB
Slab:            81980 kB
Committed_AS:   672156 kB
PageTables:       2152 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= 66336 MiB
End job on node59 at 2009-07-16 08:28:05