Trace number 2089865

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

General information on the benchmark

Namecsp/rand-2-40-19/
normalized-rand-2-40-19-443-230-20_ext.xml
MD5SUM5b05a39c23d0bd62d5f22e103d794b92
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 benchmark69.1305
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints325
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension325
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 1016971897
0.00/0.02	c Constructing HOME/instance-2089865-1247730737.xml  with 6150 constraints
0.08/0.11	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-2089865-1247730737/watcher-2089865-1247730737 -o /tmp/evaluation-result-2089865-1247730737/solver-2089865-1247730737 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1016971897 HOME/instance-2089865-1247730737.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.01 2.03 2.00 4/72 12282
/proc/meminfo: memFree=1446600/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=5356 CPUtime=0
/proc/12282/stat : 12282 (pcssolve) R 12280 12282 11480 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60137001 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251255122591 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12282/statm: 1339 241 200 169 0 50 0
[pid=12283] ppid=12282 vsize=3676 CPUtime=0
/proc/12283/stat : 12283 (fgrep) R 12282 12282 11480 0 -1 4194304 139 0 0 0 0 0 0 0 22 0 1 0 60137002 3764224 106 996147200 4194304 4274172 548682068976 18446744073709551615 251255291986 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 919 106 85 19 0 43 0
[pid=12284] ppid=12282 vsize=5356 CPUtime=0
/proc/12284/stat : 12284 (pcssolve) R 12282 12282 11480 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 60137002 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251255122591 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12284/statm: 1339 241 200 169 0 50 0

[startup+0.026623 s]
/proc/loadavg: 2.01 2.03 2.00 4/72 12282
/proc/meminfo: memFree=1446600/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=4376 CPUtime=0
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 814 822 0 0 0 0 0 0 24 0 1 0 60137001 4481024 423 996147200 134512640 135095119 4294956304 18446744073709551615 4159732854 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 1094 423 364 142 0 48 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4376

[startup+0.101635 s]
/proc/loadavg: 2.01 2.03 2.00 4/72 12282
/proc/meminfo: memFree=1446600/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=5964 CPUtime=0.08
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 1202 822 0 0 8 0 0 0 24 0 1 0 60137001 6107136 811 996147200 134512640 135095119 4294956304 18446744073709551615 2269313 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 1491 811 367 142 0 445 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5964

[startup+0.301653 s]
/proc/loadavg: 2.01 2.03 2.00 4/72 12282
/proc/meminfo: memFree=1446600/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=6356 CPUtime=0.28
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 1340 822 0 0 28 0 0 0 25 0 1 0 60137001 6508544 916 996147200 134512640 135095119 4294956304 18446744073709551615 134554977 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 1589 916 378 142 0 543 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6356

[startup+0.701699 s]
/proc/loadavg: 2.01 2.03 2.00 4/72 12282
/proc/meminfo: memFree=1446600/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=6356 CPUtime=0.67
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 1348 822 0 0 67 0 0 0 25 0 1 0 60137001 6508544 924 996147200 134512640 135095119 4294956304 18446744073709551615 134589593 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 1589 924 378 142 0 543 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6356

[startup+1.50179 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 12288
/proc/meminfo: memFree=1444096/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=6612 CPUtime=1.47
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 1427 822 0 0 147 0 0 0 25 0 1 0 60137001 6770688 938 996147200 134512640 135095119 4294956304 18446744073709551615 134617205 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 1653 938 378 142 0 607 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6612

[startup+3.10196 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 12288
/proc/meminfo: memFree=1443712/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=7128 CPUtime=3.05
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 1576 822 0 0 305 0 0 0 25 0 1 0 60137001 7299072 1087 996147200 134512640 135095119 4294956304 18446744073709551615 134638182 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 1782 1087 378 142 0 736 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7128

[startup+6.30232 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 12288
/proc/meminfo: memFree=1441728/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=9336 CPUtime=6.22
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 2266 822 0 0 622 0 0 0 25 0 1 0 60137001 9560064 1519 996147200 134512640 135095119 4294956304 18446744073709551615 134642917 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 2334 1519 378 142 0 1288 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9336

[startup+12.701 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 12288
/proc/meminfo: memFree=1440000/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=11276 CPUtime=12.56
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 2957 822 0 0 1255 1 0 0 25 0 1 0 60137001 11546624 1953 996147200 134512640 135095119 4294956304 18446744073709551615 134636914 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 2819 1953 378 142 0 1773 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11276

[startup+25.5014 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 12288
/proc/meminfo: memFree=1436160/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=16584 CPUtime=25.24
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 4653 822 0 0 2522 2 0 0 25 0 1 0 60137001 16982016 2846 996147200 134512640 135095119 4294956304 18446744073709551615 134636914 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 4146 2846 378 142 0 3100 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16584

[startup+51.1013 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 12288
/proc/meminfo: memFree=1432128/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=18552 CPUtime=50.61
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 5602 822 0 0 5057 4 0 0 25 0 1 0 60137001 18997248 3795 996147200 134512640 135095119 4294956304 18446744073709551615 134554977 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 4638 3795 378 142 0 3592 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 18552

[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 12288
/proc/meminfo: memFree=1422848/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=29704 CPUtime=101.34
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 9048 822 0 0 10128 6 0 0 25 0 1 0 60137001 30416896 5703 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 7426 5703 378 142 0 6380 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 29704

[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 12288
/proc/meminfo: memFree=1416320/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=31808 CPUtime=160.79
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 10171 822 0 0 16071 8 0 0 25 0 1 0 60137001 32571392 6826 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 7952 6826 378 142 0 6906 0
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (KiB) 31808

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12288
/proc/meminfo: memFree=1409216/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=42892 CPUtime=220.24
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 13439 822 0 0 22013 11 0 0 25 0 1 0 60137001 43921408 8045 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 10723 8045 378 142 0 9677 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 42892

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12288
/proc/meminfo: memFree=1402688/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=45380 CPUtime=279.71
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 14535 822 0 0 27958 13 0 0 25 0 1 0 60137001 46469120 9141 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 11345 9141 378 142 0 10299 0
Current children cumulated CPU time (s) 279.71
Current children cumulated vsize (KiB) 45380

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12288
/proc/meminfo: memFree=1391552/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=56732 CPUtime=339.16
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 17808 822 0 0 33901 15 0 0 25 0 1 0 60137001 58093568 11389 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12282/statm: 14183 11389 378 142 0 13137 0
Current children cumulated CPU time (s) 339.16
Current children cumulated vsize (KiB) 56732

[startup+402.301 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 12320
/proc/meminfo: memFree=1448840/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=56732 CPUtime=399.02
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 18215 822 0 0 39886 16 0 0 25 0 1 0 60137001 58093568 11796 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 14183 11796 378 142 0 13137 0
Current children cumulated CPU time (s) 399.02
Current children cumulated vsize (KiB) 56732

[startup+462.302 s]
/proc/loadavg: 2.06 2.00 2.00 3/82 12361
/proc/meminfo: memFree=1427968/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=56864 CPUtime=458.99
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 18636 822 0 0 45882 17 0 0 25 0 1 0 60137001 58228736 12217 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 14216 12217 378 142 0 13170 0
Current children cumulated CPU time (s) 458.99
Current children cumulated vsize (KiB) 56864

[startup+522.301 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 12435
/proc/meminfo: memFree=1446024/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=58704 CPUtime=518.96
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 19459 822 0 0 51877 19 0 0 25 0 1 0 60137001 60112896 13040 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 14676 13040 378 142 0 13630 0
Current children cumulated CPU time (s) 518.96
Current children cumulated vsize (KiB) 58704

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12441
/proc/meminfo: memFree=1437512/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=60676 CPUtime=578.94
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 20303 822 0 0 57873 21 0 0 25 0 1 0 60137001 62132224 13884 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 15169 13884 378 142 0 14123 0
Current children cumulated CPU time (s) 578.94
Current children cumulated vsize (KiB) 60676

[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12441
/proc/meminfo: memFree=1428744/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=78768 CPUtime=638.91

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

[startup+882.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12441
/proc/meminfo: memFree=1395656/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=85852 CPUtime=878.83
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 28258 822 0 0 87855 28 0 0 25 0 1 0 60137001 87912448 17742 996147200 134512640 135095119 4294956304 18446744073709551615 134617670 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 21463 17742 378 142 0 20417 0
Current children cumulated CPU time (s) 878.83
Current children cumulated vsize (KiB) 85852

[startup+942.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1424584/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=87292 CPUtime=938.8
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 28936 822 0 0 93851 29 0 0 25 0 1 0 60137001 89387008 18420 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 21823 18421 378 142 0 20777 0
Current children cumulated CPU time (s) 938.8
Current children cumulated vsize (KiB) 87292

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1417736/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=88872 CPUtime=998.78
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 29595 822 0 0 99848 30 0 0 25 0 1 0 60137001 91004928 19079 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 22218 19079 378 142 0 21172 0
Current children cumulated CPU time (s) 998.78
Current children cumulated vsize (KiB) 88872

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1395336/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=112372 CPUtime=1058.76
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 35761 822 0 0 105843 33 0 0 25 0 1 0 60137001 115068928 23196 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28093 23196 378 142 0 27047 0
Current children cumulated CPU time (s) 1058.76
Current children cumulated vsize (KiB) 112372

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1393032/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=112372 CPUtime=1118.73
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 36024 822 0 0 111839 34 0 0 25 0 1 0 60137001 115068928 23459 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28093 23459 378 142 0 27047 0
Current children cumulated CPU time (s) 1118.73
Current children cumulated vsize (KiB) 112372

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1389512/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=112372 CPUtime=1178.71
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 36286 822 0 0 117837 34 0 0 25 0 1 0 60137001 115068928 23721 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28093 23721 378 142 0 27047 0
Current children cumulated CPU time (s) 1178.71
Current children cumulated vsize (KiB) 112372

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1385928/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=112372 CPUtime=1238.68
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 36542 822 0 0 123834 34 0 0 25 0 1 0 60137001 115068928 23977 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28093 23977 378 142 0 27047 0
Current children cumulated CPU time (s) 1238.68
Current children cumulated vsize (KiB) 112372

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1382344/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=112372 CPUtime=1298.66
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 36794 822 0 0 129832 34 0 0 25 0 1 0 60137001 115068928 24229 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28093 24229 378 142 0 27047 0
Current children cumulated CPU time (s) 1298.66
Current children cumulated vsize (KiB) 112372

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1379016/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=112372 CPUtime=1358.64
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 37046 822 0 0 135829 35 0 0 25 0 1 0 60137001 115068928 24481 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28093 24481 378 142 0 27047 0
Current children cumulated CPU time (s) 1358.64
Current children cumulated vsize (KiB) 112372

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1375624/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=112372 CPUtime=1418.63
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 37294 822 0 0 141827 36 0 0 25 0 1 0 60137001 115068928 24729 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28093 24729 378 142 0 27047 0
Current children cumulated CPU time (s) 1418.63
Current children cumulated vsize (KiB) 112372

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1366728/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=112372 CPUtime=1478.59
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 37531 822 0 0 147823 36 0 0 25 0 1 0 60137001 115068928 24966 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28093 24966 378 142 0 27047 0
Current children cumulated CPU time (s) 1478.59
Current children cumulated vsize (KiB) 112372

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1364680/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=112372 CPUtime=1538.57
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 37763 822 0 0 153820 37 0 0 25 0 1 0 60137001 115068928 25198 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28093 25198 378 142 0 27047 0
Current children cumulated CPU time (s) 1538.57
Current children cumulated vsize (KiB) 112372

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1363016/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=112372 CPUtime=1598.55
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 37999 822 0 0 159817 38 0 0 25 0 1 0 60137001 115068928 25434 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28093 25434 378 142 0 27047 0
Current children cumulated CPU time (s) 1598.55
Current children cumulated vsize (KiB) 112372

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1360520/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=113296 CPUtime=1658.53
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 38442 822 0 0 165814 39 0 0 25 0 1 0 60137001 116015104 25877 996147200 134512640 135095119 4294956304 18446744073709551615 134615475 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28324 25877 378 142 0 27278 0
Current children cumulated CPU time (s) 1658.53
Current children cumulated vsize (KiB) 113296

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1357704/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=114348 CPUtime=1718.51
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 38929 822 0 0 171811 40 0 0 25 0 1 0 60137001 117092352 26364 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 28587 26364 378 142 0 27541 0
Current children cumulated CPU time (s) 1718.51
Current children cumulated vsize (KiB) 114348

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1353480/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=148308 CPUtime=1778.48
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 47649 822 0 0 177803 45 0 0 25 0 1 0 60137001 151867392 26891 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 37077 26891 378 142 0 36031 0
Current children cumulated CPU time (s) 1778.48
Current children cumulated vsize (KiB) 148308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1352008/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=148704 CPUtime=1800.08
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 47821 822 0 0 179963 45 0 0 25 0 1 0 60137001 152272896 27063 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 37176 27063 378 142 0 36130 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 148704

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

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

[startup+1803.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 12473
/proc/meminfo: memFree=1352008/2055920 swapFree=4192812/4192956
[pid=12282] ppid=12280 vsize=148704 CPUtime=1800.08
/proc/12282/stat : 12282 (pcs.small) R 12280 12282 11480 0 -1 4194304 47821 822 0 0 179963 45 0 0 25 0 1 0 60137001 152272896 27063 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12282/statm: 37176 27063 378 142 0 36130 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 148704

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.93
CPU time (s): 1800.12
CPU user time (s): 1799.64
CPU system time (s): 0.478927
CPU usage (%): 99.7888
Max. virtual memory (cumulated for all children) (KiB): 180816

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

runsolver used 2.38364 second user time and 5.81912 second system time

The end

Launcher Data 

Begin job on node64 at 2009-07-16 09:52:17
IDJOB=2089865
IDBENCH=59640
IDSOLVER=734
FILE ID=node64/2089865-1247730737
PBS_JOBID= 9521551
Free space on /tmp= 66324 MiB

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

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

MD5SUM BENCH= 5b05a39c23d0bd62d5f22e103d794b92
RANDOM SEED=1016971897

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1447080 kB
Buffers:         91904 kB
Cached:         356556 kB
SwapCached:          0 kB
Active:         154960 kB
Inactive:       366428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1447080 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1964 kB
Writeback:           0 kB
Mapped:          84352 kB
Slab:            72416 kB
Committed_AS:   543492 kB
PageTables:       1852 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66328 MiB
End job on node64 at 2009-07-16 10:22:23