Trace number 2068876

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? (MO) 1112.53 1113.45

General information on the benchmark

Namecsp/tdsp/
normalized-C4-1-61.xml
MD5SUM847c29dfc4e27056a33db391ee6d79af
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark58.2691
Satisfiable
(Un)Satisfiability was proved
Number of variables149
Number of constraints1274
Maximum constraint arity6
Maximum domain size62
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1274
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 1947705168
0.00/0.04	c Constructing HOME/instance-2068876-1247707355.xml  with 32144 constraints
0.26/0.37	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-2068876-1247707355/watcher-2068876-1247707355 -o /tmp/evaluation-result-2068876-1247707355/solver-2068876-1247707355 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1947705168 HOME/instance-2068876-1247707355.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: 1.92 1.98 2.01 4/81 16462
/proc/meminfo: memFree=1074184/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=5356 CPUtime=0
/proc/16462/stat : 16462 (pcssolve) R 16460 16462 14703 0 -1 4194304 290 0 0 0 0 0 0 0 23 0 1 0 57798238 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 271638391455 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16462/statm: 1339 241 200 169 0 50 0
[pid=16463] ppid=16462 vsize=5356 CPUtime=0
/proc/16463/stat : 16463 (pcssolve) R 16462 16462 14703 0 -1 4194368 22 0 0 0 0 0 0 0 24 0 1 0 57798239 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 271638392103 0 0 4096 0 0 0 0 17 1 0 0
/proc/16463/statm: 1339 243 202 169 0 50 0
[pid=16464] ppid=16462 vsize=5356 CPUtime=0
/proc/16464/stat : 16464 (pcssolve) R 16462 16462 14703 0 -1 4194368 0 0 0 0 0 0 0 0 23 0 1 0 57798239 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 271638391455 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16464/statm: 1339 241 200 169 0 50 0

[startup+0.083366 s]
/proc/loadavg: 1.92 1.98 2.01 4/81 16462
/proc/meminfo: memFree=1074184/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=5752 CPUtime=0.04
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 1091 657 1 0 4 0 0 0 18 0 1 0 57798238 5890048 723 996147200 134512640 135215973 4294956304 18446744073709551615 4159337195 0 0 4096 0 0 0 0 17 1 0 0
/proc/16462/statm: 1438 723 389 171 0 363 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5752

[startup+0.101371 s]
/proc/loadavg: 1.92 1.98 2.01 4/81 16462
/proc/meminfo: memFree=1074184/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=6472 CPUtime=0.06
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 1307 657 1 0 6 0 0 0 18 0 1 0 57798238 6627328 865 996147200 134512640 135215973 4294956304 18446744073709551615 7331570 0 0 4096 0 0 0 0 17 1 0 0
/proc/16462/statm: 1618 865 389 171 0 543 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6472

[startup+0.301396 s]
/proc/loadavg: 1.92 1.98 2.01 4/81 16462
/proc/meminfo: memFree=1074184/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=13616 CPUtime=0.26
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 3555 657 1 0 25 1 0 0 19 0 1 0 57798238 13942784 2316 996147200 134512640 135215973 4294956304 18446744073709551615 7355976 0 0 4096 0 0 0 0 17 1 0 0
/proc/16462/statm: 3404 2316 389 171 0 2329 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13616

[startup+0.701435 s]
/proc/loadavg: 1.92 1.98 2.01 4/81 16462
/proc/meminfo: memFree=1074184/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=22076 CPUtime=0.65
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 6628 657 1 0 62 3 0 0 23 0 1 0 57798238 22605824 4750 996147200 134512640 135215973 4294956304 18446744073709551615 134584619 0 0 4096 0 0 0 0 17 1 0 0
/proc/16462/statm: 5519 4750 410 171 0 4444 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 22076

[startup+1.50152 s]
/proc/loadavg: 1.92 1.98 2.01 3/82 16467
/proc/meminfo: memFree=1054208/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=24700 CPUtime=1.45
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 7557 657 1 0 141 4 0 0 25 0 1 0 57798238 25292800 5262 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/16462/statm: 6175 5262 410 171 0 5100 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 24700

[startup+3.10268 s]
/proc/loadavg: 1.92 1.98 2.01 3/82 16467
/proc/meminfo: memFree=1054016/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=24784 CPUtime=3.04
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 7583 657 1 0 300 4 0 0 25 0 1 0 57798238 25378816 5288 996147200 134512640 135215973 4294956304 18446744073709551615 134588208 0 0 4096 0 0 0 0 17 1 0 0
/proc/16462/statm: 6196 5288 410 171 0 5121 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 24784

[startup+6.30202 s]
/proc/loadavg: 1.93 1.98 2.01 3/82 16467
/proc/meminfo: memFree=1053504/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=25140 CPUtime=6.2
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 7674 657 1 0 616 4 0 0 25 0 1 0 57798238 25743360 5379 996147200 134512640 135215973 4294956304 18446744073709551615 4158960255 0 0 4096 0 0 0 0 17 1 0 0
/proc/16462/statm: 6285 5379 410 171 0 5210 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 25140

[startup+12.7017 s]
/proc/loadavg: 1.93 1.98 2.01 3/82 16467
/proc/meminfo: memFree=1050304/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=29508 CPUtime=12.54
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 8764 657 1 0 1250 4 0 0 25 0 1 0 57798238 30216192 6212 996147200 134512640 135215973 4294956304 18446744073709551615 134592075 0 0 4096 0 0 0 0 17 1 0 0
/proc/16462/statm: 7377 6212 410 171 0 6302 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 29508

[startup+25.502 s]
/proc/loadavg: 1.95 1.98 2.01 3/82 16467
/proc/meminfo: memFree=1043200/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=36556 CPUtime=25.22
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 10552 657 1 0 2516 6 0 0 25 0 1 0 57798238 37433344 8000 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 1 0 0
/proc/16462/statm: 9139 8000 410 171 0 8064 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 36556

[startup+51.1016 s]
/proc/loadavg: 1.96 1.98 2.01 2/71 16469
/proc/meminfo: memFree=1600488/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=48424 CPUtime=50.58
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 13585 657 1 0 5049 9 0 0 25 0 1 0 57798238 49586176 11000 996147200 134512640 135215973 4294956304 18446744073709551615 134976685 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 12106 11000 410 171 0 11031 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 48424

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1490200/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=90396 CPUtime=101.76
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 24228 657 1 0 10162 14 0 0 25 0 1 0 57798238 92565504 21643 996147200 134512640 135215973 4294956304 18446744073709551615 134976512 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 22599 21643 410 171 0 21524 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 90396

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1399960/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=123504 CPUtime=161.74
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 32612 657 1 0 16155 19 0 0 25 0 1 0 57798238 126468096 29514 996147200 134512640 135215973 4294956304 18446744073709551615 134533259 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 30876 29514 410 171 0 29801 0
Current children cumulated CPU time (s) 161.74
Current children cumulated vsize (KiB) 123504

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1287704/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=165268 CPUtime=221.71
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 43197 657 1 0 22145 26 0 0 25 0 1 0 57798238 169234432 40099 996147200 134512640 135215973 4294956304 18446744073709551615 134594098 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 41317 40099 410 171 0 40242 0
Current children cumulated CPU time (s) 221.71
Current children cumulated vsize (KiB) 165268

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1157144/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=221452 CPUtime=281.69
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 57448 657 1 0 28135 34 0 0 25 0 1 0 57798238 226766848 54285 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 55363 54285 410 171 0 54288 0
Current children cumulated CPU time (s) 281.69
Current children cumulated vsize (KiB) 221452

[startup+342.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1005016/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=300556 CPUtime=341.66
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 77729 657 1 0 34122 44 0 0 25 0 1 0 57798238 307769344 73155 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 75139 73155 410 171 0 74064 0
Current children cumulated CPU time (s) 341.66
Current children cumulated vsize (KiB) 300556

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=898392/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=349208 CPUtime=401.65
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 90306 657 1 0 40112 53 0 0 25 0 1 0 57798238 357588992 85219 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 87302 85219 410 171 0 86227 0
Current children cumulated CPU time (s) 401.65
Current children cumulated vsize (KiB) 349208

[startup+462.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=777752/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=394528 CPUtime=461.62
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 101878 657 1 0 46102 60 0 0 25 0 1 0 57798238 403996672 96791 996147200 134512640 135215973 4294956304 18446744073709551615 134982851 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 98632 96791 410 171 0 97557 0
Current children cumulated CPU time (s) 461.62
Current children cumulated vsize (KiB) 394528

[startup+522.304 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=639384/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=423896 CPUtime=521.6
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 109325 657 1 0 52095 65 0 0 25 0 1 0 57798238 434069504 104238 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 105974 104238 410 171 0 104899 0
Current children cumulated CPU time (s) 521.6
Current children cumulated vsize (KiB) 423896

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=534872/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=453996 CPUtime=581.58
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 116942 657 1 0 58088 70 0 0 25 0 1 0 57798238 464891904 111855 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 113499 111855 410 171 0 112424 0
Current children cumulated CPU time (s) 581.58
Current children cumulated vsize (KiB) 453996

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=422872/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=485968 CPUtime=641.56
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 125041 657 1 0 64080 76 0 0 25 0 1 0 57798238 497631232 119954 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 121492 119954 410 171 0 120417 0
Current children cumulated CPU time (s) 641.56
Current children cumulated vsize (KiB) 485968

[startup+702.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=325848/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=515068 CPUtime=701.53
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 132416 657 1 0 70073 80 0 0 25 0 1 0 57798238 527429632 127329 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 128767 127329 410 171 0 127692 0
Current children cumulated CPU time (s) 701.53
Current children cumulated vsize (KiB) 515068

[startup+762.307 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=224408/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=544812 CPUtime=761.52
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 139948 657 1 0 76066 86 0 0 25 0 1 0 57798238 557887488 134861 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 136203 134861 410 171 0 135128 0
Current children cumulated CPU time (s) 761.52
Current children cumulated vsize (KiB) 544812

[startup+822.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/82 16540
/proc/meminfo: memFree=1010504/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=599312 CPUtime=821.48
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 153652 657 1 0 82054 94 0 0 25 0 1 0 57798238 613695488 146516 996147200 134512640 135215973 4294956304 18446744073709551615 135095040 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 149828 146516 410 171 0 148753 0
Current children cumulated CPU time (s) 821.48
Current children cumulated vsize (KiB) 599312

[startup+882.302 s]
/proc/loadavg: 2.04 2.00 2.00 3/82 16540
/proc/meminfo: memFree=957384/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=638140 CPUtime=881.46
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 163509 657 1 0 88045 101 0 0 25 0 1 0 57798238 653455360 156373 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 159535 156373 410 171 0 158460 0
Current children cumulated CPU time (s) 881.46
Current children cumulated vsize (KiB) 638140

[startup+942.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 16540
/proc/meminfo: memFree=879880/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=705388 CPUtime=941.43
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 180778 657 1 0 94033 110 0 0 25 0 1 0 57798238 722317312 173642 996147200 134512640 135215973 4294956304 18446744073709551615 134533343 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 176347 173642 410 171 0 175272 0
Current children cumulated CPU time (s) 941.43
Current children cumulated vsize (KiB) 705388

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16540
/proc/meminfo: memFree=795592/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=779504 CPUtime=1001.4
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 200405 657 1 0 100020 120 0 0 25 0 1 0 57798238 798212096 192244 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 194876 192244 410 171 0 193801 0
Current children cumulated CPU time (s) 1001.4
Current children cumulated vsize (KiB) 779504

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16540
/proc/meminfo: memFree=705544/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=859804 CPUtime=1061.38
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 221636 657 1 0 106006 132 0 0 25 0 1 0 57798238 880439296 211426 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 214951 211426 410 171 0 213876 0
Current children cumulated CPU time (s) 1061.38
Current children cumulated vsize (KiB) 859804



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1113.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16540
/proc/meminfo: memFree=630736/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=921748 CPUtime=1112.36
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4194304 237499 657 1 0 111096 140 0 0 25 0 1 0 57798238 943869952 227289 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 230437 227289 410 171 0 229362 0
Current children cumulated CPU time (s) 1112.36
Current children cumulated vsize (KiB) 921748

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

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

[startup+1113.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16540
/proc/meminfo: memFree=630736/2055920 swapFree=4192812/4192956
[pid=16462] ppid=16460 vsize=0 CPUtime=1112.47
/proc/16462/stat : 16462 (pcs.big) R 16460 16462 14703 0 -1 4195332 237499 657 1 0 111096 151 0 0 25 0 1 0 57798238 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/16462/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1112.47
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1113.45
CPU time (s): 1112.53
CPU user time (s): 1110.97
CPU system time (s): 1.55876
CPU usage (%): 99.9175
Max. virtual memory (cumulated for all children) (KiB): 921748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1110.97
system time used= 1.55876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238156
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= 22
involuntary context switches= 6210

runsolver used 1.69574 second user time and 3.38248 second system time

The end

Launcher Data 

Begin job on node67 at 2009-07-16 03:22:35
IDJOB=2068876
IDBENCH=54949
IDSOLVER=733
FILE ID=node67/2068876-1247707355
PBS_JOBID= 9521181
Free space on /tmp= 66328 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tdsp/normalized-C4-1-61.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068876-1247707355/watcher-2068876-1247707355 -o /tmp/evaluation-result-2068876-1247707355/solver-2068876-1247707355 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1947705168 HOME/instance-2068876-1247707355.xml

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

MD5SUM BENCH= 847c29dfc4e27056a33db391ee6d79af
RANDOM SEED=1947705168

node67.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.239
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.239
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:       1074664 kB
Buffers:         63152 kB
Cached:         259372 kB
SwapCached:          0 kB
Active:         623524 kB
Inactive:       283368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1074664 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1944 kB
Writeback:           0 kB
Mapped:         604780 kB
Slab:            58340 kB
Committed_AS:  1072308 kB
PageTables:       3024 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= 66320 MiB
End job on node67 at 2009-07-16 03:41:10