Trace number 2083474

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

General information on the benchmark

Namecsp/fapp/fapp38/
normalized-fapp38-2500-9.xml
MD5SUM68fe27f113711ce0fc0a376a1a638b50
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 benchmark76.9953
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.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.04	c Seed is 1164815224
0.00/0.04	c Constructing HOME/instance-2083474-1247723185.xml  with 393256 constraints
7.11/7.29	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-2083474-1247723185/watcher-2083474-1247723185 -o /tmp/evaluation-result-2083474-1247723185/solver-2083474-1247723185 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1164815224 HOME/instance-2083474-1247723185.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.07 2.05 2.00 4/72 14562
/proc/meminfo: memFree=1456208/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=5356 CPUtime=0
/proc/14562/stat : 14562 (pcssolve) R 14560 14562 10627 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 59385621 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 4325772 0 0 4100 65536 0 0 0 17 1 0 0
/proc/14562/statm: 1339 233 194 169 0 50 0

[startup+0.0881941 s]
/proc/loadavg: 2.07 2.05 2.00 4/72 14562
/proc/meminfo: memFree=1456208/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=6268 CPUtime=0.06
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 1179 668 0 0 4 0 1 1 18 0 1 0 59385621 6418432 810 996147200 134512640 135215973 4294956304 18446744073709551615 134532901 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 1567 810 386 171 0 492 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6268

[startup+0.102192 s]
/proc/loadavg: 2.07 2.05 2.00 4/72 14562
/proc/meminfo: memFree=1456208/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=6516 CPUtime=0.08
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 1291 668 0 0 6 0 1 1 18 0 1 0 59385621 6672384 881 996147200 134512640 135215973 4294956304 18446744073709551615 134533294 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 1629 881 386 171 0 554 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6516

[startup+0.302224 s]
/proc/loadavg: 2.07 2.05 2.00 4/72 14562
/proc/meminfo: memFree=1456208/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=10600 CPUtime=0.27
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 2657 668 0 0 24 1 1 1 19 0 1 0 59385621 10854400 1854 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 2650 1854 386 171 0 1575 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10600

[startup+0.701257 s]
/proc/loadavg: 2.07 2.05 2.00 4/72 14562
/proc/meminfo: memFree=1456208/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=21648 CPUtime=0.67
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 6133 668 0 0 62 3 1 1 23 0 1 0 59385621 22167552 3922 996147200 134512640 135215973 4294956304 18446744073709551615 134773046 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 5412 3922 386 171 0 4337 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21648

[startup+1.50134 s]
/proc/loadavg: 2.07 2.05 2.00 3/73 14567
/proc/meminfo: memFree=1436552/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=39128 CPUtime=1.47
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 12143 668 0 0 139 6 1 1 25 0 1 0 59385621 40067072 7674 996147200 134512640 135215973 4294956304 18446744073709551615 10129110 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 9782 7674 386 171 0 8707 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39128

[startup+3.10149 s]
/proc/loadavg: 2.07 2.05 2.00 3/73 14567
/proc/meminfo: memFree=1415944/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=73972 CPUtime=3.05
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 24043 668 0 0 293 10 1 1 25 0 1 0 59385621 75747328 15058 996147200 134512640 135215973 4294956304 18446744073709551615 4159049825 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 18493 15058 386 171 0 17418 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 73972

[startup+6.30181 s]
/proc/loadavg: 2.07 2.05 2.00 3/73 14567
/proc/meminfo: memFree=1357896/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=143264 CPUtime=6.21
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 47518 668 0 0 598 21 1 1 25 0 1 0 59385621 146702336 29503 996147200 134512640 135215973 4294956304 18446744073709551615 10161758 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 35816 29503 386 171 0 34741 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 143264

[startup+12.7014 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 14567
/proc/meminfo: memFree=1282184/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=190912 CPUtime=12.56
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 71044 668 0 0 1224 30 1 1 25 0 1 0 59385621 195493888 43327 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 47728 43327 410 171 0 46653 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 190912

[startup+25.5027 s]
/proc/loadavg: 2.05 2.04 2.00 3/73 14567
/proc/meminfo: memFree=1279112/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=192160 CPUtime=25.26
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 71587 668 0 0 2494 30 1 1 25 0 1 0 59385621 196771840 43556 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 48040 43556 410 171 0 46965 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 192160

[startup+51.1023 s]
/proc/loadavg: 2.03 2.04 2.00 3/73 14567
/proc/meminfo: memFree=1275592/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=193824 CPUtime=50.66
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 72438 668 0 0 5034 30 1 1 25 0 1 0 59385621 198475776 43990 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 48456 43990 410 171 0 47381 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 193824

[startup+102.306 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 14567
/proc/meminfo: memFree=1257096/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=205336 CPUtime=101.47
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 76167 668 0 0 10113 32 1 1 25 0 1 0 59385621 210264064 46886 996147200 134512640 135215973 4294956304 18446744073709551615 134584175 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 51334 46886 410 171 0 50259 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 205336

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14567
/proc/meminfo: memFree=1234824/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=220440 CPUtime=161.01
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 80312 668 0 0 16065 34 1 1 25 0 1 0 59385621 225730560 49366 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 55110 49366 410 171 0 54035 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 220440

[startup+222.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14567
/proc/meminfo: memFree=1227592/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=220440 CPUtime=220.56
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 96185 668 0 0 22015 39 1 1 25 0 1 0 59385621 225730560 49495 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 55110 49495 413 171 0 54035 0
Current children cumulated CPU time (s) 220.56
Current children cumulated vsize (KiB) 220440

[startup+282.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14567
/proc/meminfo: memFree=1215368/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=225192 CPUtime=280.1
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 124964 668 0 0 27959 49 1 1 25 0 1 0 59385621 230596608 51378 996147200 134512640 135215973 4294956304 18446744073709551615 135097608 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 56298 51378 413 171 0 55223 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 225192

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14569
/proc/meminfo: memFree=1196360/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=239072 CPUtime=339.63
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 159251 668 0 0 33901 60 1 1 25 0 1 0 59385621 244809728 54833 996147200 134512640 135215973 4294956304 18446744073709551615 135094448 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 59768 54833 413 171 0 58693 0
Current children cumulated CPU time (s) 339.63
Current children cumulated vsize (KiB) 239072

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14569
/proc/meminfo: memFree=1181448/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=249236 CPUtime=399.18
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 165080 668 0 0 39854 62 1 1 25 0 1 0 59385621 255217664 57382 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 62309 57382 413 171 0 61234 0
Current children cumulated CPU time (s) 399.18
Current children cumulated vsize (KiB) 249236

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14569
/proc/meminfo: memFree=1172616/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=256760 CPUtime=458.72
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 170229 668 0 0 45806 64 1 1 25 0 1 0 59385621 262922240 59251 996147200 134512640 135215973 4294956304 18446744073709551615 134583539 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 64190 59251 413 171 0 63115 0
Current children cumulated CPU time (s) 458.72
Current children cumulated vsize (KiB) 256760

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14569
/proc/meminfo: memFree=1161352/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=265340 CPUtime=518.27
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 175670 668 0 0 51759 66 1 1 25 0 1 0 59385621 271708160 61412 996147200 134512640 135215973 4294956304 18446744073709551615 134597328 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 66335 61412 413 171 0 65260 0
Current children cumulated CPU time (s) 518.27
Current children cumulated vsize (KiB) 265340

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14569
/proc/meminfo: memFree=1151560/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=273652 CPUtime=577.81
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 181029 668 0 0 57711 68 1 1 25 0 1 0 59385621 280219648 63491 996147200 134512640 135215973 4294956304 18446744073709551615 134970946 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 68413 63491 413 171 0 67338 0
Current children cumulated CPU time (s) 577.81
Current children cumulated vsize (KiB) 273652

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14569
/proc/meminfo: memFree=1142600/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=280384 CPUtime=637.36
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 185988 668 0 0 63664 70 1 1 25 0 1 0 59385621 287113216 65170 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 70096 65170 413 171 0 69021 0
Current children cumulated CPU time (s) 637.36
Current children cumulated vsize (KiB) 280384

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 14575
/proc/meminfo: memFree=1078600/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=335272 CPUtime=875.53
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 214088 668 0 0 87469 82 1 1 25 0 1 0 59385621 343318528 76165 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 83818 76165 413 171 0 82743 0
Current children cumulated CPU time (s) 875.53
Current children cumulated vsize (KiB) 335272

[startup+942.302 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 14575
/proc/meminfo: memFree=1065224/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=343316 CPUtime=935.06
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 218403 668 0 0 93421 83 1 1 25 0 1 0 59385621 351555584 78184 996147200 134512640 135215973 4294956304 18446744073709551615 134591776 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 85829 78184 413 171 0 84754 0
Current children cumulated CPU time (s) 935.06
Current children cumulated vsize (KiB) 343316

[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/73 14575
/proc/meminfo: memFree=1036360/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=364848 CPUtime=994.6
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 226733 668 0 0 99371 87 1 1 25 0 1 0 59385621 373604352 83562 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 91212 83562 413 171 0 90137 0
Current children cumulated CPU time (s) 994.6
Current children cumulated vsize (KiB) 364848

[startup+1062.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/73 14575
/proc/meminfo: memFree=1018696/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=379624 CPUtime=1054.15
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 233698 668 0 0 105324 89 1 1 25 0 1 0 59385621 388734976 87247 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 94906 87247 413 171 0 93831 0
Current children cumulated CPU time (s) 1054.15
Current children cumulated vsize (KiB) 379624

[startup+1122.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/73 14575
/proc/meminfo: memFree=1000840/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=387156 CPUtime=1113.69
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 246427 668 0 0 111273 94 1 1 25 0 1 0 59385621 396447744 89152 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 96789 89152 413 171 0 95714 0
Current children cumulated CPU time (s) 1113.69
Current children cumulated vsize (KiB) 387156

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 14575
/proc/meminfo: memFree=990280/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=387156 CPUtime=1173.23
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 279884 668 0 0 117214 107 1 1 25 0 1 0 59385621 396447744 89153 996147200 134512640 135215973 4294956304 18446744073709551615 134969670 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 96789 89153 413 171 0 95714 0
Current children cumulated CPU time (s) 1173.23
Current children cumulated vsize (KiB) 387156

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 14575
/proc/meminfo: memFree=983176/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=387156 CPUtime=1232.77
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 305801 668 0 0 123159 116 1 1 25 0 1 0 59385621 396447744 89158 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 96789 89158 413 171 0 95714 0
Current children cumulated CPU time (s) 1232.77
Current children cumulated vsize (KiB) 387156

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14575
/proc/meminfo: memFree=977800/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=387288 CPUtime=1292.3
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 330084 668 0 0 129103 125 1 1 25 0 1 0 59385621 396582912 89169 996147200 134512640 135215973 4294956304 18446744073709551615 134589761 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 96822 89169 413 171 0 95747 0
Current children cumulated CPU time (s) 1292.3
Current children cumulated vsize (KiB) 387288

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14575
/proc/meminfo: memFree=965256/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=387288 CPUtime=1351.84
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 353050 668 0 0 135048 134 1 1 25 0 1 0 59385621 396582912 89175 996147200 134512640 135215973 4294956304 18446744073709551615 134600784 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 96822 89175 413 171 0 95747 0
Current children cumulated CPU time (s) 1351.84
Current children cumulated vsize (KiB) 387288

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14575
/proc/meminfo: memFree=957192/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=388608 CPUtime=1411.38
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 379971 668 0 0 140992 144 1 1 25 0 1 0 59385621 397934592 89528 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 97152 89528 413 171 0 96077 0
Current children cumulated CPU time (s) 1411.38
Current children cumulated vsize (KiB) 388608

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14575
/proc/meminfo: memFree=944392/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=389396 CPUtime=1470.92
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 421165 668 0 0 146930 160 1 1 25 0 1 0 59385621 398741504 89722 996147200 134512640 135215973 4294956304 18446744073709551615 134591450 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 97349 89722 413 171 0 96274 0
Current children cumulated CPU time (s) 1470.92
Current children cumulated vsize (KiB) 389396

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14575
/proc/meminfo: memFree=937480/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=391640 CPUtime=1530.45
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 459757 668 0 0 152869 174 1 1 25 0 1 0 59385621 401039360 90266 996147200 134512640 135215973 4294956304 18446744073709551615 134583459 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 97910 90266 413 171 0 96835 0
Current children cumulated CPU time (s) 1530.45
Current children cumulated vsize (KiB) 391640

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14575
/proc/meminfo: memFree=930568/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=394412 CPUtime=1589.98
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 513908 668 0 0 158802 194 1 1 25 0 1 0 59385621 403877888 90953 996147200 134512640 135215973 4294956304 18446744073709551615 134585723 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 98603 90953 413 171 0 97528 0
Current children cumulated CPU time (s) 1589.98
Current children cumulated vsize (KiB) 394412

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14575
/proc/meminfo: memFree=925576/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=395468 CPUtime=1649.51
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 546992 668 0 0 164743 206 1 1 25 0 1 0 59385621 404959232 91237 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 98867 91237 413 171 0 97792 0
Current children cumulated CPU time (s) 1649.51
Current children cumulated vsize (KiB) 395468

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14575
/proc/meminfo: memFree=918856/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=397580 CPUtime=1709.05
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 578687 668 0 0 170684 219 1 1 25 0 1 0 59385621 407121920 91772 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 1 0 0
/proc/14562/statm: 99395 91772 413 171 0 98320 0
Current children cumulated CPU time (s) 1709.05
Current children cumulated vsize (KiB) 397580

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 14647
/proc/meminfo: memFree=1085504/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=399692 CPUtime=1768.67
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 611354 668 0 0 176631 234 1 1 25 0 1 0 59385621 409284608 92295 996147200 134512640 135215973 4294956304 18446744073709551615 134596807 0 0 4096 0 0 0 0 17 0 0 0
/proc/14562/statm: 99923 92295 413 171 0 98848 0
Current children cumulated CPU time (s) 1768.67
Current children cumulated vsize (KiB) 399692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 14649
/proc/meminfo: memFree=1050096/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=401012 CPUtime=1800.06
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 629391 668 0 0 179763 241 1 1 25 0 1 0 59385621 410636288 92620 996147200 134512640 135215973 4294956304 18446744073709551615 134600788 0 0 4096 0 0 0 0 17 0 0 0
/proc/14562/statm: 100253 92620 413 171 0 99178 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 401012

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

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

[startup+1813.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 14649
/proc/meminfo: memFree=1050096/2055920 swapFree=4192812/4192956
[pid=14562] ppid=14560 vsize=401012 CPUtime=1800.06
/proc/14562/stat : 14562 (pcs.big) R 14560 14562 10627 0 -1 4194304 629391 668 0 0 179763 241 1 1 25 0 1 0 59385621 410636288 92620 996147200 134512640 135215973 4294956304 18446744073709551615 134600788 0 0 4096 0 0 0 0 17 0 0 0
/proc/14562/statm: 100253 92620 413 171 0 99178 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 401012

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.77
CPU time (s): 1800.14
CPU user time (s): 1797.65
CPU system time (s): 2.48562
CPU usage (%): 99.2485
Max. virtual memory (cumulated for all children) (KiB): 402060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.65
system time used= 2.48562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630059
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= 38257

runsolver used 1.76673 second user time and 5.04123 second system time

The end

Launcher Data 

Begin job on node12 at 2009-07-16 07:46:26
IDJOB=2083474
IDBENCH=57829
IDSOLVER=734
FILE ID=node12/2083474-1247723185
PBS_JOBID= 9521380
Free space on /tmp= 66260 MiB

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

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

MD5SUM BENCH= 68fe27f113711ce0fc0a376a1a638b50
RANDOM SEED=1164815224

node12.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.240
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.240
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:       1456688 kB
Buffers:         83488 kB
Cached:         387752 kB
SwapCached:          0 kB
Active:         137108 kB
Inactive:       380548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1456688 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10404 kB
Writeback:           0 kB
Mapped:          57948 kB
Slab:            66928 kB
Committed_AS:   532540 kB
PageTables:       1776 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= 66260 MiB
End job on node12 at 2009-07-16 08:16:42