Trace number 2083286

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 1805.36

General information on the benchmark

Namecsp/fapp/fapp39/
normalized-fapp39-2750-10.xml
MD5SUM8a127deb0eee354290b5835e74cbb9f7
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2750
Number of constraints23154
Maximum constraint arity2
Maximum domain size502
Number of constraints which are defined in extension0
Number of constraints which are defined in intension23154
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.05	c Seed is 955209209
0.00/0.05	c Constructing HOME/instance-2083286-1247722886.xml  with 144295 constraints
2.55/2.63	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-2083286-1247722886/watcher-2083286-1247722886 -o /tmp/evaluation-result-2083286-1247722886/solver-2083286-1247722886 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 955209209 HOME/instance-2083286-1247722886.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.01 2.01 2.00 4/81 18500
/proc/meminfo: memFree=1664032/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=5356 CPUtime=0
/proc/18500/stat : 18500 (pcssolve) R 18498 18500 17421 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59356210 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 233632754335 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18500/statm: 1339 241 200 169 0 50 0
[pid=18501] ppid=18500 vsize=5356 CPUtime=0
/proc/18501/stat : 18501 (pcssolve) R 18500 18500 17421 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59356210 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 233632754335 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18501/statm: 1339 241 200 169 0 50 0

[startup+0.0977781 s]
/proc/loadavg: 2.01 2.01 2.00 4/81 18500
/proc/meminfo: memFree=1664032/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=7124 CPUtime=0.07
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1427 662 0 0 6 1 0 0 18 0 1 0 59356210 7294976 963 996147200 134512640 135215973 4294956320 18446744073709551615 134751174 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 1781 963 386 171 0 706 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7124

[startup+0.101771 s]
/proc/loadavg: 2.01 2.01 2.00 4/81 18500
/proc/meminfo: memFree=1664032/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=7124 CPUtime=0.07
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1439 662 0 0 6 1 0 0 18 0 1 0 59356210 7294976 975 996147200 134512640 135215973 4294956320 18446744073709551615 134798849 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 1781 975 386 171 0 706 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7124

[startup+0.301812 s]
/proc/loadavg: 2.01 2.01 2.00 4/81 18500
/proc/meminfo: memFree=1664032/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=12408 CPUtime=0.27
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 3116 662 0 0 25 2 0 0 19 0 1 0 59356210 12705792 2045 996147200 134512640 135215973 4294956320 18446744073709551615 134761742 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 3102 2045 386 171 0 2027 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 12408

[startup+0.701875 s]
/proc/loadavg: 2.01 2.01 2.00 4/81 18500
/proc/meminfo: memFree=1664032/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=22116 CPUtime=0.67
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 6304 662 0 0 64 3 0 0 23 0 1 0 59356210 22646784 3962 996147200 134512640 135215973 4294956320 18446744073709551615 134798473 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 5529 3962 386 171 0 4454 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22116

[startup+1.502 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 18505
/proc/meminfo: memFree=1643992/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=40056 CPUtime=1.46
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 12365 662 0 0 139 7 0 0 25 0 1 0 59356210 41017344 7658 996147200 134512640 135215973 4294956320 18446744073709551615 11357988 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 10014 7658 386 171 0 8939 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40056

[startup+3.10125 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 18505
/proc/meminfo: memFree=1623320/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=70192 CPUtime=3.04
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 24852 662 0 0 292 12 0 0 25 0 1 0 59356210 71876608 15767 996147200 134512640 135215973 4294956320 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 17548 15767 410 171 0 16473 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 70192

[startup+6.30177 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 18505
/proc/meminfo: memFree=1601560/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=70632 CPUtime=6.21
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 25022 662 0 0 609 12 0 0 25 0 1 0 59356210 72327168 15868 996147200 134512640 135215973 4294956320 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 17658 15868 410 171 0 16583 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 70632

[startup+12.7018 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 18505
/proc/meminfo: memFree=1601048/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=71880 CPUtime=12.56
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 25486 662 0 0 1243 13 0 0 25 0 1 0 59356210 73605120 16018 996147200 134512640 135215973 4294956320 18446744073709551615 134597631 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 17970 16018 410 171 0 16895 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 71880

[startup+25.5019 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 18505
/proc/meminfo: memFree=1596312/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=77504 CPUtime=25.24
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 27170 662 0 0 2511 13 0 0 25 0 1 0 59356210 79364096 17285 996147200 134512640 135215973 4294956320 18446744073709551615 134600789 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 19376 17285 410 171 0 18301 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 77504

[startup+51.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18505
/proc/meminfo: memFree=1591000/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=81728 CPUtime=50.62
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 28454 662 0 0 5048 14 0 0 25 0 1 0 59356210 83689472 18569 996147200 134512640 135215973 4294956320 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 20432 18569 410 171 0 19357 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 81728

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18505
/proc/meminfo: memFree=1586840/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=86904 CPUtime=101.38
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 30346 662 0 0 10123 15 0 0 25 0 1 0 59356210 88989696 19628 996147200 134512640 135215973 4294956320 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 21726 19628 410 171 0 20651 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 86904

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18505
/proc/meminfo: memFree=1575640/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=100068 CPUtime=160.85
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 34794 662 0 0 16068 17 0 0 25 0 1 0 59356210 102469632 22411 996147200 134512640 135215973 4294956320 18446744073709551615 4158961309 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 25017 22411 410 171 0 23942 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 100068

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18505
/proc/meminfo: memFree=1555672/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=126448 CPUtime=220.3
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 43285 662 0 0 22009 21 0 0 25 0 1 0 59356210 129482752 27329 996147200 134512640 135215973 4294956320 18446744073709551615 4158960170 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 31612 27329 413 171 0 30537 0
Current children cumulated CPU time (s) 220.3
Current children cumulated vsize (KiB) 126448

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18505
/proc/meminfo: memFree=1555672/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=126448 CPUtime=279.76
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 44383 662 0 0 27955 21 0 0 25 0 1 0 59356210 129482752 27329 996147200 134512640 135215973 4294956320 18446744073709551615 134597644 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 31612 27329 413 171 0 30537 0
Current children cumulated CPU time (s) 279.76
Current children cumulated vsize (KiB) 126448

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18505
/proc/meminfo: memFree=1555616/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=126448 CPUtime=339.23
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 96250 662 0 0 33886 37 0 0 25 0 1 0 59356210 129482752 27346 996147200 134512640 135215973 4294956320 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 31612 27346 413 171 0 30537 0
Current children cumulated CPU time (s) 339.23
Current children cumulated vsize (KiB) 126448

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18505
/proc/meminfo: memFree=1555104/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=126708 CPUtime=398.7
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 152540 662 0 0 39816 54 0 0 25 0 1 0 59356210 129748992 27394 996147200 134512640 135215973 4294956320 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 31677 27394 413 171 0 30602 0
Current children cumulated CPU time (s) 398.7
Current children cumulated vsize (KiB) 126708

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18505
/proc/meminfo: memFree=1547424/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=135112 CPUtime=458.18
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 266293 662 0 0 45725 93 0 0 25 0 1 0 59356210 138354688 29517 996147200 134512640 135215973 4294956320 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 33778 29517 413 171 0 32703 0
Current children cumulated CPU time (s) 458.18
Current children cumulated vsize (KiB) 135112

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18505
/proc/meminfo: memFree=1538784/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=143336 CPUtime=517.65
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 336783 662 0 0 51649 116 0 0 25 0 1 0 59356210 146776064 31565 996147200 134512640 135215973 4294956320 18446744073709551615 134590047 0 0 4096 0 0 0 0 17 1 0 0
/proc/18500/statm: 35834 31565 413 171 0 34759 0
Current children cumulated CPU time (s) 517.65
Current children cumulated vsize (KiB) 143336

[startup+582.302 s]
/proc/loadavg: 1.93 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1528288/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=157856 CPUtime=577.58
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 417301 662 0 0 57617 141 0 0 25 0 1 0 59356210 161644544 35223 996147200 134512640 135215973 4294956320 18446744073709551615 134591607 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 39464 35223 413 171 0 38389 0
Current children cumulated CPU time (s) 577.58
Current children cumulated vsize (KiB) 157856

[startup+642.302 s]
/proc/loadavg: 1.97 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1499424/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=174224 CPUtime=637.55
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 503376 662 0 0 63589 166 0 0 25 0 1 0 59356210 178405376 39314 996147200 134512640 135215973 4294956320 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 43556 39314 413 171 0 42481 0
Current children cumulated CPU time (s) 637.55

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

[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1407200/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=217856 CPUtime=877.44
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 899200 662 0 0 87463 281 0 0 25 0 1 0 59356210 223084544 50228 996147200 134512640 135215973 4294956320 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 54464 50228 413 171 0 53389 0
Current children cumulated CPU time (s) 877.44
Current children cumulated vsize (KiB) 217856

[startup+942.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1376416/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=229896 CPUtime=937.42
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 974938 662 0 0 93439 303 0 0 25 0 1 0 59356210 235413504 53254 996147200 134512640 135215973 4294956320 18446744073709551615 134600788 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 57474 53254 413 171 0 56399 0
Current children cumulated CPU time (s) 937.42
Current children cumulated vsize (KiB) 229896

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1360160/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=242952 CPUtime=997.39
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1041898 662 0 0 99417 322 0 0 25 0 1 0 59356210 248782848 56497 996147200 134512640 135215973 4294956320 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 60738 56497 413 171 0 59663 0
Current children cumulated CPU time (s) 997.39
Current children cumulated vsize (KiB) 242952

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1327328/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=257300 CPUtime=1057.36
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1110045 662 0 0 105395 341 0 0 25 0 1 0 59356210 263475200 60106 996147200 134512640 135215973 4294956320 18446744073709551615 134533040 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 64325 60106 413 171 0 63250 0
Current children cumulated CPU time (s) 1057.36
Current children cumulated vsize (KiB) 257300

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1304864/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=269736 CPUtime=1117.33
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1177116 662 0 0 111374 359 0 0 25 0 1 0 59356210 276209664 63184 996147200 134512640 135215973 4294956320 18446744073709551615 135096263 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 67434 63184 413 171 0 66359 0
Current children cumulated CPU time (s) 1117.33
Current children cumulated vsize (KiB) 269736

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1284440/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=282668 CPUtime=1177.31
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1243192 662 0 0 117353 378 0 0 25 0 1 0 59356210 289452032 66430 996147200 134512640 135215973 4294956320 18446744073709551615 134591795 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 70667 66430 413 171 0 69592 0
Current children cumulated CPU time (s) 1177.31
Current children cumulated vsize (KiB) 282668

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1261144/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=288604 CPUtime=1237.27
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1326662 662 0 0 123327 400 0 0 25 0 1 0 59356210 295530496 67916 996147200 134512640 135215973 4294956320 18446744073709551615 135094982 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 72151 67916 413 171 0 71076 0
Current children cumulated CPU time (s) 1237.27
Current children cumulated vsize (KiB) 288604

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1238232/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=298892 CPUtime=1297.25
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1408313 662 0 0 129302 423 0 0 25 0 1 0 59356210 306065408 70511 996147200 134512640 135215973 4294956320 18446744073709551615 135094305 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 74723 70511 413 171 0 73648 0
Current children cumulated CPU time (s) 1297.25
Current children cumulated vsize (KiB) 298892

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1215320/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=308248 CPUtime=1357.22
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1462730 662 0 0 135283 439 0 0 25 0 1 0 59356210 315645952 72834 996147200 134512640 135215973 4294956320 18446744073709551615 134589795 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 77062 72834 413 171 0 75987 0
Current children cumulated CPU time (s) 1357.22
Current children cumulated vsize (KiB) 308248

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1194520/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=315888 CPUtime=1417.2
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1513945 662 0 0 141265 455 0 0 25 0 1 0 59356210 323469312 74761 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 78972 74761 413 171 0 77897 0
Current children cumulated CPU time (s) 1417.2
Current children cumulated vsize (KiB) 315888

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1173088/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=323804 CPUtime=1477.17
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1561303 662 0 0 147249 468 0 0 25 0 1 0 59356210 331575296 76735 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 80951 76735 413 171 0 79876 0
Current children cumulated CPU time (s) 1477.17
Current children cumulated vsize (KiB) 323804

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1157088/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=331456 CPUtime=1537.14
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1610667 662 0 0 153230 484 0 0 25 0 1 0 59356210 339410944 78641 996147200 134512640 135215973 4294956320 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 82864 78641 413 171 0 81789 0
Current children cumulated CPU time (s) 1537.14
Current children cumulated vsize (KiB) 331456

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1138144/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=338048 CPUtime=1597.11
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1660156 662 0 0 159214 497 0 0 25 0 1 0 59356210 346161152 80306 996147200 134512640 135215973 4294956320 18446744073709551615 134589808 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 84512 80306 413 171 0 83437 0
Current children cumulated CPU time (s) 1597.11
Current children cumulated vsize (KiB) 338048

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1121952/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=344640 CPUtime=1657.09
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1708166 662 0 0 165196 513 0 0 25 0 1 0 59356210 352911360 81956 996147200 134512640 135215973 4294956320 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 86160 81956 413 171 0 85085 0
Current children cumulated CPU time (s) 1657.09
Current children cumulated vsize (KiB) 344640

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1106272/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=351228 CPUtime=1717.06
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1754340 662 0 0 171181 525 0 0 25 0 1 0 59356210 359657472 83600 996147200 134512640 135215973 4294956320 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 87807 83600 413 171 0 86732 0
Current children cumulated CPU time (s) 1717.06
Current children cumulated vsize (KiB) 351228

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1090400/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=357156 CPUtime=1777.03
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1800472 662 0 0 177165 538 0 0 25 0 1 0 59356210 365727744 85080 996147200 134512640 135215973 4294956320 18446744073709551615 134583400 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 89289 85080 413 171 0 88214 0
Current children cumulated CPU time (s) 1777.03
Current children cumulated vsize (KiB) 357156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1084192/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=359660 CPUtime=1800.02
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1818062 662 0 0 179459 543 0 0 25 0 1 0 59356210 368291840 85712 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 89915 85712 413 171 0 88840 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 359660

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1805.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1084192/2055920 swapFree=4192812/4192956
[pid=18500] ppid=18498 vsize=359660 CPUtime=1800.02
/proc/18500/stat : 18500 (pcs.big) R 18498 18500 17421 0 -1 4194304 1818062 662 0 0 179459 543 0 0 25 0 1 0 59356210 368291840 85712 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18500/statm: 89915 85712 413 171 0 88840 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 359660

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.36
CPU time (s): 1800.1
CPU user time (s): 1794.6
CPU system time (s): 5.50116
CPU usage (%): 99.7088
Max. virtual memory (cumulated for all children) (KiB): 360016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 5.50116
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1818724
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= 21
involuntary context switches= 15447

runsolver used 1.81872 second user time and 4.94025 second system time

The end

Launcher Data 

Begin job on node3 at 2009-07-16 07:41:26
IDJOB=2083286
IDBENCH=57764
IDSOLVER=733
FILE ID=node3/2083286-1247722886
PBS_JOBID= 9521435
Free space on /tmp= 66400 MiB

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

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

MD5SUM BENCH= 8a127deb0eee354290b5835e74cbb9f7
RANDOM SEED=955209209

node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1664512 kB
Buffers:         71328 kB
Cached:         214136 kB
SwapCached:          0 kB
Active:         109944 kB
Inactive:       211216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1664512 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5008 kB
Writeback:           0 kB
Mapped:          56096 kB
Slab:            55420 kB
Committed_AS:   666532 kB
PageTables:       1848 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= 66400 MiB
End job on node3 at 2009-07-16 08:11:34