Trace number 2087070

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 1802.13

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.15/0.32	c small-domain mode
0.15/0.32	c Seed is 2091248340
0.15/0.32	c Constructing HOME/instance-2087070-1247727221.xml  with 56 constraints
10.03/10.15	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-2087070-1247727221/watcher-2087070-1247727221 -o /tmp/evaluation-result-2087070-1247727221/solver-2087070-1247727221 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2091248340 HOME/instance-2087070-1247727221.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.18 2.13 4/82 15844
/proc/meminfo: memFree=1177240/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=5356 CPUtime=0
/proc/15844/stat : 15844 (pcssolve) R 15842 15844 14630 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59787690 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 214945032863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15844/statm: 1339 241 200 169 0 50 0
[pid=15845] ppid=15844 vsize=5356 CPUtime=0
/proc/15845/stat : 15845 (pcssolve) R 15844 15844 14630 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59787690 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 214945032863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15845/statm: 1339 241 200 169 0 50 0

[startup+0.0797991 s]
/proc/loadavg: 2.01 2.18 2.13 4/82 15844
/proc/meminfo: memFree=1177240/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=5356 CPUtime=0
/proc/15844/stat : 15844 (pcssolve) S 15842 15844 14630 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 59787690 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15844/statm: 1339 242 201 169 0 50 0
[pid=15845] ppid=15844 vsize=4708 CPUtime=0.06
/proc/15845/stat : 15845 (fgrep) R 15844 15844 14630 0 -1 4194304 650 0 0 0 5 1 0 0 21 0 1 0 59787690 4820992 390 996147200 4194304 4274172 548682068976 18446744073709551615 214945202258 0 0 4096 0 0 0 0 17 0 0 0
/proc/15845/statm: 1177 390 88 19 0 301 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10064

[startup+0.101801 s]
/proc/loadavg: 2.01 2.18 2.13 4/82 15844
/proc/meminfo: memFree=1177240/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=5356 CPUtime=0.07
/proc/15844/stat : 15844 (pcssolve) S 15842 15844 14630 0 -1 4194304 339 819 0 0 0 0 6 1 18 0 1 0 59787690 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15844/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.301825 s]
/proc/loadavg: 2.01 2.18 2.13 4/82 15844
/proc/meminfo: memFree=1177240/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=5356 CPUtime=0.15
/proc/15844/stat : 15844 (pcssolve) S 15842 15844 14630 0 -1 4194304 367 1652 0 0 0 0 11 4 16 0 1 0 59787690 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15844/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 5356

[startup+0.701864 s]
/proc/loadavg: 2.01 2.18 2.13 4/82 15844
/proc/meminfo: memFree=1177240/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=10240 CPUtime=0.68
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 2401 2327 0 0 37 1 25 5 19 0 1 0 59787690 10485760 1443 996147200 134512640 135095119 4294956304 18446744073709551615 134653955 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 2560 1443 375 142 0 1514 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10240

[startup+1.50196 s]
/proc/loadavg: 2.17 2.21 2.14 3/83 15850
/proc/meminfo: memFree=1169296/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=19820 CPUtime=1.47
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 4912 2327 0 0 115 2 25 5 25 0 1 0 59787690 20295680 2940 996147200 134512640 135095119 4294956304 18446744073709551615 134934344 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 4955 2940 375 142 0 3909 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19820

[startup+3.10114 s]
/proc/loadavg: 2.17 2.21 2.14 3/83 15850
/proc/meminfo: memFree=1161616/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=39460 CPUtime=3.06
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 9688 2327 0 0 272 4 25 5 25 0 1 0 59787690 40407040 5710 996147200 134512640 135095119 4294956304 18446744073709551615 134934370 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 9865 5710 375 142 0 8819 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 39460

[startup+6.3015 s]
/proc/loadavg: 2.17 2.21 2.14 3/83 15850
/proc/meminfo: memFree=1138896/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=79616 CPUtime=6.25
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 21316 2327 0 0 585 10 25 5 25 0 1 0 59787690 81526784 11227 996147200 134512640 135095119 4294956304 18446744073709551615 134693993 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 19904 11227 375 142 0 18858 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 79616

[startup+12.7022 s]
/proc/loadavg: 2.21 2.22 2.14 3/83 15850
/proc/meminfo: memFree=1106896/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=74180 CPUtime=12.62
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 35419 2327 0 0 1214 18 25 5 25 0 1 0 59787690 75960320 17891 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 18545 17891 389 142 0 17499 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 74180

[startup+25.5017 s]
/proc/loadavg: 2.18 2.21 2.14 3/83 15850
/proc/meminfo: memFree=1107088/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=74324 CPUtime=25.37
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 35461 2327 0 0 2489 18 25 5 25 0 1 0 59787690 76107776 17933 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 18581 17933 389 142 0 17535 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 74324

[startup+51.1016 s]
/proc/loadavg: 2.12 2.20 2.13 3/83 15850
/proc/meminfo: memFree=1106832/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=74716 CPUtime=50.86
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 35602 2327 0 0 5038 18 25 5 25 0 1 0 59787690 76509184 18009 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 18679 18009 389 142 0 17633 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 74716

[startup+102.306 s]
/proc/loadavg: 2.08 2.17 2.13 3/83 15850
/proc/meminfo: memFree=1105744/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=76268 CPUtime=101.85
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 36103 2327 0 0 10137 18 25 5 25 0 1 0 59787690 78098432 18251 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 19067 18251 389 142 0 18021 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 76268

[startup+162.301 s]
/proc/loadavg: 2.10 2.17 2.13 3/83 15850
/proc/meminfo: memFree=1103376/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=78744 CPUtime=161.61
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 36854 2327 0 0 16112 19 25 5 25 0 1 0 59787690 80633856 18873 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 19686 18873 389 142 0 18640 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 78744

[startup+222.302 s]
/proc/loadavg: 2.15 2.17 2.13 3/83 15850
/proc/meminfo: memFree=1102416/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=80288 CPUtime=221.37
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 37375 2327 0 0 22087 20 25 5 25 0 1 0 59787690 82214912 19137 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 20072 19137 389 142 0 19026 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 80288

[startup+282.302 s]
/proc/loadavg: 2.13 2.15 2.12 3/83 15850
/proc/meminfo: memFree=1100496/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=81592 CPUtime=281.12
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 37849 2327 0 0 28062 20 25 5 25 0 1 0 59787690 83550208 19611 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 20398 19611 389 142 0 19352 0
Current children cumulated CPU time (s) 281.12
Current children cumulated vsize (KiB) 81592

[startup+342.302 s]
/proc/loadavg: 2.11 2.14 2.11 3/83 15850
/proc/meminfo: memFree=1097816/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=84724 CPUtime=340.87
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 38784 2327 0 0 34037 20 25 5 25 0 1 0 59787690 86757376 20289 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15844/statm: 21181 20289 389 142 0 20135 0
Current children cumulated CPU time (s) 340.87
Current children cumulated vsize (KiB) 84724

[startup+402.302 s]
/proc/loadavg: 2.10 2.12 2.11 3/71 15854
/proc/meminfo: memFree=1184520/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=87028 CPUtime=400.69
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 39501 2327 0 0 40018 21 25 5 25 0 1 0 59787690 89116672 20493 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 21757 20493 389 142 0 20711 0
Current children cumulated CPU time (s) 400.69
Current children cumulated vsize (KiB) 87028

[startup+462.301 s]
/proc/loadavg: 2.08 2.11 2.10 3/83 15898
/proc/meminfo: memFree=1198496/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=88208 CPUtime=460.63
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 39927 2327 0 0 46011 22 25 5 25 0 1 0 59787690 90324992 20919 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 22052 20919 389 142 0 21006 0
Current children cumulated CPU time (s) 460.63
Current children cumulated vsize (KiB) 88208

[startup+522.301 s]
/proc/loadavg: 2.03 2.09 2.09 3/83 15898
/proc/meminfo: memFree=1172256/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=89388 CPUtime=520.61
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 40369 2327 0 0 52009 22 25 5 25 0 1 0 59787690 91533312 21361 996147200 134512640 135095119 4294956304 18446744073709551615 134927073 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 22347 21361 389 142 0 21301 0
Current children cumulated CPU time (s) 520.61
Current children cumulated vsize (KiB) 89388

[startup+582.302 s]
/proc/loadavg: 2.01 2.07 2.08 3/83 15898
/proc/meminfo: memFree=1170464/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=90564 CPUtime=580.59
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 40805 2327 0 0 58006 23 25 5 25 0 1 0 59787690 92737536 21797 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 22641 21797 389 142 0 21595 0
Current children cumulated CPU time (s) 580.59
Current children cumulated vsize (KiB) 90564

[startup+642.302 s]
/proc/loadavg: 2.00 2.06 2.08 3/83 15898
/proc/meminfo: memFree=1165664/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=96832 CPUtime=640.58

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15898
/proc/meminfo: memFree=1161632/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=102748 CPUtime=880.52
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 44520 2327 0 0 87996 26 25 5 25 0 1 0 59787690 105213952 23974 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 25687 23974 389 142 0 24641 0
Current children cumulated CPU time (s) 880.52
Current children cumulated vsize (KiB) 102748

[startup+942.302 s]
/proc/loadavg: 2.00 2.01 2.05 3/83 15898
/proc/meminfo: memFree=1159968/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=103928 CPUtime=940.5
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 44939 2327 0 0 93994 26 25 5 25 0 1 0 59787690 106422272 24393 996147200 134512640 135095119 4294956304 18446744073709551615 134918233 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 25982 24393 389 142 0 24936 0
Current children cumulated CPU time (s) 940.5
Current children cumulated vsize (KiB) 103928

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/83 15898
/proc/meminfo: memFree=1158240/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=105096 CPUtime=1000.49
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 45372 2327 0 0 99992 27 25 5 25 0 1 0 59787690 107618304 24826 996147200 134512640 135095119 4294956304 18446744073709551615 134918241 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 26274 24826 389 142 0 25228 0
Current children cumulated CPU time (s) 1000.49
Current children cumulated vsize (KiB) 105096

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/83 15898
/proc/meminfo: memFree=1156384/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=106268 CPUtime=1060.47
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 45830 2327 0 0 105990 27 25 5 25 0 1 0 59787690 108818432 25284 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 26567 25284 389 142 0 25521 0
Current children cumulated CPU time (s) 1060.47
Current children cumulated vsize (KiB) 106268

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 15898
/proc/meminfo: memFree=1154528/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=107564 CPUtime=1120.45
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 46284 2327 0 0 111988 27 25 5 25 0 1 0 59787690 110145536 25738 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 26891 25738 389 142 0 25845 0
Current children cumulated CPU time (s) 1120.45
Current children cumulated vsize (KiB) 107564

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 15898
/proc/meminfo: memFree=1144672/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=120892 CPUtime=1180.43
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 49769 2327 0 0 117984 29 25 5 25 0 1 0 59787690 123793408 28198 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 30223 28198 389 142 0 29177 0
Current children cumulated CPU time (s) 1180.43
Current children cumulated vsize (KiB) 120892

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 15898
/proc/meminfo: memFree=1144160/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=120892 CPUtime=1240.42
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 49912 2327 0 0 123983 29 25 5 25 0 1 0 59787690 123793408 28341 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 30223 28341 389 142 0 29177 0
Current children cumulated CPU time (s) 1240.42
Current children cumulated vsize (KiB) 120892

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.02 3/83 15898
/proc/meminfo: memFree=1143520/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=120892 CPUtime=1300.41
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 50059 2327 0 0 129982 29 25 5 25 0 1 0 59787690 123793408 28488 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 30223 28488 389 142 0 29177 0
Current children cumulated CPU time (s) 1300.41
Current children cumulated vsize (KiB) 120892

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/83 15898
/proc/meminfo: memFree=1142880/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=120892 CPUtime=1360.39
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 50210 2327 0 0 135980 29 25 5 25 0 1 0 59787690 123793408 28639 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 30223 28639 389 142 0 29177 0
Current children cumulated CPU time (s) 1360.39
Current children cumulated vsize (KiB) 120892

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 15898
/proc/meminfo: memFree=1142176/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=129084 CPUtime=1420.37
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 52408 2327 0 0 141977 30 25 5 25 0 1 0 59787690 132182016 28788 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 32271 28788 389 142 0 31225 0
Current children cumulated CPU time (s) 1420.37
Current children cumulated vsize (KiB) 129084

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=1141728/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=129084 CPUtime=1480.36
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 52538 2327 0 0 147975 31 25 5 25 0 1 0 59787690 132182016 28918 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 32271 28918 389 142 0 31225 0
Current children cumulated CPU time (s) 1480.36
Current children cumulated vsize (KiB) 129084

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 15898
/proc/meminfo: memFree=1141152/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=129084 CPUtime=1540.34
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 52667 2327 0 0 153973 31 25 5 25 0 1 0 59787690 132182016 29047 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 32271 29047 389 142 0 31225 0
Current children cumulated CPU time (s) 1540.34
Current children cumulated vsize (KiB) 129084

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/83 15898
/proc/meminfo: memFree=1139872/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=130004 CPUtime=1600.32
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 53034 2327 0 0 159971 31 25 5 25 0 1 0 59787690 133124096 29414 996147200 134512640 135095119 4294956304 18446744073709551615 134918161 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 32501 29414 389 142 0 31455 0
Current children cumulated CPU time (s) 1600.32
Current children cumulated vsize (KiB) 130004

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/83 15898
/proc/meminfo: memFree=1138208/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=131172 CPUtime=1660.31
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 53429 2327 0 0 165969 32 25 5 25 0 1 0 59787690 134320128 29809 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 32793 29809 389 142 0 31747 0
Current children cumulated CPU time (s) 1660.31
Current children cumulated vsize (KiB) 131172

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 15898
/proc/meminfo: memFree=1136608/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=132220 CPUtime=1720.29
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 53830 2327 0 0 171966 33 25 5 25 0 1 0 59787690 135393280 30210 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 33055 30210 389 142 0 32009 0
Current children cumulated CPU time (s) 1720.29
Current children cumulated vsize (KiB) 132220

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=1134944/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=133272 CPUtime=1780.28
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 54232 2327 0 0 177964 34 25 5 25 0 1 0 59787690 136470528 30612 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 33318 30612 389 142 0 32272 0
Current children cumulated CPU time (s) 1780.28
Current children cumulated vsize (KiB) 133272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=1134368/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=133660 CPUtime=1800.08
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 54363 2327 0 0 179944 34 25 5 25 0 1 0 59787690 136867840 30743 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 33415 30743 389 142 0 32369 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 133660

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

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

[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15898
/proc/meminfo: memFree=1134368/2055920 swapFree=4192812/4192956
[pid=15844] ppid=15842 vsize=133660 CPUtime=1800.08
/proc/15844/stat : 15844 (pcs.small) R 15842 15844 14630 0 -1 4194304 54363 2327 0 0 179944 34 25 5 25 0 1 0 59787690 136867840 30743 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/15844/statm: 33415 30743 389 142 0 32369 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 133660

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.13
CPU time (s): 1800.12
CPU user time (s): 1799.7
CPU system time (s): 0.420936
CPU usage (%): 99.8887
Max. virtual memory (cumulated for all children) (KiB): 133660

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

runsolver used 1.81172 second user time and 4.88326 second system time

The end

Launcher Data 

Begin job on node85 at 2009-07-16 08:53:44
IDJOB=2087070
IDBENCH=58685
IDSOLVER=733
FILE ID=node85/2087070-1247727221
PBS_JOBID= 9521491
Free space on /tmp= 126480 MiB

SOLVER NAME= pcs 0.2
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-2087070-1247727221/watcher-2087070-1247727221 -o /tmp/evaluation-result-2087070-1247727221/solver-2087070-1247727221 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2091248340 HOME/instance-2087070-1247727221.xml

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

MD5SUM BENCH= 212f74c9523e84d793d7b8c5862cdb5c
RANDOM SEED=2091248340

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1177656 kB
Buffers:         93252 kB
Cached:         526636 kB
SwapCached:          0 kB
Active:         446032 kB
Inactive:       355776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1177656 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           33896 kB
Writeback:           0 kB
Mapped:         202120 kB
Slab:            61312 kB
Committed_AS:   674096 kB
PageTables:       2140 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= 126508 MiB
End job on node85 at 2009-07-16 09:23:48