Trace number 2089798

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.13 1807.93

General information on the benchmark

Namecsp/rand-2-40-19/
normalized-rand-2-40-19-443-230-31_ext.xml
MD5SUM68837707a0079496f424579f6e481e69
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 benchmark11.3193
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints330
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension330
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.21	c Seed is 501916242
0.17/0.21	c Constructing HOME/instance-2089798-1247730672.xml  with 6234 constraints
0.17/0.21	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-2089798-1247730672/watcher-2089798-1247730672 -o /tmp/evaluation-result-2089798-1247730672/solver-2089798-1247730672 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 501916242 HOME/instance-2089798-1247730672.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.98 1.99 4/72 15345
/proc/meminfo: memFree=1373328/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=18576 CPUtime=0
/proc/15345/stat : 15345 (runsolver) R 15343 15345 14672 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 60134215 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15345/statm: 4644 284 249 26 0 2626 0

[startup+0.141469 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 15345
/proc/meminfo: memFree=1373328/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=6352 CPUtime=0.11
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 1339 822 0 0 11 0 0 0 18 0 1 0 60134215 6504448 915 996147200 134512640 135095119 4294956304 18446744073709551615 134554995 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 1588 915 378 142 0 542 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 6352

[startup+0.202473 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 15345
/proc/meminfo: memFree=1373328/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=6352 CPUtime=0.17
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 1340 822 0 0 17 0 0 0 18 0 1 0 60134215 6504448 916 996147200 134512640 135095119 4294956304 18446744073709551615 134842778 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 1588 916 378 142 0 542 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6352

[startup+0.301483 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 15345
/proc/meminfo: memFree=1373328/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=6352 CPUtime=0.26
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 1341 822 0 0 26 0 0 0 19 0 1 0 60134215 6504448 917 996147200 134512640 135095119 4294956304 18446744073709551615 134589510 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 1588 917 378 142 0 542 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 6352

[startup+0.701523 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 15345
/proc/meminfo: memFree=1373328/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=6352 CPUtime=0.66
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 1349 822 0 0 66 0 0 0 22 0 1 0 60134215 6504448 925 996147200 134512640 135095119 4294956304 18446744073709551615 134615593 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 1588 925 378 142 0 542 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 6352

[startup+1.5026 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1370760/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=6608 CPUtime=1.46
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 1427 822 0 0 146 0 0 0 25 0 1 0 60134215 6766592 938 996147200 134512640 135095119 4294956304 18446744073709551615 134643125 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 1652 938 378 142 0 606 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6608

[startup+3.10176 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1370376/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=7124 CPUtime=3.06
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 1567 822 0 0 305 1 0 0 25 0 1 0 60134215 7294976 1078 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 1781 1078 378 142 0 735 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7124

[startup+6.30108 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1368840/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=9324 CPUtime=6.24
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 2259 822 0 0 623 1 0 0 25 0 1 0 60134215 9547776 1512 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 2331 1512 378 142 0 1285 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 9324

[startup+12.7017 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1366088/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=11264 CPUtime=12.61
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 2948 822 0 0 1260 1 0 0 25 0 1 0 60134215 11534336 1944 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 2816 1944 378 142 0 1770 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 11264

[startup+25.502 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1361544/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=16696 CPUtime=25.35
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 4651 822 0 0 2532 3 0 0 25 0 1 0 60134215 17096704 2877 996147200 134512640 135095119 4294956304 18446744073709551615 134642572 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 4174 2877 378 142 0 3128 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 16696

[startup+51.1015 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1356616/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=18400 CPUtime=50.82
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 5510 822 0 0 5078 4 0 0 25 0 1 0 60134215 18841600 3736 996147200 134512640 135095119 4294956304 18446744073709551615 134641807 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 4600 3736 378 142 0 3554 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 18400

[startup+102.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1345480/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=29796 CPUtime=101.79
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 9001 822 0 0 10171 8 0 0 25 0 1 0 60134215 30511104 5689 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 7449 5689 378 142 0 6403 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 29796

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1338184/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=31372 CPUtime=161.49
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 10000 822 0 0 16141 8 0 0 25 0 1 0 60134215 32124928 6688 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 7843 6688 378 142 0 6797 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 31372

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1329864/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=42320 CPUtime=221.21
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 13218 822 0 0 22110 11 0 0 25 0 1 0 60134215 43335680 7857 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 10580 7857 378 142 0 9534 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 42320

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1322504/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=44676 CPUtime=280.92
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 14248 822 0 0 28080 12 0 0 25 0 1 0 60134215 45748224 8887 996147200 134512640 135095119 4294956304 18446744073709551615 134642982 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 11169 8887 378 142 0 10123 0
Current children cumulated CPU time (s) 280.92
Current children cumulated vsize (KiB) 44676

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1309640/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=56688 CPUtime=340.63
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 17667 822 0 0 34049 14 0 0 25 0 1 0 60134215 58048512 11281 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 14172 11281 378 142 0 13126 0
Current children cumulated CPU time (s) 340.63
Current children cumulated vsize (KiB) 56688

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1304904/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=56688 CPUtime=400.34
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 18051 822 0 0 40020 14 0 0 25 0 1 0 60134215 58048512 11665 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 14172 11665 378 142 0 13126 0
Current children cumulated CPU time (s) 400.34
Current children cumulated vsize (KiB) 56688

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1300232/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=56688 CPUtime=460.05
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 18431 822 0 0 45991 14 0 0 25 0 1 0 60134215 58048512 12045 996147200 134512640 135095119 4294956304 18446744073709551615 134636924 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 14172 12045 378 142 0 13126 0
Current children cumulated CPU time (s) 460.05
Current children cumulated vsize (KiB) 56688

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1294984/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=57472 CPUtime=519.76
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 19007 822 0 0 51961 15 0 0 25 0 1 0 60134215 58851328 12621 996147200 134512640 135095119 4294956304 18446744073709551615 134636926 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 14368 12621 378 142 0 13322 0
Current children cumulated CPU time (s) 519.76
Current children cumulated vsize (KiB) 57472

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15351
/proc/meminfo: memFree=1289096/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=59048 CPUtime=579.47
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 19731 822 0 0 57931 16 0 0 25 0 1 0 60134215 60465152 13345 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/15345/statm: 14762 13345 378 142 0 13716 0
Current children cumulated CPU time (s) 579.47
Current children cumulated vsize (KiB) 59048

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1419392/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=77272 CPUtime=639.19
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 24623 822 0 0 63898 21 0 0 25 0 1 0 60134215 79126528 14140 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 19318 14140 378 142 0 18272 0
Current children cumulated CPU time (s) 639.19
Current children cumulated vsize (KiB) 77272

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1397248/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=82128 CPUtime=818.46
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 26751 822 0 0 81822 24 0 0 25 0 1 0 60134215 84099072 16268 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 20532 16268 378 142 0 19486 0
Current children cumulated CPU time (s) 818.46
Current children cumulated vsize (KiB) 82128

[startup+882.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1391744/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=83700 CPUtime=878.22
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 27467 822 0 0 87797 25 0 0 25 0 1 0 60134215 85708800 16984 996147200 134512640 135095119 4294956304 18446744073709551615 134636926 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 20925 16984 378 142 0 19879 0
Current children cumulated CPU time (s) 878.22
Current children cumulated vsize (KiB) 83700

[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1386376/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=85144 CPUtime=937.98
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 28128 822 0 0 93772 26 0 0 25 0 1 0 60134215 87187456 17645 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 21286 17645 378 142 0 20240 0
Current children cumulated CPU time (s) 937.98
Current children cumulated vsize (KiB) 85144

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1381192/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=86696 CPUtime=997.74
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 28790 822 0 0 99747 27 0 0 25 0 1 0 60134215 88776704 18307 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 21674 18307 378 142 0 20628 0
Current children cumulated CPU time (s) 997.74
Current children cumulated vsize (KiB) 86696

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1376328/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=88148 CPUtime=1057.5
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 29430 822 0 0 105722 28 0 0 25 0 1 0 60134215 90263552 18947 996147200 134512640 135095119 4294956304 18446744073709551615 134589681 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 22037 18947 378 142 0 20991 0
Current children cumulated CPU time (s) 1057.5
Current children cumulated vsize (KiB) 88148

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1356872/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=111920 CPUtime=1117.26
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 35646 822 0 0 111695 31 0 0 25 0 1 0 60134215 114606080 23114 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 27980 23114 378 142 0 26934 0
Current children cumulated CPU time (s) 1117.26
Current children cumulated vsize (KiB) 111920

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1348488/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=111920 CPUtime=1177.01
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 35909 822 0 0 117670 31 0 0 25 0 1 0 60134215 114606080 23377 996147200 134512640 135095119 4294956304 18446744073709551615 134642583 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 27980 23377 378 142 0 26934 0
Current children cumulated CPU time (s) 1177.01
Current children cumulated vsize (KiB) 111920

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1346376/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=111920 CPUtime=1236.77
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 36170 822 0 0 123645 32 0 0 25 0 1 0 60134215 114606080 23638 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 27980 23638 378 142 0 26934 0
Current children cumulated CPU time (s) 1236.77
Current children cumulated vsize (KiB) 111920

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1344328/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=111920 CPUtime=1296.53
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 36424 822 0 0 129621 32 0 0 25 0 1 0 60134215 114606080 23892 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 27980 23892 378 142 0 26934 0
Current children cumulated CPU time (s) 1296.53
Current children cumulated vsize (KiB) 111920

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1342408/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=111920 CPUtime=1356.29
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 36674 822 0 0 135596 33 0 0 25 0 1 0 60134215 114606080 24142 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 27980 24142 378 142 0 26934 0
Current children cumulated CPU time (s) 1356.29
Current children cumulated vsize (KiB) 111920

[startup+1422.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1340040/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=111920 CPUtime=1416.05
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 36928 822 0 0 141572 33 0 0 25 0 1 0 60134215 114606080 24396 996147200 134512640 135095119 4294956304 18446744073709551615 134607027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 27980 24396 378 142 0 26934 0
Current children cumulated CPU time (s) 1416.05
Current children cumulated vsize (KiB) 111920

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1337032/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=111920 CPUtime=1475.81
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 37168 822 0 0 147548 33 0 0 25 0 1 0 60134215 114606080 24636 996147200 134512640 135095119 4294956304 18446744073709551615 134570592 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 27980 24636 378 142 0 26934 0
Current children cumulated CPU time (s) 1475.81
Current children cumulated vsize (KiB) 111920

[startup+1542.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1334280/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=111920 CPUtime=1535.57
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 37406 822 0 0 153523 34 0 0 25 0 1 0 60134215 114606080 24874 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 27980 24874 378 142 0 26934 0
Current children cumulated CPU time (s) 1535.57
Current children cumulated vsize (KiB) 111920

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1331464/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=111920 CPUtime=1595.32
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 37639 822 0 0 159498 34 0 0 25 0 1 0 60134215 114606080 25107 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 27980 25107 378 142 0 26934 0
Current children cumulated CPU time (s) 1595.32
Current children cumulated vsize (KiB) 111920

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1328648/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=111920 CPUtime=1655.08
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 37867 822 0 0 165473 35 0 0 25 0 1 0 60134215 114606080 25335 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 27980 25335 378 142 0 26934 0
Current children cumulated CPU time (s) 1655.08
Current children cumulated vsize (KiB) 111920

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1325640/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=112184 CPUtime=1714.83
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 38146 822 0 0 171448 35 0 0 25 0 1 0 60134215 114876416 25614 996147200 134512640 135095119 4294956304 18446744073709551615 134643043 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 28046 25614 378 142 0 27000 0
Current children cumulated CPU time (s) 1714.83
Current children cumulated vsize (KiB) 112184

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1321800/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=113100 CPUtime=1774.59
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 38603 822 0 0 177424 35 0 0 25 0 1 0 60134215 115814400 26071 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 28275 26071 378 142 0 27229 0
Current children cumulated CPU time (s) 1774.59
Current children cumulated vsize (KiB) 113100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15431
/proc/meminfo: memFree=1319944/2055920 swapFree=4192812/4192956
[pid=15345] ppid=15343 vsize=113636 CPUtime=1800.09
/proc/15345/stat : 15345 (pcs.small) R 15343 15345 14672 0 -1 4194304 38833 822 0 0 179973 36 0 0 25 0 1 0 60134215 116363264 26301 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15345/statm: 28409 26301 378 142 0 27363 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 113636

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): 1807.93
CPU time (s): 1800.13
CPU user time (s): 1799.74
CPU system time (s): 0.38994
CPU usage (%): 99.5686
Max. virtual memory (cumulated for all children) (KiB): 114044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.38994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39655
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= 21
involuntary context switches= 23272

runsolver used 1.63775 second user time and 4.95025 second system time

The end

Launcher Data 

Begin job on node12 at 2009-07-16 09:51:12
IDJOB=2089798
IDBENCH=59624
IDSOLVER=733
FILE ID=node12/2089798-1247730672
PBS_JOBID= 9521548
Free space on /tmp= 66272 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-40-19/normalized-rand-2-40-19-443-230-31_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089798-1247730672/watcher-2089798-1247730672 -o /tmp/evaluation-result-2089798-1247730672/solver-2089798-1247730672 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 501916242 HOME/instance-2089798-1247730672.xml

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

MD5SUM BENCH= 68837707a0079496f424579f6e481e69
RANDOM SEED=501916242

node12.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.240
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.240
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:       1373808 kB
Buffers:         87220 kB
Cached:         387896 kB
SwapCached:          0 kB
Active:         211348 kB
Inactive:       389192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1373808 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1940 kB
Writeback:           0 kB
Mapped:         136852 kB
Slab:            66876 kB
Committed_AS:   617640 kB
PageTables:       1960 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= 66268 MiB
End job on node12 at 2009-07-16 10:21:22