Trace number 2083485

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.17 1807.68

General information on the benchmark

Namecsp/fapp/fapp38/
normalized-fapp38-2500-3.xml
MD5SUM79acd02b46aad922dd93860f8851683c
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 benchmark65.0291
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of constraints62132
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension62132
Global constraints used (with number of constraints)

Solver Data 

0.00/0.04	c has big domains
0.00/0.04	c big-domain mode
0.00/0.04	c Seed is 892199758
0.00/0.05	c Constructing HOME/instance-2083485-1247723200.xml  with 393256 constraints
6.93/7.03	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-2083485-1247723200/watcher-2083485-1247723200 -o /tmp/evaluation-result-2083485-1247723200/solver-2083485-1247723200 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 892199758 HOME/instance-2083485-1247723200.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.22 2.13 2.11 4/82 17389
/proc/meminfo: memFree=771712/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=18576 CPUtime=0
/proc/17389/stat : 17389 (runsolver) R 17387 17389 14703 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 59386442 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 238487661863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17389/statm: 4644 284 249 26 0 2626 0

[startup+0.043535 s]
/proc/loadavg: 2.22 2.13 2.11 4/82 17389
/proc/meminfo: memFree=771712/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=5356 CPUtime=0
/proc/17389/stat : 17389 (pcssolve) S 17387 17389 14703 0 -1 4194304 339 317 0 0 0 0 0 0 19 0 1 0 59386442 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17389/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102415 s]
/proc/loadavg: 2.22 2.13 2.11 4/82 17389
/proc/meminfo: memFree=771712/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=6384 CPUtime=0.07
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 1238 668 0 0 5 0 1 1 20 0 1 0 59386442 6537216 828 996147200 134512640 135215973 4294956304 18446744073709551615 4159192554 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 1596 828 386 171 0 521 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6384

[startup+0.302457 s]
/proc/loadavg: 2.22 2.13 2.11 4/82 17389
/proc/meminfo: memFree=771712/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=10596 CPUtime=0.27
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 2655 668 0 0 24 1 1 1 21 0 1 0 59386442 10850304 1852 996147200 134512640 135215973 4294956304 18446744073709551615 4159198606 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 2649 1852 386 171 0 1574 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10596

[startup+0.702528 s]
/proc/loadavg: 2.22 2.13 2.11 4/82 17389
/proc/meminfo: memFree=771712/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=21768 CPUtime=0.67
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 6169 668 0 0 62 3 1 1 25 0 1 0 59386442 22290432 3991 996147200 134512640 135215973 4294956304 18446744073709551615 2962396 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 5442 3991 386 171 0 4367 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21768

[startup+1.50168 s]
/proc/loadavg: 2.22 2.13 2.11 3/83 17394
/proc/meminfo: memFree=750392/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=39640 CPUtime=1.47
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 12412 668 0 0 138 7 1 1 25 0 1 0 59386442 40591360 7976 996147200 134512640 135215973 4294956304 18446744073709551615 2962385 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 9910 7976 386 171 0 8835 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39640

[startup+3.10199 s]
/proc/loadavg: 2.22 2.13 2.11 4/83 17394
/proc/meminfo: memFree=730040/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=74864 CPUtime=3.06
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 24499 668 0 0 290 14 1 1 25 0 1 0 59386442 76660736 15547 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 18716 15547 386 171 0 17641 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 74864

[startup+6.30263 s]
/proc/loadavg: 2.28 2.15 2.12 4/83 17394
/proc/meminfo: memFree=664632/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=145052 CPUtime=6.24
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 48464 668 0 0 595 27 1 1 25 0 1 0 59386442 148533248 30481 996147200 134512640 135215973 4294956304 18446744073709551615 2936448 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 36263 30481 386 171 0 35188 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 145052

[startup+12.7019 s]
/proc/loadavg: 2.42 2.18 2.13 4/83 17394
/proc/meminfo: memFree=599224/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=191336 CPUtime=12.61
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 71133 668 0 0 1224 35 1 1 25 0 1 0 59386442 195928064 43342 996147200 134512640 135215973 4294956304 18446744073709551615 4158960618 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 47834 43342 410 171 0 46759 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 191336

[startup+25.5013 s]
/proc/loadavg: 2.47 2.20 2.13 4/83 17394
/proc/meminfo: memFree=593144/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=192168 CPUtime=25.35
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 71581 668 0 0 2498 35 1 1 25 0 1 0 59386442 196780032 43581 996147200 134512640 135215973 4294956304 18446744073709551615 134583970 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 48042 43581 410 171 0 46967 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 192168

[startup+51.1013 s]
/proc/loadavg: 2.44 2.21 2.14 4/83 17394
/proc/meminfo: memFree=576888/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=193832 CPUtime=50.84
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 72463 668 0 0 5046 36 1 1 25 0 1 0 59386442 198483968 44046 996147200 134512640 135215973 4294956304 18446744073709551615 4158960467 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 48458 44046 410 171 0 47383 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 193832

[startup+102.306 s]
/proc/loadavg: 2.52 2.27 2.16 4/83 17394
/proc/meminfo: memFree=556216/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=216884 CPUtime=101.83
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 79129 668 0 0 10142 39 1 1 25 0 1 0 59386442 222089216 48214 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 54221 48214 410 171 0 53146 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 216884

[startup+162.302 s]
/proc/loadavg: 2.60 2.35 2.19 4/83 17394
/proc/meminfo: memFree=551480/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=220448 CPUtime=161.58
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 80285 668 0 0 16116 40 1 1 25 0 1 0 59386442 225738752 49370 996147200 134512640 135215973 4294956304 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 55112 49370 410 171 0 54037 0
Current children cumulated CPU time (s) 161.58
Current children cumulated vsize (KiB) 220448

[startup+222.301 s]
/proc/loadavg: 2.81 2.47 2.24 4/83 17394
/proc/meminfo: memFree=549816/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=220844 CPUtime=221.33
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 80716 668 0 0 22091 40 1 1 25 0 1 0 59386442 226144256 49801 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 55211 49801 411 171 0 54136 0
Current children cumulated CPU time (s) 221.33
Current children cumulated vsize (KiB) 220844

[startup+282.301 s]
/proc/loadavg: 2.55 2.45 2.25 3/83 17394
/proc/meminfo: memFree=548024/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=222164 CPUtime=281.07
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 163446 668 0 0 28034 71 1 1 25 0 1 0 59386442 227495936 50203 996147200 134512640 135215973 4294956304 18446744073709551615 134583656 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 55541 50203 413 171 0 54466 0
Current children cumulated CPU time (s) 281.07
Current children cumulated vsize (KiB) 222164

[startup+342.302 s]
/proc/loadavg: 2.80 2.54 2.29 3/83 17437
/proc/meminfo: memFree=1267456/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=227572 CPUtime=340.79
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 236481 668 0 0 33976 101 1 1 25 0 1 0 59386442 233033728 51734 996147200 134512640 135215973 4294956304 18446744073709551615 135097706 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 56893 51734 413 171 0 55818 0
Current children cumulated CPU time (s) 340.79
Current children cumulated vsize (KiB) 227572

[startup+402.301 s]
/proc/loadavg: 2.29 2.44 2.27 3/83 17437
/proc/meminfo: memFree=1101056/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=239192 CPUtime=400.55
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 311029 668 0 0 39928 125 1 1 25 0 1 0 59386442 244932608 54778 996147200 134512640 135215973 4294956304 18446744073709551615 134585760 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 59798 54778 413 171 0 58723 0
Current children cumulated CPU time (s) 400.55
Current children cumulated vsize (KiB) 239192

[startup+462.302 s]
/proc/loadavg: 2.10 2.35 2.25 3/83 17437
/proc/meminfo: memFree=930368/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=245000 CPUtime=460.3
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 318720 668 0 0 45900 128 1 1 25 0 1 0 59386442 250880000 56237 996147200 134512640 135215973 4294956304 18446744073709551615 134585794 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 61250 56237 413 171 0 60175 0
Current children cumulated CPU time (s) 460.3
Current children cumulated vsize (KiB) 245000

[startup+522.302 s]
/proc/loadavg: 2.12 2.32 2.24 3/83 17437
/proc/meminfo: memFree=748480/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=265460 CPUtime=520.06
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 329289 668 0 0 51872 132 1 1 25 0 1 0 59386442 271831040 61558 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 66365 61558 413 171 0 65290 0
Current children cumulated CPU time (s) 520.06
Current children cumulated vsize (KiB) 265460

[startup+582.301 s]
/proc/loadavg: 2.15 2.29 2.24 3/83 17437
/proc/meminfo: memFree=543616/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=292560 CPUtime=579.81
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 342593 668 0 0 57842 137 1 1 25 0 1 0 59386442 299581440 65629 996147200 134512640 135215973 4294956304 18446744073709551615 134597408 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 73140 65629 413 171 0 72065 0
Current children cumulated CPU time (s) 579.81
Current children cumulated vsize (KiB) 292560

[startup+642.302 s]
/proc/loadavg: 2.14 2.26 2.23 3/73 17470
/proc/meminfo: memFree=1134544/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=292560 CPUtime=639.56
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 382016 668 0 0 63801 153 1 1 25 0 1 0 59386442 299581440 65692 996147200 134512640 135215973 4294956304 18446744073709551615 134585736 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 73140 65692 413 171 0 72065 0
Current children cumulated CPU time (s) 639.56
Current children cumulated vsize (KiB) 292560

[startup+702.303 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.14 2.18 3/73 17470
/proc/meminfo: memFree=1081808/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=318664 CPUtime=818.82
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 523016 668 0 0 81674 206 1 1 25 0 1 0 59386442 326311936 72868 996147200 134512640 135215973 4294956304 18446744073709551615 134583653 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 79666 72868 413 171 0 78591 0
Current children cumulated CPU time (s) 818.82
Current children cumulated vsize (KiB) 318664

[startup+882.301 s]
/proc/loadavg: 2.00 2.11 2.17 3/73 17476
/proc/meminfo: memFree=1068616/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=328040 CPUtime=878.56
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 528269 668 0 0 87646 208 1 1 25 0 1 0 59386442 335912960 75169 996147200 134512640 135215973 4294956304 18446744073709551615 134585752 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 82010 75169 413 171 0 80935 0
Current children cumulated CPU time (s) 878.56
Current children cumulated vsize (KiB) 328040

[startup+942.301 s]
/proc/loadavg: 2.00 2.09 2.16 3/73 17476
/proc/meminfo: memFree=1049352/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=344004 CPUtime=938.32
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 534264 668 0 0 93620 210 1 1 25 0 1 0 59386442 352260096 79196 996147200 134512640 135215973 4294956304 18446744073709551615 134583396 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 86001 79196 413 171 0 84926 0
Current children cumulated CPU time (s) 938.32
Current children cumulated vsize (KiB) 344004

[startup+1002.3 s]
/proc/loadavg: 2.00 2.07 2.14 3/73 17476
/proc/meminfo: memFree=1036040/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=349560 CPUtime=998.08
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 540246 668 0 0 99593 213 1 1 25 0 1 0 59386442 357949440 80586 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 87390 80586 413 171 0 86315 0
Current children cumulated CPU time (s) 998.08
Current children cumulated vsize (KiB) 349560

[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 2.13 3/73 17476
/proc/meminfo: memFree=1014536/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=364872 CPUtime=1057.83
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 546673 668 0 0 105565 216 1 1 25 0 1 0 59386442 373628928 84389 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 91218 84389 413 171 0 90143 0
Current children cumulated CPU time (s) 1057.83
Current children cumulated vsize (KiB) 364872

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.12 3/73 17476
/proc/meminfo: memFree=997896/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=374508 CPUtime=1117.58
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 556626 668 0 0 111537 219 1 1 25 0 1 0 59386442 383496192 86798 996147200 134512640 135215973 4294956304 18446744073709551615 135094894 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 93627 86798 413 171 0 92552 0
Current children cumulated CPU time (s) 1117.58
Current children cumulated vsize (KiB) 374508

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.11 3/73 17476
/proc/meminfo: memFree=982992/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=383216 CPUtime=1177.34
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 561768 668 0 0 117511 221 1 1 25 0 1 0 59386442 392413184 88988 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 95804 88988 413 171 0 94729 0
Current children cumulated CPU time (s) 1177.34
Current children cumulated vsize (KiB) 383216

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.10 3/73 17476
/proc/meminfo: memFree=967696/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=393784 CPUtime=1237.09
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 566696 668 0 0 123484 223 1 1 25 0 1 0 59386442 403234816 91620 996147200 134512640 135215973 4294956304 18446744073709551615 134583622 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 98446 91620 413 171 0 97371 0
Current children cumulated CPU time (s) 1237.09
Current children cumulated vsize (KiB) 393784

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/73 17476
/proc/meminfo: memFree=957392/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=399436 CPUtime=1296.85
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 583280 668 0 0 129453 230 1 1 25 0 1 0 59386442 409022464 93116 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 99859 93116 413 171 0 98784 0
Current children cumulated CPU time (s) 1296.85
Current children cumulated vsize (KiB) 399436

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/73 17476
/proc/meminfo: memFree=934608/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=415540 CPUtime=1356.6
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 591556 668 0 0 135425 233 1 1 25 0 1 0 59386442 425512960 97128 996147200 134512640 135215973 4294956304 18446744073709551615 134591375 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 103885 97128 413 171 0 102810 0
Current children cumulated CPU time (s) 1356.6
Current children cumulated vsize (KiB) 415540

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.08 3/73 17476
/proc/meminfo: memFree=914064/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=425968 CPUtime=1416.36
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 595811 668 0 0 141399 235 1 1 25 0 1 0 59386442 436191232 99743 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 106492 99743 413 171 0 105417 0
Current children cumulated CPU time (s) 1416.36
Current children cumulated vsize (KiB) 425968

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/73 17476
/proc/meminfo: memFree=891984/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=439168 CPUtime=1476.11
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 604355 668 0 0 147370 239 1 1 25 0 1 0 59386442 449708032 103039 996147200 134512640 135215973 4294956304 18446744073709551615 134596257 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 109792 103039 413 171 0 108717 0
Current children cumulated CPU time (s) 1476.11
Current children cumulated vsize (KiB) 439168

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/73 17476
/proc/meminfo: memFree=878736/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=446428 CPUtime=1535.87
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 608128 668 0 0 153344 241 1 1 25 0 1 0 59386442 457142272 104844 996147200 134512640 135215973 4294956304 18446744073709551615 134583815 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 111607 104844 413 171 0 110532 0
Current children cumulated CPU time (s) 1535.87
Current children cumulated vsize (KiB) 446428

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/73 17476
/proc/meminfo: memFree=865488/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=455668 CPUtime=1595.62
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 623876 668 0 0 159314 246 1 1 25 0 1 0 59386442 466604032 107144 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 113917 107144 413 171 0 112842 0
Current children cumulated CPU time (s) 1595.62
Current children cumulated vsize (KiB) 455668

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/73 17476
/proc/meminfo: memFree=852176/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=465148 CPUtime=1655.38
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 632815 668 0 0 165286 250 1 1 25 0 1 0 59386442 476311552 109523 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 116287 109523 413 171 0 115212 0
Current children cumulated CPU time (s) 1655.38
Current children cumulated vsize (KiB) 465148

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/73 17476
/proc/meminfo: memFree=843536/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=470032 CPUtime=1715.13
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 639302 668 0 0 171258 253 1 1 25 0 1 0 59386442 481312768 110762 996147200 134512640 135215973 4294956304 18446744073709551615 134600784 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 117508 110762 413 171 0 116433 0
Current children cumulated CPU time (s) 1715.13
Current children cumulated vsize (KiB) 470032

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/73 17476
/proc/meminfo: memFree=831760/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=478348 CPUtime=1774.88
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 646953 668 0 0 177230 256 1 1 25 0 1 0 59386442 489828352 112837 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 119587 112837 413 171 0 118512 0
Current children cumulated CPU time (s) 1774.88
Current children cumulated vsize (KiB) 478348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.6 s]
/proc/loadavg: 2.00 2.00 2.04 3/73 17476
/proc/meminfo: memFree=821136/2055920 swapFree=4192812/4192956
[pid=17389] ppid=17387 vsize=487060 CPUtime=1800.07
/proc/17389/stat : 17389 (pcs.big) R 17387 17389 14703 0 -1 4194304 651079 668 0 0 179748 257 1 1 25 0 1 0 59386442 498749440 114995 996147200 134512640 135215973 4294956304 18446744073709551615 134585778 0 0 4096 0 0 0 0 17 0 0 0
/proc/17389/statm: 121765 114995 413 171 0 120690 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 487060

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): 1807.68
CPU time (s): 1800.17
CPU user time (s): 1797.5
CPU system time (s): 2.66959
CPU usage (%): 99.5846
Max. virtual memory (cumulated for all children) (KiB): 487060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.5
system time used= 2.66959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 651747
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= 31
involuntary context switches= 24871

runsolver used 1.69974 second user time and 4.94125 second system time

The end

Launcher Data 

Begin job on node23 at 2009-07-16 07:46:40
IDJOB=2083485
IDBENCH=57832
IDSOLVER=734
FILE ID=node23/2083485-1247723200
PBS_JOBID= 9521339
Free space on /tmp= 66384 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp38/normalized-fapp38-2500-3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083485-1247723200/watcher-2083485-1247723200 -o /tmp/evaluation-result-2083485-1247723200/solver-2083485-1247723200 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 892199758 HOME/instance-2083485-1247723200.xml

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

MD5SUM BENCH= 79acd02b46aad922dd93860f8851683c
RANDOM SEED=892199758

node23.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.277
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.277
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:        772128 kB
Buffers:         83508 kB
Cached:         362436 kB
SwapCached:          0 kB
Active:         811872 kB
Inactive:       391584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        772128 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10412 kB
Writeback:           0 kB
Mapped:         777872 kB
Slab:            64176 kB
Committed_AS:  1267696 kB
PageTables:       3284 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= 66380 MiB
End job on node23 at 2009-07-16 08:16:50