Trace number 2089930

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.1 1807.02

General information on the benchmark

Namecsp/rand-2-40-19/
normalized-rand-2-40-19-443-230-25_ext.xml
MD5SUMd0383df4ffc597d2a96c7f06fb8a1047
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark50.3263
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints339
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension339
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 353401652
0.17/0.21	c Constructing HOME/instance-2089930-1247730817.xml  with 6407 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-2089930-1247730817/watcher-2089930-1247730817 -o /tmp/evaluation-result-2089930-1247730817/solver-2089930-1247730817 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 353401652 HOME/instance-2089930-1247730817.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.25 2.10 2.02 4/72 19008
/proc/meminfo: memFree=1298776/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=0
/proc/19008/stat : 19008 (pcssolve) R 19006 19008 17482 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60148528 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19008/statm: 1339 241 200 169 0 50 0
[pid=19009] ppid=19008 vsize=3676 CPUtime=0
/proc/19009/stat : 19009 (fgrep) R 19008 19008 17482 0 -1 4194304 123 0 0 0 0 0 0 0 22 0 1 0 60148528 3764224 90 996147200 4194304 4274172 548682068976 18446744073709551615 240472744240 0 0 4096 0 0 0 0 17 1 0 0
/proc/19009/statm: 919 90 72 19 0 43 0

[startup+0.101146 s]
/proc/loadavg: 2.25 2.10 2.02 4/72 19008
/proc/meminfo: memFree=1298776/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=5976 CPUtime=0.07
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 1192 822 0 0 7 0 0 0 18 0 1 0 60148528 6119424 801 996147200 134512640 135095119 4294956304 18446744073709551615 134608641 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 1494 801 367 142 0 448 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5976

[startup+0.201154 s]
/proc/loadavg: 2.25 2.10 2.02 4/72 19008
/proc/meminfo: memFree=1298776/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=6368 CPUtime=0.17
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 1348 822 0 0 17 0 0 0 18 0 1 0 60148528 6520832 924 996147200 134512640 135095119 4294956304 18446744073709551615 134616896 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 1592 924 378 142 0 546 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6368

[startup+0.301158 s]
/proc/loadavg: 2.25 2.10 2.02 4/72 19008
/proc/meminfo: memFree=1298776/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=6368 CPUtime=0.27
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 1351 822 0 0 27 0 0 0 19 0 1 0 60148528 6520832 927 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 1592 927 378 142 0 546 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6368

[startup+0.701194 s]
/proc/loadavg: 2.25 2.10 2.02 4/72 19008
/proc/meminfo: memFree=1298776/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=6368 CPUtime=0.67
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 1357 822 0 0 67 0 0 0 23 0 1 0 60148528 6520832 933 996147200 134512640 135095119 4294956304 18446744073709551615 134643006 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 1592 933 378 142 0 546 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6368

[startup+1.50127 s]
/proc/loadavg: 2.25 2.10 2.02 3/73 19014
/proc/meminfo: memFree=1296144/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=6624 CPUtime=1.46
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 1435 822 0 0 146 0 0 0 25 0 1 0 60148528 6782976 946 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 1656 946 378 142 0 610 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6624

[startup+3.10141 s]
/proc/loadavg: 2.25 2.10 2.02 3/73 19014
/proc/meminfo: memFree=1295760/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=7140 CPUtime=3.05
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 1569 822 0 0 305 0 0 0 25 0 1 0 60148528 7311360 1080 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 1785 1080 378 142 0 739 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7140

[startup+6.30169 s]
/proc/loadavg: 2.23 2.10 2.02 3/73 19014
/proc/meminfo: memFree=1294544/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=9352 CPUtime=6.22
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 2227 822 0 0 621 1 0 0 25 0 1 0 60148528 9576448 1480 996147200 134512640 135095119 4294956304 18446744073709551615 134554982 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 2338 1480 378 142 0 1292 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9352

[startup+12.7012 s]
/proc/loadavg: 2.21 2.10 2.02 3/73 19014
/proc/meminfo: memFree=1292112/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=11032 CPUtime=12.56
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 2873 822 0 0 1254 2 0 0 25 0 1 0 60148528 11296768 1869 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 2758 1869 378 142 0 1712 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11032

[startup+25.5014 s]
/proc/loadavg: 2.16 2.09 2.02 3/73 19014
/proc/meminfo: memFree=1288024/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=16468 CPUtime=25.24
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 4595 822 0 0 2521 3 0 0 25 0 1 0 60148528 16863232 2788 996147200 134512640 135095119 4294956304 18446744073709551615 134589657 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 4117 2788 378 142 0 3071 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16468

[startup+51.1016 s]
/proc/loadavg: 2.11 2.08 2.01 3/73 19014
/proc/meminfo: memFree=1283608/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=18296 CPUtime=50.6
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 5475 822 0 0 5056 4 0 0 25 0 1 0 60148528 18735104 3668 996147200 134512640 135095119 4294956304 18446744073709551615 134555178 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 4574 3668 378 142 0 3528 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 18296

[startup+102.301 s]
/proc/loadavg: 2.04 2.07 2.01 3/73 19014
/proc/meminfo: memFree=1273624/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=29716 CPUtime=101.32
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 8986 822 0 0 10125 7 0 0 25 0 1 0 60148528 30429184 5641 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 7429 5641 378 142 0 6383 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 29716

[startup+162.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/73 19014
/proc/meminfo: memFree=1267928/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=31168 CPUtime=160.76
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 9906 822 0 0 16067 9 0 0 25 0 1 0 60148528 31916032 6561 996147200 134512640 135095119 4294956304 18446744073709551615 134617695 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 7792 6561 378 142 0 6746 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 31168

[startup+222.307 s]
/proc/loadavg: 2.00 2.04 2.00 3/73 19014
/proc/meminfo: memFree=1261336/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=42000 CPUtime=220.2
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 13109 822 0 0 22009 11 0 0 25 0 1 0 60148528 43008000 7715 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 10500 7715 378 142 0 9454 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 42000

[startup+282.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 19014
/proc/meminfo: memFree=1242200/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=44500 CPUtime=279.63
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 14177 822 0 0 27951 12 0 0 25 0 1 0 60148528 45568000 8783 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 11125 8783 378 142 0 10079 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 44500

[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 19014
/proc/meminfo: memFree=1231456/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=56632 CPUtime=339.07
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 17643 822 0 0 33891 16 0 0 25 0 1 0 60148528 57991168 11224 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 14158 11224 378 142 0 13112 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 56632

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 19014
/proc/meminfo: memFree=1229152/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=56632 CPUtime=398.51
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 18027 822 0 0 39834 17 0 0 25 0 1 0 60148528 57991168 11608 996147200 134512640 135095119 4294956304 18446744073709551615 134642982 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 14158 11608 378 142 0 13112 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 56632

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 19020
/proc/meminfo: memFree=1226720/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=56632 CPUtime=457.94
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 18390 822 0 0 45776 18 0 0 25 0 1 0 60148528 57991168 11971 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 14158 11971 378 142 0 13112 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 56632

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 19020
/proc/meminfo: memFree=1224096/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=57028 CPUtime=517.38
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 18824 822 0 0 51719 19 0 0 25 0 1 0 60148528 58396672 12405 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 14257 12405 378 142 0 13211 0
Current children cumulated CPU time (s) 517.38
Current children cumulated vsize (KiB) 57028

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19020
/proc/meminfo: memFree=1220256/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=58728 CPUtime=576.82
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 19574 822 0 0 57662 20 0 0 25 0 1 0 60148528 60137472 13155 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 14682 13155 378 142 0 13636 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 58728

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19020
/proc/meminfo: memFree=1216480/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=76808 CPUtime=636.26
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 24412 822 0 0 63602 24 0 0 25 0 1 0 60148528 78651392 13896 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19008/statm: 19202 13896 378 142 0 18156 0
Current children cumulated CPU time (s) 636.26

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1285208/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=83348 CPUtime=875.7
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 27350 822 0 0 87542 28 0 0 25 0 1 0 60148528 85348352 16834 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 20837 16834 378 142 0 19791 0
Current children cumulated CPU time (s) 875.7
Current children cumulated vsize (KiB) 83348

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1282456/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=84924 CPUtime=935.67
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 28048 822 0 0 93538 29 0 0 25 0 1 0 60148528 86962176 17532 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 21231 17532 378 142 0 20185 0
Current children cumulated CPU time (s) 935.67
Current children cumulated vsize (KiB) 84924

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1279640/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=86484 CPUtime=995.65
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 28740 822 0 0 99535 30 0 0 25 0 1 0 60148528 88559616 18224 996147200 134512640 135095119 4294956304 18446744073709551615 134617214 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 21621 18224 378 142 0 20575 0
Current children cumulated CPU time (s) 995.65
Current children cumulated vsize (KiB) 86484

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1277016/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=88048 CPUtime=1055.64
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 29406 822 0 0 105533 31 0 0 25 0 1 0 60148528 90161152 18890 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 22012 18890 378 142 0 20966 0
Current children cumulated CPU time (s) 1055.64
Current children cumulated vsize (KiB) 88048

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1274200/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=89624 CPUtime=1115.61
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 30089 822 0 0 111530 31 0 0 25 0 1 0 60148528 91774976 19573 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 22406 19573 378 142 0 21360 0
Current children cumulated CPU time (s) 1115.61
Current children cumulated vsize (KiB) 89624

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1258776/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=112072 CPUtime=1175.59
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 35997 822 0 0 117525 34 0 0 25 0 1 0 60148528 114761728 23432 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28018 23432 378 142 0 26972 0
Current children cumulated CPU time (s) 1175.59
Current children cumulated vsize (KiB) 112072

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1257496/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=112072 CPUtime=1235.57
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 36269 822 0 0 123523 34 0 0 25 0 1 0 60148528 114761728 23704 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28018 23704 378 142 0 26972 0
Current children cumulated CPU time (s) 1235.57
Current children cumulated vsize (KiB) 112072

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1256408/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=112072 CPUtime=1295.55
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 36531 822 0 0 129520 35 0 0 25 0 1 0 60148528 114761728 23966 996147200 134512640 135095119 4294956304 18446744073709551615 134607070 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28018 23966 378 142 0 26972 0
Current children cumulated CPU time (s) 1295.55
Current children cumulated vsize (KiB) 112072

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1255320/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=112072 CPUtime=1355.53
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 36797 822 0 0 135518 35 0 0 25 0 1 0 60148528 114761728 24232 996147200 134512640 135095119 4294956304 18446744073709551615 134637494 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28018 24232 378 142 0 26972 0
Current children cumulated CPU time (s) 1355.53
Current children cumulated vsize (KiB) 112072

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1254232/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=112072 CPUtime=1415.51
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 37054 822 0 0 141516 35 0 0 25 0 1 0 60148528 114761728 24489 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28018 24489 378 142 0 26972 0
Current children cumulated CPU time (s) 1415.51
Current children cumulated vsize (KiB) 112072

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1253208/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=112072 CPUtime=1475.48
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 37314 822 0 0 147513 35 0 0 25 0 1 0 60148528 114761728 24749 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28018 24749 378 142 0 26972 0
Current children cumulated CPU time (s) 1475.48
Current children cumulated vsize (KiB) 112072

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1252248/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=112072 CPUtime=1535.46
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 37560 822 0 0 153511 35 0 0 25 0 1 0 60148528 114761728 24995 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28018 24995 378 142 0 26972 0
Current children cumulated CPU time (s) 1535.46
Current children cumulated vsize (KiB) 112072

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1251288/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=112072 CPUtime=1595.44
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 37801 822 0 0 159508 36 0 0 25 0 1 0 60148528 114761728 25236 996147200 134512640 135095119 4294956304 18446744073709551615 134642869 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28018 25236 378 142 0 26972 0
Current children cumulated CPU time (s) 1595.44
Current children cumulated vsize (KiB) 112072

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1250264/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=112072 CPUtime=1655.41
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 38045 822 0 0 165505 36 0 0 25 0 1 0 60148528 114761728 25480 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28018 25480 378 142 0 26972 0
Current children cumulated CPU time (s) 1655.41
Current children cumulated vsize (KiB) 112072

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1248856/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=112600 CPUtime=1715.39
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 38413 822 0 0 171502 37 0 0 25 0 1 0 60148528 115302400 25848 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28150 25848 378 142 0 27104 0
Current children cumulated CPU time (s) 1715.39
Current children cumulated vsize (KiB) 112600

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1246680/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=113784 CPUtime=1775.37
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 38934 822 0 0 177499 38 0 0 25 0 1 0 60148528 116514816 26369 996147200 134512640 135095119 4294956304 18446744073709551615 134642545 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 28446 26369 378 142 0 27400 0
Current children cumulated CPU time (s) 1775.37
Current children cumulated vsize (KiB) 113784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1245784/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=147076 CPUtime=1800.06
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 47346 822 0 0 179964 42 0 0 25 0 1 0 60148528 150605824 26588 996147200 134512640 135095119 4294956304 18446744073709551615 134636916 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 36769 26588 378 142 0 35723 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 147076

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

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

[startup+1807 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19062
/proc/meminfo: memFree=1245784/2055920 swapFree=4191900/4192956
[pid=19008] ppid=19006 vsize=147076 CPUtime=1800.06
/proc/19008/stat : 19008 (pcs.small) R 19006 19008 17482 0 -1 4194304 47346 822 0 0 179964 42 0 0 25 0 1 0 60148528 150605824 26588 996147200 134512640 135095119 4294956304 18446744073709551615 134636916 0 0 4096 0 0 0 0 17 0 0 0
/proc/19008/statm: 36769 26588 378 142 0 35723 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 147076

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.02
CPU time (s): 1800.1
CPU user time (s): 1799.65
CPU system time (s): 0.448931
CPU usage (%): 99.6167
Max. virtual memory (cumulated for all children) (KiB): 179324

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

runsolver used 1.91071 second user time and 5.31419 second system time

The end

Launcher Data 

Begin job on node15 at 2009-07-16 09:53:37
IDJOB=2089930
IDBENCH=59649
IDSOLVER=733
FILE ID=node15/2089930-1247730817
PBS_JOBID= 9521493
Free space on /tmp= 66304 MiB

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

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

MD5SUM BENCH= d0383df4ffc597d2a96c7f06fb8a1047
RANDOM SEED=353401652

node15.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.220
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.220
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:       1299256 kB
Buffers:         93100 kB
Cached:         507536 kB
SwapCached:        416 kB
Active:         273236 kB
Inactive:       413812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1299256 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2032 kB
Writeback:           0 kB
Mapped:          97088 kB
Slab:            54876 kB
Committed_AS:   894188 kB
PageTables:       2008 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= 66304 MiB
End job on node15 at 2009-07-16 10:23:46