Trace number 2084068

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.12 1805.74

General information on the benchmark

Namecsp/fapp/fapp09/
normalized-fapp09-0800-6.xml
MD5SUM546e6ed781e2059b953cb6ecdfe4a630
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 benchmark31.8422
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints8975
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8975
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.02	c Seed is 1934731985
0.00/0.02	c Constructing HOME/instance-2084068-1247724388.xml  with 56428 constraints
0.88/0.97	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-2084068-1247724388/watcher-2084068-1247724388 -o /tmp/evaluation-result-2084068-1247724388/solver-2084068-1247724388 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1934731985 HOME/instance-2084068-1247724388.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

[startup+0 s]
/proc/loadavg: 1.85 2.05 2.03 4/72 14392
/proc/meminfo: memFree=1275496/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=18576 CPUtime=0
/proc/14392/stat : 14392 (runsolver) R 14390 14355 14355 0 -1 4194368 3 0 0 0 0 0 0 0 19 0 1 0 59505648 19021824 282 996147200 4194304 4302564 548682068496 18446744073709551615 231962372852 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14392/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.0251581 s]
/proc/loadavg: 1.85 2.05 2.03 4/72 14392
/proc/meminfo: memFree=1275496/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=4492 CPUtime=0
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 772 665 0 0 0 0 0 0 23 0 1 0 59505648 4599808 403 996147200 134512640 135215973 4294956304 18446744073709551615 134835433 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 1123 403 360 171 0 48 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4492

[startup+0.101141 s]
/proc/loadavg: 1.85 2.05 2.03 4/72 14392
/proc/meminfo: memFree=1275496/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=6736 CPUtime=0.07
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 1332 665 0 0 7 0 0 0 23 0 1 0 59505648 6897664 889 996147200 134512640 135215973 4294956304 18446744073709551615 4159144299 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 1684 889 386 171 0 609 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6736

[startup+0.301087 s]
/proc/loadavg: 1.85 2.05 2.03 4/72 14392
/proc/meminfo: memFree=1275496/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=11720 CPUtime=0.28
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 2894 665 0 0 27 1 0 0 25 0 1 0 59505648 12001280 1946 996147200 134512640 135215973 4294956304 18446744073709551615 134761786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 2930 1946 386 171 0 1855 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11720

[startup+0.701971 s]
/proc/loadavg: 1.85 2.05 2.03 4/72 14392
/proc/meminfo: memFree=1275496/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=22336 CPUtime=0.67
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 6288 665 0 0 65 2 0 0 25 0 1 0 59505648 22872064 3869 996147200 134512640 135215973 4294956304 18446744073709551615 4158910257 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 5584 3869 386 171 0 4509 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22336

[startup+1.50174 s]
/proc/loadavg: 1.85 2.05 2.03 3/73 14397
/proc/meminfo: memFree=1258976/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=29660 CPUtime=1.47
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 9731 665 0 0 143 4 0 0 25 0 1 0 59505648 30371840 6437 996147200 134512640 135215973 4294956304 18446744073709551615 134597427 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 7415 6437 410 171 0 6340 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29660

[startup+3.10128 s]
/proc/loadavg: 1.85 2.05 2.03 3/73 14397
/proc/meminfo: memFree=1250784/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=30548 CPUtime=3.06
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 10049 665 0 0 302 4 0 0 25 0 1 0 59505648 31281152 6597 996147200 134512640 135215973 4294956304 18446744073709551615 4158960143 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 7637 6597 410 171 0 6562 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 30548

[startup+6.30136 s]
/proc/loadavg: 1.94 2.07 2.03 3/73 14397
/proc/meminfo: memFree=1247072/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=34548 CPUtime=6.23
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 11203 665 0 0 619 4 0 0 25 0 1 0 59505648 35377152 7542 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 8637 7542 410 171 0 7562 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 34548

[startup+12.7015 s]
/proc/loadavg: 1.95 2.06 2.03 3/73 14397
/proc/meminfo: memFree=1243040/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=37664 CPUtime=12.59
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 12740 665 0 0 1254 5 0 0 25 0 1 0 59505648 38567936 8086 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 9416 8086 413 171 0 8341 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 37664

[startup+25.5018 s]
/proc/loadavg: 1.96 2.06 2.03 3/73 14397
/proc/meminfo: memFree=1241312/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=37664 CPUtime=25.28
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 21492 665 0 0 2520 8 0 0 25 0 1 0 59505648 38567936 8150 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 9416 8150 413 171 0 8341 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 37664

[startup+51.1015 s]
/proc/loadavg: 1.97 2.05 2.03 3/73 14397
/proc/meminfo: memFree=1233056/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=40568 CPUtime=50.7
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 35518 665 0 0 5056 14 0 0 25 0 1 0 59505648 41541632 8880 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 10142 8880 413 171 0 9067 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 40568

[startup+102.307 s]
/proc/loadavg: 1.99 2.04 2.02 3/73 14397
/proc/meminfo: memFree=1221472/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=45448 CPUtime=101.53
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 72447 665 0 0 10127 26 0 0 25 0 1 0 59505648 46538752 10097 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 11362 10097 413 171 0 10287 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 45448

[startup+162.302 s]
/proc/loadavg: 2.06 2.05 2.02 3/73 14397
/proc/meminfo: memFree=1203680/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=55736 CPUtime=161.1
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 120799 665 0 0 16068 42 0 0 25 0 1 0 59505648 57073664 12657 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 13934 12657 413 171 0 12859 0
Current children cumulated CPU time (s) 161.1
Current children cumulated vsize (KiB) 55736

[startup+222.301 s]
/proc/loadavg: 2.02 2.04 2.02 3/73 14397
/proc/meminfo: memFree=1191520/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=62324 CPUtime=220.65
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 157763 665 0 0 22012 53 0 0 25 0 1 0 59505648 63819776 14629 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 15581 14629 413 171 0 14506 0
Current children cumulated CPU time (s) 220.65
Current children cumulated vsize (KiB) 62324

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/73 14397
/proc/meminfo: memFree=1181024/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=65620 CPUtime=280.21
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 180601 665 0 0 27960 61 0 0 25 0 1 0 59505648 67194880 15435 996147200 134512640 135215973 4294956304 18446744073709551615 134591826 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 16405 15435 413 171 0 15330 0
Current children cumulated CPU time (s) 280.21
Current children cumulated vsize (KiB) 65620

[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.01 3/73 14397
/proc/meminfo: memFree=1176032/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=67072 CPUtime=339.77
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 197479 665 0 0 33909 68 0 0 25 0 1 0 59505648 68681728 15801 996147200 134512640 135215973 4294956304 18446744073709551615 134589761 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 16768 15801 413 171 0 15693 0
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (KiB) 67072

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14397
/proc/meminfo: memFree=1167584/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=70504 CPUtime=399.33
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 218472 665 0 0 39858 75 0 0 25 0 1 0 59505648 72196096 16682 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 17626 16682 413 171 0 16551 0
Current children cumulated CPU time (s) 399.33
Current children cumulated vsize (KiB) 70504

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14397
/proc/meminfo: memFree=1149024/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=84888 CPUtime=458.89
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 294850 665 0 0 45791 98 0 0 25 0 1 0 59505648 86925312 20292 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 21222 20292 413 171 0 20147 0
Current children cumulated CPU time (s) 458.89
Current children cumulated vsize (KiB) 84888

[startup+522.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 14397
/proc/meminfo: memFree=1131744/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=96900 CPUtime=518.47
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 351236 665 0 0 51732 115 0 0 25 0 1 0 59505648 99225600 23302 996147200 134512640 135215973 4294956304 18446744073709551615 134585666 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 24225 23302 413 171 0 23150 0
Current children cumulated CPU time (s) 518.47
Current children cumulated vsize (KiB) 96900

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 14397
/proc/meminfo: memFree=1119840/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=103556 CPUtime=578.02
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 391006 665 0 0 57675 127 0 0 25 0 1 0 59505648 106041344 24960 996147200 134512640 135215973 4294956304 18446744073709551615 134591424 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 25889 24960 413 171 0 24814 0
Current children cumulated CPU time (s) 578.02
Current children cumulated vsize (KiB) 103556

[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14397
/proc/meminfo: memFree=1109792/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=110880 CPUtime=637.6
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 441250 665 0 0 63615 145 0 0 25 0 1 0 59505648 113541120 26820 996147200 134512640 135215973 4294956304 18446744073709551615 134589777 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 27720 26820 413 171 0 26645 0
Current children cumulated CPU time (s) 637.6
Current children cumulated vsize (KiB) 110880

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14471
/proc/meminfo: memFree=1326600/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=143424 CPUtime=876.67
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 638747 665 0 0 87457 210 0 0 25 0 1 0 59505648 146866176 33690 996147200 134512640 135215973 4294956304 18446744073709551615 134585626 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 35856 33690 413 171 0 34781 0
Current children cumulated CPU time (s) 876.67
Current children cumulated vsize (KiB) 143424

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14471
/proc/meminfo: memFree=1320392/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=149624 CPUtime=936.66
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 683644 665 0 0 93442 224 0 0 25 0 1 0 59505648 153214976 35291 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 37406 35291 413 171 0 36331 0
Current children cumulated CPU time (s) 936.66
Current children cumulated vsize (KiB) 149624

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14471
/proc/meminfo: memFree=1313480/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=156220 CPUtime=996.67
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 741236 665 0 0 99426 241 0 0 25 0 1 0 59505648 159969280 36963 996147200 134512640 135215973 4294956304 18446744073709551615 134583442 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 39055 36963 413 171 0 37980 0
Current children cumulated CPU time (s) 996.67
Current children cumulated vsize (KiB) 156220

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 14471
/proc/meminfo: memFree=1308040/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=161628 CPUtime=1056.67
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 769502 665 0 0 105418 249 0 0 25 0 1 0 59505648 165507072 38301 996147200 134512640 135215973 4294956304 18446744073709551615 134590020 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 40407 38301 413 171 0 39332 0
Current children cumulated CPU time (s) 1056.67
Current children cumulated vsize (KiB) 161628

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 14471
/proc/meminfo: memFree=1306952/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=162684 CPUtime=1116.66
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 795129 665 0 0 111409 257 0 0 25 0 1 0 59505648 166588416 38584 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 40671 38584 413 171 0 39596 0
Current children cumulated CPU time (s) 1116.66
Current children cumulated vsize (KiB) 162684

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14471
/proc/meminfo: memFree=1304072/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=165584 CPUtime=1176.67
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 825944 665 0 0 117400 267 0 0 25 0 1 0 59505648 169558016 39303 996147200 134512640 135215973 4294956304 18446744073709551615 134904487 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 41396 39303 413 171 0 40321 0
Current children cumulated CPU time (s) 1176.67
Current children cumulated vsize (KiB) 165584

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 14471
/proc/meminfo: memFree=1298696/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=170864 CPUtime=1236.66
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 846719 665 0 0 123393 273 0 0 25 0 1 0 59505648 174964736 40638 996147200 134512640 135215973 4294956304 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 42716 40638 413 171 0 41641 0
Current children cumulated CPU time (s) 1236.66
Current children cumulated vsize (KiB) 170864

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 14471
/proc/meminfo: memFree=1295176/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=174284 CPUtime=1296.66
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 870089 665 0 0 129387 279 0 0 25 0 1 0 59505648 178466816 41496 996147200 134512640 135215973 4294956304 18446744073709551615 134583442 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 43571 41496 413 171 0 42496 0
Current children cumulated CPU time (s) 1296.66
Current children cumulated vsize (KiB) 174284

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14471
/proc/meminfo: memFree=1290248/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=179296 CPUtime=1356.67
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 891058 665 0 0 135381 286 0 0 25 0 1 0 59505648 183599104 42737 996147200 134512640 135215973 4294956304 18446744073709551615 134597394 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 44824 42737 413 171 0 43749 0
Current children cumulated CPU time (s) 1356.67
Current children cumulated vsize (KiB) 179296

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14471
/proc/meminfo: memFree=1286024/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=183252 CPUtime=1416.67
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 907280 665 0 0 141376 291 0 0 25 0 1 0 59505648 187650048 43743 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 45813 43743 413 171 0 44738 0
Current children cumulated CPU time (s) 1416.67
Current children cumulated vsize (KiB) 183252

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14471
/proc/meminfo: memFree=1281608/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=187600 CPUtime=1476.66
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 923597 665 0 0 147371 295 0 0 25 0 1 0 59505648 192102400 44844 996147200 134512640 135215973 4294956304 18446744073709551615 134583528 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 46900 44844 413 171 0 45825 0
Current children cumulated CPU time (s) 1476.66
Current children cumulated vsize (KiB) 187600

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 14471
/proc/meminfo: memFree=1278344/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=190884 CPUtime=1536.66
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 939017 665 0 0 153367 299 0 0 25 0 1 0 59505648 195465216 45639 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 47721 45639 413 171 0 46646 0
Current children cumulated CPU time (s) 1536.66
Current children cumulated vsize (KiB) 190884

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 14471
/proc/meminfo: memFree=1274696/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=194576 CPUtime=1596.67
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 954811 665 0 0 159362 305 0 0 25 0 1 0 59505648 199245824 46553 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 48644 46553 413 171 0 47569 0
Current children cumulated CPU time (s) 1596.67
Current children cumulated vsize (KiB) 194576

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14471
/proc/meminfo: memFree=1270408/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=198668 CPUtime=1656.66
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 971420 665 0 0 165355 311 0 0 25 0 1 0 59505648 203436032 47610 996147200 134512640 135215973 4294956304 18446744073709551615 134583491 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 49667 47610 413 171 0 48592 0
Current children cumulated CPU time (s) 1656.66
Current children cumulated vsize (KiB) 198668

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14471
/proc/meminfo: memFree=1267144/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=201960 CPUtime=1716.66
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 986783 665 0 0 171350 316 0 0 25 0 1 0 59505648 206807040 48429 996147200 134512640 135215973 4294956304 18446744073709551615 134583539 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 50490 48429 413 171 0 49415 0
Current children cumulated CPU time (s) 1716.66
Current children cumulated vsize (KiB) 201960

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 14471
/proc/meminfo: memFree=1262984/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=206436 CPUtime=1776.67
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 1002500 665 0 0 177346 321 0 0 25 0 1 0 59505648 211390464 49489 996147200 134512640 135215973 4294956304 18446744073709551615 134597613 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 51609 49489 413 171 0 50534 0
Current children cumulated CPU time (s) 1776.67
Current children cumulated vsize (KiB) 206436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 14471
/proc/meminfo: memFree=1261576/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=207756 CPUtime=1800.06
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 1008638 665 0 0 179684 322 0 0 25 0 1 0 59505648 212742144 49819 996147200 134512640 135215973 4294956304 18446744073709551615 134591592 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 51939 49819 413 171 0 50864 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 207756

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

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

[startup+1805.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 14471
/proc/meminfo: memFree=1261576/2055920 swapFree=4192812/4192956
[pid=14392] ppid=14390 vsize=207756 CPUtime=1800.06
/proc/14392/stat : 14392 (pcs.big) R 14390 14392 14355 0 -1 4194304 1008638 665 0 0 179684 322 0 0 25 0 1 0 59505648 212742144 49819 996147200 134512640 135215973 4294956304 18446744073709551615 134591592 0 0 4096 0 0 0 0 17 0 0 0
/proc/14392/statm: 51939 49819 413 171 0 50864 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 207756

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.74
CPU time (s): 1800.12
CPU user time (s): 1796.85
CPU system time (s): 3.2715
CPU usage (%): 99.6887
Max. virtual memory (cumulated for all children) (KiB): 207948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.85
system time used= 3.2715
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1009303
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= 28
involuntary context switches= 20470

runsolver used 1.93271 second user time and 5.70713 second system time

The end

Launcher Data 

Begin job on node16 at 2009-07-16 08:06:28
IDJOB=2084068
IDBENCH=58026
IDSOLVER=734
FILE ID=node16/2084068-1247724388
PBS_JOBID= 9521524
Free space on /tmp= 66408 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp09/normalized-fapp09-0800-6.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2084068-1247724388/watcher-2084068-1247724388 -o /tmp/evaluation-result-2084068-1247724388/solver-2084068-1247724388 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1934731985 HOME/instance-2084068-1247724388.xml

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

MD5SUM BENCH= 546e6ed781e2059b953cb6ecdfe4a630
RANDOM SEED=1934731985

node16.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.231
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.231
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:       1275976 kB
Buffers:         71632 kB
Cached:         403280 kB
SwapCached:          0 kB
Active:         283676 kB
Inactive:       426588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1275976 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3124 kB
Writeback:           0 kB
Mapped:         246868 kB
Slab:            54508 kB
Committed_AS:   728512 kB
PageTables:       2324 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= 66412 MiB
End job on node16 at 2009-07-16 08:36:36