Trace number 2068965

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 1805.2

General information on the benchmark

Namecsp/tdsp/
normalized-C6-2-120.xml
MD5SUMd75a5b973487bf2f1b95455d185d9f13
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables293
Number of constraints4850
Maximum constraint arity6
Maximum domain size121
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4850
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 1769119627
0.00/0.02	c Constructing HOME/instance-2068965-1247707541.xml  with 126488 constraints
1.16/1.27	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-2068965-1247707541/watcher-2068965-1247707541 -o /tmp/evaluation-result-2068965-1247707541/solver-2068965-1247707541 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1769119627 HOME/instance-2068965-1247707541.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.00 2.00 2.00 4/82 12151
/proc/meminfo: memFree=1700960/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=5356 CPUtime=0
/proc/12151/stat : 12151 (pcssolve) R 12149 12151 10750 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57819428 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 210723465887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12151/statm: 1339 241 200 169 0 50 0
[pid=12152] ppid=12151 vsize=3676 CPUtime=0
/proc/12152/stat : 12152 (fgrep) R 12151 12151 10750 0 -1 4194304 134 0 0 0 0 0 0 0 22 0 1 0 57819428 3764224 101 996147200 4194304 4274172 548682068976 18446744073709551615 210723013712 0 0 4096 0 0 0 0 17 1 0 0
/proc/12152/statm: 919 101 82 19 0 43 0
[pid=12153] ppid=12151 vsize=5356 CPUtime=0
/proc/12153/stat : 12153 (pcssolve) R 12151 12151 10750 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 57819428 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 210723465887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12153/statm: 1339 241 200 169 0 50 0

[startup+0.096879 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12151
/proc/meminfo: memFree=1700960/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=6772 CPUtime=0.06
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 1436 657 1 0 6 0 0 0 23 0 1 0 57819428 6934528 948 996147200 134512640 135215973 4294956304 18446744073709551615 8144507 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 1693 951 389 171 0 618 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6772

[startup+0.101879 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12151
/proc/meminfo: memFree=1700960/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=6904 CPUtime=0.07
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 1468 657 1 0 7 0 0 0 23 0 1 0 57819428 7069696 980 996147200 134512640 135215973 4294956304 18446744073709551615 8144507 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 1726 981 389 171 0 651 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6904

[startup+0.301904 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12151
/proc/meminfo: memFree=1700960/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=13904 CPUtime=0.26
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 3708 657 1 0 25 1 0 0 25 0 1 0 57819428 14237696 2475 996147200 134512640 135215973 4294956304 18446744073709551615 4158960644 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 3476 2476 389 171 0 2401 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13904

[startup+0.701951 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12151
/proc/meminfo: memFree=1700960/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=27784 CPUtime=0.67
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 8225 657 1 0 63 4 0 0 25 0 1 0 57819428 28450816 5403 996147200 134512640 135215973 4294956304 18446744073709551615 4159186723 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 6946 5403 389 171 0 5871 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 27784

[startup+1.50104 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1670936/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=57396 CPUtime=1.45
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 19011 657 1 0 136 9 0 0 25 0 1 0 57819428 58773504 13212 996147200 134512640 135215973 4294956304 18446744073709551615 8150760 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 14349 13213 405 171 0 13274 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 57396

[startup+3.10124 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1638040/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=83996 CPUtime=3.05
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 27962 657 1 0 293 12 0 0 25 0 1 0 57819428 86011904 18332 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 20999 18332 410 171 0 19924 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 83996

[startup+6.30261 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1627736/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=84124 CPUtime=6.24
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 34859 657 1 0 608 16 0 0 25 0 1 0 57819428 86142976 18462 996147200 134512640 135215973 4294956304 18446744073709551615 134533294 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 21031 18462 410 171 0 19956 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 84124

[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1627544/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=84252 CPUtime=12.61
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 52266 657 1 0 1238 23 0 0 25 0 1 0 57819428 86274048 18497 996147200 134512640 135215973 4294956304 18446744073709551615 134960189 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 21063 18497 410 171 0 19988 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 84252

[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 12156
/proc/meminfo: memFree=1626968/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=85176 CPUtime=25.35
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 100470 657 1 0 2491 44 0 0 25 0 1 0 57819428 87220224 18726 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 21294 18726 426 171 0 20219 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 85176

[startup+51.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1625240/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=86716 CPUtime=50.81
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 277406 657 1 0 4971 110 0 0 25 0 1 0 57819428 88797184 19114 996147200 134512640 135215973 4294956304 18446744073709551615 134960202 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 21679 19114 410 171 0 20604 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 86716

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1617688/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=98048 CPUtime=101.76
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 625908 657 1 0 9929 247 0 0 25 0 1 0 57819428 100401152 20969 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 24512 20969 410 171 0 23437 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 98048

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1614616/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=101056 CPUtime=161.46
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 824123 657 1 0 15823 323 0 0 25 0 1 0 57819428 103481344 21729 996147200 134512640 135215973 4294956304 18446744073709551615 135094601 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 25264 21729 410 171 0 24189 0
Current children cumulated CPU time (s) 161.46
Current children cumulated vsize (KiB) 101056

[startup+222.304 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 12156
/proc/meminfo: memFree=1605016/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=108668 CPUtime=221.17
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 1107301 657 1 0 21678 439 0 0 25 0 1 0 57819428 111276032 24127 996147200 134512640 135215973 4294956304 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 27167 24127 410 171 0 26092 0
Current children cumulated CPU time (s) 221.17
Current children cumulated vsize (KiB) 108668

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 12156
/proc/meminfo: memFree=1593688/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=119928 CPUtime=280.86
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 1558197 657 1 0 27473 613 0 0 25 0 1 0 57819428 122806272 26954 996147200 134512640 135215973 4294956304 18446744073709551615 8144507 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 29982 26954 410 171 0 28907 0
Current children cumulated CPU time (s) 280.86
Current children cumulated vsize (KiB) 119928

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1579032/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=134180 CPUtime=340.57
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 2130758 657 1 0 33240 817 0 0 25 0 1 0 57819428 137400320 30582 996147200 134512640 135215973 4294956304 18446744073709551615 134902569 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 33545 30582 410 171 0 32470 0
Current children cumulated CPU time (s) 340.57
Current children cumulated vsize (KiB) 134180

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1565848/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=147468 CPUtime=400.27
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 3180412 657 1 0 38852 1175 0 0 25 0 1 0 57819428 151007232 33977 996147200 134512640 135215973 4294956304 18446744073709551615 134648500 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 36867 33977 410 171 0 35792 0
Current children cumulated CPU time (s) 400.27
Current children cumulated vsize (KiB) 147468

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1551768/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=161008 CPUtime=459.97
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 3796204 657 1 0 44582 1415 0 0 25 0 1 0 57819428 164872192 37406 996147200 134512640 135215973 4294956304 18446744073709551615 134908072 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 40252 37406 410 171 0 39177 0
Current children cumulated CPU time (s) 459.97
Current children cumulated vsize (KiB) 161008

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1539672/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=173128 CPUtime=519.68
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 4305374 657 1 0 50346 1622 0 0 25 0 1 0 57819428 177283072 40465 996147200 134512640 135215973 4294956304 18446744073709551615 134648295 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 43282 40465 410 171 0 42207 0
Current children cumulated CPU time (s) 519.68
Current children cumulated vsize (KiB) 173128

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1525144/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=187360 CPUtime=579.37
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 4835288 657 1 0 56101 1836 0 0 25 0 1 0 57819428 191856640 44068 996147200 134512640 135215973 4294956304 18446744073709551615 8144507 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 46840 44068 410 171 0 45765 0
Current children cumulated CPU time (s) 579.37
Current children cumulated vsize (KiB) 187360

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1516120/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=196136 CPUtime=639.08

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12156
/proc/meminfo: memFree=1462872/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=248912 CPUtime=877.88
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 6976267 657 1 0 85131 2657 0 0 25 0 1 0 57819428 254885888 59639 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 62228 59643 410 171 0 61153 0
Current children cumulated CPU time (s) 877.88
Current children cumulated vsize (KiB) 248912

[startup+942.302 s]
/proc/loadavg: 1.92 1.98 1.99 2/72 12158
/proc/meminfo: memFree=1487800/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=258188 CPUtime=937.58
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 7427963 657 1 0 90935 2823 0 0 25 0 1 0 57819428 264384512 61986 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 64547 61986 410 171 0 63472 0
Current children cumulated CPU time (s) 937.58
Current children cumulated vsize (KiB) 258188

[startup+1002.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/84 12199
/proc/meminfo: memFree=1416912/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=274428 CPUtime=997.55
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 8066363 657 1 0 96713 3042 0 0 25 0 1 0 57819428 281014272 66106 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 68607 66106 410 171 0 67532 0
Current children cumulated CPU time (s) 997.55
Current children cumulated vsize (KiB) 274428

[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/83 12199
/proc/meminfo: memFree=1389776/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=298708 CPUtime=1057.53
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 8879767 657 1 0 102427 3326 0 0 25 0 1 0 57819428 305876992 72217 996147200 134512640 135215973 4294956304 18446744073709551615 134592586 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 74677 72217 410 171 0 73602 0
Current children cumulated CPU time (s) 1057.53
Current children cumulated vsize (KiB) 298708

[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/83 12199
/proc/meminfo: memFree=1372816/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=315384 CPUtime=1117.51
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 9573243 657 1 0 108182 3569 0 0 25 0 1 0 57819428 322953216 76469 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 78846 76469 410 171 0 77771 0
Current children cumulated CPU time (s) 1117.51
Current children cumulated vsize (KiB) 315384

[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/83 12199
/proc/meminfo: memFree=1351952/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=336608 CPUtime=1177.48
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 10366383 657 1 0 113906 3842 0 0 25 0 1 0 57819428 344686592 81809 996147200 134512640 135215973 4294956304 18446744073709551615 135097923 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 84152 81809 410 171 0 83077 0
Current children cumulated CPU time (s) 1177.48
Current children cumulated vsize (KiB) 336608

[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 4/83 12199
/proc/meminfo: memFree=1332240/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=355472 CPUtime=1237.46
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 11188884 657 1 0 119618 4128 0 0 25 0 1 0 57819428 364003328 86614 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 88868 86614 410 171 0 87793 0
Current children cumulated CPU time (s) 1237.46
Current children cumulated vsize (KiB) 355472

[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/83 12199
/proc/meminfo: memFree=1305552/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=381396 CPUtime=1297.43
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 12868959 657 1 0 125090 4653 0 0 25 0 1 0 57819428 390549504 93220 996147200 134512640 135215973 4294956304 18446744073709551615 134604669 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 95349 93220 410 171 0 94274 0
Current children cumulated CPU time (s) 1297.43
Current children cumulated vsize (KiB) 381396

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/83 12199
/proc/meminfo: memFree=1269712/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=424812 CPUtime=1357.41
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 13943041 657 1 0 130744 4997 0 0 25 0 1 0 57819428 435007488 102127 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 106203 102127 410 171 0 105128 0
Current children cumulated CPU time (s) 1357.41
Current children cumulated vsize (KiB) 424812

[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 12199
/proc/meminfo: memFree=1243024/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=451244 CPUtime=1417.38
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 15210328 657 1 0 136327 5411 0 0 25 0 1 0 57819428 462073856 108833 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 112811 108833 410 171 0 111736 0
Current children cumulated CPU time (s) 1417.38
Current children cumulated vsize (KiB) 451244

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/83 12199
/proc/meminfo: memFree=1221456/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=472516 CPUtime=1477.36
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 16341473 657 1 0 141954 5782 0 0 25 0 1 0 57819428 483856384 114232 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 118129 114232 410 171 0 117054 0
Current children cumulated CPU time (s) 1477.36
Current children cumulated vsize (KiB) 472516

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 12199
/proc/meminfo: memFree=1208336/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=485340 CPUtime=1537.33
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 16842042 657 1 0 147774 5959 0 0 25 0 1 0 57819428 496988160 117477 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 121335 117477 410 171 0 120260 0
Current children cumulated CPU time (s) 1537.33
Current children cumulated vsize (KiB) 485340

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 12201
/proc/meminfo: memFree=1193744/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=499708 CPUtime=1597.31
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 17383396 657 1 0 153572 6159 0 0 25 0 1 0 57819428 511700992 121107 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 124927 121107 410 171 0 123852 0
Current children cumulated CPU time (s) 1597.31
Current children cumulated vsize (KiB) 499708

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 12201
/proc/meminfo: memFree=1181520/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=511616 CPUtime=1657.28
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 17895867 657 1 0 159375 6353 0 0 25 0 1 0 57819428 523894784 124134 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 127904 124134 410 171 0 126829 0
Current children cumulated CPU time (s) 1657.28
Current children cumulated vsize (KiB) 511616

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/83 12307
/proc/meminfo: memFree=1212000/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=523544 CPUtime=1717.26
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 18482755 657 1 0 165151 6575 0 0 25 0 1 0 57819428 536109056 127141 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 130886 127141 410 171 0 129811 0
Current children cumulated CPU time (s) 1717.26
Current children cumulated vsize (KiB) 523544

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 12307
/proc/meminfo: memFree=1197472/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=537408 CPUtime=1777.23
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 19103309 657 1 0 170922 6801 0 0 25 0 1 0 57819428 550305792 130686 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 134352 130686 410 171 0 133277 0
Current children cumulated CPU time (s) 1777.23
Current children cumulated vsize (KiB) 537408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.11 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 12307
/proc/meminfo: memFree=1191456/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=543300 CPUtime=1800.03
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 19370215 657 1 0 173104 6899 0 0 25 0 1 0 57819428 556339200 132164 996147200 134512640 135215973 4294956304 18446744073709551615 134587407 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 135825 132164 410 171 0 134750 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 543300

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

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

[startup+1805.11 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 12307
/proc/meminfo: memFree=1191456/2055920 swapFree=4192812/4192956
[pid=12151] ppid=12149 vsize=543300 CPUtime=1800.03
/proc/12151/stat : 12151 (pcs.big) R 12149 12151 10750 0 -1 4194304 19370215 657 1 0 173104 6899 0 0 25 0 1 0 57819428 556339200 132164 996147200 134512640 135215973 4294956304 18446744073709551615 134587407 0 0 4096 0 0 0 0 17 0 0 0
/proc/12151/statm: 135825 132164 410 171 0 134750 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 543300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.2
CPU time (s): 1800.14
CPU user time (s): 1731.05
CPU system time (s): 69.0905
CPU usage (%): 99.7199
Max. virtual memory (cumulated for all children) (KiB): 543300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1731.05
system time used= 69.0905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19370963
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 16613

runsolver used 2.30865 second user time and 5.96509 second system time

The end

Launcher Data 

Begin job on node73 at 2009-07-16 03:25:41
IDJOB=2068965
IDBENCH=54967
IDSOLVER=734
FILE ID=node73/2068965-1247707541
PBS_JOBID= 9521171
Free space on /tmp= 66432 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/tdsp/normalized-C6-2-120.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068965-1247707541/watcher-2068965-1247707541 -o /tmp/evaluation-result-2068965-1247707541/solver-2068965-1247707541 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1769119627 HOME/instance-2068965-1247707541.xml

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

MD5SUM BENCH= d75a5b973487bf2f1b95455d185d9f13
RANDOM SEED=1769119627

node73.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.213
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.213
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:       1701440 kB
Buffers:         57268 kB
Cached:         181140 kB
SwapCached:          0 kB
Active:          91780 kB
Inactive:       197904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1701440 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2508 kB
Writeback:           0 kB
Mapped:          71728 kB
Slab:            50048 kB
Committed_AS:   554112 kB
PageTables:       1912 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= 66432 MiB
End job on node73 at 2009-07-16 03:55:48