Trace number 2088061

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

General information on the benchmark

Namecsp/fapp/fapp17/
normalized-fapp17-0300-9.xml
MD5SUM79999494b8a624d817ccde4033265526
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 benchmark15.7836
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3865
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3865
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.17/0.21	c Seed is 1325347989
0.17/0.21	c Constructing HOME/instance-2088061-1247728809.xml  with 24360 constraints
0.38/0.43	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-2088061-1247728809/watcher-2088061-1247728809 -o /tmp/evaluation-result-2088061-1247728809/solver-2088061-1247728809 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1325347989 HOME/instance-2088061-1247728809.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.17 2.13 2.04 4/81 18962
/proc/meminfo: memFree=1495752/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=5356 CPUtime=0
/proc/18962/stat : 18962 (pcssolve) R 18960 18962 17499 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59947309 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 238487661215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18962/statm: 1339 241 200 169 0 50 0
[pid=18963] ppid=18962 vsize=3676 CPUtime=0
/proc/18963/stat : 18963 (fgrep) R 18962 18962 17499 0 -1 4194304 144 0 0 0 0 0 0 0 22 0 1 0 59947310 3764224 111 996147200 4194304 4274172 548682068976 18446744073709551615 238487830610 0 0 4096 0 0 0 0 17 1 0 0
/proc/18963/statm: 919 111 85 19 0 43 0
[pid=18964] ppid=18962 vsize=5356 CPUtime=0
/proc/18964/stat : 18964 (pcssolve) R 18962 18962 17499 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59947310 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 238487661215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18964/statm: 1339 241 200 169 0 50 0

[startup+0.109577 s]
/proc/loadavg: 2.17 2.13 2.04 4/81 18962
/proc/meminfo: memFree=1495752/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=6856 CPUtime=0.08
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 1397 662 0 0 8 0 0 0 18 0 1 0 59947309 7020544 907 996147200 134512640 135215973 4294956304 18446744073709551615 134725870 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 1714 907 386 171 0 639 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6856

[startup+0.201599 s]
/proc/loadavg: 2.17 2.13 2.04 4/81 18962
/proc/meminfo: memFree=1495752/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=9372 CPUtime=0.17
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 2155 662 0 0 17 0 0 0 18 0 1 0 59947309 9596928 1382 996147200 134512640 135215973 4294956304 18446744073709551615 2962392 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 2343 1382 386 171 0 1268 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9372

[startup+0.301615 s]
/proc/loadavg: 2.17 2.13 2.04 4/81 18962
/proc/meminfo: memFree=1495752/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=11072 CPUtime=0.27
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 2772 662 0 0 27 0 0 0 19 0 1 0 59947309 11337728 1870 996147200 134512640 135215973 4294956304 18446744073709551615 134710852 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 2768 1870 386 171 0 1693 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11072

[startup+0.701684 s]
/proc/loadavg: 2.17 2.13 2.04 4/81 18962
/proc/meminfo: memFree=1495752/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=16160 CPUtime=0.67
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 4898 662 0 0 66 1 0 0 23 0 1 0 59947309 16547840 3150 996147200 134512640 135215973 4294956304 18446744073709551615 134585628 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 4040 3150 410 171 0 2965 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 16160

[startup+1.50184 s]
/proc/loadavg: 2.17 2.13 2.04 3/82 18967
/proc/meminfo: memFree=1484416/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=16372 CPUtime=1.46
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 4976 662 0 0 145 1 0 0 25 0 1 0 59947309 16764928 3211 996147200 134512640 135215973 4294956304 18446744073709551615 134591585 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 4093 3211 410 171 0 3018 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 16372

[startup+3.10115 s]
/proc/loadavg: 2.17 2.13 2.04 3/82 18967
/proc/meminfo: memFree=1483968/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=18052 CPUtime=3.05
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 5457 662 0 0 303 2 0 0 25 0 1 0 59947309 18485248 3534 996147200 134512640 135215973 4294956304 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 4513 3534 410 171 0 3438 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 18052

[startup+6.30177 s]
/proc/loadavg: 2.15 2.13 2.04 3/82 18967
/proc/meminfo: memFree=1482752/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=18316 CPUtime=6.22
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 5584 662 0 0 620 2 0 0 25 0 1 0 59947309 18755584 3661 996147200 134512640 135215973 4294956304 18446744073709551615 134583626 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 4579 3661 413 171 0 3504 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 18316

[startup+12.702 s]
/proc/loadavg: 2.14 2.13 2.04 3/82 18967
/proc/meminfo: memFree=1481920/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=18652 CPUtime=12.56
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 5703 662 0 0 1254 2 0 0 25 0 1 0 59947309 19099648 3780 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 4663 3780 413 171 0 3588 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 18652

[startup+25.5015 s]
/proc/loadavg: 2.11 2.12 2.04 3/82 18967
/proc/meminfo: memFree=1480128/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=20592 CPUtime=25.25
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 6181 662 0 0 2523 2 0 0 25 0 1 0 59947309 21086208 4258 996147200 134512640 135215973 4294956304 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 5148 4258 413 171 0 4073 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 20592

[startup+51.1015 s]
/proc/loadavg: 2.07 2.11 2.04 3/82 18967
/proc/meminfo: memFree=1476864/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=24492 CPUtime=50.63
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 7194 662 0 0 5060 3 0 0 25 0 1 0 59947309 25079808 5062 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 6123 5062 413 171 0 5048 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 24492

[startup+102.301 s]
/proc/loadavg: 2.03 2.09 2.03 3/82 18967
/proc/meminfo: memFree=1468416/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=32436 CPUtime=101.38
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 9293 662 0 0 10135 3 0 0 25 0 1 0 59947309 33214464 7161 996147200 134512640 135215973 4294956304 18446744073709551615 135094460 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 8109 7161 413 171 0 7034 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 32436

[startup+162.303 s]
/proc/loadavg: 2.01 2.07 2.03 3/82 18967
/proc/meminfo: memFree=1458368/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=42484 CPUtime=160.86
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 11810 662 0 0 16082 4 0 0 25 0 1 0 59947309 43503616 9678 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 10621 9678 413 171 0 9546 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 42484

[startup+222.307 s]
/proc/loadavg: 2.00 2.06 2.02 3/82 18967
/proc/meminfo: memFree=1451328/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=49488 CPUtime=220.34
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 13575 662 0 0 22029 5 0 0 25 0 1 0 59947309 50675712 11410 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 12372 11410 413 171 0 11297 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 49488

[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 18967
/proc/meminfo: memFree=1439680/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=61316 CPUtime=279.82
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 16547 662 0 0 27975 7 0 0 25 0 1 0 59947309 62787584 14382 996147200 134512640 135215973 4294956304 18446744073709551615 134591795 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 15329 14382 413 171 0 14254 0
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (KiB) 61316

[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/82 18967
/proc/meminfo: memFree=1422144/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=78240 CPUtime=339.31
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 20849 662 0 0 33922 9 0 0 25 0 1 0 59947309 80117760 18684 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 19560 18684 413 171 0 18485 0
Current children cumulated CPU time (s) 339.31
Current children cumulated vsize (KiB) 78240

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 18967
/proc/meminfo: memFree=1410688/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=90768 CPUtime=398.79
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 24011 662 0 0 39869 10 0 0 25 0 1 0 59947309 92946432 21556 996147200 134512640 135215973 4294956304 18446744073709551615 134590239 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 22692 21556 413 171 0 21617 0
Current children cumulated CPU time (s) 398.79
Current children cumulated vsize (KiB) 90768

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 18967
/proc/meminfo: memFree=1399488/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=103508 CPUtime=458.28
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 27233 662 0 0 45816 12 0 0 25 0 1 0 59947309 105992192 24361 996147200 134512640 135215973 4294956304 18446744073709551615 134590063 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 25877 24361 413 171 0 24802 0
Current children cumulated CPU time (s) 458.28
Current children cumulated vsize (KiB) 103508

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 18967
/proc/meminfo: memFree=1373952/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=129036 CPUtime=517.75
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 33659 662 0 0 51761 14 0 0 25 0 1 0 59947309 132132864 30787 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 32259 30787 413 171 0 31184 0
Current children cumulated CPU time (s) 517.75
Current children cumulated vsize (KiB) 129036

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 18967
/proc/meminfo: memFree=1350080/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=152644 CPUtime=577.22
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 39601 662 0 0 57705 17 0 0 25 0 1 0 59947309 156307456 36664 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 38161 36664 413 171 0 37086 0
Current children cumulated CPU time (s) 577.22
Current children cumulated vsize (KiB) 152644

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18967
/proc/meminfo: memFree=1328128/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=174524 CPUtime=636.71

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18967
/proc/meminfo: memFree=1285440/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=216652 CPUtime=874.6
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 55677 662 0 0 87436 24 0 0 25 0 1 0 59947309 221851648 52740 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 1 0 0
/proc/18962/statm: 54163 52740 413 171 0 53088 0
Current children cumulated CPU time (s) 874.6
Current children cumulated vsize (KiB) 216652

[startup+942.301 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1293328/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=225200 CPUtime=934.17
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 57828 662 0 0 93391 26 0 0 25 0 1 0 59947309 230604800 54891 996147200 134512640 135215973 4294956304 18446744073709551615 134600886 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 56300 54891 413 171 0 55225 0
Current children cumulated CPU time (s) 934.17
Current children cumulated vsize (KiB) 225200

[startup+1002.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1279184/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=230320 CPUtime=994.14
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 59114 662 0 0 99388 26 0 0 25 0 1 0 59947309 235847680 56177 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 57580 56177 413 171 0 56505 0
Current children cumulated CPU time (s) 994.14
Current children cumulated vsize (KiB) 230320

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1265680/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=236496 CPUtime=1054.12
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 60675 662 0 0 105385 27 0 0 25 0 1 0 59947309 242171904 57738 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 59124 57738 413 171 0 58049 0
Current children cumulated CPU time (s) 1054.12
Current children cumulated vsize (KiB) 236496

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1255312/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=243532 CPUtime=1114.09
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 62439 662 0 0 111381 28 0 0 25 0 1 0 59947309 249376768 59502 996147200 134512640 135215973 4294956304 18446744073709551615 135094926 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 60883 59502 413 171 0 59808 0
Current children cumulated CPU time (s) 1114.09
Current children cumulated vsize (KiB) 243532

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1240976/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=253960 CPUtime=1174.06
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 65065 662 0 0 117376 30 0 0 25 0 1 0 59947309 260055040 62128 996147200 134512640 135215973 4294956304 18446744073709551615 134591790 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 63490 62128 413 171 0 62415 0
Current children cumulated CPU time (s) 1174.06
Current children cumulated vsize (KiB) 253960

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1222160/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=269080 CPUtime=1234.03
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 68858 662 0 0 123372 31 0 0 25 0 1 0 59947309 275537920 65921 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 67270 65921 413 171 0 66195 0
Current children cumulated CPU time (s) 1234.03
Current children cumulated vsize (KiB) 269080

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1204496/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=283104 CPUtime=1294
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 72435 662 0 0 129367 33 0 0 25 0 1 0 59947309 289898496 69498 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 70776 69498 413 171 0 69701 0
Current children cumulated CPU time (s) 1294
Current children cumulated vsize (KiB) 283104

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1176976/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=301324 CPUtime=1353.98
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 77006 662 0 0 135362 36 0 0 25 0 1 0 59947309 308555776 74069 996147200 134512640 135215973 4294956304 18446744073709551615 4158960649 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 75331 74069 413 171 0 74256 0
Current children cumulated CPU time (s) 1353.98
Current children cumulated vsize (KiB) 301324

[startup+1422.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1163920/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=312032 CPUtime=1413.96
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 79874 662 0 0 141359 37 0 0 25 0 1 0 59947309 319520768 76937 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 78008 76937 413 171 0 76933 0
Current children cumulated CPU time (s) 1413.96
Current children cumulated vsize (KiB) 312032

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1151312/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=323324 CPUtime=1473.93
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 82755 662 0 0 147354 39 0 0 25 0 1 0 59947309 331083776 79818 996147200 134512640 135215973 4294956304 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 80831 79818 413 171 0 79756 0
Current children cumulated CPU time (s) 1473.93
Current children cumulated vsize (KiB) 323324

[startup+1542.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1141840/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=331424 CPUtime=1533.9
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 84788 662 0 0 153351 39 0 0 25 0 1 0 59947309 339378176 81851 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 82856 81851 413 171 0 81781 0
Current children cumulated CPU time (s) 1533.9
Current children cumulated vsize (KiB) 331424

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1132112/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=339304 CPUtime=1593.87
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 86767 662 0 0 159347 40 0 0 25 0 1 0 59947309 347447296 83830 996147200 134512640 135215973 4294956304 18446744073709551615 134591616 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 84826 83830 413 171 0 83751 0
Current children cumulated CPU time (s) 1593.87
Current children cumulated vsize (KiB) 339304

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1120976/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=347880 CPUtime=1653.84
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 88918 662 0 0 165342 42 0 0 25 0 1 0 59947309 356229120 85981 996147200 134512640 135215973 4294956304 18446744073709551615 134585681 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 86970 85981 413 171 0 85895 0
Current children cumulated CPU time (s) 1653.84
Current children cumulated vsize (KiB) 347880

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1111632/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=354672 CPUtime=1713.81
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 90628 662 0 0 171339 42 0 0 25 0 1 0 59947309 363184128 87691 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 88668 87691 413 171 0 87593 0
Current children cumulated CPU time (s) 1713.81
Current children cumulated vsize (KiB) 354672

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1101200/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=362652 CPUtime=1773.79
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 92628 662 0 0 177336 43 0 0 25 0 1 0 59947309 371355648 89691 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 90663 89691 413 171 0 89588 0
Current children cumulated CPU time (s) 1773.79
Current children cumulated vsize (KiB) 362652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.6 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1095888/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=366616 CPUtime=1800.08
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 93614 662 0 0 179964 44 0 0 25 0 1 0 59947309 375414784 90677 996147200 134512640 135215973 4294956304 18446744073709551615 134589761 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 91654 90677 413 171 0 90579 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 366616

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

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

[startup+1808.6 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19001
/proc/meminfo: memFree=1095888/2055920 swapFree=4192812/4192956
[pid=18962] ppid=18960 vsize=366616 CPUtime=1800.08
/proc/18962/stat : 18962 (pcs.big) R 18960 18962 17499 0 -1 4194304 93614 662 0 0 179964 44 0 0 25 0 1 0 59947309 375414784 90677 996147200 134512640 135215973 4294956304 18446744073709551615 134589761 0 0 4096 0 0 0 0 17 0 0 0
/proc/18962/statm: 91654 90677 413 171 0 90579 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 366616

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.66
CPU time (s): 1800.16
CPU user time (s): 1799.65
CPU system time (s): 0.504923
CPU usage (%): 99.5297
Max. virtual memory (cumulated for all children) (KiB): 366616

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

runsolver used 1.9487 second user time and 5.07623 second system time

The end

Launcher Data 

Begin job on node23 at 2009-07-16 09:20:09
IDJOB=2088061
IDBENCH=58865
IDSOLVER=734
FILE ID=node23/2088061-1247728809
PBS_JOBID= 9521550
Free space on /tmp= 66392 MiB

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

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

MD5SUM BENCH= 79999494b8a624d817ccde4033265526
RANDOM SEED=1325347989

node23.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:       1496232 kB
Buffers:         88420 kB
Cached:         352900 kB
SwapCached:          0 kB
Active:          89184 kB
Inactive:       391408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1496232 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2380 kB
Writeback:           0 kB
Mapped:          59604 kB
Slab:            64196 kB
Committed_AS:   535084 kB
PageTables:       1884 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= 66392 MiB
End job on node23 at 2009-07-16 09:50:20