Trace number 2080382

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 1815.36

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-100-1.xml
MD5SUM74d19ad62f918a217b76261cff1ec0a6
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.77812
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1263
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
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 1226708895
0.00/0.02	c Constructing HOME/instance-2080382-1247717628.xml  with 11445 constraints
0.17/0.20	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-2080382-1247717628/watcher-2080382-1247717628 -o /tmp/evaluation-result-2080382-1247717628/solver-2080382-1247717628 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1226708895 HOME/instance-2080382-1247717628.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.01 2.08 2.08 4/82 13755
/proc/meminfo: memFree=1454352/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=5260 CPUtime=0
/proc/13755/stat : 13755 (pcssolve) R 13753 13755 12423 0 -1 4194304 64 0 0 0 0 0 0 0 22 0 1 0 58826121 5386240 49 996147200 4194304 4889804 548682068800 18446744073709551615 250966246119 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 1315 49 37 169 0 14 0

[startup+0.100365 s]
/proc/loadavg: 2.01 2.08 2.08 4/82 13755
/proc/meminfo: memFree=1454352/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=6532 CPUtime=0.08
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 1312 661 0 0 8 0 0 0 25 0 1 0 58826121 6688768 833 996147200 134512640 135215973 4294956304 18446744073709551615 4159337227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 1633 833 388 171 0 558 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6532

[startup+0.201374 s]
/proc/loadavg: 2.01 2.08 2.08 4/82 13755
/proc/meminfo: memFree=1454352/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=8548 CPUtime=0.17
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 1979 661 0 0 17 0 0 0 25 0 1 0 58826121 8753152 1283 996147200 134512640 135215973 4294956304 18446744073709551615 4159729116 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 2137 1283 388 171 0 1062 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8548

[startup+0.301388 s]
/proc/loadavg: 2.01 2.08 2.08 4/82 13755
/proc/meminfo: memFree=1454352/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=11576 CPUtime=0.28
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 3007 661 0 0 26 2 0 0 25 0 1 0 58826121 11853824 2055 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 2894 2055 404 171 0 1819 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11576

[startup+0.701428 s]
/proc/loadavg: 2.01 2.08 2.08 4/82 13755
/proc/meminfo: memFree=1454352/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=15520 CPUtime=0.67
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 4455 661 0 0 65 2 0 0 25 0 1 0 58826121 15892480 2877 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 3880 2877 408 171 0 2805 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 15520

[startup+1.50151 s]
/proc/loadavg: 2.01 2.08 2.08 3/83 13760
/proc/meminfo: memFree=1444288/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=15660 CPUtime=1.46
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 4565 661 0 0 144 2 0 0 25 0 1 0 58826121 16035840 2987 996147200 134512640 135215973 4294956304 18446744073709551615 134533252 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 3915 2987 408 171 0 2840 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 15660

[startup+3.10166 s]
/proc/loadavg: 2.01 2.08 2.08 3/83 13760
/proc/meminfo: memFree=1443584/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=15800 CPUtime=3.05
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 4641 661 0 0 303 2 0 0 25 0 1 0 58826121 16179200 3063 996147200 134512640 135215973 4294956304 18446744073709551615 134533029 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 3950 3063 408 171 0 2875 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 15800

[startup+6.30297 s]
/proc/loadavg: 2.01 2.08 2.08 3/83 13760
/proc/meminfo: memFree=1442944/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=16460 CPUtime=6.23
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 4829 661 0 0 620 3 0 0 25 0 1 0 58826121 16855040 3251 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 4115 3251 408 171 0 3040 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 16460

[startup+12.7016 s]
/proc/loadavg: 2.01 2.08 2.08 3/83 13760
/proc/meminfo: memFree=1441032/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=18324 CPUtime=12.57
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 5357 661 0 0 1254 3 0 0 25 0 1 0 58826121 18763776 3681 996147200 134512640 135215973 4294956304 18446744073709551615 134597443 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 4581 3681 408 171 0 3506 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 18324

[startup+25.5018 s]
/proc/loadavg: 2.01 2.07 2.08 3/83 13760
/proc/meminfo: memFree=1435464/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=26420 CPUtime=25.24
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 7721 661 0 0 2520 4 0 0 25 0 1 0 58826121 27054080 5083 996147200 134512640 135215973 4294956304 18446744073709551615 134641053 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 6605 5083 408 171 0 5530 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 26420

[startup+51.1013 s]
/proc/loadavg: 2.00 2.07 2.08 3/83 13760
/proc/meminfo: memFree=1430600/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=31704 CPUtime=50.6
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 9196 661 0 0 5055 5 0 0 25 0 1 0 58826121 32464896 6301 996147200 134512640 135215973 4294956304 18446744073709551615 134648286 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 7926 6301 408 171 0 6851 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 31704

[startup+102.301 s]
/proc/loadavg: 2.00 2.05 2.07 3/83 13760
/proc/meminfo: memFree=1420616/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=43168 CPUtime=101.32
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 12341 661 0 0 10125 7 0 0 25 0 1 0 58826121 44204032 8804 996147200 134512640 135215973 4294956304 18446744073709551615 134641141 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 10792 8804 408 171 0 9717 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 43168

[startup+162.301 s]
/proc/loadavg: 2.07 2.06 2.07 3/83 13760
/proc/meminfo: memFree=1404296/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=57672 CPUtime=160.77
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 16416 661 0 0 16066 11 0 0 25 0 1 0 58826121 59056128 12879 996147200 134512640 135215973 4294956304 18446744073709551615 134957963 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 14418 12879 408 171 0 13343 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 57672

[startup+222.306 s]
/proc/loadavg: 2.02 2.05 2.07 3/83 13760
/proc/meminfo: memFree=1386248/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=78024 CPUtime=220.2
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 21903 661 0 0 22006 14 0 0 25 0 1 0 58826121 79896576 17341 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 19506 17341 408 171 0 18431 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 78024

[startup+282.302 s]
/proc/loadavg: 2.01 2.04 2.06 3/83 13760
/proc/meminfo: memFree=1368200/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=95608 CPUtime=279.64
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 26768 661 0 0 27947 17 0 0 25 0 1 0 58826121 97902592 21916 996147200 134512640 135215973 4294956304 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 23902 21916 408 171 0 22827 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 95608

[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.05 3/83 13760
/proc/meminfo: memFree=1357000/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=105212 CPUtime=339.08
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 29508 661 0 0 33889 19 0 0 25 0 1 0 58826121 107737088 24656 996147200 134512640 135215973 4294956304 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 26303 24656 408 171 0 25228 0
Current children cumulated CPU time (s) 339.08
Current children cumulated vsize (KiB) 105212

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 13760
/proc/meminfo: memFree=1345480/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=123916 CPUtime=398.53
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 34465 661 0 0 39831 22 0 0 25 0 1 0 58826121 126889984 27564 996147200 134512640 135215973 4294956304 18446744073709551615 134590185 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 30979 27564 408 171 0 29904 0
Current children cumulated CPU time (s) 398.53
Current children cumulated vsize (KiB) 123916

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/83 13760
/proc/meminfo: memFree=1333960/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=134040 CPUtime=457.95
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 37326 661 0 0 45771 24 0 0 25 0 1 0 58826121 137256960 30425 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 33510 30425 408 171 0 32435 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 134040

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/83 13760
/proc/meminfo: memFree=1321736/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=144972 CPUtime=517.4
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 40409 661 0 0 51713 27 0 0 25 0 1 0 58826121 148451328 33508 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 36243 33508 408 171 0 35168 0
Current children cumulated CPU time (s) 517.4
Current children cumulated vsize (KiB) 144972

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 13760
/proc/meminfo: memFree=1305992/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=157728 CPUtime=576.83
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 44308 661 0 0 57653 30 0 0 25 0 1 0 58826121 161513472 37407 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 39432 37407 408 171 0 38357 0
Current children cumulated CPU time (s) 576.83
Current children cumulated vsize (KiB) 157728

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 13760
/proc/meminfo: memFree=1294216/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=168192 CPUtime=636.27
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 47289 661 0 0 63595 32 0 0 25 0 1 0 58826121 172228608 40388 996147200 134512640 135215973 4294956304 18446744073709551615 134533319 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 42048 40388 408 171 0 40973 0
Current children cumulated CPU time (s) 636.27
Current children cumulated vsize (KiB) 168192

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 13760
/proc/meminfo: memFree=1253384/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=220028 CPUtime=814.58
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 61523 661 0 0 81416 42 0 0 25 0 1 0 58826121 225308672 50525 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 55007 50525 408 171 0 53932 0
Current children cumulated CPU time (s) 814.58
Current children cumulated vsize (KiB) 220028

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 13760
/proc/meminfo: memFree=1241224/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=230640 CPUtime=874.03
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 64535 661 0 0 87359 44 0 0 25 0 1 0 58826121 236175360 53537 996147200 134512640 135215973 4294956304 18446744073709551615 134590214 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 57660 53537 408 171 0 56585 0
Current children cumulated CPU time (s) 874.03
Current children cumulated vsize (KiB) 230640

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 13760
/proc/meminfo: memFree=1218120/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=254064 CPUtime=933.47
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 70773 661 0 0 93300 47 0 0 25 0 1 0 58826121 260161536 59262 996147200 134512640 135215973 4294956304 18446744073709551615 134907424 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 63516 59262 408 171 0 62441 0
Current children cumulated CPU time (s) 933.47
Current children cumulated vsize (KiB) 254064

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 13760
/proc/meminfo: memFree=1212872/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=258236 CPUtime=992.9
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 72140 661 0 0 99241 49 0 0 25 0 1 0 58826121 264433664 60629 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 64559 60629 408 171 0 63484 0
Current children cumulated CPU time (s) 992.9
Current children cumulated vsize (KiB) 258236

[startup+1062.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/83 13760
/proc/meminfo: memFree=1198920/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=270700 CPUtime=1052.35
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 75631 661 0 0 105184 51 0 0 25 0 1 0 58826121 277196800 64120 996147200 134512640 135215973 4294956304 18446744073709551615 135097239 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 67675 64120 408 171 0 66600 0
Current children cumulated CPU time (s) 1052.35
Current children cumulated vsize (KiB) 270700

[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/83 13760
/proc/meminfo: memFree=1185160/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=282668 CPUtime=1111.77
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 79018 661 0 0 111124 53 0 0 25 0 1 0 58826121 289452032 67507 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 70667 67507 408 171 0 69592 0
Current children cumulated CPU time (s) 1111.77
Current children cumulated vsize (KiB) 282668

[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/83 13760
/proc/meminfo: memFree=1172232/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=294300 CPUtime=1171.22
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 82296 661 0 0 117066 56 0 0 25 0 1 0 58826121 301363200 70785 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 73575 70785 408 171 0 72500 0
Current children cumulated CPU time (s) 1171.22
Current children cumulated vsize (KiB) 294300

[startup+1242.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/83 13760
/proc/meminfo: memFree=1158984/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=305672 CPUtime=1230.65
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 85497 661 0 0 123006 59 0 0 25 0 1 0 58826121 313008128 73986 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 76418 73986 408 171 0 75343 0
Current children cumulated CPU time (s) 1230.65
Current children cumulated vsize (KiB) 305672

[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/83 13760
/proc/meminfo: memFree=1149960/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=313832 CPUtime=1290.09
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 87755 661 0 0 128948 61 0 0 25 0 1 0 58826121 321363968 76244 996147200 134512640 135215973 4294956304 18446744073709551615 134532952 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 78458 76244 408 171 0 77383 0
Current children cumulated CPU time (s) 1290.09
Current children cumulated vsize (KiB) 313832

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/83 13760
/proc/meminfo: memFree=1142216/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=320760 CPUtime=1349.53
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 89698 661 0 0 134890 63 0 0 25 0 1 0 58826121 328458240 78187 996147200 134512640 135215973 4294956304 18446744073709551615 134600359 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 80190 78187 408 171 0 79115 0
Current children cumulated CPU time (s) 1349.53
Current children cumulated vsize (KiB) 320760

[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 13760
/proc/meminfo: memFree=1134024/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=327908 CPUtime=1408.97
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 91705 661 0 0 140833 64 0 0 25 0 1 0 58826121 335777792 80194 996147200 134512640 135215973 4294956304 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 81977 80194 408 171 0 80902 0
Current children cumulated CPU time (s) 1408.97
Current children cumulated vsize (KiB) 327908

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 13760
/proc/meminfo: memFree=1124232/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=336900 CPUtime=1468.41
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 94172 661 0 0 146775 66 0 0 25 0 1 0 58826121 344985600 82661 996147200 134512640 135215973 4294956304 18446744073709551615 134592492 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 84225 82661 408 171 0 83150 0
Current children cumulated CPU time (s) 1468.41
Current children cumulated vsize (KiB) 336900

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 13760
/proc/meminfo: memFree=1113480/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=346552 CPUtime=1527.85
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 96837 661 0 0 152716 69 0 0 25 0 1 0 58826121 354869248 85326 996147200 134512640 135215973 4294956304 18446744073709551615 134591911 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 86638 85326 408 171 0 85563 0
Current children cumulated CPU time (s) 1527.85
Current children cumulated vsize (KiB) 346552

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/83 13760
/proc/meminfo: memFree=1104072/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=387604 CPUtime=1587.29
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 107364 661 0 0 158654 75 0 0 25 0 1 0 58826121 396906496 87660 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 1 0 0
/proc/13755/statm: 96901 87660 408 171 0 95826 0
Current children cumulated CPU time (s) 1587.29
Current children cumulated vsize (KiB) 387604

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/74 13793
/proc/meminfo: memFree=1039000/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=397296 CPUtime=1647.06
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 110020 661 0 0 164629 77 0 0 25 0 1 0 58826121 406831104 90316 996147200 134512640 135215973 4294956304 18446744073709551615 4158960067 0 0 4096 0 0 0 0 17 0 0 0
/proc/13755/statm: 99324 90316 408 171 0 98249 0
Current children cumulated CPU time (s) 1647.06
Current children cumulated vsize (KiB) 397296

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 13793
/proc/meminfo: memFree=1027608/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=405028 CPUtime=1707.04
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 112175 661 0 0 170625 79 0 0 25 0 1 0 58826121 414748672 92471 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 0 0 0
/proc/13755/statm: 101257 92471 408 171 0 100182 0
Current children cumulated CPU time (s) 1707.04
Current children cumulated vsize (KiB) 405028

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 13793
/proc/meminfo: memFree=1010776/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=413028 CPUtime=1767.02
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 114402 661 0 0 176622 80 0 0 25 0 1 0 58826121 422940672 94698 996147200 134512640 135215973 4294956304 18446744073709551615 134951485 0 0 4096 0 0 0 0 17 0 0 0
/proc/13755/statm: 103257 94698 408 171 0 102182 0
Current children cumulated CPU time (s) 1767.02
Current children cumulated vsize (KiB) 413028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 13793
/proc/meminfo: memFree=1003608/2055920 swapFree=4192812/4192956
[pid=13755] ppid=13753 vsize=417528 CPUtime=1800.01
/proc/13755/stat : 13755 (pcs.big) R 13753 13755 12423 0 -1 4194304 115654 661 0 0 179920 81 0 0 25 0 1 0 58826121 427548672 95950 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 0 0 0
/proc/13755/statm: 104382 95950 408 171 0 103307 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 417528

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): 1815.36
CPU time (s): 1800.09
CPU user time (s): 1799.21
CPU system time (s): 0.873867
CPU usage (%): 99.1583
Max. virtual memory (cumulated for all children) (KiB): 418012

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

runsolver used 2.07268 second user time and 6.18806 second system time

The end

Launcher Data 

Begin job on node56 at 2009-07-16 06:13:48
IDJOB=2080382
IDBENCH=57077
IDSOLVER=733
FILE ID=node56/2080382-1247717628
PBS_JOBID= 9521394
Free space on /tmp= 103076 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-100-1.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080382-1247717628/watcher-2080382-1247717628 -o /tmp/evaluation-result-2080382-1247717628/solver-2080382-1247717628 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1226708895 HOME/instance-2080382-1247717628.xml

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

MD5SUM BENCH= 74d19ad62f918a217b76261cff1ec0a6
RANDOM SEED=1226708895

node56.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.209
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.209
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:       1454832 kB
Buffers:         85716 kB
Cached:         354448 kB
SwapCached:          0 kB
Active:         254852 kB
Inactive:       264060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1454832 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1992 kB
Writeback:           0 kB
Mapped:          98176 kB
Slab:            67088 kB
Committed_AS:   558648 kB
PageTables:       2056 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= 103072 MiB
End job on node56 at 2009-07-16 06:44:05