Trace number 2089358

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.12 1803.03

General information on the benchmark

Namecsp/tightness0.35/
normalized-rand-2-40-16-250-350-63_ext.xml
MD5SUM883f208cf5b6fa93483c5e48e4237535
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 benchmark7.79381
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints250
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension250
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 752462994
0.18/0.21	c Constructing HOME/instance-2089358-1247730055.xml  with 3991 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-2089358-1247730055/watcher-2089358-1247730055 -o /tmp/evaluation-result-2089358-1247730055/solver-2089358-1247730055 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 752462994 HOME/instance-2089358-1247730055.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.05 2.05 2.00 4/72 8758
/proc/meminfo: memFree=1376440/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=5356 CPUtime=0
/proc/8758/stat : 8758 (pcssolve) R 8756 8758 8179 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60071855 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 253307185823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8758/statm: 1339 241 200 169 0 50 0
[pid=8759] ppid=8758 vsize=5356 CPUtime=0
/proc/8759/stat : 8759 (pcssolve) R 8758 8758 8179 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 60071855 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 253307186471 0 0 4096 0 0 0 0 17 1 0 0
/proc/8759/statm: 1339 243 202 169 0 50 0
[pid=8760] ppid=8758 vsize=5356 CPUtime=0
/proc/8760/stat : 8760 (pcssolve) R 8758 8758 8179 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 60071855 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 253307185823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8760/statm: 1339 241 200 169 0 50 0

[startup+0.100952 s]
/proc/loadavg: 2.05 2.05 2.00 4/72 8758
/proc/meminfo: memFree=1376440/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=5564 CPUtime=0.08
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 1122 822 0 0 8 0 0 0 18 0 1 0 60071855 5697536 731 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 1391 731 378 142 0 345 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5564

[startup+0.202955 s]
/proc/loadavg: 2.05 2.05 2.00 4/72 8758
/proc/meminfo: memFree=1376440/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=5432 CPUtime=0.18
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 1123 822 0 0 18 0 0 0 18 0 1 0 60071855 5562368 699 996147200 134512640 135095119 4294956304 18446744073709551615 134617057 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 1358 699 378 142 0 312 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5432

[startup+0.301965 s]
/proc/loadavg: 2.05 2.05 2.00 4/72 8758
/proc/meminfo: memFree=1376440/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=5432 CPUtime=0.28
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 1123 822 0 0 28 0 0 0 19 0 1 0 60071855 5562368 699 996147200 134512640 135095119 4294956304 18446744073709551615 134616992 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 1358 699 378 142 0 312 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5432

[startup+0.702001 s]
/proc/loadavg: 2.05 2.05 2.00 4/72 8758
/proc/meminfo: memFree=1376440/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=5692 CPUtime=0.68
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 1197 822 0 0 68 0 0 0 23 0 1 0 60071855 5828608 740 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 1423 740 378 142 0 377 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5692

[startup+1.50108 s]
/proc/loadavg: 2.04 2.05 2.00 3/73 8764
/proc/meminfo: memFree=1374632/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=6988 CPUtime=1.47
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 1491 822 0 0 147 0 0 0 25 0 1 0 60071855 7155712 969 996147200 134512640 135095119 4294956304 18446744073709551615 134615498 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 1747 969 378 142 0 701 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6988

[startup+3.10122 s]
/proc/loadavg: 2.04 2.05 2.00 3/73 8764
/proc/meminfo: memFree=1373608/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=7632 CPUtime=3.05
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 1754 822 0 0 305 0 0 0 25 0 1 0 60071855 7815168 1103 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 1908 1103 378 142 0 862 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7632

[startup+6.30151 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 8764
/proc/meminfo: memFree=1371240/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=10484 CPUtime=6.23
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 2627 822 0 0 622 1 0 0 25 0 1 0 60071855 10735616 1590 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 2621 1590 378 142 0 1575 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 10484

[startup+12.7011 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 8764
/proc/meminfo: memFree=1369200/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=11528 CPUtime=12.57
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 3139 822 0 0 1256 1 0 0 25 0 1 0 60071855 11804672 2102 996147200 134512640 135095119 4294956304 18446744073709551615 134617349 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 2882 2102 378 142 0 1836 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 11528

[startup+25.5013 s]
/proc/loadavg: 2.03 2.04 2.00 3/73 8764
/proc/meminfo: memFree=1365360/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=16964 CPUtime=25.25
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 4828 822 0 0 2522 3 0 0 25 0 1 0 60071855 17371136 3021 996147200 134512640 135095119 4294956304 18446744073709551615 134615669 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 4241 3021 378 142 0 3195 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 16964

[startup+51.1016 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 8764
/proc/meminfo: memFree=1361392/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=23164 CPUtime=50.6
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 6866 822 0 0 5056 4 0 0 25 0 1 0 60071855 23719936 4034 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 5791 4034 378 142 0 4745 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 23164

[startup+102.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 8764
/proc/meminfo: memFree=1353520/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=30348 CPUtime=101.33
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 9323 822 0 0 10126 7 0 0 25 0 1 0 60071855 31076352 5978 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 7587 5978 378 142 0 6541 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 30348

[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 8764
/proc/meminfo: memFree=1348336/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=32568 CPUtime=160.77
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 10535 822 0 0 16068 9 0 0 25 0 1 0 60071855 33349632 7190 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 8142 7190 378 142 0 7096 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 32568

[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 8764
/proc/meminfo: memFree=1342960/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=43772 CPUtime=220.21
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 13853 822 0 0 22009 12 0 0 25 0 1 0 60071855 44822528 8459 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 1 0 0
/proc/8758/statm: 10943 8459 378 142 0 9897 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 43772

[startup+282.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 8805
/proc/meminfo: memFree=1581672/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=46508 CPUtime=279.97
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 15044 822 0 0 27983 14 0 0 25 0 1 0 60071855 47624192 9650 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 11627 9650 378 142 0 10581 0
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (KiB) 46508

[startup+342.301 s]
/proc/loadavg: 1.96 1.99 1.99 3/73 8838
/proc/meminfo: memFree=1573808/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=57996 CPUtime=339.95
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 18400 822 0 0 33978 17 0 0 25 0 1 0 60071855 59387904 11981 996147200 134512640 135095119 4294956304 18446744073709551615 134642959 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 14499 11981 378 142 0 13453 0
Current children cumulated CPU time (s) 339.95
Current children cumulated vsize (KiB) 57996

[startup+402.301 s]
/proc/loadavg: 1.98 1.99 1.99 3/73 8838
/proc/meminfo: memFree=1563504/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=57996 CPUtime=399.92
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 18829 822 0 0 39975 17 0 0 25 0 1 0 60071855 59387904 12410 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 14499 12410 378 142 0 13453 0
Current children cumulated CPU time (s) 399.92
Current children cumulated vsize (KiB) 57996

[startup+462.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 8838
/proc/meminfo: memFree=1556144/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=58392 CPUtime=459.9
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 19315 822 0 0 45972 18 0 0 25 0 1 0 60071855 59793408 12896 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 14598 12896 378 142 0 13552 0
Current children cumulated CPU time (s) 459.9
Current children cumulated vsize (KiB) 58392

[startup+522.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 8838
/proc/meminfo: memFree=1536880/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=76744 CPUtime=519.87
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 24295 822 0 0 51966 21 0 0 25 0 1 0 60071855 78585856 13779 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 19186 13779 378 142 0 18140 0
Current children cumulated CPU time (s) 519.87
Current children cumulated vsize (KiB) 76744

[startup+582.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 8838
/proc/meminfo: memFree=1532464/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=78700 CPUtime=579.85
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 25183 822 0 0 57963 22 0 0 25 0 1 0 60071855 80588800 14667 996147200 134512640 135095119 4294956304 18446744073709551615 134617205 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 19675 14667 378 142 0 18629 0
Current children cumulated CPU time (s) 579.85
Current children cumulated vsize (KiB) 78700

[startup+642.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 8840
/proc/meminfo: memFree=1527536/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=80668 CPUtime=639.82

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

[startup+882.306 s]
/proc/loadavg: 2.15 2.06 2.01 3/73 8840
/proc/meminfo: memFree=1503984/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=87728 CPUtime=879.74
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 29126 822 0 0 87945 29 0 0 25 0 1 0 60071855 89833472 18610 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 21932 18610 378 142 0 20886 0
Current children cumulated CPU time (s) 879.74
Current children cumulated vsize (KiB) 87728

[startup+942.302 s]
/proc/loadavg: 2.05 2.05 2.01 3/73 8840
/proc/meminfo: memFree=1497648/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=89436 CPUtime=939.71
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 29866 822 0 0 93941 30 0 0 25 0 1 0 60071855 91582464 19350 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 22359 19350 378 142 0 21313 0
Current children cumulated CPU time (s) 939.71
Current children cumulated vsize (KiB) 89436

[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 8840
/proc/meminfo: memFree=1491632/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=91008 CPUtime=999.69
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 30580 822 0 0 99938 31 0 0 25 0 1 0 60071855 93192192 20064 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 22752 20064 378 142 0 21706 0
Current children cumulated CPU time (s) 999.69
Current children cumulated vsize (KiB) 91008

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 8840
/proc/meminfo: memFree=1471216/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=115432 CPUtime=1059.66
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 36951 822 0 0 105932 34 0 0 25 0 1 0 60071855 118202368 24386 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 28858 24386 378 142 0 27812 0
Current children cumulated CPU time (s) 1059.66
Current children cumulated vsize (KiB) 115432

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 8840
/proc/meminfo: memFree=1467056/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=115432 CPUtime=1119.64
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 37252 822 0 0 111930 34 0 0 25 0 1 0 60071855 118202368 24687 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 28858 24687 378 142 0 27812 0
Current children cumulated CPU time (s) 1119.64
Current children cumulated vsize (KiB) 115432

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 8840
/proc/meminfo: memFree=1463152/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=115432 CPUtime=1179.62
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 37536 822 0 0 117927 35 0 0 25 0 1 0 60071855 118202368 24971 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 28858 24971 378 142 0 27812 0
Current children cumulated CPU time (s) 1179.62
Current children cumulated vsize (KiB) 115432

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 8846
/proc/meminfo: memFree=1459248/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=115432 CPUtime=1239.59
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 37817 822 0 0 123924 35 0 0 25 0 1 0 60071855 118202368 25252 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 28858 25252 378 142 0 27812 0
Current children cumulated CPU time (s) 1239.59
Current children cumulated vsize (KiB) 115432

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1455152/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=115432 CPUtime=1299.57
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 38099 822 0 0 129921 36 0 0 25 0 1 0 60071855 118202368 25534 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 28858 25534 378 142 0 27812 0
Current children cumulated CPU time (s) 1299.57
Current children cumulated vsize (KiB) 115432

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1437104/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=115432 CPUtime=1359.54
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 38372 822 0 0 135918 36 0 0 25 0 1 0 60071855 118202368 25807 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 28858 25807 378 142 0 27812 0
Current children cumulated CPU time (s) 1359.54
Current children cumulated vsize (KiB) 115432

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1434864/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=115432 CPUtime=1419.52
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 38645 822 0 0 141916 36 0 0 25 0 1 0 60071855 118202368 26080 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 28858 26080 378 142 0 27812 0
Current children cumulated CPU time (s) 1419.52
Current children cumulated vsize (KiB) 115432

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1432880/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=115432 CPUtime=1479.5
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 38907 822 0 0 147913 37 0 0 25 0 1 0 60071855 118202368 26342 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 28858 26342 378 142 0 27812 0
Current children cumulated CPU time (s) 1479.5
Current children cumulated vsize (KiB) 115432

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1430640/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=115432 CPUtime=1539.48
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 39171 822 0 0 153911 37 0 0 25 0 1 0 60071855 118202368 26606 996147200 134512640 135095119 4294956304 18446744073709551615 134638356 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 28858 26606 378 142 0 27812 0
Current children cumulated CPU time (s) 1539.48
Current children cumulated vsize (KiB) 115432

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1428080/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=148464 CPUtime=1599.45
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 47687 822 0 0 159904 41 0 0 25 0 1 0 60071855 152027136 26929 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 37116 26929 378 142 0 36070 0
Current children cumulated CPU time (s) 1599.45
Current children cumulated vsize (KiB) 148464

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1424880/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=149648 CPUtime=1659.43
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 48251 822 0 0 165901 42 0 0 25 0 1 0 60071855 153239552 27493 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 37412 27493 378 142 0 36366 0
Current children cumulated CPU time (s) 1659.43
Current children cumulated vsize (KiB) 149648

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1421488/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=150952 CPUtime=1719.4
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 48846 822 0 0 171898 42 0 0 25 0 1 0 60071855 154574848 28088 996147200 134512640 135095119 4294956304 18446744073709551615 134617221 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 37738 28088 378 142 0 36692 0
Current children cumulated CPU time (s) 1719.4
Current children cumulated vsize (KiB) 150952

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1417968/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=152256 CPUtime=1779.39
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 49414 822 0 0 177896 43 0 0 25 0 1 0 60071855 155910144 28656 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 38064 28656 378 142 0 37018 0
Current children cumulated CPU time (s) 1779.39
Current children cumulated vsize (KiB) 152256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1416816/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=152652 CPUtime=1800.08
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 49605 822 0 0 179965 43 0 0 25 0 1 0 60071855 156315648 28847 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 38163 28847 378 142 0 37117 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 152652

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

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

[startup+1803.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8846
/proc/meminfo: memFree=1416816/2055920 swapFree=4192812/4192956
[pid=8758] ppid=8756 vsize=152652 CPUtime=1800.08
/proc/8758/stat : 8758 (pcs.small) R 8756 8758 8179 0 -1 4194304 49605 822 0 0 179965 43 0 0 25 0 1 0 60071855 156315648 28847 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/8758/statm: 38163 28847 378 142 0 37117 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 152652

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.03
CPU time (s): 1800.12
CPU user time (s): 1799.66
CPU system time (s): 0.462929
CPU usage (%): 99.8387
Max. virtual memory (cumulated for all children) (KiB): 180972

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

runsolver used 2.54861 second user time and 5.61115 second system time

The end

Launcher Data 

Begin job on node25 at 2009-07-16 09:40:55
IDJOB=2089358
IDBENCH=59484
IDSOLVER=733
FILE ID=node25/2089358-1247730055
PBS_JOBID= 9521609
Free space on /tmp= 66244 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tightness0.35/normalized-rand-2-40-16-250-350-63_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089358-1247730055/watcher-2089358-1247730055 -o /tmp/evaluation-result-2089358-1247730055/solver-2089358-1247730055 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 752462994 HOME/instance-2089358-1247730055.xml

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

MD5SUM BENCH= 883f208cf5b6fa93483c5e48e4237535
RANDOM SEED=752462994

node25.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.231
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.231
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:       1376920 kB
Buffers:         82440 kB
Cached:         316176 kB
SwapCached:          0 kB
Active:         315236 kB
Inactive:       286288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1376920 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1984 kB
Writeback:           0 kB
Mapped:         214392 kB
Slab:            62500 kB
Committed_AS:   627372 kB
PageTables:       2280 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= 66312 MiB
End job on node25 at 2009-07-16 10:11:00