Trace number 2083539

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 1811.36

General information on the benchmark

Namecsp/fapp/fapp30/
normalized-fapp30-3000-3.xml
MD5SUMae5d607663ce3822ee178e88e7985676
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 benchmark39.0571
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints63204
Maximum constraint arity2
Maximum domain size778
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63204
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 2025801379
0.00/0.04	c Constructing HOME/instance-2083539-1247723281.xml  with 399468 constraints
7.11/7.30	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-2083539-1247723281/watcher-2083539-1247723281 -o /tmp/evaluation-result-2083539-1247723281/solver-2083539-1247723281 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2025801379 HOME/instance-2083539-1247723281.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/72 12700
/proc/meminfo: memFree=1399216/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=5356 CPUtime=0
/proc/12700/stat : 12700 (pcssolve) R 12698 12700 9569 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59394633 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 272467815071 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12700/statm: 1339 241 200 169 0 50 0
[pid=12701] ppid=12700 vsize=5356 CPUtime=0
/proc/12701/stat : 12701 (pcssolve) R 12700 12700 9569 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59394634 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 272467815071 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12701/statm: 1339 241 200 169 0 50 0

[startup+0.043327 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12700
/proc/meminfo: memFree=1399216/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=4492 CPUtime=0.02
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 772 668 0 0 0 0 1 1 22 0 1 0 59394633 4599808 403 996147200 134512640 135215973 4294956304 18446744073709551615 134839686 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 1123 403 360 171 0 48 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4492

[startup+0.102341 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12700
/proc/meminfo: memFree=1399216/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=6628 CPUtime=0.08
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 1310 668 0 0 6 0 1 1 22 0 1 0 59394633 6787072 900 996147200 134512640 135215973 4294956304 18446744073709551615 4159730074 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 1657 900 386 171 0 582 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6628

[startup+0.301367 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12700
/proc/meminfo: memFree=1399216/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=10984 CPUtime=0.28
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 2756 668 0 0 25 1 1 1 24 0 1 0 59394633 11247616 1893 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 2746 1893 386 171 0 1671 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10984

[startup+0.702427 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12700
/proc/meminfo: memFree=1399216/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=21932 CPUtime=0.68
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 6216 668 0 0 63 3 1 1 25 0 1 0 59394633 22458368 3910 996147200 134512640 135215973 4294956304 18446744073709551615 5111540 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 5483 3910 386 171 0 4408 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21932

[startup+1.50154 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12705
/proc/meminfo: memFree=1378784/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=39692 CPUtime=1.47
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 12304 668 0 0 140 5 1 1 25 0 1 0 59394633 40644608 7670 996147200 134512640 135215973 4294956304 18446744073709551615 4159189552 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 9923 7670 386 171 0 8848 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39692

[startup+3.10177 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12705
/proc/meminfo: memFree=1357728/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=74976 CPUtime=3.04
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 24270 668 0 0 291 11 1 1 25 0 1 0 59394633 76775424 14982 996147200 134512640 135215973 4294956304 18446744073709551615 134773361 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 18744 14982 386 171 0 17669 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 74976

[startup+6.30124 s]
/proc/loadavg: 2.08 2.02 2.01 3/73 12705
/proc/meminfo: memFree=1301472/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=145288 CPUtime=6.21
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 47961 668 0 0 597 22 1 1 25 0 1 0 59394633 148774912 29367 996147200 134512640 135215973 4294956304 18446744073709551615 134761755 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 36322 29367 386 171 0 35247 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 145288

[startup+12.7012 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 12705
/proc/meminfo: memFree=1230176/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=186952 CPUtime=12.56
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 67078 668 0 0 1223 31 1 1 25 0 1 0 59394633 191438848 42448 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 46738 42448 410 171 0 45663 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 186952

[startup+25.502 s]
/proc/loadavg: 2.06 2.01 2.00 3/73 12705
/proc/meminfo: memFree=1229544/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=188200 CPUtime=25.26
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 67589 668 0 0 2493 31 1 1 25 0 1 0 59394633 192716800 42645 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 47050 42645 410 171 0 45975 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 188200

[startup+51.1017 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 12705
/proc/meminfo: memFree=1224808/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=189864 CPUtime=50.67
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 68389 668 0 0 5033 32 1 1 25 0 1 0 59394633 194420736 43028 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 47466 43028 410 171 0 46391 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 189864

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 12705
/proc/meminfo: memFree=1208552/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=202564 CPUtime=101.47
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 72312 668 0 0 10112 33 1 1 25 0 1 0 59394633 207425536 46118 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 50641 46118 410 171 0 49566 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 202564

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12705
/proc/meminfo: memFree=1186856/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=222816 CPUtime=161
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 77988 668 0 0 16062 36 1 1 25 0 1 0 59394633 228163584 50129 996147200 134512640 135215973 4294956304 18446744073709551615 134597302 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 55704 50129 410 171 0 54629 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 222816

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12707
/proc/meminfo: memFree=1173736/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=222816 CPUtime=220.54
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 78010 668 0 0 22016 36 1 1 25 0 1 0 59394633 228163584 50151 996147200 134512640 135215973 4294956304 18446744073709551615 134600802 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 55704 50151 410 171 0 54629 0
Current children cumulated CPU time (s) 220.54
Current children cumulated vsize (KiB) 222816

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12707
/proc/meminfo: memFree=1167400/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=222816 CPUtime=280.09
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 80223 668 0 0 27970 37 1 1 25 0 1 0 59394633 228163584 50366 996147200 134512640 135215973 4294956304 18446744073709551615 134583375 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 55704 50366 413 171 0 54629 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (KiB) 222816

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12707
/proc/meminfo: memFree=1156072/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=223476 CPUtime=339.64
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 83089 668 0 0 33923 39 1 1 25 0 1 0 59394633 228839424 50568 996147200 134512640 135215973 4294956304 18446744073709551615 135094915 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 55869 50568 413 171 0 54794 0
Current children cumulated CPU time (s) 339.64
Current children cumulated vsize (KiB) 223476

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12707
/proc/meminfo: memFree=1152360/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=225060 CPUtime=399.17
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 111111 668 0 0 39867 48 1 1 25 0 1 0 59394633 230461440 50951 996147200 134512640 135215973 4294956304 18446744073709551615 135095390 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 56265 50951 413 171 0 55190 0
Current children cumulated CPU time (s) 399.17
Current children cumulated vsize (KiB) 225060

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12707
/proc/meminfo: memFree=1136232/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=229548 CPUtime=458.69
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 169845 668 0 0 45798 69 1 1 25 0 1 0 59394633 235057152 52076 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 57387 52076 413 171 0 56312 0
Current children cumulated CPU time (s) 458.69
Current children cumulated vsize (KiB) 229548

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12707
/proc/meminfo: memFree=1123240/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=232716 CPUtime=518.23
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 193286 668 0 0 51742 79 1 1 25 0 1 0 59394633 238301184 52873 996147200 134512640 135215973 4294956304 18446744073709551615 135094344 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 58179 52873 413 171 0 57104 0
Current children cumulated CPU time (s) 518.23
Current children cumulated vsize (KiB) 232716

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12707
/proc/meminfo: memFree=1107688/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=236276 CPUtime=577.76
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 248799 668 0 0 57673 101 1 1 25 0 1 0 59394633 241946624 53774 996147200 134512640 135215973 4294956304 18446744073709551615 134600802 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 59069 53774 413 171 0 57994 0
Current children cumulated CPU time (s) 577.76
Current children cumulated vsize (KiB) 236276

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12707
/proc/meminfo: memFree=1097320/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=240236 CPUtime=637.29
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 279134 668 0 0 63614 113 1 1 25 0 1 0 59394633 246001664 54805 996147200 134512640 135215973 4294956304 18446744073709551615 134585681 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 60059 54805 413 171 0 58984 0
Current children cumulated CPU time (s) 637.29

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12713
/proc/meminfo: memFree=1054304/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=253428 CPUtime=875.37
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 435940 668 0 0 87363 172 1 1 25 0 1 0 59394633 259510272 58098 996147200 134512640 135215973 4294956304 18446744073709551615 134585888 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 63357 58098 413 171 0 62282 0
Current children cumulated CPU time (s) 875.37
Current children cumulated vsize (KiB) 253428

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12713
/proc/meminfo: memFree=1033312/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=258176 CPUtime=934.89
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 485430 668 0 0 93297 190 1 1 25 0 1 0 59394633 264372224 59303 996147200 134512640 135215973 4294956304 18446744073709551615 135094353 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 64544 59303 413 171 0 63469 0
Current children cumulated CPU time (s) 934.89
Current children cumulated vsize (KiB) 258176

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12713
/proc/meminfo: memFree=1015200/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=261608 CPUtime=994.43
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 510913 668 0 0 99241 200 1 1 25 0 1 0 59394633 267886592 60144 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 65402 60144 413 171 0 64327 0
Current children cumulated CPU time (s) 994.43
Current children cumulated vsize (KiB) 261608

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12713
/proc/meminfo: memFree=988896/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=272696 CPUtime=1053.95
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 543990 668 0 0 105183 210 1 1 25 0 1 0 59394633 279240704 62918 996147200 134512640 135215973 4294956304 18446744073709551615 134585878 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 68174 62918 413 171 0 67099 0
Current children cumulated CPU time (s) 1053.95
Current children cumulated vsize (KiB) 272696

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12713
/proc/meminfo: memFree=962664/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=281936 CPUtime=1113.48
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 579648 668 0 0 111123 223 1 1 25 0 1 0 59394633 288702464 65276 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 70484 65276 413 171 0 69409 0
Current children cumulated CPU time (s) 1113.48
Current children cumulated vsize (KiB) 281936

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12713
/proc/meminfo: memFree=944296/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=284444 CPUtime=1173.01
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 628789 668 0 0 117058 241 1 1 25 0 1 0 59394633 291270656 66132 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 71111 66132 413 171 0 70036 0
Current children cumulated CPU time (s) 1173.01
Current children cumulated vsize (KiB) 284444

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 12713
/proc/meminfo: memFree=925096/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=286820 CPUtime=1232.54
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 678909 668 0 0 122993 259 1 1 25 0 1 0 59394633 293703680 66968 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 71705 66968 413 171 0 70630 0
Current children cumulated CPU time (s) 1232.54
Current children cumulated vsize (KiB) 286820

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 12713
/proc/meminfo: memFree=908072/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=287876 CPUtime=1292.04
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 725251 668 0 0 128926 276 1 1 25 0 1 0 59394633 294785024 67356 996147200 134512640 135215973 4294956304 18446744073709551615 4158960181 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 71969 67356 413 171 0 70894 0
Current children cumulated CPU time (s) 1292.04
Current children cumulated vsize (KiB) 287876

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 12713
/proc/meminfo: memFree=887784/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=296588 CPUtime=1351.57
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 766714 668 0 0 134863 292 1 1 25 0 1 0 59394633 303706112 69525 996147200 134512640 135215973 4294956304 18446744073709551615 134583485 0 0 4096 0 0 0 0 17 1 0 0
/proc/12700/statm: 74147 69525 413 171 0 73072 0
Current children cumulated CPU time (s) 1351.57
Current children cumulated vsize (KiB) 296588

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 12788
/proc/meminfo: memFree=1203728/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=303188 CPUtime=1411.19
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 793344 668 0 0 140814 303 1 1 25 0 1 0 59394633 310464512 71180 996147200 134512640 135215973 4294956304 18446744073709551615 134597477 0 0 4096 0 0 0 0 17 0 0 0
/proc/12700/statm: 75797 71180 413 171 0 74722 0
Current children cumulated CPU time (s) 1411.19
Current children cumulated vsize (KiB) 303188

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12788
/proc/meminfo: memFree=1200784/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=305828 CPUtime=1471.16
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 837959 668 0 0 146795 319 1 1 25 0 1 0 59394633 313167872 71839 996147200 134512640 135215973 4294956304 18446744073709551615 135094939 0 0 4096 0 0 0 0 17 0 0 0
/proc/12700/statm: 76457 71839 413 171 0 75382 0
Current children cumulated CPU time (s) 1471.16
Current children cumulated vsize (KiB) 305828

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12788
/proc/meminfo: memFree=1196304/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=310184 CPUtime=1531.13
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 877040 668 0 0 152779 332 1 1 25 0 1 0 59394633 317628416 72958 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 0 0 0
/proc/12700/statm: 77546 72958 413 171 0 76471 0
Current children cumulated CPU time (s) 1531.13
Current children cumulated vsize (KiB) 310184

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12788
/proc/meminfo: memFree=1187856/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=318500 CPUtime=1591.11
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 903765 668 0 0 158768 341 1 1 25 0 1 0 59394633 326144000 75041 996147200 134512640 135215973 4294956304 18446744073709551615 134591607 0 0 4096 0 0 0 0 17 0 0 0
/proc/12700/statm: 79625 75041 413 171 0 78550 0
Current children cumulated CPU time (s) 1591.11
Current children cumulated vsize (KiB) 318500

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 12788
/proc/meminfo: memFree=1177296/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=328928 CPUtime=1651.09
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 934406 668 0 0 164754 353 1 1 25 0 1 0 59394633 336822272 77710 996147200 134512640 135215973 4294956304 18446744073709551615 4158960143 0 0 4096 0 0 0 0 17 0 0 0
/proc/12700/statm: 82232 77710 413 171 0 81157 0
Current children cumulated CPU time (s) 1651.09
Current children cumulated vsize (KiB) 328928

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 12788
/proc/meminfo: memFree=1170384/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=335260 CPUtime=1711.06
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 971720 668 0 0 170737 367 1 1 25 0 1 0 59394633 343306240 79360 996147200 134512640 135215973 4294956304 18446744073709551615 134591462 0 0 4096 0 0 0 0 17 0 0 0
/proc/12700/statm: 83815 79360 413 171 0 82740 0
Current children cumulated CPU time (s) 1711.06
Current children cumulated vsize (KiB) 335260

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12788
/proc/meminfo: memFree=1161624/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=343972 CPUtime=1771.04
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 998539 668 0 0 176724 378 1 1 25 0 1 0 59394633 352227328 81537 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/12700/statm: 85993 81537 413 171 0 84918 0
Current children cumulated CPU time (s) 1771.04
Current children cumulated vsize (KiB) 343972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12788
/proc/meminfo: memFree=1157464/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=348196 CPUtime=1800.03
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 1011595 668 0 0 179619 382 1 1 25 0 1 0 59394633 356552704 82605 996147200 134512640 135215973 4294956304 18446744073709551615 134600822 0 0 4096 0 0 0 0 17 0 0 0
/proc/12700/statm: 87049 82605 413 171 0 85974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 348196

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

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

[startup+1811.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12788
/proc/meminfo: memFree=1157464/2055920 swapFree=4192812/4192956
[pid=12700] ppid=12698 vsize=348196 CPUtime=1800.03
/proc/12700/stat : 12700 (pcs.big) R 12698 12700 9569 0 -1 4194304 1011595 668 0 0 179619 382 1 1 25 0 1 0 59394633 356552704 82605 996147200 134512640 135215973 4294956304 18446744073709551615 134600822 0 0 4096 0 0 0 0 17 0 0 0
/proc/12700/statm: 87049 82605 413 171 0 85974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 348196

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.36
CPU time (s): 1800.1
CPU user time (s): 1796.21
CPU system time (s): 3.88941
CPU usage (%): 99.3783
Max. virtual memory (cumulated for all children) (KiB): 349132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.21
system time used= 3.88941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1012263
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= 36
involuntary context switches= 31710

runsolver used 1.78173 second user time and 5.09523 second system time

The end

Launcher Data 

Begin job on node22 at 2009-07-16 07:48:01
IDJOB=2083539
IDBENCH=57850
IDSOLVER=733
FILE ID=node22/2083539-1247723281
PBS_JOBID= 9521474
Free space on /tmp= 66376 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp30/normalized-fapp30-3000-3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083539-1247723281/watcher-2083539-1247723281 -o /tmp/evaluation-result-2083539-1247723281/solver-2083539-1247723281 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2025801379 HOME/instance-2083539-1247723281.xml

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

MD5SUM BENCH= ae5d607663ce3822ee178e88e7985676
RANDOM SEED=2025801379

node22.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.278
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.278
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	: 5636.09
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1399632 kB
Buffers:         88540 kB
Cached:         356112 kB
SwapCached:          0 kB
Active:         184524 kB
Inactive:       385344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1399632 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10596 kB
Writeback:           0 kB
Mapped:         136736 kB
Slab:            71428 kB
Committed_AS:   680688 kB
PageTables:       2012 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= 66376 MiB
End job on node22 at 2009-07-16 08:18:15