Trace number 2083562

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.07 1801.25

General information on the benchmark

Namecsp/fapp/fapp24/
normalized-fapp24-2000-9.xml
MD5SUM5949c8c2a580bb7d18408c509e0c687a
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 benchmark29.1806
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints26753
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26753
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.06	c Seed is 310974813
0.00/0.06	c Constructing HOME/instance-2083562-1247723316.xml  with 167981 constraints
3.05/3.17	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-2083562-1247723316/watcher-2083562-1247723316 -o /tmp/evaluation-result-2083562-1247723316/solver-2083562-1247723316 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 310974813 HOME/instance-2083562-1247723316.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.00 2.00 2.00 4/81 16576
/proc/meminfo: memFree=1452128/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=5356 CPUtime=0
/proc/16576/stat : 16576 (pcssolve) R 16574 16576 13525 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59023306 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209135921823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16576/statm: 1339 241 200 169 0 50 0
[pid=16577] ppid=16576 vsize=5356 CPUtime=0
/proc/16577/stat : 16577 (pcssolve) R 16576 16576 13525 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 59023306 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 209135922471 0 0 4096 0 0 0 0 17 1 0 0
/proc/16577/statm: 1339 243 202 169 0 50 0
[pid=16578] ppid=16576 vsize=5356 CPUtime=0
/proc/16578/stat : 16578 (pcssolve) R 16576 16576 13525 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59023306 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209135921823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16578/statm: 1339 241 200 169 0 50 0

[startup+0.063103 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16576
/proc/meminfo: memFree=1452128/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=5624 CPUtime=0.03
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 1039 662 0 0 2 0 0 1 18 0 1 0 59023306 5758976 670 996147200 134512640 135215973 4294956304 18446744073709551615 12389928 0 0 4096 0 0 0 0 17 1 0 0
/proc/16576/statm: 1406 670 386 171 0 331 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5624

[startup+0.102017 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16576
/proc/meminfo: memFree=1452128/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=6692 CPUtime=0.07
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 1342 662 0 0 6 0 0 1 18 0 1 0 59023306 6852608 892 996147200 134512640 135215973 4294956304 18446744073709551615 134763503 0 0 4096 0 0 0 0 17 1 0 0
/proc/16576/statm: 1673 892 386 171 0 598 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6692

[startup+0.302032 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16576
/proc/meminfo: memFree=1452128/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=10288 CPUtime=0.27
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2609 662 0 0 25 1 0 1 19 0 1 0 59023306 10534912 1851 996147200 134512640 135215973 4294956304 18446744073709551615 12422750 0 0 4096 0 0 0 0 17 1 0 0
/proc/16576/statm: 2572 1851 386 171 0 1497 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10288

[startup+0.702073 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16576
/proc/meminfo: memFree=1452128/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=22104 CPUtime=0.67
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 6206 662 0 0 64 2 0 1 23 0 1 0 59023306 22634496 3811 996147200 134512640 135215973 4294956304 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 1 0 0
/proc/16576/statm: 5526 3811 386 171 0 4451 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22104

[startup+1.50114 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16581
/proc/meminfo: memFree=1433304/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=40144 CPUtime=1.46
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 12243 662 0 0 141 4 0 1 25 0 1 0 59023306 41107456 7411 996147200 134512640 135215973 4294956304 18446744073709551615 134740086 0 0 4096 0 0 0 0 17 1 0 0
/proc/16576/statm: 10036 7411 386 171 0 8961 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40144

[startup+3.10128 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16581
/proc/meminfo: memFree=1413464/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=82576 CPUtime=3.05
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 24650 662 0 0 293 11 0 1 25 0 1 0 59023306 84557824 14948 996147200 134512640 135215973 4294956304 18446744073709551615 134759329 0 0 4096 0 0 0 0 17 1 0 0
/proc/16576/statm: 20644 14948 386 171 0 19569 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 82576

[startup+6.30156 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16581
/proc/meminfo: memFree=1378008/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=87924 CPUtime=6.22
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 32041 662 0 0 606 15 0 1 25 0 1 0 59023306 90034176 18796 996147200 134512640 135215973 4294956304 18446744073709551615 134585745 0 0 4096 0 0 0 0 17 1 0 0
/proc/16576/statm: 21981 18796 410 171 0 20906 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 87924

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16581
/proc/meminfo: memFree=1377048/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=88756 CPUtime=12.55
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 32487 662 0 0 1239 15 0 1 25 0 1 0 59023306 90886144 19033 996147200 134512640 135215973 4294956304 18446744073709551615 134590106 0 0 4096 0 0 0 0 17 1 0 0
/proc/16576/statm: 22189 19033 410 171 0 21114 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 88756

[startup+25.5023 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16581
/proc/meminfo: memFree=1369176/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=96888 CPUtime=25.24
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 34957 662 0 0 2506 17 0 1 25 0 1 0 59023306 99213312 21086 996147200 134512640 135215973 4294956304 18446744073709551615 4158960304 0 0 4096 0 0 0 0 17 1 0 0
/proc/16576/statm: 24222 21086 410 171 0 23147 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 96888

[startup+51.1025 s]
/proc/loadavg: 1.92 1.98 1.99 3/70 16604
/proc/meminfo: memFree=1474248/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=102592 CPUtime=50.61
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 44155 662 0 0 5040 20 0 1 25 0 1 0 59023306 105054208 21837 996147200 134512640 135215973 4294956304 18446744073709551615 134583626 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 25648 21837 413 171 0 24573 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 102592

[startup+102.307 s]
/proc/loadavg: 2.03 2.00 2.00 3/83 16623
/proc/meminfo: memFree=1369696/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=109716 CPUtime=101.79
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 142143 662 0 0 10127 51 0 1 25 0 1 0 59023306 112349184 23663 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 27429 23663 413 171 0 26354 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 109716

[startup+162.301 s]
/proc/loadavg: 2.07 2.01 2.00 3/83 16623
/proc/meminfo: memFree=1196192/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=117628 CPUtime=161.76
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 278842 662 0 0 16084 91 0 1 25 0 1 0 59023306 120451072 25707 996147200 134512640 135215973 4294956304 18446744073709551615 4158960181 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 29407 25707 413 171 0 28332 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 117628

[startup+222.303 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 16623
/proc/meminfo: memFree=1028064/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=124488 CPUtime=221.74
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 399742 662 0 0 22050 123 0 1 25 0 1 0 59023306 127475712 27744 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 31122 27744 413 171 0 30047 0
Current children cumulated CPU time (s) 221.74
Current children cumulated vsize (KiB) 124488

[startup+282.302 s]
/proc/loadavg: 2.06 2.02 2.00 4/83 16623
/proc/meminfo: memFree=867680/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=131480 CPUtime=281.72
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 498108 662 0 0 28020 151 0 1 25 0 1 0 59023306 134635520 29525 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 32870 29525 413 171 0 31795 0
Current children cumulated CPU time (s) 281.72
Current children cumulated vsize (KiB) 131480

[startup+342.302 s]
/proc/loadavg: 2.09 2.03 2.00 3/83 16625
/proc/meminfo: memFree=711776/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=137808 CPUtime=341.69
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 585422 662 0 0 33993 175 0 1 25 0 1 0 59023306 141115392 31111 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 34452 31111 413 171 0 33377 0
Current children cumulated CPU time (s) 341.69
Current children cumulated vsize (KiB) 137808

[startup+402.303 s]
/proc/loadavg: 2.11 2.04 2.01 3/83 16667
/proc/meminfo: memFree=1315424/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=143216 CPUtime=401.65
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 711955 662 0 0 39954 210 0 1 25 0 1 0 59023306 146653184 32436 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 35804 32436 413 171 0 34729 0
Current children cumulated CPU time (s) 401.65
Current children cumulated vsize (KiB) 143216

[startup+462.303 s]
/proc/loadavg: 2.22 2.08 2.02 3/73 16700
/proc/meminfo: memFree=1417712/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=152324 CPUtime=461.62
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 812813 662 0 0 45922 239 0 1 25 0 1 0 59023306 155979776 34735 996147200 134512640 135215973 4294956304 18446744073709551615 134585697 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 38081 34735 413 171 0 37006 0
Current children cumulated CPU time (s) 461.62
Current children cumulated vsize (KiB) 152324

[startup+522.302 s]
/proc/loadavg: 2.08 2.06 2.01 3/73 16700
/proc/meminfo: memFree=1404208/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=158916 CPUtime=521.6
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 875391 662 0 0 51901 258 0 1 25 0 1 0 59023306 162729984 36368 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 39729 36368 413 171 0 38654 0
Current children cumulated CPU time (s) 521.6
Current children cumulated vsize (KiB) 158916

[startup+582.302 s]
/proc/loadavg: 2.03 2.05 2.00 3/73 16700
/proc/meminfo: memFree=1387696/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=168544 CPUtime=581.58
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 988901 662 0 0 57866 291 0 1 25 0 1 0 59023306 172589056 38770 996147200 134512640 135215973 4294956304 18446744073709551615 134589769 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 42136 38770 413 171 0 41061 0
Current children cumulated CPU time (s) 581.58
Current children cumulated vsize (KiB) 168544

[startup+642.303 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 16700
/proc/meminfo: memFree=1373488/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=174876 CPUtime=641.56

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16706
/proc/meminfo: memFree=1328488/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=194000 CPUtime=821.48
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 1378265 662 0 0 81747 400 0 1 25 0 1 0 59023306 198656000 45178 996147200 134512640 135215973 4294956304 18446744073709551615 134523588 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 48500 45178 413 171 0 47425 0
Current children cumulated CPU time (s) 821.48
Current children cumulated vsize (KiB) 194000

[startup+882.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16706
/proc/meminfo: memFree=1309544/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=203372 CPUtime=881.46
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 1483389 662 0 0 87717 428 0 1 25 0 1 0 59023306 208252928 47795 996147200 134512640 135215973 4294956304 18446744073709551615 134590075 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 50843 47795 413 171 0 49768 0
Current children cumulated CPU time (s) 881.46
Current children cumulated vsize (KiB) 203372

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1288168/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=221640 CPUtime=941.43
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 1602905 662 0 0 93681 461 0 1 25 0 1 0 59023306 226959360 50731 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 55410 50731 413 171 0 54335 0
Current children cumulated CPU time (s) 941.43
Current children cumulated vsize (KiB) 221640

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1278952/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=225064 CPUtime=1001.4
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 1724163 662 0 0 99647 492 0 1 25 0 1 0 59023306 230465536 51575 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 56266 51575 413 171 0 55191 0
Current children cumulated CPU time (s) 1001.4
Current children cumulated vsize (KiB) 225064

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1265520/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=233380 CPUtime=1061.39
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 1869095 662 0 0 105606 532 0 1 25 0 1 0 59023306 238981120 53674 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 58345 53674 413 171 0 57270 0
Current children cumulated CPU time (s) 1061.39
Current children cumulated vsize (KiB) 233380

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1254256/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=238788 CPUtime=1121.36
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 1986365 662 0 0 111569 566 0 1 25 0 1 0 59023306 244518912 55042 996147200 134512640 135215973 4294956304 18446744073709551615 134597328 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 59697 55042 413 171 0 58622 0
Current children cumulated CPU time (s) 1121.36
Current children cumulated vsize (KiB) 238788

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1236592/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=248156 CPUtime=1181.34
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2112937 662 0 0 117531 602 0 1 25 0 1 0 59023306 254111744 57393 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 62039 57393 413 171 0 60964 0
Current children cumulated CPU time (s) 1181.34
Current children cumulated vsize (KiB) 248156

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1220528/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=254480 CPUtime=1241.32
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2198550 662 0 0 123505 626 0 1 25 0 1 0 59023306 260587520 58970 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 63620 58970 413 171 0 62545 0
Current children cumulated CPU time (s) 1241.32
Current children cumulated vsize (KiB) 254480

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1205936/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=259888 CPUtime=1301.3
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2290853 662 0 0 129476 653 0 1 25 0 1 0 59023306 266125312 60328 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 64972 60328 413 171 0 63897 0
Current children cumulated CPU time (s) 1301.3
Current children cumulated vsize (KiB) 259888

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1187696/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=264100 CPUtime=1361.27
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2369051 662 0 0 135450 676 0 1 25 0 1 0 59023306 270438400 61399 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 66025 61399 413 171 0 64950 0
Current children cumulated CPU time (s) 1361.27
Current children cumulated vsize (KiB) 264100

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1167792/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=271472 CPUtime=1421.25
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2453553 662 0 0 141423 701 0 1 25 0 1 0 59023306 277987328 63210 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 67868 63210 413 171 0 66793 0
Current children cumulated CPU time (s) 1421.25
Current children cumulated vsize (KiB) 271472

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1150704/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=276744 CPUtime=1481.23
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2537362 662 0 0 147396 726 0 1 25 0 1 0 59023306 283385856 64534 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 69186 64534 413 171 0 68111 0
Current children cumulated CPU time (s) 1481.23
Current children cumulated vsize (KiB) 276744

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1137520/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=279648 CPUtime=1541.2
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2605370 662 0 0 153373 746 0 1 25 0 1 0 59023306 286359552 65285 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 69912 65285 413 171 0 68837 0
Current children cumulated CPU time (s) 1541.2
Current children cumulated vsize (KiB) 279648

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1126128/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=283208 CPUtime=1601.17
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2674217 662 0 0 159350 766 0 1 25 0 1 0 59023306 290004992 66170 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 70802 66170 413 171 0 69727 0
Current children cumulated CPU time (s) 1601.17
Current children cumulated vsize (KiB) 283208

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1108592/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=286636 CPUtime=1661.16
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2741660 662 0 0 165327 788 0 1 25 0 1 0 59023306 293515264 67061 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 71659 67061 413 171 0 70584 0
Current children cumulated CPU time (s) 1661.16
Current children cumulated vsize (KiB) 286636

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1096496/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=290580 CPUtime=1721.13
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2808353 662 0 0 171304 808 0 1 25 0 1 0 59023306 297553920 67919 996147200 134512640 135215973 4294956304 18446744073709551615 134597673 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 72645 67919 413 171 0 71570 0
Current children cumulated CPU time (s) 1721.13
Current children cumulated vsize (KiB) 290580

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1082224/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=293744 CPUtime=1781.11
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2879948 662 0 0 177280 830 0 1 25 0 1 0 59023306 300793856 68732 996147200 134512640 135215973 4294956304 18446744073709551615 134583442 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 73436 68732 413 171 0 72361 0
Current children cumulated CPU time (s) 1781.11
Current children cumulated vsize (KiB) 293744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16706
/proc/meminfo: memFree=1077872/2055920 swapFree=4192812/4192956
[pid=16576] ppid=16574 vsize=294932 CPUtime=1800
/proc/16576/stat : 16576 (pcs.big) R 16574 16576 13525 0 -1 4194304 2902249 662 0 0 179163 836 0 1 25 0 1 0 59023306 302010368 69037 996147200 134512640 135215973 4294956304 18446744073709551615 134589769 0 0 4096 0 0 0 0 17 0 0 0
/proc/16576/statm: 73733 69037 413 171 0 72658 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 294932

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): 1801.25
CPU time (s): 1800.07
CPU user time (s): 1791.65
CPU system time (s): 8.42172
CPU usage (%): 99.9344
Max. virtual memory (cumulated for all children) (KiB): 295496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.65
system time used= 8.42172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2902911
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 14078

runsolver used 1.9787 second user time and 5.17921 second system time

The end

Launcher Data 

Begin job on node41 at 2009-07-16 07:48:36
IDJOB=2083562
IDBENCH=57858
IDSOLVER=734
FILE ID=node41/2083562-1247723316
PBS_JOBID= 9521376
Free space on /tmp= 65792 MiB

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

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

MD5SUM BENCH= 5949c8c2a580bb7d18408c509e0c687a
RANDOM SEED=310974813

node41.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.212
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	: 5931.00
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.212
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:       1452608 kB
Buffers:         78284 kB
Cached:         309384 kB
SwapCached:          0 kB
Active:         210792 kB
Inactive:       305796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1452608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5540 kB
Writeback:           0 kB
Mapped:         149364 kB
Slab:            71696 kB
Committed_AS:   630336 kB
PageTables:       2020 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= 65788 MiB
End job on node41 at 2009-07-16 08:18:39