Trace number 2087071

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.1 1810.63

General information on the benchmark

Namecsp/dag-half/
normalized-half-n25-d5-e56-r7-19.xml
MD5SUM212f74c9523e84d793d7b8c5862cdb5c
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 benchmark133.727
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Maximum constraint arity7
Maximum domain size5
Number of constraints which are defined in extension56
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.14/0.31	c small-domain mode
0.14/0.31	c Seed is 99194500
0.14/0.31	c Constructing HOME/instance-2087071-1247727256.xml  with 56 constraints
10.10/10.28	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-2087071-1247727256/watcher-2087071-1247727256 -o /tmp/evaluation-result-2087071-1247727256/solver-2087071-1247727256 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 99194500 HOME/instance-2087071-1247727256.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 2.02 2.00 4/72 15561
/proc/meminfo: memFree=1463408/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=0
/proc/15561/stat : 15561 (pcssolve) R 15559 15561 15265 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59790254 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231882680991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15561/statm: 1339 241 200 169 0 50 0

[startup+0.0447071 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 15561
/proc/meminfo: memFree=1463408/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=0
/proc/15561/stat : 15561 (pcssolve) R 15559 15561 15265 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59790254 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231882680991 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/15561/statm: 1339 241 200 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101713 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 15561
/proc/meminfo: memFree=1463408/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=0.07
/proc/15561/stat : 15561 (pcssolve) S 15559 15561 15265 0 -1 4194304 339 819 0 0 0 0 5 2 20 0 1 0 59790254 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15561/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.301733 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 15561
/proc/meminfo: memFree=1463408/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=5356 CPUtime=0.14
/proc/15561/stat : 15561 (pcssolve) S 15559 15561 15265 0 -1 4194304 367 1652 0 0 0 0 9 5 17 0 1 0 59790254 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15561/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356

[startup+0.701778 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 15561
/proc/meminfo: memFree=1463408/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=10240 CPUtime=0.67
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 2401 2327 0 0 36 2 21 8 19 0 1 0 59790254 10485760 1443 996147200 134512640 135095119 4294956304 18446744073709551615 7167725 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 2560 1443 375 142 0 1514 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10240

[startup+1.50187 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15567
/proc/meminfo: memFree=1458024/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=19820 CPUtime=1.46
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 4891 2327 0 0 114 3 21 8 25 0 1 0 59790254 20295680 2919 996147200 134512640 135095119 4294956304 18446744073709551615 134944298 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 4955 2919 375 142 0 3909 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 19820

[startup+3.10106 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15567
/proc/meminfo: memFree=1450344/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=39312 CPUtime=3.05
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 9614 2327 0 0 271 5 21 8 25 0 1 0 59790254 40255488 5655 996147200 134512640 135095119 4294956304 18446744073709551615 134944208 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 9828 5655 375 142 0 8782 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 39312

[startup+6.30144 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15567
/proc/meminfo: memFree=1427112/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=78252 CPUtime=6.23
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 21069 2327 0 0 584 10 21 8 25 0 1 0 59790254 80130048 11197 996147200 134512640 135095119 4294956304 18446744073709551615 134945089 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 19563 11197 375 142 0 18517 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 78252

[startup+12.7022 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15567
/proc/meminfo: memFree=1393000/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=74180 CPUtime=12.58
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 35419 2327 0 0 1212 17 21 8 25 0 1 0 59790254 75960320 17891 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 18545 17891 389 142 0 17499 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 74180

[startup+25.5017 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15567
/proc/meminfo: memFree=1391400/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=74324 CPUtime=25.28
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 35458 2327 0 0 2482 17 21 8 25 0 1 0 59790254 76107776 17930 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 18581 17930 389 142 0 17535 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 74324

[startup+51.1017 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15567
/proc/meminfo: memFree=1387560/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=74716 CPUtime=50.65
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 35596 2327 0 0 5019 17 21 8 25 0 1 0 59790254 76509184 18003 996147200 134512640 135095119 4294956304 18446744073709551615 134918194 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 18679 18003 389 142 0 17633 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 74716

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 15567
/proc/meminfo: memFree=1380456/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=76268 CPUtime=101.47
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 36084 2327 0 0 10100 18 21 8 25 0 1 0 59790254 78098432 18232 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 19067 18232 389 142 0 18021 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 76268

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15567
/proc/meminfo: memFree=1369768/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=78624 CPUtime=161
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 36825 2327 0 0 16053 18 21 8 25 0 1 0 59790254 80510976 18844 996147200 134512640 135095119 4294956304 18446744073709551615 134918211 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 19656 18844 389 142 0 18610 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 78624

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15567
/proc/meminfo: memFree=1360872/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=79912 CPUtime=220.54
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 37277 2327 0 0 22006 19 21 8 25 0 1 0 59790254 81829888 19039 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 19978 19039 389 142 0 18932 0
Current children cumulated CPU time (s) 220.54
Current children cumulated vsize (KiB) 79912

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15567
/proc/meminfo: memFree=1351272/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=81212 CPUtime=280.09
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 37736 2327 0 0 27960 20 21 8 25 0 1 0 59790254 83161088 19498 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 20303 19498 389 142 0 19257 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (KiB) 81212

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15567
/proc/meminfo: memFree=1341032/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=84744 CPUtime=339.63
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 38750 2327 0 0 33914 20 21 8 25 0 1 0 59790254 86777856 20255 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 21186 20255 389 142 0 20140 0
Current children cumulated CPU time (s) 339.63
Current children cumulated vsize (KiB) 84744

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15567
/proc/meminfo: memFree=1333416/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=86792 CPUtime=399.16
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 39401 2327 0 0 39867 20 21 8 25 0 1 0 59790254 88875008 20393 996147200 134512640 135095119 4294956304 18446744073709551615 134918220 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 21698 20393 389 142 0 20652 0
Current children cumulated CPU time (s) 399.16
Current children cumulated vsize (KiB) 86792

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15573
/proc/meminfo: memFree=1324008/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=87968 CPUtime=458.69
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 39825 2327 0 0 45819 21 21 8 25 0 1 0 59790254 90079232 20817 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 21992 20817 389 142 0 20946 0
Current children cumulated CPU time (s) 458.69
Current children cumulated vsize (KiB) 87968

[startup+522.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 15573
/proc/meminfo: memFree=1313896/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=89016 CPUtime=518.23
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 40256 2327 0 0 51772 22 21 8 25 0 1 0 59790254 91152384 21248 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 22254 21248 389 142 0 21208 0
Current children cumulated CPU time (s) 518.23
Current children cumulated vsize (KiB) 89016

[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 15573
/proc/meminfo: memFree=1303912/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=90312 CPUtime=577.77
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 40693 2327 0 0 57725 23 21 8 25 0 1 0 59790254 92479488 21685 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 22578 21685 389 142 0 21532 0
Current children cumulated CPU time (s) 577.77
Current children cumulated vsize (KiB) 90312

[startup+642.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 15573
/proc/meminfo: memFree=1292648/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=96844 CPUtime=637.31
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 42462 2327 0 0 63679 23 21 8 25 0 1 0 59790254 99168256 22941 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 24211 22941 389 142 0 23165 0
Current children cumulated CPU time (s) 637.31
Current children cumulated vsize (KiB) 96844

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15573
/proc/meminfo: memFree=1272744/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=101204 CPUtime=815.93
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 43949 2327 0 0 81540 24 21 8 25 0 1 0 59790254 103632896 23403 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 25301 23403 389 142 0 24255 0
Current children cumulated CPU time (s) 815.93
Current children cumulated vsize (KiB) 101204

[startup+882.302 s]
/proc/loadavg: 2.10 2.03 2.01 3/73 15573
/proc/meminfo: memFree=1264680/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=102252 CPUtime=875.47
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 44361 2327 0 0 87493 25 21 8 25 0 1 0 59790254 104706048 23815 996147200 134512640 135095119 4294956304 18446744073709551615 134911614 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 25563 23815 389 142 0 24517 0
Current children cumulated CPU time (s) 875.47
Current children cumulated vsize (KiB) 102252

[startup+942.302 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 15573
/proc/meminfo: memFree=1256360/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=103296 CPUtime=935.01
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 44758 2327 0 0 93447 25 21 8 25 0 1 0 59790254 105775104 24212 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 25824 24212 389 142 0 24778 0
Current children cumulated CPU time (s) 935.01
Current children cumulated vsize (KiB) 103296

[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/73 15573
/proc/meminfo: memFree=1249576/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=104472 CPUtime=994.55
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 45162 2327 0 0 99400 26 21 8 25 0 1 0 59790254 106979328 24616 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 26118 24616 389 142 0 25072 0
Current children cumulated CPU time (s) 994.55
Current children cumulated vsize (KiB) 104472

[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/73 15573
/proc/meminfo: memFree=1240232/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=105656 CPUtime=1054.09
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 45628 2327 0 0 105354 26 21 8 25 0 1 0 59790254 108191744 25082 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 26414 25082 389 142 0 25368 0
Current children cumulated CPU time (s) 1054.09
Current children cumulated vsize (KiB) 105656

[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 15573
/proc/meminfo: memFree=1229160/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=106976 CPUtime=1113.63
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 46086 2327 0 0 111307 27 21 8 25 0 1 0 59790254 109543424 25540 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 26744 25540 389 142 0 25698 0
Current children cumulated CPU time (s) 1113.63
Current children cumulated vsize (KiB) 106976

[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/73 15573
/proc/meminfo: memFree=1218536/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=108160 CPUtime=1173.18
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 46552 2327 0 0 117262 27 21 8 25 0 1 0 59790254 110755840 26006 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 27040 26006 389 142 0 25994 0
Current children cumulated CPU time (s) 1173.18
Current children cumulated vsize (KiB) 108160

[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/73 15573
/proc/meminfo: memFree=1200360/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=120836 CPUtime=1232.72
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 49870 2327 0 0 123215 28 21 8 25 0 1 0 59790254 123736064 28299 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 30209 28299 389 142 0 29163 0
Current children cumulated CPU time (s) 1232.72
Current children cumulated vsize (KiB) 120836

[startup+1302.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/73 15573
/proc/meminfo: memFree=1190440/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=120836 CPUtime=1292.27
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 50017 2327 0 0 129169 29 21 8 25 0 1 0 59790254 123736064 28446 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 0 0 0
/proc/15561/statm: 30209 28446 389 142 0 29163 0
Current children cumulated CPU time (s) 1292.27
Current children cumulated vsize (KiB) 120836

[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/73 15606
/proc/meminfo: memFree=1225120/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=120836 CPUtime=1351.88
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 50165 2327 0 0 135123 36 21 8 25 0 1 0 59790254 123736064 28594 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15561/statm: 30209 28594 389 142 0 29163 0
Current children cumulated CPU time (s) 1351.88
Current children cumulated vsize (KiB) 120836

[startup+1422.31 s]
/proc/loadavg: 2.03 2.05 2.00 3/73 15606
/proc/meminfo: memFree=1179040/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=120836 CPUtime=1411.87
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 50311 2327 0 0 141121 37 21 8 25 0 1 0 59790254 123736064 28740 996147200 134512640 135095119 4294956304 18446744073709551615 134909756 0 0 4096 0 0 0 0 17 1 0 0
/proc/15561/statm: 30209 28740 389 142 0 29163 0
Current children cumulated CPU time (s) 1411.87
Current children cumulated vsize (KiB) 120836

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 15606
/proc/meminfo: memFree=1177568/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=129028 CPUtime=1471.85
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 52499 2327 0 0 147118 38 21 8 25 0 1 0 59790254 132124672 28879 996147200 134512640 135095119 4294956304 18446744073709551615 134918163 0 0 4096 0 0 0 0 17 1 0 0
/proc/15561/statm: 32257 28879 389 142 0 31211 0
Current children cumulated CPU time (s) 1471.85
Current children cumulated vsize (KiB) 129028

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 15606
/proc/meminfo: memFree=1177952/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=129028 CPUtime=1531.83
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 52640 2327 0 0 153116 38 21 8 25 0 1 0 59790254 132124672 29020 996147200 134512640 135095119 4294956304 18446744073709551615 134927001 0 0 4096 0 0 0 0 17 1 0 0
/proc/15561/statm: 32257 29020 389 142 0 31211 0
Current children cumulated CPU time (s) 1531.83
Current children cumulated vsize (KiB) 129028

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15606
/proc/meminfo: memFree=1176608/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=129948 CPUtime=1591.81
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 52998 2327 0 0 159113 39 21 8 25 0 1 0 59790254 133066752 29378 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/15561/statm: 32487 29378 389 142 0 31441 0
Current children cumulated CPU time (s) 1591.81
Current children cumulated vsize (KiB) 129948

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15606
/proc/meminfo: memFree=1174952/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=130992 CPUtime=1651.79
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 53404 2327 0 0 165111 39 21 8 25 0 1 0 59790254 134135808 29784 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/15561/statm: 32748 29784 389 142 0 31702 0
Current children cumulated CPU time (s) 1651.79
Current children cumulated vsize (KiB) 130992

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 15606
/proc/meminfo: memFree=1173288/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=132164 CPUtime=1711.77
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 53813 2327 0 0 171109 39 21 8 25 0 1 0 59790254 135335936 30193 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/15561/statm: 33041 30193 389 142 0 31995 0
Current children cumulated CPU time (s) 1711.77
Current children cumulated vsize (KiB) 132164

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15606
/proc/meminfo: memFree=1171624/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=133204 CPUtime=1771.76
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 54214 2327 0 0 177107 40 21 8 25 0 1 0 59790254 136400896 30594 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/15561/statm: 33301 30594 389 142 0 32255 0
Current children cumulated CPU time (s) 1771.76
Current children cumulated vsize (KiB) 133204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15606
/proc/meminfo: memFree=1170856/2055920 swapFree=4192812/4192956
[pid=15561] ppid=15559 vsize=133720 CPUtime=1800.05
/proc/15561/stat : 15561 (pcs.small) R 15559 15561 15265 0 -1 4194304 54413 2327 0 0 179936 40 21 8 25 0 1 0 59790254 136929280 30793 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/15561/statm: 33430 30793 389 142 0 32384 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 133720

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): 1810.63
CPU time (s): 1800.1
CPU user time (s): 1799.59
CPU system time (s): 0.510922
CPU usage (%): 99.4183
Max. virtual memory (cumulated for all children) (KiB): 133720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.510922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56740
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= 24
involuntary context switches= 33066

runsolver used 1.9877 second user time and 4.6093 second system time

The end

Launcher Data 

Begin job on node75 at 2009-07-16 08:54:18
IDJOB=2087071
IDBENCH=58685
IDSOLVER=734
FILE ID=node75/2087071-1247727256
PBS_JOBID= 9521569
Free space on /tmp= 66224 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-19.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087071-1247727256/watcher-2087071-1247727256 -o /tmp/evaluation-result-2087071-1247727256/solver-2087071-1247727256 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 99194500 HOME/instance-2087071-1247727256.xml

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

MD5SUM BENCH= 212f74c9523e84d793d7b8c5862cdb5c
RANDOM SEED=99194500

node75.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.232
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.232
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1463952 kB
Buffers:         80332 kB
Cached:         318692 kB
SwapCached:          0 kB
Active:         173960 kB
Inactive:       328456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1463952 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           32252 kB
Writeback:           0 kB
Mapped:         114964 kB
Slab:            74864 kB
Committed_AS:   606680 kB
PageTables:       1952 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= 66156 MiB
End job on node75 at 2009-07-16 09:24:31