Trace number 2082989

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.13 1812.44

General information on the benchmark

Namecsp/fapp/fapp22/
normalized-fapp22-1750-9.xml
MD5SUM7c8eb97a2deab43c8771e25856b5f843
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 benchmark36.6144
Satisfiable
(Un)Satisfiability was proved
Number of variables1750
Number of constraints32049
Maximum constraint arity2
Maximum domain size802
Number of constraints which are defined in extension0
Number of constraints which are defined in intension32049
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.07	c Seed is 1670661364
0.00/0.07	c Constructing HOME/instance-2082989-1247721996.xml  with 202410 constraints
3.55/3.69	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-2082989-1247721996/watcher-2082989-1247721996 -o /tmp/evaluation-result-2082989-1247721996/solver-2082989-1247721996 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1670661364 HOME/instance-2082989-1247721996.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.15 2.06 2.02 4/81 13961
/proc/meminfo: memFree=1482976/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=18576 CPUtime=0
/proc/13961/stat : 13961 (runsolver) R 13959 13961 11357 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59265725 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13961/statm: 4644 284 249 26 0 2626 0

[startup+0.229988 s]
/proc/loadavg: 2.15 2.06 2.02 4/81 13961
/proc/meminfo: memFree=1482976/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=9324 CPUtime=0.21
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 2168 668 0 0 19 1 0 1 19 0 1 0 59265725 9547776 1468 996147200 134512640 135215973 4294956304 18446744073709551615 4158910344 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 2331 1468 386 171 0 1256 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9324

[startup+0.303011 s]
/proc/loadavg: 2.15 2.06 2.02 4/81 13961
/proc/meminfo: memFree=1482976/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=11136 CPUtime=0.28
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 2729 668 0 0 26 1 0 1 19 0 1 0 59265725 11403264 1892 996147200 134512640 135215973 4294956304 18446744073709551615 7450276 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 2784 1892 386 171 0 1709 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11136

[startup+0.402017 s]
/proc/loadavg: 2.15 2.06 2.02 4/81 13961
/proc/meminfo: memFree=1482976/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=13892 CPUtime=0.38
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 3584 668 0 0 35 2 0 1 20 0 1 0 59265725 14225408 2318 996147200 134512640 135215973 4294956304 18446744073709551615 4159166615 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 3473 2318 386 171 0 2398 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 13892

[startup+0.701058 s]
/proc/loadavg: 2.15 2.06 2.02 4/81 13961
/proc/meminfo: memFree=1482976/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=21760 CPUtime=0.68
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 6107 668 0 0 64 3 0 1 23 0 1 0 59265725 22282240 3825 996147200 134512640 135215973 4294956304 18446744073709551615 134585626 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 5440 3825 386 171 0 4365 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21760

[startup+1.50117 s]
/proc/loadavg: 2.15 2.06 2.02 3/82 13966
/proc/meminfo: memFree=1458584/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=39484 CPUtime=1.47
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 12100 668 0 0 141 5 0 1 25 0 1 0 59265725 40431616 7471 996147200 134512640 135215973 4294956304 18446744073709551615 7450765 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 9871 7471 386 171 0 8796 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39484

[startup+3.10141 s]
/proc/loadavg: 2.14 2.06 2.02 3/82 13966
/proc/meminfo: memFree=1433112/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=74924 CPUtime=3.06
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 24064 668 0 0 293 12 0 1 25 0 1 0 59265725 76722176 14742 996147200 134512640 135215973 4294956304 18446744073709551615 7484369 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 18731 14742 386 171 0 17656 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 74924

[startup+6.30187 s]
/proc/loadavg: 2.14 2.06 2.02 3/82 13966
/proc/meminfo: memFree=1397016/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=96800 CPUtime=6.23
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 35050 668 0 0 605 17 0 1 25 0 1 0 59265725 99123200 21754 996147200 134512640 135215973 4294956304 18446744073709551615 134585436 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 24200 21754 410 171 0 23125 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 96800

[startup+12.7018 s]
/proc/loadavg: 2.11 2.06 2.01 3/82 13966
/proc/meminfo: memFree=1396440/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=97216 CPUtime=12.57
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 35276 668 0 0 1239 17 0 1 25 0 1 0 59265725 99549184 21875 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 24304 21875 410 171 0 23229 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 97216

[startup+25.5067 s]
/proc/loadavg: 2.10 2.06 2.01 3/82 13966
/proc/meminfo: memFree=1395736/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=98048 CPUtime=25.25
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 35718 668 0 0 2507 17 0 1 25 0 1 0 59265725 100401152 22108 996147200 134512640 135215973 4294956304 18446744073709551615 134600790 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 24512 22108 410 171 0 23437 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 98048

[startup+51.1024 s]
/proc/loadavg: 2.06 2.05 2.01 3/82 13966
/proc/meminfo: memFree=1384792/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=112280 CPUtime=50.62
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 39716 668 0 0 5042 19 0 1 25 0 1 0 59265725 114974720 24856 996147200 134512640 135215973 4294956304 18446744073709551615 134969641 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 28070 24856 410 171 0 26995 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 112280

[startup+102.302 s]
/proc/loadavg: 2.02 2.04 2.01 3/82 13966
/proc/meminfo: memFree=1380824/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=114920 CPUtime=101.37
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 44517 668 0 0 10116 20 0 1 25 0 1 0 59265725 117678080 25770 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 28730 25770 413 171 0 27655 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 114920

[startup+162.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/82 13966
/proc/meminfo: memFree=1376472/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=118484 CPUtime=160.84
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 89859 668 0 0 16048 35 0 1 25 0 1 0 59265725 121327616 26834 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 29621 26834 413 171 0 28546 0
Current children cumulated CPU time (s) 160.84
Current children cumulated vsize (KiB) 118484

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 13966
/proc/meminfo: memFree=1367896/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=131608 CPUtime=220.31
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 103269 668 0 0 21989 41 0 1 25 0 1 0 59265725 134766592 28946 996147200 134512640 135215973 4294956304 18446744073709551615 134969613 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 32902 28946 413 171 0 31827 0
Current children cumulated CPU time (s) 220.31
Current children cumulated vsize (KiB) 131608

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 13966
/proc/meminfo: memFree=1367256/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=131736 CPUtime=279.77
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 116951 668 0 0 27930 46 0 1 25 0 1 0 59265725 134897664 29108 996147200 134512640 135215973 4294956304 18446744073709551615 134591440 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 32934 29108 413 171 0 31859 0
Current children cumulated CPU time (s) 279.77
Current children cumulated vsize (KiB) 131736

[startup+342.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13966
/proc/meminfo: memFree=1352536/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=146420 CPUtime=339.26
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 122997 668 0 0 33876 49 0 1 25 0 1 0 59265725 149934080 32788 996147200 134512640 135215973 4294956304 18446744073709551615 134597477 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 36605 32788 413 171 0 35530 0
Current children cumulated CPU time (s) 339.26
Current children cumulated vsize (KiB) 146420

[startup+402.302 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 13966
/proc/meminfo: memFree=1348184/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=150776 CPUtime=398.74
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 126463 668 0 0 39822 51 0 1 25 0 1 0 59265725 154394624 33888 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 37694 33888 413 171 0 36619 0
Current children cumulated CPU time (s) 398.74
Current children cumulated vsize (KiB) 150776

[startup+462.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 13966
/proc/meminfo: memFree=1345816/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=153016 CPUtime=458.2
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 145617 668 0 0 45762 57 0 1 25 0 1 0 59265725 156688384 34452 996147200 134512640 135215973 4294956304 18446744073709551615 134585403 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 38254 34452 413 171 0 37179 0
Current children cumulated CPU time (s) 458.2
Current children cumulated vsize (KiB) 153016

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13966
/proc/meminfo: memFree=1344024/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=155128 CPUtime=517.69
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 153557 668 0 0 51708 60 0 1 25 0 1 0 59265725 158851072 34956 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 38782 34956 413 171 0 37707 0
Current children cumulated CPU time (s) 517.69
Current children cumulated vsize (KiB) 155128

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13966
/proc/meminfo: memFree=1342040/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=156844 CPUtime=577.16
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 160579 668 0 0 57652 63 0 1 25 0 1 0 59265725 160608256 35387 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 39211 35387 413 171 0 38136 0
Current children cumulated CPU time (s) 577.16
Current children cumulated vsize (KiB) 156844

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13966
/proc/meminfo: memFree=1341976/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=156844 CPUtime=636.63
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 167852 668 0 0 63596 66 0 1 25 0 1 0 59265725 160608256 35393 996147200 134512640 135215973 4294956304 18446744073709551615 4158960169 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 39211 35393 413 171 0 38136 0
Current children cumulated CPU time (s) 636.63
Current children cumulated vsize (KiB) 156844

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13966
/proc/meminfo: memFree=1340056/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=158652 CPUtime=815.05
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 188576 668 0 0 81430 74 0 1 25 0 1 0 59265725 162459648 35837 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 39663 35837 413 171 0 38588 0
Current children cumulated CPU time (s) 815.05
Current children cumulated vsize (KiB) 158652

[startup+882.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 13966
/proc/meminfo: memFree=1337944/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=160764 CPUtime=874.52
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 196726 668 0 0 87374 77 0 1 25 0 1 0 59265725 164622336 36382 996147200 134512640 135215973 4294956304 18446744073709551615 134583707 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 40191 36382 413 171 0 39116 0
Current children cumulated CPU time (s) 874.52
Current children cumulated vsize (KiB) 160764

[startup+942.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/82 13966
/proc/meminfo: memFree=1337496/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=161160 CPUtime=934.01
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 204244 668 0 0 93319 81 0 1 25 0 1 0 59265725 165027840 36464 996147200 134512640 135215973 4294956304 18446744073709551615 135094988 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 40290 36464 413 171 0 39215 0
Current children cumulated CPU time (s) 934.01
Current children cumulated vsize (KiB) 161160

[startup+1002.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 13966
/proc/meminfo: memFree=1333144/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=165516 CPUtime=993.46
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 234396 668 0 0 99253 92 0 1 25 0 1 0 59265725 169488384 37548 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 41379 37548 413 171 0 40304 0
Current children cumulated CPU time (s) 993.46
Current children cumulated vsize (KiB) 165516

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 13966
/proc/meminfo: memFree=1329816/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=168816 CPUtime=1052.93
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 263473 668 0 0 105188 104 0 1 25 0 1 0 59265725 172867584 38402 996147200 134512640 135215973 4294956304 18446744073709551615 134600886 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 42204 38402 413 171 0 41129 0
Current children cumulated CPU time (s) 1052.93
Current children cumulated vsize (KiB) 168816

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13966
/proc/meminfo: memFree=1328408/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=169608 CPUtime=1112.4
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 283614 668 0 0 111127 112 0 1 25 0 1 0 59265725 173678592 38601 996147200 134512640 135215973 4294956304 18446744073709551615 135096339 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 42402 38601 413 171 0 41327 0
Current children cumulated CPU time (s) 1112.4
Current children cumulated vsize (KiB) 169608

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13966
/proc/meminfo: memFree=1327256/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=171452 CPUtime=1171.88
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 297925 668 0 0 117069 118 0 1 25 0 1 0 59265725 175566848 39054 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 42863 39054 413 171 0 41788 0
Current children cumulated CPU time (s) 1171.88
Current children cumulated vsize (KiB) 171452

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13966
/proc/meminfo: memFree=1325016/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=173564 CPUtime=1231.35
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 313817 668 0 0 123011 123 0 1 25 0 1 0 59265725 177729536 39567 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 43391 39567 413 171 0 42316 0
Current children cumulated CPU time (s) 1231.35
Current children cumulated vsize (KiB) 173564

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13966
/proc/meminfo: memFree=1321176/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=177392 CPUtime=1290.83
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 323748 668 0 0 128954 128 0 1 25 0 1 0 59265725 181649408 40541 996147200 134512640 135215973 4294956304 18446744073709551615 135094939 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 44348 40541 413 171 0 43273 0
Current children cumulated CPU time (s) 1290.83
Current children cumulated vsize (KiB) 177392

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13966
/proc/meminfo: memFree=1318488/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=180032 CPUtime=1350.32
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 330301 668 0 0 134900 131 0 1 25 0 1 0 59265725 184352768 41179 996147200 134512640 135215973 4294956304 18446744073709551615 134583626 0 0 4096 0 0 0 0 17 1 0 0
/proc/13961/statm: 45008 41179 413 171 0 43933 0
Current children cumulated CPU time (s) 1350.32
Current children cumulated vsize (KiB) 180032

[startup+1422.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 13999
/proc/meminfo: memFree=1265832/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=182804 CPUtime=1410.13
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 337418 668 0 0 140878 134 0 1 25 0 1 0 59265725 187191296 41874 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13961/statm: 45701 41874 413 171 0 44626 0
Current children cumulated CPU time (s) 1410.13
Current children cumulated vsize (KiB) 182804

[startup+1482.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 14001
/proc/meminfo: memFree=1255400/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=185576 CPUtime=1470.11
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 342849 668 0 0 146874 136 0 1 25 0 1 0 59265725 190029824 42573 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/13961/statm: 46394 42573 413 171 0 45319 0
Current children cumulated CPU time (s) 1470.11
Current children cumulated vsize (KiB) 185576

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14001
/proc/meminfo: memFree=1239336/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=191776 CPUtime=1530.09
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 346939 668 0 0 152870 138 0 1 25 0 1 0 59265725 196378624 44128 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 0 0 0
/proc/13961/statm: 47944 44128 413 171 0 46869 0
Current children cumulated CPU time (s) 1530.09
Current children cumulated vsize (KiB) 191776

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14001
/proc/meminfo: memFree=1222760/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=202204 CPUtime=1590.06
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 351757 668 0 0 158865 140 0 1 25 0 1 0 59265725 207056896 46749 996147200 134512640 135215973 4294956304 18446744073709551615 134591773 0 0 4096 0 0 0 0 17 0 0 0
/proc/13961/statm: 50551 46749 413 171 0 49476 0
Current children cumulated CPU time (s) 1590.06
Current children cumulated vsize (KiB) 202204

[startup+1662.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14001
/proc/meminfo: memFree=1207720/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=213420 CPUtime=1650.04
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 356768 668 0 0 164861 142 0 1 25 0 1 0 59265725 218542080 49563 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 0 0 0
/proc/13961/statm: 53355 49563 413 171 0 52280 0
Current children cumulated CPU time (s) 1650.04
Current children cumulated vsize (KiB) 213420

[startup+1722.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/73 14001
/proc/meminfo: memFree=1199976/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=217380 CPUtime=1710.02
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 368214 668 0 0 170855 146 0 1 25 0 1 0 59265725 222597120 50531 996147200 134512640 135215973 4294956304 18446744073709551615 134585798 0 0 4096 0 0 0 0 17 0 0 0
/proc/13961/statm: 54345 50531 413 171 0 53270 0
Current children cumulated CPU time (s) 1710.02
Current children cumulated vsize (KiB) 217380

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/73 14001
/proc/meminfo: memFree=1195688/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=218700 CPUtime=1769.99
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 380880 668 0 0 176847 151 0 1 25 0 1 0 59265725 223948800 50860 996147200 134512640 135215973 4294956304 18446744073709551615 135096307 0 0 4096 0 0 0 0 17 0 0 0
/proc/13961/statm: 54675 50860 413 171 0 53600 0
Current children cumulated CPU time (s) 1769.99
Current children cumulated vsize (KiB) 218700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.4 s]
/proc/loadavg: 2.10 2.03 2.00 3/73 14001
/proc/meminfo: memFree=1193576/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=219492 CPUtime=1800.08
/proc/13961/stat : 13961 (pcs.big) R 13959 13961 11357 0 -1 4194304 387159 668 0 0 179854 153 0 1 25 0 1 0 59265725 224759808 51055 996147200 134512640 135215973 4294956304 18446744073709551615 134585688 0 0 4096 0 0 0 0 17 0 0 0
/proc/13961/statm: 54873 51055 413 171 0 53798 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 219492

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): 1812.44
CPU time (s): 1800.13
CPU user time (s): 1798.55
CPU system time (s): 1.58076
CPU usage (%): 99.3208
Max. virtual memory (cumulated for all children) (KiB): 220168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.58076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387827
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= 38
involuntary context switches= 31974

runsolver used 1.9597 second user time and 5.02424 second system time

The end

Launcher Data 

Begin job on node30 at 2009-07-16 07:26:36
IDJOB=2082989
IDBENCH=57668
IDSOLVER=733
FILE ID=node30/2082989-1247721996
PBS_JOBID= 9521321
Free space on /tmp= 66284 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp22/normalized-fapp22-1750-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082989-1247721996/watcher-2082989-1247721996 -o /tmp/evaluation-result-2082989-1247721996/solver-2082989-1247721996 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1670661364 HOME/instance-2082989-1247721996.xml

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

MD5SUM BENCH= 7c8eb97a2deab43c8771e25856b5f843
RANDOM SEED=1670661364

node30.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:       1483456 kB
Buffers:         78904 kB
Cached:         372548 kB
SwapCached:          0 kB
Active:          86216 kB
Inactive:       402568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1483456 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6256 kB
Writeback:           0 kB
Mapped:          57772 kB
Slab:            69024 kB
Committed_AS:   576448 kB
PageTables:       1824 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= 66276 MiB
End job on node30 at 2009-07-16 07:56:51