Trace number 2083429

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.1 1810.04

General information on the benchmark

Namecsp/fapp/fapp33/
normalized-fapp33-0650-4.xml
MD5SUM2cc28b346b93b18fcce435b65b3fd1cc
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark24.6143
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of constraints8684
Maximum constraint arity2
Maximum domain size498
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8684
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.00/0.01	c Seed is 1724516558
0.00/0.02	c Constructing HOME/instance-2083429-1247723120.xml  with 54601 constraints
0.78/0.89	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-2083429-1247723120/watcher-2083429-1247723120 -o /tmp/evaluation-result-2083429-1247723120/solver-2083429-1247723120 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1724516558 HOME/instance-2083429-1247723120.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: 1.99 1.97 1.88 4/73 14515
/proc/meminfo: memFree=1429632/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=5356 CPUtime=0
/proc/14515/stat : 14515 (pcssolve) R 14513 14515 13887 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 59377241 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 270187162271 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/14515/statm: 1339 241 200 169 0 50 0
[pid=14516] ppid=14515 vsize=0 CPUtime=0
/proc/14516/stat : 14516 (fgrep) Z 14515 14515 13887 0 -1 4194316 155 0 0 0 0 0 0 0 19 0 1 0 59377242 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/14516/statm: 0 0 0 0 0 0 0
[pid=14517] ppid=14515 vsize=5356 CPUtime=0
/proc/14517/stat : 14517 (pcssolve) R 14515 14515 13887 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 59377242 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 270187162271 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/14517/statm: 1339 241 200 169 0 50 0

[startup+0.0285359 s]
/proc/loadavg: 1.99 1.97 1.88 4/73 14515
/proc/meminfo: memFree=1429632/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=4760 CPUtime=0.01
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 878 663 0 0 1 0 0 0 22 0 1 0 59377241 4874240 509 996147200 134512640 135215973 4294956304 18446744073709551615 134902929 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 1190 509 386 171 0 115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4760

[startup+0.10155 s]
/proc/loadavg: 1.99 1.97 1.88 4/73 14515
/proc/meminfo: memFree=1429632/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=7320 CPUtime=0.08
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 1476 663 0 0 8 0 0 0 22 0 1 0 59377241 7495680 982 996147200 134512640 135215973 4294956304 18446744073709551615 134761731 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 1830 982 386 171 0 755 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7320

[startup+0.301573 s]
/proc/loadavg: 1.99 1.97 1.88 4/73 14515
/proc/meminfo: memFree=1429632/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=12760 CPUtime=0.28
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 3207 663 0 0 27 1 0 0 23 0 1 0 59377241 13066240 2082 996147200 134512640 135215973 4294956304 18446744073709551615 134718345 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 3190 2082 386 171 0 2115 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12760

[startup+0.701617 s]
/proc/loadavg: 1.99 1.97 1.88 4/73 14515
/proc/meminfo: memFree=1429632/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=21820 CPUtime=0.68
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 6320 663 0 0 65 3 0 0 25 0 1 0 59377241 22343680 4117 996147200 134512640 135215973 4294956304 18446744073709551615 10354662 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 5455 4117 386 171 0 4380 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21820

[startup+1.5017 s]
/proc/loadavg: 1.99 1.97 1.89 3/74 14520
/proc/meminfo: memFree=1405368/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=29764 CPUtime=1.47
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 10228 663 0 0 143 4 0 0 25 0 1 0 59377241 30478336 6435 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 7441 6435 410 171 0 6366 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29764

[startup+3.10188 s]
/proc/loadavg: 1.99 1.97 1.89 3/74 14520
/proc/meminfo: memFree=1404920/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=30092 CPUtime=3.06
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 10354 663 0 0 302 4 0 0 25 0 1 0 59377241 30814208 6491 996147200 134512640 135215973 4294956304 18446744073709551615 134583396 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 7523 6491 410 171 0 6448 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 30092

[startup+6.30125 s]
/proc/loadavg: 1.99 1.97 1.89 3/74 14520
/proc/meminfo: memFree=1404408/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=30772 CPUtime=6.24
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 10587 663 0 0 619 5 0 0 25 0 1 0 59377241 31510528 6619 996147200 134512640 135215973 4294956304 18446744073709551615 134971004 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 7693 6619 410 171 0 6618 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 30772

[startup+12.702 s]
/proc/loadavg: 1.99 1.97 1.89 3/74 14520
/proc/meminfo: memFree=1401272/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=33980 CPUtime=12.59
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 11512 663 0 0 1254 5 0 0 25 0 1 0 59377241 34795520 7335 996147200 134512640 135215973 4294956304 18446744073709551615 134971051 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 8495 7335 410 171 0 7420 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 33980

[startup+25.5015 s]
/proc/loadavg: 1.99 1.97 1.89 3/74 14520
/proc/meminfo: memFree=1398968/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=37228 CPUtime=25.29
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 12912 663 0 0 2523 6 0 0 25 0 1 0 59377241 38121472 7895 996147200 134512640 135215973 4294956304 18446744073709551615 134969500 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 9307 7895 413 171 0 8232 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 37228

[startup+51.1014 s]
/proc/loadavg: 1.99 1.97 1.89 3/74 14520
/proc/meminfo: memFree=1393144/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=41112 CPUtime=50.7
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 24485 663 0 0 5061 9 0 0 25 0 1 0 59377241 42098688 8893 996147200 134512640 135215973 4294956304 18446744073709551615 134533020 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 10278 8893 413 171 0 9203 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 41112

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.89 3/74 14520
/proc/meminfo: memFree=1382904/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=50028 CPUtime=101.51
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 54845 663 0 0 10133 18 0 0 25 0 1 0 59377241 51228672 11382 996147200 134512640 135215973 4294956304 18446744073709551615 134591473 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 12507 11382 413 171 0 11432 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 50028

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.90 3/74 14520
/proc/meminfo: memFree=1375608/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=57152 CPUtime=161.06
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 87421 663 0 0 16077 29 0 0 25 0 1 0 59377241 58523648 13173 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 14288 13173 413 171 0 13213 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 57152

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14520
/proc/meminfo: memFree=1370168/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=62160 CPUtime=220.6
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 111085 663 0 0 22025 35 0 0 25 0 1 0 59377241 63651840 14465 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 15540 14465 413 171 0 14465 0
Current children cumulated CPU time (s) 220.6
Current children cumulated vsize (KiB) 62160

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14520
/proc/meminfo: memFree=1363960/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=67704 CPUtime=280.14
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 127301 663 0 0 27974 40 0 0 25 0 1 0 59377241 69328896 15876 996147200 134512640 135215973 4294956304 18446744073709551615 134589761 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 16926 15876 413 171 0 15851 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 67704

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14520
/proc/meminfo: memFree=1345720/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=84412 CPUtime=339.69
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 152609 663 0 0 33921 48 0 0 25 0 1 0 59377241 86437888 19671 996147200 134512640 135215973 4294956304 18446744073709551615 4158960707 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 21103 19671 413 171 0 20028 0
Current children cumulated CPU time (s) 339.69
Current children cumulated vsize (KiB) 84412

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14522
/proc/meminfo: memFree=1333496/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=92932 CPUtime=399.24
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 173977 663 0 0 39870 54 0 0 25 0 1 0 59377241 95162368 21816 996147200 134512640 135215973 4294956304 18446744073709551615 134591602 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 23233 21816 413 171 0 22158 0
Current children cumulated CPU time (s) 399.24
Current children cumulated vsize (KiB) 92932

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14522
/proc/meminfo: memFree=1316088/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=95700 CPUtime=458.79
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 183816 663 0 0 45821 58 0 0 25 0 1 0 59377241 97996800 22490 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 23925 22490 413 171 0 22850 0
Current children cumulated CPU time (s) 458.79
Current children cumulated vsize (KiB) 95700

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14522
/proc/meminfo: memFree=1313272/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=98340 CPUtime=518.34
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 193718 663 0 0 51773 61 0 0 25 0 1 0 59377241 100700160 23180 996147200 134512640 135215973 4294956304 18446744073709551615 134597368 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 24585 23180 413 171 0 23510 0
Current children cumulated CPU time (s) 518.34
Current children cumulated vsize (KiB) 98340

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14522
/proc/meminfo: memFree=1312568/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=98996 CPUtime=577.88
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 200359 663 0 0 57725 63 0 0 25 0 1 0 59377241 101371904 23335 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 24749 23335 413 171 0 23674 0
Current children cumulated CPU time (s) 577.88
Current children cumulated vsize (KiB) 98996

[startup+642.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14522
/proc/meminfo: memFree=1309112/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=102428 CPUtime=637.42

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

[startup+822.302 s]
/proc/loadavg: 1.95 1.96 1.91 3/74 14554
/proc/meminfo: memFree=1517240/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=106908 CPUtime=816.14
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 234259 663 0 0 81540 74 0 0 25 0 1 0 59377241 109473792 25322 996147200 134512640 135215973 4294956304 18446744073709551615 135094898 0 0 4096 0 0 0 0 17 1 0 0
/proc/14515/statm: 26727 25322 413 171 0 25652 0
Current children cumulated CPU time (s) 816.14
Current children cumulated vsize (KiB) 106908

[startup+882.302 s]
/proc/loadavg: 1.98 1.96 1.91 3/84 14594
/proc/meminfo: memFree=1352936/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=108360 CPUtime=876.05
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 242449 663 0 0 87528 77 0 0 25 0 1 0 59377241 110960640 25663 996147200 134512640 135215973 4294956304 18446744073709551615 134597343 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 27090 25663 413 171 0 26015 0
Current children cumulated CPU time (s) 876.05
Current children cumulated vsize (KiB) 108360

[startup+942.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1525496/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=109020 CPUtime=935.83
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 252394 663 0 0 93502 81 0 0 25 0 1 0 59377241 111636480 25832 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 27255 25832 413 171 0 26180 0
Current children cumulated CPU time (s) 935.83
Current children cumulated vsize (KiB) 109020

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1509752/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=117464 CPUtime=995.59
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 283746 663 0 0 99469 90 0 0 25 0 1 0 59377241 120283136 27997 996147200 134512640 135215973 4294956304 18446744073709551615 134970892 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 29366 27997 413 171 0 28291 0
Current children cumulated CPU time (s) 995.59
Current children cumulated vsize (KiB) 117464

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1498104/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=121292 CPUtime=1055.34
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 303977 663 0 0 105439 95 0 0 25 0 1 0 59377241 124203008 28958 996147200 134512640 135215973 4294956304 18446744073709551615 134587863 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 30323 28958 413 171 0 29248 0
Current children cumulated CPU time (s) 1055.34
Current children cumulated vsize (KiB) 121292

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1484472/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=127756 CPUtime=1115.11
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 333025 663 0 0 111407 104 0 0 25 0 1 0 59377241 130822144 30699 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 31939 30699 413 171 0 30864 0
Current children cumulated CPU time (s) 1115.11
Current children cumulated vsize (KiB) 127756

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1474616/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=132948 CPUtime=1174.86
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 354067 663 0 0 117376 110 0 0 25 0 1 0 59377241 136138752 32001 996147200 134512640 135215973 4294956304 18446744073709551615 134600093 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 33237 31954 413 171 0 32162 0
Current children cumulated CPU time (s) 1174.86
Current children cumulated vsize (KiB) 132948

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1462072/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=136584 CPUtime=1234.63
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 374442 663 0 0 123347 116 0 0 25 0 1 0 59377241 139862016 32918 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 34146 32918 413 171 0 33071 0
Current children cumulated CPU time (s) 1234.63
Current children cumulated vsize (KiB) 136584

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1446968/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=142384 CPUtime=1294.38
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 393239 663 0 0 129317 121 0 0 25 0 1 0 59377241 145801216 34372 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 35596 34372 413 171 0 34521 0
Current children cumulated CPU time (s) 1294.38
Current children cumulated vsize (KiB) 142384

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1436728/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=146476 CPUtime=1354.15
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 406869 663 0 0 135289 126 0 0 25 0 1 0 59377241 149991424 35406 996147200 134512640 135215973 4294956304 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 36619 35406 413 171 0 35544 0
Current children cumulated CPU time (s) 1354.15
Current children cumulated vsize (KiB) 146476

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1423032/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=152808 CPUtime=1413.91
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 435600 663 0 0 141256 135 0 0 25 0 1 0 59377241 156475392 36971 996147200 134512640 135215973 4294956304 18446744073709551615 134583562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 38202 36971 413 171 0 37127 0
Current children cumulated CPU time (s) 1413.91
Current children cumulated vsize (KiB) 152808

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1412408/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=156236 CPUtime=1473.66
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 454209 663 0 0 147226 140 0 0 25 0 1 0 59377241 159985664 37861 996147200 134512640 135215973 4294956304 18446744073709551615 134591411 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 39059 37861 413 171 0 37984 0
Current children cumulated CPU time (s) 1473.66
Current children cumulated vsize (KiB) 156236

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1401528/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=160064 CPUtime=1533.42
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 470633 663 0 0 153197 145 0 0 25 0 1 0 59377241 163905536 38822 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 40016 38822 413 171 0 38941 0
Current children cumulated CPU time (s) 1533.42
Current children cumulated vsize (KiB) 160064

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1392632/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=164676 CPUtime=1593.18
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 495140 663 0 0 159165 153 0 0 25 0 1 0 59377241 168628224 39970 996147200 134512640 135215973 4294956304 18446744073709551615 134591827 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 41169 39970 413 171 0 40094 0
Current children cumulated CPU time (s) 1593.18
Current children cumulated vsize (KiB) 164676

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1384440/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=168636 CPUtime=1652.94
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 512703 663 0 0 165135 159 0 0 25 0 1 0 59377241 172683264 40942 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 42159 40942 413 171 0 41084 0
Current children cumulated CPU time (s) 1652.94
Current children cumulated vsize (KiB) 168636

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1375416/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=171792 CPUtime=1712.7
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 535212 663 0 0 171104 166 0 0 25 0 1 0 59377241 175915008 41737 996147200 134512640 135215973 4294956304 18446744073709551615 134600884 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 42948 41737 413 171 0 41873 0
Current children cumulated CPU time (s) 1712.7
Current children cumulated vsize (KiB) 171792

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1365752/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=175352 CPUtime=1772.46
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 558309 663 0 0 177073 173 0 0 25 0 1 0 59377241 179560448 42650 996147200 134512640 135215973 4294956304 18446744073709551615 134585439 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 43838 42650 413 171 0 42763 0
Current children cumulated CPU time (s) 1772.46
Current children cumulated vsize (KiB) 175352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 14633
/proc/meminfo: memFree=1360376/2055920 swapFree=4192812/4192956
[pid=14515] ppid=14513 vsize=180032 CPUtime=1800.05
/proc/14515/stat : 14515 (pcs.big) R 14513 14515 13887 0 -1 4194304 564523 663 0 0 179831 174 0 0 25 0 1 0 59377241 184352768 43257 996147200 134512640 135215973 4294956304 18446744073709551615 134585752 0 0 4096 0 0 0 0 17 0 0 0
/proc/14515/statm: 45008 43257 413 171 0 43933 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 180032

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): 1810.04
CPU time (s): 1800.1
CPU user time (s): 1798.31
CPU system time (s): 1.78173
CPU usage (%): 99.4509
Max. virtual memory (cumulated for all children) (KiB): 180032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 1.78173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565186
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= 30228

runsolver used 1.83772 second user time and 4.75728 second system time

The end

Launcher Data 

Begin job on node88 at 2009-07-16 07:45:20
IDJOB=2083429
IDBENCH=57815
IDSOLVER=733
FILE ID=node88/2083429-1247723120
PBS_JOBID= 9521480
Free space on /tmp= 66068 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp33/normalized-fapp33-0650-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083429-1247723120/watcher-2083429-1247723120 -o /tmp/evaluation-result-2083429-1247723120/solver-2083429-1247723120 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1724516558 HOME/instance-2083429-1247723120.xml

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

MD5SUM BENCH= 2cc28b346b93b18fcce435b65b3fd1cc
RANDOM SEED=1724516558

node88.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.222
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.222
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:       1430112 kB
Buffers:         51896 kB
Cached:         262264 kB
SwapCached:          0 kB
Active:         334912 kB
Inactive:       207420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1430112 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2908 kB
Writeback:           0 kB
Mapped:         239676 kB
Slab:            68284 kB
Committed_AS:   797924 kB
PageTables:       2364 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= 66072 MiB
End job on node88 at 2009-07-16 08:15:33