Trace number 2064685

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 1817.02

General information on the benchmark

Namecsp/rand-3-28-28/
normalized-rand-3-28-28-93-632-46_ext.xml
MD5SUM4d7029f3f8f558f8fccdf908fad083be
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark211.597
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.00/0.05	c small-domain mode
0.00/0.05	c Seed is 560587395
0.00/0.05	c Constructing HOME/instance-2064685-1247696201.xml  with 93 constraints
1.96/2.02	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-2064685-1247696201/watcher-2064685-1247696201 -o /tmp/evaluation-result-2064685-1247696201/solver-2064685-1247696201 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 560587395 HOME/instance-2064685-1247696201.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.93 1.98 1.73 4/73 10390
/proc/meminfo: memFree=1522640/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=5356 CPUtime=0
/proc/10390/stat : 10390 (pcssolve) R 10388 10390 9666 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 56683460 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 250968861343 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10390/statm: 1339 241 200 169 0 50 0
[pid=10391] ppid=10390 vsize=5356 CPUtime=0
/proc/10391/stat : 10391 (pcssolve) R 10390 10390 9666 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 56683460 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 250968861343 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10391/statm: 1339 241 200 169 0 50 0

[startup+0.0911361 s]
/proc/loadavg: 1.93 1.98 1.73 4/73 10390
/proc/meminfo: memFree=1522640/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=4944 CPUtime=0.07
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 903 974 0 0 3 0 3 1 21 0 1 0 56683460 5062656 512 996147200 134512640 135095119 4294956304 18446744073709551615 134739380 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 1236 512 375 142 0 190 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4944

[startup+0.102135 s]
/proc/loadavg: 1.93 1.98 1.73 4/73 10390
/proc/meminfo: memFree=1522640/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=5088 CPUtime=0.08
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 936 974 0 0 4 0 3 1 21 0 1 0 56683460 5210112 545 996147200 134512640 135095119 4294956304 18446744073709551615 134944948 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 1272 545 375 142 0 226 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5088

[startup+0.302156 s]
/proc/loadavg: 1.93 1.98 1.73 4/73 10390
/proc/meminfo: memFree=1522640/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=7596 CPUtime=0.27
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 1198 974 0 0 23 0 3 1 23 0 1 0 56683460 7778304 807 996147200 134512640 135095119 4294956304 18446744073709551615 134741374 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 1899 807 375 142 0 853 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7596

[startup+0.702195 s]
/proc/loadavg: 1.93 1.98 1.73 4/73 10390
/proc/meminfo: memFree=1522640/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=12968 CPUtime=0.68
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 1748 974 0 0 63 1 3 1 25 0 1 0 56683460 13279232 1357 996147200 134512640 135095119 4294956304 18446744073709551615 12373632 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 3242 1357 375 142 0 2196 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12968

[startup+1.50127 s]
/proc/loadavg: 1.93 1.98 1.73 3/74 10396
/proc/meminfo: memFree=1516936/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=23360 CPUtime=1.47
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 2850 974 0 0 141 2 3 1 25 0 1 0 56683460 23920640 2459 996147200 134512640 135095119 4294956304 18446744073709551615 4159774000 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 5840 2459 375 142 0 4794 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 23360

[startup+3.10143 s]
/proc/loadavg: 1.93 1.98 1.73 3/74 10396
/proc/meminfo: memFree=1511112/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=30204 CPUtime=3.05
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 3590 974 0 0 299 2 3 1 25 0 1 0 56683460 30928896 3198 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 7551 3198 389 142 0 6505 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 30204

[startup+6.30175 s]
/proc/loadavg: 2.01 2.00 1.74 3/74 10396
/proc/meminfo: memFree=1510728/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=30204 CPUtime=6.23
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 3603 974 0 0 617 2 3 1 25 0 1 0 56683460 30928896 3211 996147200 134512640 135095119 4294956304 18446744073709551615 134916454 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 7551 3211 389 142 0 6505 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 30204

[startup+12.7014 s]
/proc/loadavg: 2.01 2.00 1.74 3/74 10396
/proc/meminfo: memFree=1510344/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=30204 CPUtime=12.57
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 3654 974 0 0 1251 2 3 1 25 0 1 0 56683460 30928896 3262 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 7551 3262 389 142 0 6505 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 30204

[startup+25.5026 s]
/proc/loadavg: 2.01 2.00 1.74 3/74 10396
/proc/meminfo: memFree=1509512/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=30464 CPUtime=25.24
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 3765 974 0 0 2518 2 3 1 25 0 1 0 56683460 31195136 3373 996147200 134512640 135095119 4294956304 18446744073709551615 134918263 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 7616 3373 389 142 0 6570 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 30464

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.75 3/74 10396
/proc/meminfo: memFree=1508104/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=31492 CPUtime=50.61
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 4160 974 0 0 5054 3 3 1 25 0 1 0 56683460 32247808 3574 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 7873 3574 389 142 0 6827 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 31492

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.76 3/74 10396
/proc/meminfo: memFree=1504904/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=32772 CPUtime=101.32
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 4859 974 0 0 10125 3 3 1 25 0 1 0 56683460 33558528 3951 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 8193 3951 389 142 0 7147 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 32772

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 1.77 3/74 10396
/proc/meminfo: memFree=1500360/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=33284 CPUtime=160.76
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 5546 974 0 0 16068 4 3 1 25 0 1 0 56683460 34082816 4509 996147200 134512640 135095119 4294956304 18446744073709551615 134918136 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 8321 4509 389 142 0 7275 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 33284

[startup+222.303 s]
/proc/loadavg: 2.00 2.00 1.78 3/74 10396
/proc/meminfo: memFree=1497096/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=35332 CPUtime=220.19
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 6458 974 0 0 22011 4 3 1 25 0 1 0 56683460 36179968 4908 996147200 134512640 135095119 4294956304 18446744073709551615 134918192 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 8833 4908 389 142 0 7787 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 35332

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 1.79 3/74 10396
/proc/meminfo: memFree=1490696/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=36616 CPUtime=279.64
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 7505 974 0 0 27955 5 3 1 25 0 1 0 56683460 37494784 5698 996147200 134512640 135095119 4294956304 18446744073709551615 134926968 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 9154 5698 389 142 0 8108 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 36616

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 1.80 3/74 10396
/proc/meminfo: memFree=1488528/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=36616 CPUtime=339.07
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 7736 974 0 0 33898 5 3 1 25 0 1 0 56683460 37494784 5929 996147200 134512640 135095119 4294956304 18446744073709551615 134927077 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 9154 5929 389 142 0 8108 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 36616

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 1.82 3/74 10396
/proc/meminfo: memFree=1485456/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=40712 CPUtime=398.51
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 9130 974 0 0 39841 6 3 1 25 0 1 0 56683460 41689088 6298 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 10178 6298 389 142 0 9132 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 40712

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 1.82 3/74 10396
/proc/meminfo: memFree=1481552/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=40712 CPUtime=457.94
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 9610 974 0 0 45784 6 3 1 25 0 1 0 56683460 41689088 6778 996147200 134512640 135095119 4294956304 18446744073709551615 134918244 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 10178 6778 389 142 0 9132 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 40712

[startup+522.303 s]
/proc/loadavg: 2.00 2.00 1.83 3/74 10396
/proc/meminfo: memFree=1477840/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=40712 CPUtime=517.38
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 10082 974 0 0 51727 7 3 1 25 0 1 0 56683460 41689088 7250 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 10178 7250 389 142 0 9132 0
Current children cumulated CPU time (s) 517.38
Current children cumulated vsize (KiB) 40712

[startup+582.303 s]
/proc/loadavg: 2.00 2.00 1.83 3/74 10396
/proc/meminfo: memFree=1469712/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=43016 CPUtime=576.81
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 11639 974 0 0 57669 8 3 1 25 0 1 0 56683460 44048384 8229 996147200 134512640 135095119 4294956304 18446744073709551615 134918175 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 10754 8229 389 142 0 9708 0
Current children cumulated CPU time (s) 576.81
Current children cumulated vsize (KiB) 43016

[startup+642.303 s]
/proc/loadavg: 2.00 2.00 1.84 3/74 10396
/proc/meminfo: memFree=1467472/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=43016 CPUtime=636.25
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 11869 974 0 0 63613 8 3 1 25 0 1 0 56683460 44048384 8459 996147200 134512640 135095119 4294956304 18446744073709551615 134918175 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 10754 8459 389 142 0 9708 0
Current children cumulated CPU time (s) 636.25

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 10396
/proc/meminfo: memFree=1458896/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=51208 CPUtime=814.57
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 15060 974 0 0 81442 11 3 1 25 0 1 0 56683460 52436992 9601 996147200 134512640 135095119 4294956304 18446744073709551615 134916508 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 12802 9601 389 142 0 11756 0
Current children cumulated CPU time (s) 814.57
Current children cumulated vsize (KiB) 51208

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 10396
/proc/meminfo: memFree=1455120/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=51208 CPUtime=873.99
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 15534 974 0 0 87384 11 3 1 25 0 1 0 56683460 52436992 10075 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 12802 10075 389 142 0 11756 0
Current children cumulated CPU time (s) 873.99
Current children cumulated vsize (KiB) 51208

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 1.87 3/74 10396
/proc/meminfo: memFree=1451920/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=51732 CPUtime=933.44
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 16043 974 0 0 93328 12 3 1 25 0 1 0 56683460 52973568 10584 996147200 134512640 135095119 4294956304 18446744073709551615 134918136 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 12933 10584 389 142 0 11887 0
Current children cumulated CPU time (s) 933.44
Current children cumulated vsize (KiB) 51732

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/74 10396
/proc/meminfo: memFree=1447440/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=52904 CPUtime=992.87
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 16585 974 0 0 99271 12 3 1 25 0 1 0 56683460 54173696 11126 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 13226 11126 389 142 0 12180 0
Current children cumulated CPU time (s) 992.87
Current children cumulated vsize (KiB) 52904

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/74 10396
/proc/meminfo: memFree=1436944/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=64900 CPUtime=1052.31
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 19799 974 0 0 105213 14 3 1 25 0 1 0 56683460 66457600 13186 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 16225 13186 389 142 0 15179 0
Current children cumulated CPU time (s) 1052.31
Current children cumulated vsize (KiB) 64900

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/74 10396
/proc/meminfo: memFree=1427728/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=64900 CPUtime=1111.74
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 20042 974 0 0 111156 14 3 1 25 0 1 0 56683460 66457600 13429 996147200 134512640 135095119 4294956304 18446744073709551615 134918156 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 16225 13429 389 142 0 15179 0
Current children cumulated CPU time (s) 1111.74
Current children cumulated vsize (KiB) 64900

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/74 10396
/proc/meminfo: memFree=1425808/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=64900 CPUtime=1171.18
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 20263 974 0 0 117099 15 3 1 25 0 1 0 56683460 66457600 13650 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 16225 13650 389 142 0 15179 0
Current children cumulated CPU time (s) 1171.18
Current children cumulated vsize (KiB) 64900

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/74 10396
/proc/meminfo: memFree=1423952/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=64900 CPUtime=1230.62
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 20488 974 0 0 123043 15 3 1 25 0 1 0 56683460 66457600 13875 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 16225 13875 389 142 0 15179 0
Current children cumulated CPU time (s) 1230.62
Current children cumulated vsize (KiB) 64900

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/74 10396
/proc/meminfo: memFree=1421968/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=64900 CPUtime=1290.06
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 20707 974 0 0 128986 16 3 1 25 0 1 0 56683460 66457600 14094 996147200 134512640 135095119 4294956304 18446744073709551615 134927018 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 16225 14094 389 142 0 15179 0
Current children cumulated CPU time (s) 1290.06
Current children cumulated vsize (KiB) 64900

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 10396
/proc/meminfo: memFree=1420496/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=64900 CPUtime=1349.5
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 20918 974 0 0 134930 16 3 1 25 0 1 0 56683460 66457600 14305 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 16225 14305 389 142 0 15179 0
Current children cumulated CPU time (s) 1349.5
Current children cumulated vsize (KiB) 64900

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 10396
/proc/meminfo: memFree=1418000/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=65556 CPUtime=1408.93
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 21310 974 0 0 140873 16 3 1 25 0 1 0 56683460 67129344 14697 996147200 134512640 135095119 4294956304 18446744073709551615 134916420 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 16389 14697 389 142 0 15343 0
Current children cumulated CPU time (s) 1408.93
Current children cumulated vsize (KiB) 65556

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 10396
/proc/meminfo: memFree=1414864/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=66596 CPUtime=1468.37
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 21784 974 0 0 146816 17 3 1 25 0 1 0 56683460 68194304 15171 996147200 134512640 135095119 4294956304 18446744073709551615 134918196 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 16649 15171 389 142 0 15603 0
Current children cumulated CPU time (s) 1468.37
Current children cumulated vsize (KiB) 66596

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 10396
/proc/meminfo: memFree=1411152/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=67636 CPUtime=1527.8
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 22248 974 0 0 152759 17 3 1 25 0 1 0 56683460 69259264 15635 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 16909 15635 389 142 0 15863 0
Current children cumulated CPU time (s) 1527.8
Current children cumulated vsize (KiB) 67636

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 10396
/proc/meminfo: memFree=1407184/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=85068 CPUtime=1587.24
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 26813 974 0 0 158700 20 3 1 25 0 1 0 56683460 87109632 16103 996147200 134512640 135095119 4294956304 18446744073709551615 134926985 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 21267 16103 389 142 0 20221 0
Current children cumulated CPU time (s) 1587.24
Current children cumulated vsize (KiB) 85068

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 10396
/proc/meminfo: memFree=1403216/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=86244 CPUtime=1646.68
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 27322 974 0 0 164643 21 3 1 25 0 1 0 56683460 88313856 16612 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 21561 16612 389 142 0 20515 0
Current children cumulated CPU time (s) 1646.68
Current children cumulated vsize (KiB) 86244

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 10396
/proc/meminfo: memFree=1399184/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=87300 CPUtime=1706.12
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 27831 974 0 0 170586 22 3 1 25 0 1 0 56683460 89395200 17121 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 21825 17121 389 142 0 20779 0
Current children cumulated CPU time (s) 1706.12
Current children cumulated vsize (KiB) 87300

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 10396
/proc/meminfo: memFree=1395344/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=88348 CPUtime=1765.56
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 28302 974 0 0 176529 23 3 1 25 0 1 0 56683460 90468352 17592 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 22087 17592 389 142 0 21041 0
Current children cumulated CPU time (s) 1765.56
Current children cumulated vsize (KiB) 88348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 10438
/proc/meminfo: memFree=1434744/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=89136 CPUtime=1800.09
/proc/10390/stat : 10390 (pcs.small) R 10388 10390 9666 0 -1 4194304 28602 974 0 0 179981 24 3 1 25 0 1 0 56683460 91275264 17892 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10390/statm: 22284 17892 389 142 0 21238 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 89136

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): 1817.02
CPU time (s): 1800.12
CPU user time (s): 1799.85
CPU system time (s): 0.272958
CPU usage (%): 99.07
Max. virtual memory (cumulated for all children) (KiB): 89136

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

runsolver used 2.6586 second user time and 5.61415 second system time

The end

Launcher Data 

Begin job on node56 at 2009-07-16 00:16:41
IDJOB=2064685
IDBENCH=54176
IDSOLVER=733
FILE ID=node56/2064685-1247696201
PBS_JOBID= 9521201
Free space on /tmp= 103068 MiB

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

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

MD5SUM BENCH= 4d7029f3f8f558f8fccdf908fad083be
RANDOM SEED=560587395

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:       1523120 kB
Buffers:         74320 kB
Cached:         349388 kB
SwapCached:          0 kB
Active:         199316 kB
Inactive:       253064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1523120 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           15240 kB
Writeback:           0 kB
Mapped:          39196 kB
Slab:            65736 kB
Committed_AS:   475988 kB
PageTables:       1860 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= 103072 MiB
End job on node56 at 2009-07-16 00:47:00