Trace number 2091261

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.05 1804.12

General information on the benchmark

Namecsp/rand-2-50-23/
normalized-rand-2-50-23-587-230-19_ext.xml
MD5SUM32f2267a338b2aeb8b1c5e6406b2f2e8
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 benchmark941.087
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints479
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension479
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.18/0.21	c Seed is 2093880404
0.18/0.21	c Constructing HOME/instance-2091261-1247732074.xml  with 10990 constraints
0.18/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-2091261-1247732074/watcher-2091261-1247732074 -o /tmp/evaluation-result-2091261-1247732074/solver-2091261-1247732074 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2093880404 HOME/instance-2091261-1247732074.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 1.99 4/73 18295
/proc/meminfo: memFree=1455296/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=5356 CPUtime=0
/proc/18295/stat : 18295 (pcssolve) R 18293 18295 17055 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 60272380 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 224264776351 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/18295/statm: 1339 241 200 169 0 50 0
[pid=18296] ppid=18295 vsize=5356 CPUtime=0
/proc/18296/stat : 18296 (pcssolve) R 18295 18295 17055 0 -1 4194368 1 0 0 0 0 0 0 0 19 0 1 0 60272380 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 224264776351 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/18296/statm: 1339 241 200 169 0 50 0
[pid=18297] ppid=18295 vsize=5356 CPUtime=0
/proc/18297/stat : 18297 (pcssolve) R 18295 18295 17055 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 60272380 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 224264776351 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/18297/statm: 1339 241 200 169 0 50 0

[startup+0.026054 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18295
/proc/meminfo: memFree=1455296/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=4508 CPUtime=0
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 825 822 0 0 0 0 0 0 18 0 1 0 60272380 4616192 434 996147200 134512640 135095119 4294956304 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 1127 434 364 142 0 81 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4508

[startup+0.101069 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18295
/proc/meminfo: memFree=1455296/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=5828 CPUtime=0.07
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 1164 822 0 0 7 0 0 0 18 0 1 0 60272380 5967872 773 996147200 134512640 135095119 4294956304 18446744073709551615 6983450 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 1457 773 364 142 0 411 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5828

[startup+0.301105 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18295
/proc/meminfo: memFree=1455296/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=8116 CPUtime=0.28
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 1808 822 0 0 27 1 0 0 19 0 1 0 60272380 8310784 1319 996147200 134512640 135095119 4294956304 18446744073709551615 134589510 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 2029 1319 378 142 0 983 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8116

[startup+0.70118 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 18295
/proc/meminfo: memFree=1455296/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=8116 CPUtime=0.68
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 1811 822 0 0 67 1 0 0 23 0 1 0 60272380 8310784 1322 996147200 134512640 135095119 4294956304 18446744073709551615 134615467 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 2029 1322 378 142 0 983 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8116

[startup+1.50133 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1451320/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=8116 CPUtime=1.48
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 1817 822 0 0 147 1 0 0 25 0 1 0 60272380 8310784 1328 996147200 134512640 135095119 4294956304 18446744073709551615 134641468 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 2029 1328 378 142 0 983 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8116

[startup+3.10163 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1451128/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=8116 CPUtime=3.08
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 1830 822 0 0 307 1 0 0 25 0 1 0 60272380 8310784 1341 996147200 134512640 135095119 4294956304 18446744073709551615 134637372 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 2029 1341 378 142 0 983 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8116

[startup+6.30122 s]
/proc/loadavg: 1.93 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1450872/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=8116 CPUtime=6.28
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 1850 822 0 0 627 1 0 0 25 0 1 0 60272380 8310784 1361 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 2029 1361 378 142 0 983 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8116

[startup+12.7014 s]
/proc/loadavg: 1.93 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1449720/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=9656 CPUtime=12.67
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 2178 822 0 0 1266 1 0 0 25 0 1 0 60272380 9887744 1560 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 2414 1560 378 142 0 1368 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 9656

[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1447928/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=11336 CPUtime=25.47
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 2776 822 0 0 2545 2 0 0 25 0 1 0 60272380 11608064 1901 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 2834 1901 378 142 0 1788 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 11336

[startup+51.1016 s]
/proc/loadavg: 1.96 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1444216/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=14208 CPUtime=51.05
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 3775 822 0 0 5103 2 0 0 25 0 1 0 60272380 14548992 2643 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 3552 2643 378 142 0 2506 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 14208

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1438456/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=18496 CPUtime=102.23
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 5292 822 0 0 10218 5 0 0 25 0 1 0 60272380 18939904 3647 996147200 134512640 135095119 4294956304 18446744073709551615 134643034 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 4624 3647 378 142 0 3578 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 18496

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1430264/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=28864 CPUtime=162.19
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 8300 822 0 0 16212 7 0 0 25 0 1 0 60272380 29556736 5117 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 7216 5117 378 142 0 6170 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 28864

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1426424/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=29260 CPUtime=222.17
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 8736 822 0 0 22209 8 0 0 25 0 1 0 60272380 29962240 5553 996147200 134512640 135095119 4294956304 18446744073709551615 134643125 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 7315 5553 378 142 0 6269 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 29260

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1421560/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=30848 CPUtime=282.13
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 9452 822 0 0 28205 8 0 0 25 0 1 0 60272380 31588352 6269 996147200 134512640 135095119 4294956304 18446744073709551615 134641672 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 7712 6269 378 142 0 6666 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 30848

[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1416504/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=32568 CPUtime=342.11
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 10155 822 0 0 34201 10 0 0 25 0 1 0 60272380 33349632 6972 996147200 134512640 135095119 4294956304 18446744073709551615 134577772 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 8142 6972 378 142 0 7096 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 32568

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1411896/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=34020 CPUtime=402.08
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 10811 822 0 0 40197 11 0 0 25 0 1 0 60272380 34836480 7628 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 8505 7628 378 142 0 7459 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 34020

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1407160/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=43796 CPUtime=462.04
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 13523 822 0 0 46191 13 0 0 25 0 1 0 60272380 44847104 8291 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 10949 8291 378 142 0 9903 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 43796

[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1402616/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=45248 CPUtime=522.02
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 14159 822 0 0 52187 15 0 0 25 0 1 0 60272380 46333952 8927 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 11312 8927 378 142 0 10266 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 45248

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1393656/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=55284 CPUtime=581.99
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 16905 822 0 0 58183 16 0 0 25 0 1 0 60272380 56610816 10648 996147200 134512640 135095119 4294956304 18446744073709551615 134570593 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 13821 10648 378 142 0 12775 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 55284

[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1390968/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=55284 CPUtime=641.97

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

[startup+882.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1364728/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=57396 CPUtime=881.86
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 18593 822 0 0 88167 19 0 0 25 0 1 0 60272380 58773504 12336 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 14349 12336 378 142 0 13303 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 57396

[startup+942.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1362040/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=58584 CPUtime=941.82
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 19092 822 0 0 94163 19 0 0 25 0 1 0 60272380 59990016 12835 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 14646 12835 378 142 0 13600 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 58584

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1359352/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=59636 CPUtime=1001.8
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 19583 822 0 0 100159 21 0 0 25 0 1 0 60272380 61067264 13326 996147200 134512640 135095119 4294956304 18446744073709551615 134577763 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 14909 13326 378 142 0 13863 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 59636

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18301
/proc/meminfo: memFree=1356664/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=60824 CPUtime=1061.77
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 20085 822 0 0 106156 21 0 0 25 0 1 0 60272380 62283776 13828 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 15206 13828 378 142 0 14160 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 60824

[startup+1122.3 s]
/proc/loadavg: 1.93 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1425968/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=61884 CPUtime=1121.64
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 20566 822 0 0 112141 23 0 0 25 0 1 0 60272380 63369216 14309 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 15471 14309 378 142 0 14425 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 61884

[startup+1182.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1423856/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=79456 CPUtime=1181.33
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 25167 822 0 0 118107 26 0 0 25 0 1 0 60272380 81362944 14813 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 19864 14813 378 142 0 18818 0
Current children cumulated CPU time (s) 1181.33
Current children cumulated vsize (KiB) 79456

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1421680/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=80648 CPUtime=1241.03
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 25649 822 0 0 124077 26 0 0 25 0 1 0 60272380 82583552 15295 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 20162 15295 378 142 0 19116 0
Current children cumulated CPU time (s) 1241.03
Current children cumulated vsize (KiB) 80648

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1419632/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=81704 CPUtime=1300.73
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 26124 822 0 0 130046 27 0 0 25 0 1 0 60272380 83664896 15770 996147200 134512640 135095119 4294956304 18446744073709551615 134576295 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 20426 15770 378 142 0 19380 0
Current children cumulated CPU time (s) 1300.73
Current children cumulated vsize (KiB) 81704

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1417776/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=82756 CPUtime=1360.42
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 26585 822 0 0 136014 28 0 0 25 0 1 0 60272380 84742144 16231 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 20689 16231 378 142 0 19643 0
Current children cumulated CPU time (s) 1360.42
Current children cumulated vsize (KiB) 82756

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1415856/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=83812 CPUtime=1420.12
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 27046 822 0 0 141984 28 0 0 25 0 1 0 60272380 85823488 16692 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 20953 16692 378 142 0 19907 0
Current children cumulated CPU time (s) 1420.12
Current children cumulated vsize (KiB) 83812

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1413808/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=85000 CPUtime=1479.82
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 27553 822 0 0 147953 29 0 0 25 0 1 0 60272380 87040000 17199 996147200 134512640 135095119 4294956304 18446744073709551615 134641486 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 21250 17199 378 142 0 20204 0
Current children cumulated CPU time (s) 1479.82
Current children cumulated vsize (KiB) 85000

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1412080/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=85924 CPUtime=1539.53
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 27979 822 0 0 153923 30 0 0 25 0 1 0 60272380 87986176 17625 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 21481 17625 378 142 0 20435 0
Current children cumulated CPU time (s) 1539.53
Current children cumulated vsize (KiB) 85924

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1410352/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=86984 CPUtime=1599.22
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 28412 822 0 0 159891 31 0 0 25 0 1 0 60272380 89071616 18058 996147200 134512640 135095119 4294956304 18446744073709551615 134615494 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 21746 18058 378 142 0 20700 0
Current children cumulated CPU time (s) 1599.22
Current children cumulated vsize (KiB) 86984

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1408624/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=87904 CPUtime=1658.92
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 28838 822 0 0 165861 31 0 0 25 0 1 0 60272380 90013696 18484 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 21976 18484 378 142 0 20930 0
Current children cumulated CPU time (s) 1658.92
Current children cumulated vsize (KiB) 87904

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1394160/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=109828 CPUtime=1718.62
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 34488 822 0 0 171829 33 0 0 25 0 1 0 60272380 112463872 22085 996147200 134512640 135095119 4294956304 18446744073709551615 134642955 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 27457 22085 378 142 0 26411 0
Current children cumulated CPU time (s) 1718.62
Current children cumulated vsize (KiB) 109828

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1393392/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=109828 CPUtime=1778.32
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 34665 822 0 0 177799 33 0 0 25 0 1 0 60272380 112463872 22262 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 27457 22262 378 142 0 26411 0
Current children cumulated CPU time (s) 1778.32
Current children cumulated vsize (KiB) 109828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.1 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1393136/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=109828 CPUtime=1800.01
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 34727 822 0 0 179968 33 0 0 25 0 1 0 60272380 112463872 22324 996147200 134512640 135095119 4294956304 18446744073709551615 134589681 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 27457 22324 378 142 0 26411 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 109828

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

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

[startup+1804.1 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 18343
/proc/meminfo: memFree=1393136/2055920 swapFree=4192812/4192956
[pid=18295] ppid=18293 vsize=109828 CPUtime=1800.01
/proc/18295/stat : 18295 (pcs.small) R 18293 18295 17055 0 -1 4194304 34727 822 0 0 179968 33 0 0 25 0 1 0 60272380 112463872 22324 996147200 134512640 135095119 4294956304 18446744073709551615 134589681 0 0 4096 0 0 0 0 17 0 0 0
/proc/18295/statm: 27457 22324 378 142 0 26411 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 109828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.12
CPU time (s): 1800.05
CPU user time (s): 1799.69
CPU system time (s): 0.358945
CPU usage (%): 99.7743
Max. virtual memory (cumulated for all children) (KiB): 118024

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

runsolver used 1.63075 second user time and 4.94325 second system time

The end

Launcher Data 

Begin job on node82 at 2009-07-16 10:14:34
IDJOB=2091261
IDBENCH=60024
IDSOLVER=733
FILE ID=node82/2091261-1247732074
PBS_JOBID= 9521613
Free space on /tmp= 66316 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-50-23/normalized-rand-2-50-23-587-230-19_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091261-1247732074/watcher-2091261-1247732074 -o /tmp/evaluation-result-2091261-1247732074/solver-2091261-1247732074 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2093880404 HOME/instance-2091261-1247732074.xml

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

MD5SUM BENCH= 32f2267a338b2aeb8b1c5e6406b2f2e8
RANDOM SEED=2093880404

node82.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.265
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.265
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1455776 kB
Buffers:         84520 kB
Cached:         366456 kB
SwapCached:          0 kB
Active:         112772 kB
Inactive:       400732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1455776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2124 kB
Writeback:           0 kB
Mapped:          73976 kB
Slab:            71964 kB
Committed_AS:   572584 kB
PageTables:       1844 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66312 MiB
End job on node82 at 2009-07-16 10:44:40