Trace number 2064851

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

General information on the benchmark

Namecsp/rand-3-28-28/
normalized-rand-3-28-28-93-632-19_ext.xml
MD5SUM22169e4f34d08e7e450e791f19d4642f
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.01/0.05	c small-domain mode
0.01/0.06	c Seed is 1409867452
0.01/0.06	c Constructing HOME/instance-2064851-1247702820.xml  with 93 constraints
1.97/2.03	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-2064851-1247702820/watcher-2064851-1247702820 -o /tmp/evaluation-result-2064851-1247702820/solver-2064851-1247702820 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1409867452 HOME/instance-2064851-1247702820.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.00 1.97 1.71 4/82 11020
/proc/meminfo: memFree=1344104/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=5356 CPUtime=0
/proc/11020/stat : 11020 (pcssolve) R 11018 11020 9659 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 57345384 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 250968758303 0 0 4100 65536 0 0 0 17 1 0 0
/proc/11020/statm: 1339 233 194 169 0 50 0

[startup+0.0310591 s]
/proc/loadavg: 2.00 1.97 1.71 4/82 11020
/proc/meminfo: memFree=1344104/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=5356 CPUtime=0.01
/proc/11020/stat : 11020 (pcssolve) S 11018 11020 9659 0 -1 4194304 367 750 0 0 0 0 1 0 22 0 1 0 57345384 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11020/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+0.10102 s]
/proc/loadavg: 2.00 1.97 1.71 4/82 11020
/proc/meminfo: memFree=1344104/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=5088 CPUtime=0.08
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 932 974 0 0 4 0 3 1 21 0 1 0 57345384 5210112 541 996147200 134512640 135095119 4294956304 18446744073709551615 134944302 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 1272 541 375 142 0 226 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5088

[startup+0.301039 s]
/proc/loadavg: 2.00 1.97 1.71 4/82 11020
/proc/meminfo: memFree=1344104/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=7596 CPUtime=0.28
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 1198 974 0 0 24 0 3 1 23 0 1 0 57345384 7778304 807 996147200 134512640 135095119 4294956304 18446744073709551615 12398215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 1899 807 375 142 0 853 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7596

[startup+0.701077 s]
/proc/loadavg: 2.00 1.97 1.71 4/82 11020
/proc/meminfo: memFree=1344104/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=12968 CPUtime=0.68
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 1748 974 0 0 64 0 3 1 25 0 1 0 57345384 13279232 1357 996147200 134512640 135095119 4294956304 18446744073709551615 134739372 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 3242 1357 375 142 0 2196 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12968

[startup+1.50115 s]
/proc/loadavg: 2.00 1.97 1.71 3/83 11026
/proc/meminfo: memFree=1338464/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=23212 CPUtime=1.47
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 2847 974 0 0 142 1 3 1 25 0 1 0 57345384 23769088 2456 996147200 134512640 135095119 4294956304 18446744073709551615 134934361 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 5803 2456 375 142 0 4757 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 23212

[startup+3.10232 s]
/proc/loadavg: 2.00 1.97 1.71 3/83 11026
/proc/meminfo: memFree=1332576/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=30204 CPUtime=3.06
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 3590 974 0 0 300 2 3 1 25 0 1 0 57345384 30928896 3198 996147200 134512640 135095119 4294956304 18446744073709551615 134918175 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 7551 3198 389 142 0 6505 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 30204

[startup+6.30163 s]
/proc/loadavg: 2.00 1.97 1.71 3/83 11026
/proc/meminfo: memFree=1332512/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=30204 CPUtime=6.22
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 3605 974 0 0 616 2 3 1 25 0 1 0 57345384 30928896 3213 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 7551 3213 389 142 0 6505 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 30204

[startup+12.7023 s]
/proc/loadavg: 2.00 1.97 1.72 3/83 11026
/proc/meminfo: memFree=1332384/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=30204 CPUtime=12.57
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 3662 974 0 0 1251 2 3 1 25 0 1 0 57345384 30928896 3270 996147200 134512640 135095119 4294956304 18446744073709551615 134927004 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 7551 3270 389 142 0 6505 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 30204

[startup+25.5015 s]
/proc/loadavg: 2.00 1.97 1.72 3/83 11026
/proc/meminfo: memFree=1331936/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=30720 CPUtime=25.24
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 3834 974 0 0 2518 2 3 1 25 0 1 0 57345384 31457280 3377 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 7680 3377 389 142 0 6634 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 30720

[startup+51.102 s]
/proc/loadavg: 2.00 1.97 1.73 3/83 11026
/proc/meminfo: memFree=1331168/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=31492 CPUtime=50.6
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 4195 974 0 0 5054 2 3 1 25 0 1 0 57345384 32247808 3609 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 7873 3609 389 142 0 6827 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 31492

[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.74 3/83 11026
/proc/meminfo: memFree=1329568/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=32772 CPUtime=101.32
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 4917 974 0 0 10125 3 3 1 25 0 1 0 57345384 33558528 4009 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 8193 4009 389 142 0 7147 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 32772

[startup+162.302 s]
/proc/loadavg: 2.00 1.97 1.75 3/83 11026
/proc/meminfo: memFree=1327136/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=33284 CPUtime=160.76
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 5641 974 0 0 16068 4 3 1 25 0 1 0 57345384 34082816 4604 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 8321 4604 389 142 0 7275 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 33284

[startup+222.302 s]
/proc/loadavg: 2.00 1.97 1.76 3/83 11026
/proc/meminfo: memFree=1325856/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=35332 CPUtime=220.2
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 6483 974 0 0 22011 5 3 1 25 0 1 0 57345384 36179968 4933 996147200 134512640 135095119 4294956304 18446744073709551615 134910229 0 0 4096 0 0 0 0 17 1 0 0
/proc/11020/statm: 8833 4933 389 142 0 7787 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 35332

[startup+282.302 s]
/proc/loadavg: 2.00 1.97 1.77 3/74 11059
/proc/meminfo: memFree=1493576/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=35332 CPUtime=279.9
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 6979 974 0 0 27980 6 3 1 25 0 1 0 57345384 36179968 5429 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 8833 5429 389 142 0 7787 0
Current children cumulated CPU time (s) 279.9
Current children cumulated vsize (KiB) 35332

[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.78 3/74 11059
/proc/meminfo: memFree=1488584/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=36616 CPUtime=339.88
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 7963 974 0 0 33977 7 3 1 25 0 1 0 57345384 37494784 6156 996147200 134512640 135095119 4294956304 18446744073709551615 134909807 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 9154 6156 389 142 0 8108 0
Current children cumulated CPU time (s) 339.88
Current children cumulated vsize (KiB) 36616

[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.80 3/74 11059
/proc/meminfo: memFree=1485960/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=40712 CPUtime=399.85
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 9284 974 0 0 39973 8 3 1 25 0 1 0 57345384 41689088 6452 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 10178 6452 389 142 0 9132 0
Current children cumulated CPU time (s) 399.85
Current children cumulated vsize (KiB) 40712

[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.81 3/74 11059
/proc/meminfo: memFree=1482120/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=40712 CPUtime=459.82
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 9785 974 0 0 45970 8 3 1 25 0 1 0 57345384 41689088 6953 996147200 134512640 135095119 4294956304 18446744073709551615 134926968 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 10178 6953 389 142 0 9132 0
Current children cumulated CPU time (s) 459.82
Current children cumulated vsize (KiB) 40712

[startup+522.302 s]
/proc/loadavg: 2.00 1.97 1.82 3/74 11059
/proc/meminfo: memFree=1478472/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=40712 CPUtime=519.8
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 10256 974 0 0 51968 8 3 1 25 0 1 0 57345384 41689088 7424 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 10178 7424 389 142 0 9132 0
Current children cumulated CPU time (s) 519.8
Current children cumulated vsize (KiB) 40712

[startup+582.302 s]
/proc/loadavg: 2.00 1.97 1.82 3/74 11059
/proc/meminfo: memFree=1470160/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=43016 CPUtime=579.79
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 12087 974 0 0 57965 10 3 1 25 0 1 0 57345384 44048384 8677 996147200 134512640 135095119 4294956304 18446744073709551615 134926993 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 10754 8677 389 142 0 9708 0
Current children cumulated CPU time (s) 579.79
Current children cumulated vsize (KiB) 43016

[startup+642.302 s]
/proc/loadavg: 2.00 1.97 1.83 3/74 11059
/proc/meminfo: memFree=1468304/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=43016 CPUtime=639.76
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 12328 974 0 0 63962 10 3 1 25 0 1 0 57345384 44048384 8918 996147200 134512640 135095119 4294956304 18446744073709551615 134918260 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 10754 8918 389 142 0 9708 0
Current children cumulated CPU time (s) 639.76
Current children cumulated vsize (KiB) 43016

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.97 1.85 3/74 11059
/proc/meminfo: memFree=1457936/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=51208 CPUtime=819.69
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 15634 974 0 0 81952 13 3 1 25 0 1 0 57345384 52436992 10175 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 12802 10175 389 142 0 11756 0
Current children cumulated CPU time (s) 819.69
Current children cumulated vsize (KiB) 51208

[startup+882.301 s]
/proc/loadavg: 2.00 1.97 1.85 3/74 11059
/proc/meminfo: memFree=1452176/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=51336 CPUtime=879.66
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 15939 974 0 0 87949 13 3 1 25 0 1 0 57345384 52568064 10480 996147200 134512640 135095119 4294956304 18446744073709551615 134918227 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 12834 10480 389 142 0 11788 0
Current children cumulated CPU time (s) 879.66
Current children cumulated vsize (KiB) 51336

[startup+942.301 s]
/proc/loadavg: 2.00 1.97 1.86 3/74 11059
/proc/meminfo: memFree=1448720/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=52772 CPUtime=939.65
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 16570 974 0 0 93947 14 3 1 25 0 1 0 57345384 54038528 11111 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 13193 11111 389 142 0 12147 0
Current children cumulated CPU time (s) 939.65
Current children cumulated vsize (KiB) 52772

[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/74 11059
/proc/meminfo: memFree=1444368/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=54208 CPUtime=999.62
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 17221 974 0 0 99943 15 3 1 25 0 1 0 57345384 55508992 11762 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 13552 11762 389 142 0 12506 0
Current children cumulated CPU time (s) 999.62
Current children cumulated vsize (KiB) 54208

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/74 11059
/proc/meminfo: memFree=1440144/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=55644 CPUtime=1059.59
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 17819 974 0 0 105939 16 3 1 25 0 1 0 57345384 56979456 12360 996147200 134512640 135095119 4294956304 18446744073709551615 134916468 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 13911 12360 389 142 0 12865 0
Current children cumulated CPU time (s) 1059.59
Current children cumulated vsize (KiB) 55644

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/74 11059
/proc/meminfo: memFree=1429264/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=68692 CPUtime=1119.57
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 21360 974 0 0 111935 18 3 1 25 0 1 0 57345384 70340608 14747 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 17173 14747 389 142 0 16127 0
Current children cumulated CPU time (s) 1119.57
Current children cumulated vsize (KiB) 68692

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/74 11059
/proc/meminfo: memFree=1427216/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=68692 CPUtime=1179.55
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 21636 974 0 0 117932 19 3 1 25 0 1 0 57345384 70340608 15023 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 17173 15023 389 142 0 16127 0
Current children cumulated CPU time (s) 1179.55
Current children cumulated vsize (KiB) 68692

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/74 11059
/proc/meminfo: memFree=1424080/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=68692 CPUtime=1239.53
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 21902 974 0 0 123930 19 3 1 25 0 1 0 57345384 70340608 15289 996147200 134512640 135095119 4294956304 18446744073709551615 134918181 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 17173 15289 389 142 0 16127 0
Current children cumulated CPU time (s) 1239.53
Current children cumulated vsize (KiB) 68692

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/74 11059
/proc/meminfo: memFree=1421072/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=68692 CPUtime=1299.51
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 22174 974 0 0 129928 19 3 1 25 0 1 0 57345384 70340608 15561 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 17173 15561 389 142 0 16127 0
Current children cumulated CPU time (s) 1299.51
Current children cumulated vsize (KiB) 68692

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/74 11059
/proc/meminfo: memFree=1418384/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=85076 CPUtime=1359.48
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 26514 974 0 0 135922 22 3 1 25 0 1 0 57345384 87117824 15804 996147200 134512640 135095119 4294956304 18446744073709551615 134918169 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 21269 15804 389 142 0 20223 0
Current children cumulated CPU time (s) 1359.48
Current children cumulated vsize (KiB) 85076

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 11059
/proc/meminfo: memFree=1415696/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=85076 CPUtime=1419.46
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 26754 974 0 0 141920 22 3 1 25 0 1 0 57345384 87117824 16044 996147200 134512640 135095119 4294956304 18446744073709551615 134918126 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 21269 16044 389 142 0 20223 0
Current children cumulated CPU time (s) 1419.46
Current children cumulated vsize (KiB) 85076

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 11059
/proc/meminfo: memFree=1404880/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=85856 CPUtime=1479.44
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 27174 974 0 0 147917 23 3 1 25 0 1 0 57345384 87916544 16464 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 21464 16464 389 142 0 20418 0
Current children cumulated CPU time (s) 1479.44
Current children cumulated vsize (KiB) 85856

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 11059
/proc/meminfo: memFree=1401744/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=87040 CPUtime=1539.42
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 27703 974 0 0 153913 25 3 1 25 0 1 0 57345384 89128960 16993 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 21760 16993 389 142 0 20714 0
Current children cumulated CPU time (s) 1539.42
Current children cumulated vsize (KiB) 87040

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 11059
/proc/meminfo: memFree=1398864/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=88220 CPUtime=1599.39
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 28238 974 0 0 159909 26 3 1 25 0 1 0 57345384 90337280 17528 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 22055 17528 389 142 0 21009 0
Current children cumulated CPU time (s) 1599.39
Current children cumulated vsize (KiB) 88220

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 11059
/proc/meminfo: memFree=1395792/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=89396 CPUtime=1659.37
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 28774 974 0 0 165906 27 3 1 25 0 1 0 57345384 91541504 18064 996147200 134512640 135095119 4294956304 18446744073709551615 134918241 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 22349 18064 389 142 0 21303 0
Current children cumulated CPU time (s) 1659.37
Current children cumulated vsize (KiB) 89396

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 11059
/proc/meminfo: memFree=1392784/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=90440 CPUtime=1719.35
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 29283 974 0 0 171903 28 3 1 25 0 1 0 57345384 92610560 18573 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 22610 18573 389 142 0 21564 0
Current children cumulated CPU time (s) 1719.35
Current children cumulated vsize (KiB) 90440

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 11059
/proc/meminfo: memFree=1389776/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=91608 CPUtime=1779.32
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 29775 974 0 0 177900 28 3 1 25 0 1 0 57345384 93806592 19065 996147200 134512640 135095119 4294956304 18446744073709551615 134927011 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 22902 19065 389 142 0 21856 0
Current children cumulated CPU time (s) 1779.32
Current children cumulated vsize (KiB) 91608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 11059
/proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956
[pid=11020] ppid=11018 vsize=92000 CPUtime=1800.02
/proc/11020/stat : 11020 (pcs.small) R 11018 11020 9659 0 -1 4194304 29946 974 0 0 179969 29 3 1 25 0 1 0 57345384 94208000 19236 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/11020/statm: 23000 19236 389 142 0 21954 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 92000

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): 1803.02
CPU time (s): 1800.05
CPU user time (s): 1799.73
CPU system time (s): 0.316951
CPU usage (%): 99.8351
Max. virtual memory (cumulated for all children) (KiB): 101464

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

runsolver used 2.58161 second user time and 5.62614 second system time

The end

Launcher Data 

Begin job on node56 at 2009-07-16 02:07:01
IDJOB=2064851
IDBENCH=54200
IDSOLVER=734
FILE ID=node56/2064851-1247702820
PBS_JOBID= 9521200
Free space on /tmp= 103072 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-3-28-28/normalized-rand-3-28-28-93-632-19_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2064851-1247702820/watcher-2064851-1247702820 -o /tmp/evaluation-result-2064851-1247702820/solver-2064851-1247702820 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1409867452 HOME/instance-2064851-1247702820.xml

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

MD5SUM BENCH= 22169e4f34d08e7e450e791f19d4642f
RANDOM SEED=1409867452

node56.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.209
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.209
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1344584 kB
Buffers:         77712 kB
Cached:         346812 kB
SwapCached:          0 kB
Active:         375600 kB
Inactive:       254136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1344584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7572 kB
Writeback:           0 kB
Mapped:         224612 kB
Slab:            66312 kB
Committed_AS:   777416 kB
PageTables:       2292 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= 103064 MiB
End job on node56 at 2009-07-16 02:37:06