Trace number 2083561

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.16 1804.05

General information on the benchmark

Namecsp/fapp/fapp24/
normalized-fapp24-2000-9.xml
MD5SUM5949c8c2a580bb7d18408c509e0c687a
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 benchmark29.1806
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints26753
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26753
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.04	c Seed is 1453315207
0.00/0.04	c Constructing HOME/instance-2083561-1247723314.xml  with 167981 constraints
3.04/3.11	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-2083561-1247723314/watcher-2083561-1247723314 -o /tmp/evaluation-result-2083561-1247723314/solver-2083561-1247723314 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1453315207 HOME/instance-2083561-1247723314.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.05 2.19 2.10 4/82 12248
/proc/meminfo: memFree=1503212/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=5256 CPUtime=0
/proc/12248/stat : 12248 (pcssolve) R 12246 12248 8601 0 -1 4194304 59 0 0 0 0 0 0 0 20 0 1 0 59398560 5382144 44 996147200 4194304 4889804 548682068800 18446744073709551615 215416348607 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 1314 44 33 169 0 13 0

[startup+0.106868 s]
/proc/loadavg: 2.05 2.19 2.10 4/82 12248
/proc/meminfo: memFree=1503212/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=6824 CPUtime=0.07
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 1375 662 0 0 7 0 0 0 18 0 1 0 59398560 6987776 925 996147200 134512640 135215973 4294956304 18446744073709551615 134896913 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 1706 925 386 171 0 631 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6824

[startup+0.201879 s]
/proc/loadavg: 2.05 2.19 2.10 4/82 12248
/proc/meminfo: memFree=1503212/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=9388 CPUtime=0.17
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2166 662 0 0 16 1 0 0 18 0 1 0 59398560 9613312 1408 996147200 134512640 135215973 4294956304 18446744073709551615 4159785567 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 2347 1408 386 171 0 1272 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9388

[startup+0.301896 s]
/proc/loadavg: 2.05 2.19 2.10 4/82 12248
/proc/meminfo: memFree=1503212/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=11936 CPUtime=0.26
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2838 662 0 0 25 1 0 0 19 0 1 0 59398560 12222464 2080 996147200 134512640 135215973 4294956304 18446744073709551615 4159198322 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 2984 2080 386 171 0 1909 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 11936

[startup+0.701939 s]
/proc/loadavg: 2.05 2.19 2.10 4/82 12248
/proc/meminfo: memFree=1503212/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=22232 CPUtime=0.66
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 6242 662 0 0 63 3 0 0 23 0 1 0 59398560 22765568 3847 996147200 134512640 135215973 4294956304 18446744073709551615 134836020 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 5558 3847 386 171 0 4483 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 22232

[startup+1.50102 s]
/proc/loadavg: 2.04 2.19 2.10 3/83 12253
/proc/meminfo: memFree=1480484/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=41956 CPUtime=1.45
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 12754 662 0 0 140 5 0 0 25 0 1 0 59398560 42962944 7505 996147200 134512640 135215973 4294956304 18446744073709551615 134762900 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 10489 7505 386 171 0 9414 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 41956

[startup+3.10121 s]
/proc/loadavg: 2.04 2.19 2.10 3/83 12253
/proc/meminfo: memFree=1460324/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=70624 CPUtime=3.04
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 25101 662 0 0 292 12 0 0 25 0 1 0 59398560 72318976 13436 996147200 134512640 135215973 4294956304 18446744073709551615 9096661 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 17656 13436 392 171 0 16581 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 70624

[startup+6.30156 s]
/proc/loadavg: 2.04 2.19 2.10 3/83 12253
/proc/meminfo: memFree=1414756/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=87924 CPUtime=6.21
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 32044 662 0 0 607 14 0 0 25 0 1 0 59398560 90034176 18799 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 21981 18799 410 171 0 20906 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 87924

[startup+12.7013 s]
/proc/loadavg: 2.04 2.18 2.10 3/83 12253
/proc/meminfo: memFree=1399844/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=88756 CPUtime=12.55
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 32493 662 0 0 1241 14 0 0 25 0 1 0 59398560 90886144 19039 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 22189 19039 410 171 0 21114 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 88756

[startup+25.5017 s]
/proc/loadavg: 2.03 2.17 2.10 3/83 12253
/proc/meminfo: memFree=1339748/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=97152 CPUtime=25.24
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 35037 662 0 0 2509 15 0 0 25 0 1 0 59398560 99483648 21166 996147200 134512640 135215973 4294956304 18446744073709551615 134592946 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 24288 21166 410 171 0 23213 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 97152

[startup+51.1016 s]
/proc/loadavg: 2.02 2.16 2.09 3/83 12253
/proc/meminfo: memFree=1273828/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=102592 CPUtime=50.61
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 61342 662 0 0 5037 24 0 0 25 0 1 0 59398560 105054208 21822 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 25648 21822 413 171 0 24573 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 102592

[startup+102.301 s]
/proc/loadavg: 2.06 2.14 2.09 3/83 12253
/proc/meminfo: memFree=1100900/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=108532 CPUtime=101.35
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 171447 662 0 0 10076 59 0 0 25 0 1 0 59398560 111136768 23498 996147200 134512640 135215973 4294956304 18446744073709551615 134591658 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 27133 23498 413 171 0 26058 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 108532

[startup+162.302 s]
/proc/loadavg: 2.05 2.13 2.09 3/83 12255
/proc/meminfo: memFree=914532/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=118164 CPUtime=160.8
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 279340 662 0 0 15986 94 0 0 25 0 1 0 59398560 120999936 25923 996147200 134512640 135215973 4294956304 18446744073709551615 134591827 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 29541 25923 413 171 0 28466 0
Current children cumulated CPU time (s) 160.8
Current children cumulated vsize (KiB) 118164

[startup+222.307 s]
/proc/loadavg: 2.31 2.18 2.11 3/83 12256
/proc/meminfo: memFree=806684/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=128324 CPUtime=220.25
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 370908 662 0 0 21899 126 0 0 25 0 1 0 59398560 131403776 28661 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 32081 28661 413 171 0 31006 0
Current children cumulated CPU time (s) 220.25
Current children cumulated vsize (KiB) 128324

[startup+282.301 s]
/proc/loadavg: 2.27 2.18 2.10 4/82 12256
/proc/meminfo: memFree=742812/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=139936 CPUtime=279.7
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 500260 662 0 0 27802 168 0 0 25 0 1 0 59398560 143294464 31818 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 34984 31818 413 171 0 33909 0
Current children cumulated CPU time (s) 279.7
Current children cumulated vsize (KiB) 139936

[startup+342.301 s]
/proc/loadavg: 2.21 2.19 2.11 3/82 12256
/proc/meminfo: memFree=732892/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=144152 CPUtime=339.14
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 580131 662 0 0 33719 195 0 0 25 0 1 0 59398560 147611648 32870 996147200 134512640 135215973 4294956304 18446744073709551615 134583653 0 0 4096 0 0 0 0 17 1 0 0
/proc/12248/statm: 36038 32870 413 171 0 34963 0
Current children cumulated CPU time (s) 339.14
Current children cumulated vsize (KiB) 144152

[startup+402.302 s]
/proc/loadavg: 2.08 2.15 2.10 3/73 12288
/proc/meminfo: memFree=1448052/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=151672 CPUtime=398.91
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 715967 662 0 0 39655 236 0 0 25 0 1 0 59398560 155312128 34756 996147200 134512640 135215973 4294956304 18446744073709551615 134583528 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 37918 34756 413 171 0 36843 0
Current children cumulated CPU time (s) 398.91
Current children cumulated vsize (KiB) 151672

[startup+462.301 s]
/proc/loadavg: 2.03 2.12 2.09 3/73 12288
/proc/meminfo: memFree=1409012/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=161304 CPUtime=458.89
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 871931 662 0 0 45610 279 0 0 25 0 1 0 59398560 165175296 37171 996147200 134512640 135215973 4294956304 18446744073709551615 134585750 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 40326 37171 413 171 0 39251 0
Current children cumulated CPU time (s) 458.89
Current children cumulated vsize (KiB) 161304

[startup+522.301 s]
/proc/loadavg: 2.01 2.10 2.08 3/73 12288
/proc/meminfo: memFree=1383028/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=168096 CPUtime=518.86
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 979401 662 0 0 51574 312 0 0 25 0 1 0 59398560 172130304 38891 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 42024 38891 413 171 0 40949 0
Current children cumulated CPU time (s) 518.86
Current children cumulated vsize (KiB) 168096

[startup+582.302 s]
/proc/loadavg: 2.00 2.08 2.08 3/73 12288
/proc/meminfo: memFree=1349684/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=175748 CPUtime=578.84
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 1061953 662 0 0 57549 335 0 0 25 0 1 0 59398560 179965952 40791 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 43937 40791 413 171 0 42862 0
Current children cumulated CPU time (s) 578.84
Current children cumulated vsize (KiB) 175748

[startup+642.302 s]
/proc/loadavg: 2.00 2.06 2.07 3/73 12288
/proc/meminfo: memFree=1324660/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=180228 CPUtime=638.82
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 1131058 662 0 0 63526 356 0 0 25 0 1 0 59398560 184553472 41934 996147200 134512640 135215973 4294956304 18446744073709551615 134583707 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 45057 41934 413 171 0 43982 0
Current children cumulated CPU time (s) 638.82
Current children cumulated vsize (KiB) 180228

[startup+702.301 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/73 12293
/proc/meminfo: memFree=1236716/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=210364 CPUtime=878.73
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 1516324 662 0 0 87397 476 0 0 25 0 1 0 59398560 215412736 48219 996147200 134512640 135215973 4294956304 18446744073709551615 134597328 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 52591 48219 413 171 0 51516 0
Current children cumulated CPU time (s) 878.73
Current children cumulated vsize (KiB) 210364

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 12293
/proc/meminfo: memFree=1219948/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=215768 CPUtime=938.7
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 1634426 662 0 0 93361 509 0 0 25 0 1 0 59398560 220946432 49573 996147200 134512640 135215973 4294956304 18446744073709551615 134585741 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 53942 49573 413 171 0 52867 0
Current children cumulated CPU time (s) 938.7
Current children cumulated vsize (KiB) 215768

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 12293
/proc/meminfo: memFree=1180204/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=222100 CPUtime=998.69
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 1727963 662 0 0 99332 537 0 0 25 0 1 0 59398560 227430400 51178 996147200 134512640 135215973 4294956304 18446744073709551615 9098875 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 55525 51178 413 171 0 54450 0
Current children cumulated CPU time (s) 998.69
Current children cumulated vsize (KiB) 222100

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 12293
/proc/meminfo: memFree=1138932/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=227240 CPUtime=1058.66
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 1846586 662 0 0 105294 572 0 0 25 0 1 0 59398560 232693760 52489 996147200 134512640 135215973 4294956304 18446744073709551615 135094319 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 56810 52489 413 171 0 55735 0
Current children cumulated CPU time (s) 1058.66
Current children cumulated vsize (KiB) 227240

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 12293
/proc/meminfo: memFree=1101044/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=235988 CPUtime=1118.64
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 1990354 662 0 0 111249 615 0 0 25 0 1 0 59398560 241651712 54693 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 58997 54693 413 171 0 57922 0
Current children cumulated CPU time (s) 1118.64
Current children cumulated vsize (KiB) 235988

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 12293
/proc/meminfo: memFree=1069876/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=242020 CPUtime=1178.62
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2111989 662 0 0 117212 650 0 0 25 0 1 0 59398560 247828480 56196 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 60505 56196 413 171 0 59430 0
Current children cumulated CPU time (s) 1178.62
Current children cumulated vsize (KiB) 242020

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 12293
/proc/meminfo: memFree=1038580/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=249676 CPUtime=1238.59
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2227839 662 0 0 123176 683 0 0 25 0 1 0 59398560 255668224 58118 996147200 134512640 135215973 4294956304 18446744073709551615 134585403 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 62419 58118 413 171 0 61344 0
Current children cumulated CPU time (s) 1238.59
Current children cumulated vsize (KiB) 249676

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 12293
/proc/meminfo: memFree=1008884/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=256308 CPUtime=1298.57
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2357546 662 0 0 129137 720 0 0 25 0 1 0 59398560 262459392 59797 996147200 134512640 135215973 4294956304 18446744073709551615 134596257 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 64077 59797 413 171 0 63002 0
Current children cumulated CPU time (s) 1298.57
Current children cumulated vsize (KiB) 256308

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=979828/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=260224 CPUtime=1358.54
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2437220 662 0 0 135110 744 0 0 25 0 1 0 59398560 266469376 60793 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 65056 60793 413 171 0 63981 0
Current children cumulated CPU time (s) 1358.54
Current children cumulated vsize (KiB) 260224

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=964212/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=263520 CPUtime=1418.53
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2509219 662 0 0 141086 767 0 0 25 0 1 0 59398560 269844480 61587 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 65880 61587 413 171 0 64805 0
Current children cumulated CPU time (s) 1418.53
Current children cumulated vsize (KiB) 263520

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=940468/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=266284 CPUtime=1478.5
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2585084 662 0 0 147061 789 0 0 25 0 1 0 59398560 272674816 62266 996147200 134512640 135215973 4294956304 18446744073709551615 134589774 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 66571 62266 413 171 0 65496 0
Current children cumulated CPU time (s) 1478.5
Current children cumulated vsize (KiB) 266284

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=925108/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=271560 CPUtime=1538.48
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2658339 662 0 0 153037 811 0 0 25 0 1 0 59398560 278077440 63611 996147200 134512640 135215973 4294956304 18446744073709551615 134585600 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 67890 63611 413 171 0 66815 0
Current children cumulated CPU time (s) 1538.48
Current children cumulated vsize (KiB) 271560

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=917684/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=274856 CPUtime=1598.46
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2720948 662 0 0 159017 829 0 0 25 0 1 0 59398560 281452544 64462 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 68714 64462 413 171 0 67639 0
Current children cumulated CPU time (s) 1598.46
Current children cumulated vsize (KiB) 274856

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=878836/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=278408 CPUtime=1658.43
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2792468 662 0 0 164994 849 0 0 25 0 1 0 59398560 285089792 65276 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 69602 65276 413 171 0 68527 0
Current children cumulated CPU time (s) 1658.43
Current children cumulated vsize (KiB) 278408

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=874548/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=282100 CPUtime=1718.41
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2856604 662 0 0 170973 868 0 0 25 0 1 0 59398560 288870400 66244 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 70525 66244 413 171 0 69450 0
Current children cumulated CPU time (s) 1718.41
Current children cumulated vsize (KiB) 282100

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=871284/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=284740 CPUtime=1778.39
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2922983 662 0 0 176950 889 0 0 25 0 1 0 59398560 291573760 66917 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 71185 66917 413 171 0 70110 0
Current children cumulated CPU time (s) 1778.39
Current children cumulated vsize (KiB) 284740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=870644/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=285396 CPUtime=1800.09
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2951213 662 0 0 179111 898 0 0 25 0 1 0 59398560 292245504 67088 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 71349 67088 413 171 0 70274 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 285396

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

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

[startup+1804 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=870644/2055920 swapFree=4192812/4192956
[pid=12248] ppid=12246 vsize=285396 CPUtime=1800.09
/proc/12248/stat : 12248 (pcs.big) R 12246 12248 8601 0 -1 4194304 2951213 662 0 0 179111 898 0 0 25 0 1 0 59398560 292245504 67088 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/12248/statm: 71349 67088 413 171 0 70274 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 285396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.05
CPU time (s): 1800.16
CPU user time (s): 1791.12
CPU system time (s): 9.03463
CPU usage (%): 99.7839
Max. virtual memory (cumulated for all children) (KiB): 285960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.12
system time used= 9.03463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2951875
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= 23
involuntary context switches= 19919

runsolver used 2.13667 second user time and 5.13322 second system time

The end

Launcher Data 

Begin job on node9 at 2009-07-16 07:48:34
IDJOB=2083561
IDBENCH=57858
IDSOLVER=733
FILE ID=node9/2083561-1247723314
PBS_JOBID= 9521365
Free space on /tmp= 66368 MiB

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

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

MD5SUM BENCH= 5949c8c2a580bb7d18408c509e0c687a
RANDOM SEED=1453315207

node9.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.216
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.216
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:       1506892 kB
Buffers:         75940 kB
Cached:         251548 kB
SwapCached:          0 kB
Active:         195364 kB
Inactive:       283812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1506892 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5464 kB
Writeback:           0 kB
Mapped:         172152 kB
Slab:            54832 kB
Committed_AS:   710576 kB
PageTables:       2108 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= 66368 MiB
End job on node9 at 2009-07-16 08:18:40