Trace number 2059625

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.09 1816.82

General information on the benchmark

Namecsp/rand-2-25/
normalized-rand-25-25-300-147-52021_ext.xml
MD5SUM3eed24a99a961d8e553ae228fa4e8bfc
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.21475
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints300
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension300
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.17/0.22	c Seed is 625789191
0.17/0.22	c Constructing HOME/instance-2059625-1247695202.xml  with 7492 constraints
0.17/0.22	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-2059625-1247695202/watcher-2059625-1247695202 -o /tmp/evaluation-result-2059625-1247695202/solver-2059625-1247695202 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 625789191 HOME/instance-2059625-1247695202.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.99 1.91 1.27 4/72 10464
/proc/meminfo: memFree=1311200/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=18576 CPUtime=0
/proc/10464/stat : 10464 (runsolver) R 10462 10464 10282 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 56582774 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10464/statm: 4644 284 249 26 0 2626 0

[startup+0.0137381 s]
/proc/loadavg: 1.99 1.91 1.27 4/72 10464
/proc/meminfo: memFree=1311200/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=5356 CPUtime=0
/proc/10464/stat : 10464 (pcssolve) S 10462 10464 10282 0 -1 4194304 339 317 0 0 0 0 0 0 21 0 1 0 56582774 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10464/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10175 s]
/proc/loadavg: 1.99 1.91 1.27 4/72 10464
/proc/meminfo: memFree=1311200/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=5696 CPUtime=0.07
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 1125 822 0 0 7 0 0 0 18 0 1 0 56582774 5832704 734 996147200 134512640 135095119 4294956304 18446744073709551615 134809783 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 1424 734 364 142 0 378 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5696

[startup+0.301773 s]
/proc/loadavg: 1.99 1.91 1.27 4/72 10464
/proc/meminfo: memFree=1311200/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=6776 CPUtime=0.27
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 1439 822 0 0 27 0 0 0 19 0 1 0 56582774 6938624 1015 996147200 134512640 135095119 4294956304 18446744073709551615 134582585 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 1694 1015 378 142 0 648 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6776

[startup+0.701827 s]
/proc/loadavg: 1.99 1.91 1.27 4/72 10464
/proc/meminfo: memFree=1311200/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=6516 CPUtime=0.67
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 1441 822 0 0 67 0 0 0 23 0 1 0 56582774 6672384 952 996147200 134512640 135095119 4294956304 18446744073709551615 134607090 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 1629 952 378 142 0 583 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6516

[startup+1.50193 s]
/proc/loadavg: 1.99 1.91 1.27 3/73 10470
/proc/meminfo: memFree=1308440/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=7032 CPUtime=1.46
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 1578 822 0 0 146 0 0 0 25 0 1 0 56582774 7200768 1024 996147200 134512640 135095119 4294956304 18446744073709551615 134554985 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 1758 1024 378 142 0 712 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7032

[startup+3.10115 s]
/proc/loadavg: 1.99 1.91 1.27 3/73 10470
/proc/meminfo: memFree=1307672/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=7936 CPUtime=3.04
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 1900 822 0 0 304 0 0 0 25 0 1 0 56582774 8126464 1217 996147200 134512640 135095119 4294956304 18446744073709551615 134642773 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 1984 1217 378 142 0 938 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 7936

[startup+6.30158 s]
/proc/loadavg: 1.99 1.91 1.27 3/73 10470
/proc/meminfo: memFree=1304992/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=10648 CPUtime=6.22
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 2594 822 0 0 621 1 0 0 25 0 1 0 56582774 10903552 1654 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 2662 1654 378 142 0 1616 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10648

[startup+12.7014 s]
/proc/loadavg: 1.99 1.91 1.27 3/73 10470
/proc/meminfo: memFree=1301536/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=11680 CPUtime=12.55
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 3129 822 0 0 1254 1 0 0 25 0 1 0 56582774 11960320 2189 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 2920 2189 378 142 0 1874 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 11680

[startup+25.5011 s]
/proc/loadavg: 1.99 1.91 1.28 3/73 10470
/proc/meminfo: memFree=1294176/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=16728 CPUtime=25.24
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 4732 822 0 0 2521 3 0 0 25 0 1 0 56582774 17129472 3022 996147200 134512640 135095119 4294956304 18446744073709551615 134615598 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 4182 3022 378 142 0 3136 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16728

[startup+51.1016 s]
/proc/loadavg: 1.99 1.92 1.30 3/73 10470
/proc/meminfo: memFree=1287712/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=23428 CPUtime=50.6
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 6902 822 0 0 5055 5 0 0 25 0 1 0 56582774 23990272 4167 996147200 134512640 135095119 4294956304 18446744073709551615 134642771 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 5857 4167 378 142 0 4811 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 23428

[startup+102.307 s]
/proc/loadavg: 1.99 1.93 1.33 3/73 10476
/proc/meminfo: memFree=1275544/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=29292 CPUtime=101.29
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 9064 822 0 0 10122 7 0 0 25 0 1 0 56582774 29995008 5816 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 7323 5816 378 142 0 6277 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 29292

[startup+162.302 s]
/proc/loadavg: 1.99 1.94 1.37 3/73 10476
/proc/meminfo: memFree=1264536/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=32420 CPUtime=160.73
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 10481 822 0 0 16063 10 0 0 25 0 1 0 56582774 33198080 7233 996147200 134512640 135095119 4294956304 18446744073709551615 134642572 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 8105 7233 378 142 0 7059 0
Current children cumulated CPU time (s) 160.73
Current children cumulated vsize (KiB) 32420

[startup+222.301 s]
/proc/loadavg: 1.99 1.95 1.41 3/73 10476
/proc/meminfo: memFree=1251416/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=43228 CPUtime=220.16
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 13727 822 0 0 22003 13 0 0 25 0 1 0 56582774 44265472 8430 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 10807 8430 378 142 0 9761 0
Current children cumulated CPU time (s) 220.16
Current children cumulated vsize (KiB) 43228

[startup+282.301 s]
/proc/loadavg: 1.99 1.95 1.44 3/73 10476
/proc/meminfo: memFree=1242008/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=53260 CPUtime=279.59
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 16668 822 0 0 27945 14 0 0 25 0 1 0 56582774 54538240 10346 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 13315 10346 378 142 0 12269 0
Current children cumulated CPU time (s) 279.59
Current children cumulated vsize (KiB) 53260

[startup+342.302 s]
/proc/loadavg: 1.99 1.96 1.48 3/73 10476
/proc/meminfo: memFree=1237400/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=53260 CPUtime=339.03
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 17084 822 0 0 33888 15 0 0 25 0 1 0 56582774 54538240 10762 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 13315 10762 378 142 0 12269 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 53260

[startup+402.302 s]
/proc/loadavg: 1.99 1.96 1.50 3/73 10476
/proc/meminfo: memFree=1231200/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=54572 CPUtime=398.47
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 17807 822 0 0 39831 16 0 0 25 0 1 0 56582774 55881728 11485 996147200 134512640 135095119 4294956304 18446744073709551615 134617066 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 13643 11485 378 142 0 12597 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 54572

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.53 3/73 10476
/proc/meminfo: memFree=1224672/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=56388 CPUtime=457.9
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 18616 822 0 0 45772 18 0 0 25 0 1 0 56582774 57741312 12294 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 14097 12294 378 142 0 13051 0
Current children cumulated CPU time (s) 457.9
Current children cumulated vsize (KiB) 56388

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.56 3/73 10476
/proc/meminfo: memFree=1218208/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=58088 CPUtime=517.34
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 19416 822 0 0 51714 20 0 0 25 0 1 0 56582774 59482112 13094 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 14522 13094 378 142 0 13476 0
Current children cumulated CPU time (s) 517.34
Current children cumulated vsize (KiB) 58088

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.58 3/73 10476
/proc/meminfo: memFree=1212256/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=59784 CPUtime=576.78
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 20161 822 0 0 57657 21 0 0 25 0 1 0 56582774 61218816 13839 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 14946 13839 378 142 0 13900 0
Current children cumulated CPU time (s) 576.78
Current children cumulated vsize (KiB) 59784

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.61 3/73 10476
/proc/meminfo: memFree=1206368/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=77852 CPUtime=636.21
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 24996 822 0 0 63597 24 0 0 25 0 1 0 56582774 79720448 14577 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 19463 14577 378 142 0 18417 0
Current children cumulated CPU time (s) 636.21
Current children cumulated vsize (KiB) 77852

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.67 3/73 10476
/proc/meminfo: memFree=1190240/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=82404 CPUtime=814.51
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 27023 822 0 0 81425 26 0 0 25 0 1 0 56582774 84381696 16604 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 20601 16604 378 142 0 19555 0
Current children cumulated CPU time (s) 814.51
Current children cumulated vsize (KiB) 82404

[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.68 3/73 10476
/proc/meminfo: memFree=1174624/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=83844 CPUtime=873.95
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 27669 822 0 0 87368 27 0 0 25 0 1 0 56582774 85856256 17250 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 20961 17250 378 142 0 19915 0
Current children cumulated CPU time (s) 873.95
Current children cumulated vsize (KiB) 83844

[startup+942.302 s]
/proc/loadavg: 1.99 1.97 1.70 3/73 10476
/proc/meminfo: memFree=1160544/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=104044 CPUtime=933.39
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 32980 822 0 0 93308 31 0 0 25 0 1 0 56582774 106541056 20512 996147200 134512640 135095119 4294956304 18446744073709551615 134644016 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26011 20512 378 142 0 24965 0
Current children cumulated CPU time (s) 933.39
Current children cumulated vsize (KiB) 104044

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/73 10476
/proc/meminfo: memFree=1158432/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=104044 CPUtime=992.82
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 33234 822 0 0 99251 31 0 0 25 0 1 0 56582774 106541056 20766 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26011 20766 378 142 0 24965 0
Current children cumulated CPU time (s) 992.82
Current children cumulated vsize (KiB) 104044

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.73 3/73 10476
/proc/meminfo: memFree=1156448/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=104044 CPUtime=1052.26
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 33480 822 0 0 105195 31 0 0 25 0 1 0 56582774 106541056 21012 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26011 21012 378 142 0 24965 0
Current children cumulated CPU time (s) 1052.26
Current children cumulated vsize (KiB) 104044

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/73 10476
/proc/meminfo: memFree=1154464/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=104044 CPUtime=1111.7
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 33729 822 0 0 111138 32 0 0 25 0 1 0 56582774 106541056 21261 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26011 21261 378 142 0 24965 0
Current children cumulated CPU time (s) 1111.7
Current children cumulated vsize (KiB) 104044

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/73 10476
/proc/meminfo: memFree=1152480/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=104044 CPUtime=1171.13
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 33966 822 0 0 117081 32 0 0 25 0 1 0 56582774 106541056 21498 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26011 21498 378 142 0 24965 0
Current children cumulated CPU time (s) 1171.13
Current children cumulated vsize (KiB) 104044

[startup+1242.3 s]
/proc/loadavg: 2.07 1.99 1.77 3/73 10476
/proc/meminfo: memFree=1150432/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=104044 CPUtime=1230.56
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 34203 822 0 0 123024 32 0 0 25 0 1 0 56582774 106541056 21735 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26011 21735 378 142 0 24965 0
Current children cumulated CPU time (s) 1230.56
Current children cumulated vsize (KiB) 104044

[startup+1302.3 s]
/proc/loadavg: 2.19 2.03 1.80 3/73 10476
/proc/meminfo: memFree=1148576/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=104044 CPUtime=1290
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 34438 822 0 0 128968 32 0 0 25 0 1 0 56582774 106541056 21970 996147200 134512640 135095119 4294956304 18446744073709551615 134636932 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26011 21970 378 142 0 24965 0
Current children cumulated CPU time (s) 1290
Current children cumulated vsize (KiB) 104044

[startup+1362.3 s]
/proc/loadavg: 2.13 2.04 1.82 3/73 10476
/proc/meminfo: memFree=1145760/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=104044 CPUtime=1349.44
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 34664 822 0 0 134911 33 0 0 25 0 1 0 56582774 106541056 22196 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26011 22196 378 142 0 24965 0
Current children cumulated CPU time (s) 1349.44
Current children cumulated vsize (KiB) 104044

[startup+1422.31 s]
/proc/loadavg: 2.11 2.04 1.83 3/73 10476
/proc/meminfo: memFree=1142304/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=104568 CPUtime=1408.87
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 35036 822 0 0 140854 33 0 0 25 0 1 0 56582774 107077632 22568 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26142 22568 378 142 0 25096 0
Current children cumulated CPU time (s) 1408.87
Current children cumulated vsize (KiB) 104568

[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 1.84 3/73 10476
/proc/meminfo: memFree=1138464/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=105476 CPUtime=1468.3
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 35481 822 0 0 146796 34 0 0 25 0 1 0 56582774 108007424 23013 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26369 23013 378 142 0 25323 0
Current children cumulated CPU time (s) 1468.3
Current children cumulated vsize (KiB) 105476

[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 1.85 3/73 10476
/proc/meminfo: memFree=1134624/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=106528 CPUtime=1527.74
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 35957 822 0 0 152739 35 0 0 25 0 1 0 56582774 109084672 23489 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26632 23489 378 142 0 25586 0
Current children cumulated CPU time (s) 1527.74
Current children cumulated vsize (KiB) 106528

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 1.85 3/73 10476
/proc/meminfo: memFree=1130784/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=107692 CPUtime=1587.18
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 36435 822 0 0 158682 36 0 0 25 0 1 0 56582774 110276608 23967 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 26923 23967 378 142 0 25877 0
Current children cumulated CPU time (s) 1587.18
Current children cumulated vsize (KiB) 107692

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.86 3/73 10476
/proc/meminfo: memFree=1126880/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=108736 CPUtime=1646.61
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 36911 822 0 0 164624 37 0 0 25 0 1 0 56582774 111345664 24443 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 27184 24443 378 142 0 26138 0
Current children cumulated CPU time (s) 1646.61
Current children cumulated vsize (KiB) 108736

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.87 3/73 10476
/proc/meminfo: memFree=1123296/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=109780 CPUtime=1706.05
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 37380 822 0 0 170567 38 0 0 25 0 1 0 56582774 112414720 24912 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/10464/statm: 27445 24912 378 142 0 26399 0
Current children cumulated CPU time (s) 1706.05
Current children cumulated vsize (KiB) 109780

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/82 10516
/proc/meminfo: memFree=1112600/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=110828 CPUtime=1765.61
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 37857 822 0 0 176517 44 0 0 25 0 1 0 56582774 113487872 25389 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10464/statm: 27707 25389 378 142 0 26661 0
Current children cumulated CPU time (s) 1765.61
Current children cumulated vsize (KiB) 110828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.8 s]
/proc/loadavg: 2.05 2.02 1.88 4/82 10516
/proc/meminfo: memFree=850392/2055920 swapFree=4192812/4192956
[pid=10464] ppid=10462 vsize=111476 CPUtime=1800.05
/proc/10464/stat : 10464 (pcs.small) R 10462 10464 10282 0 -1 4194304 38137 822 0 0 179961 44 0 0 25 0 1 0 56582774 114151424 25669 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10464/statm: 27869 25669 378 142 0 26823 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 111476

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1816.82
CPU time (s): 1800.09
CPU user time (s): 1799.62
CPU system time (s): 0.466929
CPU usage (%): 99.0788
Max. virtual memory (cumulated for all children) (KiB): 111476

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

runsolver used 2.32065 second user time and 5.95209 second system time

The end

Launcher Data 

Begin job on node71 at 2009-07-16 00:00:02
IDJOB=2059625
IDBENCH=53599
IDSOLVER=733
FILE ID=node71/2059625-1247695202
PBS_JOBID= 9521173
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-25/normalized-rand-25-25-300-147-52021_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059625-1247695202/watcher-2059625-1247695202 -o /tmp/evaluation-result-2059625-1247695202/solver-2059625-1247695202 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 625789191 HOME/instance-2059625-1247695202.xml

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

MD5SUM BENCH= 3eed24a99a961d8e553ae228fa4e8bfc
RANDOM SEED=625789191

node71.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.222
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.222
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:       1311680 kB
Buffers:         83632 kB
Cached:         540268 kB
SwapCached:          0 kB
Active:         208052 kB
Inactive:       444740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1311680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2204 kB
Writeback:           0 kB
Mapped:          40364 kB
Slab:            76844 kB
Committed_AS:   540100 kB
PageTables:       1824 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66308 MiB
End job on node71 at 2009-07-16 00:30:21