Trace number 2059626

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-restart 0.3.2? (TO) 1800.06 1808.02

General information on the benchmark

Namecsp/rand-2-25/
normalized-rand-25-25-300-147-52021_ext.xml
MD5SUM3eed24a99a961d8e553ae228fa4e8bfc
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 benchmark8.21475
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints300
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension300
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.00/0.02	c Seed is 1841652375
0.00/0.02	c Constructing HOME/instance-2059626-1247695208.xml  with 7492 constraints
0.07/0.13	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-2059626-1247695208/watcher-2059626-1247695208 -o /tmp/evaluation-result-2059626-1247695208/solver-2059626-1247695208 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1841652375 HOME/instance-2059626-1247695208.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.91 1.90 1.27 4/72 14719
/proc/meminfo: memFree=1394496/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=5356 CPUtime=0
/proc/14719/stat : 14719 (pcssolve) R 14717 14719 14510 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 56583486 5484544 232 996147200 4194304 4889804 548682068800 18446744073709551615 233401939497 0 0 4100 65536 0 0 0 17 1 0 0
/proc/14719/statm: 1339 232 193 169 0 50 0

[startup+0.055803 s]
/proc/loadavg: 1.91 1.90 1.27 4/72 14719
/proc/meminfo: memFree=1394496/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=4904 CPUtime=0.03
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 933 822 0 0 3 0 0 0 24 0 1 0 56583486 5021696 542 996147200 134512640 135095119 4294956304 18446744073709551615 8855269 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 1226 542 364 142 0 180 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4904

[startup+0.102804 s]
/proc/loadavg: 1.91 1.90 1.27 4/72 14719
/proc/meminfo: memFree=1394496/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=5696 CPUtime=0.07
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 1125 822 0 0 7 0 0 0 24 0 1 0 56583486 5832704 734 996147200 134512640 135095119 4294956304 18446744073709551615 8879750 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 1424 734 364 142 0 378 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5696

[startup+0.301825 s]
/proc/loadavg: 1.91 1.90 1.27 4/72 14719
/proc/meminfo: memFree=1394496/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=6776 CPUtime=0.28
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 1439 822 0 0 27 1 0 0 25 0 1 0 56583486 6938624 1015 996147200 134512640 135095119 4294956304 18446744073709551615 134617071 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 1694 1015 378 142 0 648 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6776

[startup+0.702867 s]
/proc/loadavg: 1.91 1.90 1.27 4/72 14719
/proc/meminfo: memFree=1394496/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=6516 CPUtime=0.67
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 1441 822 0 0 66 1 0 0 25 0 1 0 56583486 6672384 952 996147200 134512640 135095119 4294956304 18446744073709551615 134615450 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 1629 952 378 142 0 583 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6516

[startup+1.50194 s]
/proc/loadavg: 1.91 1.90 1.27 4/73 14725
/proc/meminfo: memFree=1391864/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=7032 CPUtime=1.46
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 1577 822 0 0 145 1 0 0 25 0 1 0 56583486 7200768 1023 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 1758 1023 378 142 0 712 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7032

[startup+3.10111 s]
/proc/loadavg: 1.91 1.90 1.27 3/73 14725
/proc/meminfo: memFree=1391352/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=7940 CPUtime=3.05
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 1891 822 0 0 304 1 0 0 25 0 1 0 56583486 8130560 1208 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 1985 1208 378 142 0 939 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7940

[startup+6.30143 s]
/proc/loadavg: 1.92 1.90 1.27 4/73 14725
/proc/meminfo: memFree=1389112/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=10652 CPUtime=6.22
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 2589 822 0 0 621 1 0 0 25 0 1 0 56583486 10907648 1649 996147200 134512640 135095119 4294956304 18446744073709551615 134637457 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 2663 1649 378 142 0 1617 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10652

[startup+12.7011 s]
/proc/loadavg: 1.93 1.90 1.28 3/73 14725
/proc/meminfo: memFree=1386808/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=11700 CPUtime=12.56
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 3133 822 0 0 1254 2 0 0 25 0 1 0 56583486 11980800 2193 996147200 134512640 135095119 4294956304 18446744073709551615 134616918 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 2925 2193 378 142 0 1879 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11700

[startup+25.5025 s]
/proc/loadavg: 1.94 1.90 1.29 3/73 14725
/proc/meminfo: memFree=1383160/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=16740 CPUtime=25.24
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 4751 822 0 0 2521 3 0 0 25 0 1 0 56583486 17141760 3041 996147200 134512640 135095119 4294956304 18446744073709551615 134644016 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 4185 3041 378 142 0 3139 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16740

[startup+51.1029 s]
/proc/loadavg: 1.96 1.91 1.31 3/73 14725
/proc/meminfo: memFree=1378168/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=23436 CPUtime=50.6
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 6930 822 0 0 5055 5 0 0 25 0 1 0 56583486 23998464 4195 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 5859 4195 378 142 0 4813 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 23436

[startup+102.307 s]
/proc/loadavg: 1.98 1.92 1.34 3/73 14731
/proc/meminfo: memFree=1370552/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=29304 CPUtime=101.31
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 9063 822 0 0 10123 8 0 0 25 0 1 0 56583486 30007296 5815 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 7326 5815 378 142 0 6280 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 29304

[startup+162.303 s]
/proc/loadavg: 1.99 1.93 1.38 3/73 14731
/proc/meminfo: memFree=1363896/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=32436 CPUtime=160.75
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 10483 822 0 0 16065 10 0 0 25 0 1 0 56583486 33214464 7235 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 8109 7235 378 142 0 7063 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 32436

[startup+222.303 s]
/proc/loadavg: 1.99 1.94 1.41 3/73 14731
/proc/meminfo: memFree=1358072/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=43388 CPUtime=220.2
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 13725 822 0 0 22008 12 0 0 25 0 1 0 56583486 44429312 8428 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 10847 8428 378 142 0 9801 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 43388

[startup+282.303 s]
/proc/loadavg: 1.99 1.95 1.45 4/73 14731
/proc/meminfo: memFree=1349752/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=53156 CPUtime=279.64
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 16637 822 0 0 27951 13 0 0 25 0 1 0 56583486 54431744 10315 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 13289 10315 378 142 0 12243 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 53156

[startup+342.303 s]
/proc/loadavg: 1.99 1.95 1.48 3/73 14731
/proc/meminfo: memFree=1347000/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=53156 CPUtime=339.09
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 17044 822 0 0 33895 14 0 0 25 0 1 0 56583486 54431744 10722 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 13289 10722 378 142 0 12243 0
Current children cumulated CPU time (s) 339.09
Current children cumulated vsize (KiB) 53156

[startup+402.303 s]
/proc/loadavg: 1.99 1.96 1.51 3/73 14731
/proc/meminfo: memFree=1342520/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=54592 CPUtime=398.53
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 17786 822 0 0 39839 14 0 0 25 0 1 0 56583486 55902208 11464 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 13648 11464 378 142 0 12602 0
Current children cumulated CPU time (s) 398.53
Current children cumulated vsize (KiB) 54592

[startup+462.308 s]
/proc/loadavg: 1.99 1.97 1.54 4/73 14731
/proc/meminfo: memFree=1337336/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=56420 CPUtime=457.98
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 18615 822 0 0 45783 15 0 0 25 0 1 0 56583486 57774080 12293 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 14105 12293 378 142 0 13059 0
Current children cumulated CPU time (s) 457.98
Current children cumulated vsize (KiB) 56420

[startup+522.303 s]
/proc/loadavg: 1.99 1.97 1.56 3/73 14731
/proc/meminfo: memFree=1332408/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=58116 CPUtime=517.43
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 19380 822 0 0 51727 16 0 0 25 0 1 0 56583486 59510784 13058 996147200 134512640 135095119 4294956304 18446744073709551615 134607138 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 14529 13058 378 142 0 13483 0
Current children cumulated CPU time (s) 517.43
Current children cumulated vsize (KiB) 58116

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.59 3/73 14731
/proc/meminfo: memFree=1327416/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=59812 CPUtime=576.87
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 20123 822 0 0 57670 17 0 0 25 0 1 0 56583486 61247488 13801 996147200 134512640 135095119 4294956304 18446744073709551615 134590379 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 14953 13801 378 142 0 13907 0
Current children cumulated CPU time (s) 576.87
Current children cumulated vsize (KiB) 59812

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.61 4/73 14731
/proc/meminfo: memFree=1322616/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=77756 CPUtime=636.32
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 24921 822 0 0 63612 20 0 0 25 0 1 0 56583486 79622144 14502 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14719/statm: 19439 14502 378 142 0 18393 0
Current children cumulated CPU time (s) 636.32
Current children cumulated vsize (KiB) 77756

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.07 1.99 1.67 2/68 14781
/proc/meminfo: memFree=1413536/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=82336 CPUtime=814.7
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 26929 822 0 0 81447 23 0 0 25 0 1 0 56583486 84312064 16510 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 20584 16510 378 142 0 19538 0
Current children cumulated CPU time (s) 814.7
Current children cumulated vsize (KiB) 82336

[startup+882.302 s]
/proc/loadavg: 1.99 1.97 1.69 3/73 14860
/proc/meminfo: memFree=1396280/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=83772 CPUtime=874.65
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 27603 822 0 0 87441 24 0 0 25 0 1 0 56583486 85782528 17184 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 20943 17184 378 142 0 19897 0
Current children cumulated CPU time (s) 874.65
Current children cumulated vsize (KiB) 83772

[startup+942.302 s]
/proc/loadavg: 1.99 1.97 1.70 3/73 14860
/proc/meminfo: memFree=1380280/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=103976 CPUtime=934.63
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 32959 822 0 0 93437 26 0 0 25 0 1 0 56583486 106471424 20491 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 25994 20491 378 142 0 24948 0
Current children cumulated CPU time (s) 934.63
Current children cumulated vsize (KiB) 103976

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/73 14860
/proc/meminfo: memFree=1375096/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=103976 CPUtime=994.62
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 33242 822 0 0 99435 27 0 0 25 0 1 0 56583486 106471424 20774 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 25994 20774 378 142 0 24948 0
Current children cumulated CPU time (s) 994.62
Current children cumulated vsize (KiB) 103976

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.74 3/73 14860
/proc/meminfo: memFree=1372664/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=103976 CPUtime=1054.59
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 33517 822 0 0 105432 27 0 0 25 0 1 0 56583486 106471424 21049 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 25994 21049 378 142 0 24948 0
Current children cumulated CPU time (s) 1054.59
Current children cumulated vsize (KiB) 103976

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/73 14860
/proc/meminfo: memFree=1368760/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=103976 CPUtime=1114.57
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 33790 822 0 0 111430 27 0 0 25 0 1 0 56583486 106471424 21322 996147200 134512640 135095119 4294956304 18446744073709551615 134636914 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 25994 21322 378 142 0 24948 0
Current children cumulated CPU time (s) 1114.57
Current children cumulated vsize (KiB) 103976

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/73 14860
/proc/meminfo: memFree=1361720/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=103976 CPUtime=1174.56
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 34055 822 0 0 117428 28 0 0 25 0 1 0 56583486 106471424 21587 996147200 134512640 135095119 4294956304 18446744073709551615 134642937 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 25994 21587 378 142 0 24948 0
Current children cumulated CPU time (s) 1174.56
Current children cumulated vsize (KiB) 103976

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/73 14860
/proc/meminfo: memFree=1359224/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=103976 CPUtime=1234.53
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 34311 822 0 0 123425 28 0 0 25 0 1 0 56583486 106471424 21843 996147200 134512640 135095119 4294956304 18446744073709551615 134615593 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 25994 21843 378 142 0 24948 0
Current children cumulated CPU time (s) 1234.53
Current children cumulated vsize (KiB) 103976

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.78 3/73 14860
/proc/meminfo: memFree=1355640/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=103976 CPUtime=1294.51
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 34564 822 0 0 129423 28 0 0 25 0 1 0 56583486 106471424 22096 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 25994 22096 378 142 0 24948 0
Current children cumulated CPU time (s) 1294.51
Current children cumulated vsize (KiB) 103976

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.79 3/73 14860
/proc/meminfo: memFree=1351096/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=104504 CPUtime=1354.49
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 34915 822 0 0 135420 29 0 0 25 0 1 0 56583486 107012096 22447 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 26126 22447 378 142 0 25080 0
Current children cumulated CPU time (s) 1354.49
Current children cumulated vsize (KiB) 104504

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.81 3/73 14860
/proc/meminfo: memFree=1345912/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=105548 CPUtime=1414.47
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 35422 822 0 0 141417 30 0 0 25 0 1 0 56583486 108081152 22954 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 26387 22954 378 142 0 25341 0
Current children cumulated CPU time (s) 1414.47
Current children cumulated vsize (KiB) 105548

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.82 3/73 14860
/proc/meminfo: memFree=1340792/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=106592 CPUtime=1474.44
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 35948 822 0 0 147414 30 0 0 25 0 1 0 56583486 109150208 23480 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 26648 23480 378 142 0 25602 0
Current children cumulated CPU time (s) 1474.44
Current children cumulated vsize (KiB) 106592

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.82 3/73 14860
/proc/meminfo: memFree=1330424/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=107892 CPUtime=1534.42
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 36488 822 0 0 153411 31 0 0 25 0 1 0 56583486 110481408 24020 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 26973 24020 378 142 0 25927 0
Current children cumulated CPU time (s) 1534.42
Current children cumulated vsize (KiB) 107892

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.83 3/73 14860
/proc/meminfo: memFree=1327224/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=108932 CPUtime=1594.39
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 37000 822 0 0 159408 31 0 0 25 0 1 0 56583486 111546368 24532 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 27233 24532 378 142 0 26187 0
Current children cumulated CPU time (s) 1594.39
Current children cumulated vsize (KiB) 108932

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/73 14860
/proc/meminfo: memFree=1323640/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=110132 CPUtime=1654.37
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 37526 822 0 0 165405 32 0 0 25 0 1 0 56583486 112775168 25058 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 27533 25058 378 142 0 26487 0
Current children cumulated CPU time (s) 1654.37
Current children cumulated vsize (KiB) 110132

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/73 14860
/proc/meminfo: memFree=1319928/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=111316 CPUtime=1714.35
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 38044 822 0 0 171402 33 0 0 25 0 1 0 56583486 113987584 25576 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 27829 25576 378 142 0 26783 0
Current children cumulated CPU time (s) 1714.35
Current children cumulated vsize (KiB) 111316

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.85 3/73 14860
/proc/meminfo: memFree=1314936/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=112488 CPUtime=1774.32
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 38537 822 0 0 177399 33 0 0 25 0 1 0 56583486 115187712 26069 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 28122 26069 378 142 0 27076 0
Current children cumulated CPU time (s) 1774.32
Current children cumulated vsize (KiB) 112488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808 s]
/proc/loadavg: 1.99 1.97 1.85 3/73 14860
/proc/meminfo: memFree=1312696/2055920 swapFree=4192812/4192956
[pid=14719] ppid=14717 vsize=113012 CPUtime=1800.03
/proc/14719/stat : 14719 (pcs.small) R 14717 14719 14510 0 -1 4194304 38757 822 0 0 179969 34 0 0 25 0 1 0 56583486 115724288 26289 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14719/statm: 28253 26289 378 142 0 27207 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 113012

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): 1808.02
CPU time (s): 1800.06
CPU user time (s): 1799.69
CPU system time (s): 0.368943
CPU usage (%): 99.5597
Max. virtual memory (cumulated for all children) (KiB): 113012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.368943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39579
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= 23
involuntary context switches= 15499

runsolver used 2.6456 second user time and 5.54216 second system time

The end

Launcher Data 

Begin job on node70 at 2009-07-16 00:00:08
IDJOB=2059626
IDBENCH=53599
IDSOLVER=734
FILE ID=node70/2059626-1247695208
PBS_JOBID= 9521174
Free space on /tmp= 66432 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-2-25/normalized-rand-25-25-300-147-52021_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059626-1247695208/watcher-2059626-1247695208 -o /tmp/evaluation-result-2059626-1247695208/solver-2059626-1247695208 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1841652375 HOME/instance-2059626-1247695208.xml

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

MD5SUM BENCH= 3eed24a99a961d8e553ae228fa4e8bfc
RANDOM SEED=1841652375

node70.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.214
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.214
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:       1394976 kB
Buffers:         73880 kB
Cached:         409804 kB
SwapCached:          0 kB
Active:         259628 kB
Inactive:       320884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1394976 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1980 kB
Writeback:           0 kB
Mapped:         108292 kB
Slab:            65812 kB
Committed_AS:   826820 kB
PageTables:       1904 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= 66428 MiB
End job on node70 at 2009-07-16 00:30:18