Trace number 2083759

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.14 1807.65

General information on the benchmark

Namecsp/fapp/fapp02/
normalized-fapp02-0250-10.xml
MD5SUM2937328af9f6c216cca6342fe202e849
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 benchmark17.2614
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints3055
Maximum constraint arity2
Maximum domain size210
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3055
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.13	c Seed is 419475822
0.00/0.13	c Constructing HOME/instance-2083759-1247723723.xml  with 19175 constraints
0.00/0.31	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-2083759-1247723723/watcher-2083759-1247723723 -o /tmp/evaluation-result-2083759-1247723723/solver-2083759-1247723723 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 419475822 HOME/instance-2083759-1247723723.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.54 2.30 2.10 4/73 12479
/proc/meminfo: memFree=1189296/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=12172 CPUtime=0.29
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 3102 661 0 0 28 1 0 0 19 0 1 0 59439564 12464128 2059 996147200 134512640 135215973 4294956320 18446744073709551615 134710836 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 3043 2059 386 171 0 1968 0

[startup+0.348291 s]
/proc/loadavg: 2.54 2.30 2.10 4/73 12479
/proc/meminfo: memFree=1189296/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=14564 CPUtime=0.33
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 4117 661 0 0 32 1 0 0 19 0 1 0 59439564 14913536 2654 996147200 134512640 135215973 4294956320 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 3641 2654 410 171 0 2566 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 14564

[startup+0.401287 s]
/proc/loadavg: 2.54 2.30 2.10 4/73 12479
/proc/meminfo: memFree=1189296/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=14564 CPUtime=0.38
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 4117 661 0 0 37 1 0 0 20 0 1 0 59439564 14913536 2654 996147200 134512640 135215973 4294956320 18446744073709551615 134597353 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 3641 2654 410 171 0 2566 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 14564

[startup+0.5013 s]
/proc/loadavg: 2.54 2.30 2.10 4/73 12479
/proc/meminfo: memFree=1189296/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=14564 CPUtime=0.48
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 4130 661 0 0 47 1 0 0 21 0 1 0 59439564 14913536 2667 996147200 134512640 135215973 4294956320 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 3641 2667 410 171 0 2566 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 14564

[startup+0.701321 s]
/proc/loadavg: 2.54 2.30 2.10 4/73 12479
/proc/meminfo: memFree=1189296/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=14776 CPUtime=0.68
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 4158 661 0 0 67 1 0 0 23 0 1 0 59439564 15130624 2695 996147200 134512640 135215973 4294956320 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 3694 2695 410 171 0 2619 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14776

[startup+1.50139 s]
/proc/loadavg: 2.50 2.29 2.10 3/74 12484
/proc/meminfo: memFree=1179624/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=15116 CPUtime=1.48
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 4299 661 0 0 147 1 0 0 25 0 1 0 59439564 15478784 2783 996147200 134512640 135215973 4294956320 18446744073709551615 134591668 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 3779 2783 410 171 0 2704 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15116

[startup+3.10155 s]
/proc/loadavg: 2.50 2.29 2.10 3/74 12484
/proc/meminfo: memFree=1179048/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=16164 CPUtime=3.08
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 4604 661 0 0 307 1 0 0 25 0 1 0 59439564 16551936 2983 996147200 134512640 135215973 4294956320 18446744073709551615 135094926 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 4041 2983 413 171 0 2966 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16164

[startup+6.30185 s]
/proc/loadavg: 2.46 2.29 2.10 3/74 12484
/proc/meminfo: memFree=1178216/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=16364 CPUtime=6.26
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 4675 661 0 0 625 1 0 0 25 0 1 0 59439564 16756736 3054 996147200 134512640 135215973 4294956320 18446744073709551615 4158960069 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 4091 3054 413 171 0 3016 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16364

[startup+12.7015 s]
/proc/loadavg: 2.42 2.28 2.10 3/74 12484
/proc/meminfo: memFree=1176744/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=17996 CPUtime=12.64
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 5088 661 0 0 1263 1 0 0 25 0 1 0 59439564 18427904 3467 996147200 134512640 135215973 4294956320 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 4499 3467 413 171 0 3424 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 17996

[startup+25.5017 s]
/proc/loadavg: 2.33 2.27 2.10 3/74 12484
/proc/meminfo: memFree=1173416/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=19508 CPUtime=25.39
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 5487 661 0 0 2538 1 0 0 25 0 1 0 59439564 19976192 3866 996147200 134512640 135215973 4294956320 18446744073709551615 134969641 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 4877 3866 413 171 0 3802 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 19508

[startup+51.1011 s]
/proc/loadavg: 2.21 2.25 2.09 3/74 12484
/proc/meminfo: memFree=1169832/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=22740 CPUtime=50.88
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 6377 661 0 0 5086 2 0 0 25 0 1 0 59439564 23285760 4547 996147200 134512640 135215973 4294956320 18446744073709551615 134585606 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 5685 4547 413 171 0 4610 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 22740

[startup+102.302 s]
/proc/loadavg: 2.09 2.21 2.09 3/74 12484
/proc/meminfo: memFree=1157992/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=28516 CPUtime=101.88
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 7964 661 0 0 10185 3 0 0 25 0 1 0 59439564 29200384 6134 996147200 134512640 135215973 4294956320 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 7129 6134 413 171 0 6054 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 28516

[startup+162.302 s]
/proc/loadavg: 2.03 2.17 2.08 3/74 12484
/proc/meminfo: memFree=1146984/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=32940 CPUtime=161.64
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 9075 661 0 0 16161 3 0 0 25 0 1 0 59439564 33730560 7245 996147200 134512640 135215973 4294956320 18446744073709551615 135094939 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 8235 7245 413 171 0 7160 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 32940

[startup+222.301 s]
/proc/loadavg: 2.01 2.13 2.07 4/74 12484
/proc/meminfo: memFree=1132904/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=40188 CPUtime=221.4
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 10904 661 0 0 22136 4 0 0 25 0 1 0 59439564 41152512 9074 996147200 134512640 135215973 4294956320 18446744073709551615 135094617 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 10047 9074 413 171 0 8972 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 40188

[startup+282.302 s]
/proc/loadavg: 2.00 2.11 2.07 3/74 12484
/proc/meminfo: memFree=1119912/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=50008 CPUtime=281.16
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 13413 661 0 0 28110 6 0 0 25 0 1 0 59439564 51208192 11166 996147200 134512640 135215973 4294956320 18446744073709551615 4158960143 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 12502 11166 413 171 0 11427 0
Current children cumulated CPU time (s) 281.16
Current children cumulated vsize (KiB) 50008

[startup+342.302 s]
/proc/loadavg: 2.00 2.08 2.06 3/74 12490
/proc/meminfo: memFree=1107688/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=57120 CPUtime=340.9
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 15206 661 0 0 34084 6 0 0 25 0 1 0 59439564 58490880 12959 996147200 134512640 135215973 4294956320 18446744073709551615 134591592 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 14280 12959 413 171 0 13205 0
Current children cumulated CPU time (s) 340.9
Current children cumulated vsize (KiB) 57120

[startup+402.301 s]
/proc/loadavg: 2.00 2.07 2.06 3/74 12490
/proc/meminfo: memFree=1095464/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=64812 CPUtime=400.66
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 17141 661 0 0 40059 7 0 0 25 0 1 0 59439564 66367488 14894 996147200 134512640 135215973 4294956320 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 16203 14894 413 171 0 15128 0
Current children cumulated CPU time (s) 400.66
Current children cumulated vsize (KiB) 64812

[startup+462.306 s]
/proc/loadavg: 2.00 2.05 2.05 3/74 12490
/proc/meminfo: memFree=1084520/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=71456 CPUtime=460.42
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 18892 661 0 0 46034 8 0 0 25 0 1 0 59439564 73170944 16645 996147200 134512640 135215973 4294956320 18446744073709551615 134591823 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 17864 16645 413 171 0 16789 0
Current children cumulated CPU time (s) 460.42
Current children cumulated vsize (KiB) 71456

[startup+522.302 s]
/proc/loadavg: 2.00 2.04 2.04 3/74 12490
/proc/meminfo: memFree=1076264/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=76056 CPUtime=520.19
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 20046 661 0 0 52010 9 0 0 25 0 1 0 59439564 77881344 17799 996147200 134512640 135215973 4294956320 18446744073709551615 4158960176 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 19014 17799 413 171 0 17939 0
Current children cumulated CPU time (s) 520.19
Current children cumulated vsize (KiB) 76056

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.04 3/74 12490
/proc/meminfo: memFree=1064424/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=84028 CPUtime=579.95
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 22053 661 0 0 57985 10 0 0 25 0 1 0 59439564 86044672 19516 996147200 134512640 135215973 4294956320 18446744073709551615 134583525 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 21007 19516 413 171 0 19932 0
Current children cumulated CPU time (s) 579.95
Current children cumulated vsize (KiB) 84028

[startup+642.302 s]
/proc/loadavg: 2.00 2.02 2.03 3/74 12490
/proc/meminfo: memFree=1055080/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=89632 CPUtime=639.71
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 23468 661 0 0 63961 10 0 0 25 0 1 0 59439564 91783168 20931 996147200 134512640 135215973 4294956320 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 22408 20931 413 171 0 21333 0
Current children cumulated CPU time (s) 639.71
Current children cumulated vsize (KiB) 89632

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 2.01 2.02 2.02 3/84 12647
/proc/meminfo: memFree=1068944/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=110748 CPUtime=878.56
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 28794 661 0 0 87841 15 0 0 25 0 1 0 59439564 113405952 26257 996147200 134512640 135215973 4294956320 18446744073709551615 134533360 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 27687 26257 413 171 0 26612 0
Current children cumulated CPU time (s) 878.56
Current children cumulated vsize (KiB) 110748

[startup+942.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/84 12647
/proc/meminfo: memFree=998160/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=116332 CPUtime=938.3
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 30194 661 0 0 93814 16 0 0 25 0 1 0 59439564 119123968 27657 996147200 134512640 135215973 4294956320 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 29083 27657 413 171 0 28008 0
Current children cumulated CPU time (s) 938.3
Current children cumulated vsize (KiB) 116332

[startup+1002.3 s]
/proc/loadavg: 2.20 2.06 2.02 3/84 12647
/proc/meminfo: memFree=953680/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=116460 CPUtime=998.06
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 30234 661 0 0 99790 16 0 0 25 0 1 0 59439564 119255040 27697 996147200 134512640 135215973 4294956320 18446744073709551615 134585752 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 29115 27697 413 171 0 28040 0
Current children cumulated CPU time (s) 998.06
Current children cumulated vsize (KiB) 116460

[startup+1062.3 s]
/proc/loadavg: 2.16 2.08 2.03 4/84 12647
/proc/meminfo: memFree=903120/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=119512 CPUtime=1057.81
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 31006 661 0 0 105764 17 0 0 25 0 1 0 59439564 122380288 28469 996147200 134512640 135215973 4294956320 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 29878 28469 413 171 0 28803 0
Current children cumulated CPU time (s) 1057.81
Current children cumulated vsize (KiB) 119512

[startup+1122.31 s]
/proc/loadavg: 2.06 2.06 2.02 3/84 12647
/proc/meminfo: memFree=857104/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=130404 CPUtime=1117.56
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 33736 661 0 0 111738 18 0 0 25 0 1 0 59439564 133533696 31199 996147200 134512640 135215973 4294956320 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 32601 31199 413 171 0 31526 0
Current children cumulated CPU time (s) 1117.56
Current children cumulated vsize (KiB) 130404

[startup+1182.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/84 12647
/proc/meminfo: memFree=819152/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=140984 CPUtime=1177.32
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 36390 661 0 0 117713 19 0 0 25 0 1 0 59439564 144367616 33853 996147200 134512640 135215973 4294956320 18446744073709551615 134583434 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 35246 33853 413 171 0 34171 0
Current children cumulated CPU time (s) 1177.32
Current children cumulated vsize (KiB) 140984

[startup+1242.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/84 12647
/proc/meminfo: memFree=763280/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=149044 CPUtime=1237.08
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 38417 661 0 0 123688 20 0 0 25 0 1 0 59439564 152621056 35880 996147200 134512640 135215973 4294956320 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 37261 35880 413 171 0 36186 0
Current children cumulated CPU time (s) 1237.08
Current children cumulated vsize (KiB) 149044

[startup+1302.3 s]
/proc/loadavg: 2.21 2.11 2.04 3/84 12647
/proc/meminfo: memFree=725776/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=158432 CPUtime=1296.83
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 40777 661 0 0 129662 21 0 0 25 0 1 0 59439564 162234368 38240 996147200 134512640 135215973 4294956320 18446744073709551615 134591456 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 39608 38240 413 171 0 38533 0
Current children cumulated CPU time (s) 1296.83
Current children cumulated vsize (KiB) 158432

[startup+1362.3 s]
/proc/loadavg: 2.27 2.13 2.05 3/84 12647
/proc/meminfo: memFree=691024/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=167260 CPUtime=1356.58
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 42998 661 0 0 135636 22 0 0 25 0 1 0 59439564 171274240 40461 996147200 134512640 135215973 4294956320 18446744073709551615 134591361 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 41815 40461 413 171 0 40740 0
Current children cumulated CPU time (s) 1356.58
Current children cumulated vsize (KiB) 167260

[startup+1422.3 s]
/proc/loadavg: 2.17 2.13 2.05 4/84 12647
/proc/meminfo: memFree=676752/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=176844 CPUtime=1416.35
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 45408 661 0 0 141611 24 0 0 25 0 1 0 59439564 181088256 42871 996147200 134512640 135215973 4294956320 18446744073709551615 134972700 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 44211 42871 413 171 0 43136 0
Current children cumulated CPU time (s) 1416.35
Current children cumulated vsize (KiB) 176844

[startup+1482.3 s]
/proc/loadavg: 2.12 2.12 2.05 3/84 12647
/proc/meminfo: memFree=614160/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=185404 CPUtime=1476.11
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 47562 661 0 0 147585 26 0 0 25 0 1 0 59439564 189853696 45025 996147200 134512640 135215973 4294956320 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 46351 45025 413 171 0 45276 0
Current children cumulated CPU time (s) 1476.11
Current children cumulated vsize (KiB) 185404

[startup+1542.3 s]
/proc/loadavg: 2.04 2.10 2.05 3/84 12647
/proc/meminfo: memFree=572240/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=192240 CPUtime=1535.87
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 49283 661 0 0 153560 27 0 0 25 0 1 0 59439564 196853760 46746 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 48060 46746 413 171 0 46985 0
Current children cumulated CPU time (s) 1535.87
Current children cumulated vsize (KiB) 192240

[startup+1602.3 s]
/proc/loadavg: 2.01 2.08 2.04 3/84 12647
/proc/meminfo: memFree=564752/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=199624 CPUtime=1595.62
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 51147 661 0 0 159535 27 0 0 25 0 1 0 59439564 204414976 48577 996147200 134512640 135215973 4294956320 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 49906 48577 413 171 0 48831 0
Current children cumulated CPU time (s) 1595.62
Current children cumulated vsize (KiB) 199624

[startup+1662.3 s]
/proc/loadavg: 2.00 2.06 2.04 3/84 12647
/proc/meminfo: memFree=522576/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=207084 CPUtime=1655.38
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 53050 661 0 0 165510 28 0 0 25 0 1 0 59439564 212054016 50415 996147200 134512640 135215973 4294956320 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 51771 50415 413 171 0 50696 0
Current children cumulated CPU time (s) 1655.38
Current children cumulated vsize (KiB) 207084

[startup+1722.3 s]
/proc/loadavg: 2.19 2.09 2.05 4/84 12647
/proc/meminfo: memFree=509328/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=213700 CPUtime=1715.14
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 54723 661 0 0 171485 29 0 0 25 0 1 0 59439564 218828800 52088 996147200 134512640 135215973 4294956320 18446744073709551615 134585733 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 53425 52088 413 171 0 52350 0
Current children cumulated CPU time (s) 1715.14
Current children cumulated vsize (KiB) 213700

[startup+1782.31 s]
/proc/loadavg: 2.15 2.09 2.05 3/84 12647
/proc/meminfo: memFree=502352/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=220464 CPUtime=1774.9
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 56427 661 0 0 177460 30 0 0 25 0 1 0 59439564 225755136 53792 996147200 134512640 135215973 4294956320 18446744073709551615 134583459 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 55116 53792 413 171 0 54041 0
Current children cumulated CPU time (s) 1774.9
Current children cumulated vsize (KiB) 220464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.61 s]
/proc/loadavg: 2.10 2.08 2.04 4/84 12647
/proc/meminfo: memFree=446480/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=222536 CPUtime=1800.09
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 56949 661 0 0 179979 30 0 0 25 0 1 0 59439564 227876864 54314 996147200 134512640 135215973 4294956320 18446744073709551615 134597340 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 55634 54314 413 171 0 54559 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 222536

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

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

[startup+1807.61 s]
/proc/loadavg: 2.10 2.08 2.04 4/84 12647
/proc/meminfo: memFree=446480/2055920 swapFree=4192812/4192956
[pid=12479] ppid=12477 vsize=222536 CPUtime=1800.09
/proc/12479/stat : 12479 (pcs.big) R 12477 12479 11556 0 -1 4194304 56949 661 0 0 179979 30 0 0 25 0 1 0 59439564 227876864 54314 996147200 134512640 135215973 4294956320 18446744073709551615 134597340 0 0 4096 0 0 0 0 17 0 0 0
/proc/12479/statm: 55634 54314 413 171 0 54559 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 222536

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.65
CPU time (s): 1800.14
CPU user time (s): 1799.8
CPU system time (s): 0.344947
CPU usage (%): 99.5849
Max. virtual memory (cumulated for all children) (KiB): 222536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.344947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57610
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= 22
involuntary context switches= 25533

runsolver used 1.76973 second user time and 4.89026 second system time

The end

Launcher Data 

Begin job on node8 at 2009-07-16 07:55:23
IDJOB=2083759
IDBENCH=57924
IDSOLVER=733
FILE ID=node8/2083759-1247723723
PBS_JOBID= 9521433
Free space on /tmp= 66088 MiB

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

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

MD5SUM BENCH= 2937328af9f6c216cca6342fe202e849
RANDOM SEED=419475822

node8.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.213
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.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1189776 kB
Buffers:         71564 kB
Cached:         521124 kB
SwapCached:          0 kB
Active:         269620 kB
Inactive:       518516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1189776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2136 kB
Writeback:           0 kB
Mapped:         206972 kB
Slab:            62848 kB
Committed_AS:   636740 kB
PageTables:       2132 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66092 MiB
End job on node8 at 2009-07-16 08:25:33