Trace number 2090722

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.14 1801.16

General information on the benchmark

Namecsp/tightness0.65/
normalized-rand-2-40-40-135-650-29_ext.xml
MD5SUM3f4cc7fbe769b12c98bc52f0d6a6e82a
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 benchmark11.9592
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints135
Maximum constraint arity2
Maximum domain size40
Number of constraints which are defined in extension135
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.22	c Seed is 532218635
0.18/0.22	c Constructing HOME/instance-2090722-1247731064.xml  with 213 constraints
0.18/0.23	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-2090722-1247731064/watcher-2090722-1247731064 -o /tmp/evaluation-result-2090722-1247731064/solver-2090722-1247731064 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 532218635 HOME/instance-2090722-1247731064.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.02 2.10 2.08 4/81 18068
/proc/meminfo: memFree=1398072/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=5356 CPUtime=0
/proc/18068/stat : 18068 (pcssolve) R 18066 18068 17294 0 -1 4194304 266 0 0 0 0 0 0 0 20 0 1 0 60173838 5484544 234 996147200 4194304 4889804 548682068800 18446744073709551615 226913323703 0 0 4100 65536 0 0 0 17 1 0 0
/proc/18068/statm: 1339 234 195 169 0 50 0

[startup+0.20778 s]
/proc/loadavg: 2.02 2.10 2.08 4/81 18068
/proc/meminfo: memFree=1398072/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=6628 CPUtime=0.18
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 1239 656 0 0 18 0 0 0 19 0 1 0 60173838 6787072 870 996147200 134512640 135215973 4294956320 18446744073709551615 134837551 0 0 4096 0 0 0 0 17 1 0 0
/proc/18068/statm: 1657 870 385 171 0 582 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6628

[startup+0.301799 s]
/proc/loadavg: 2.02 2.10 2.08 4/81 18068
/proc/meminfo: memFree=1398072/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=7164 CPUtime=0.28
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 1380 656 0 0 28 0 0 0 19 0 1 0 60173838 7335936 1011 996147200 134512640 135215973 4294956320 18446744073709551615 134596224 0 0 4096 0 0 0 0 17 1 0 0
/proc/18068/statm: 1791 1011 403 171 0 716 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7164

[startup+0.401817 s]
/proc/loadavg: 2.02 2.10 2.08 4/81 18068
/proc/meminfo: memFree=1398072/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=7164 CPUtime=0.38
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 1385 656 0 0 38 0 0 0 20 0 1 0 60173838 7335936 1016 996147200 134512640 135215973 4294956320 18446744073709551615 135026953 0 0 4096 0 0 0 0 17 1 0 0
/proc/18068/statm: 1791 1016 403 171 0 716 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 7164

[startup+0.701875 s]
/proc/loadavg: 2.02 2.10 2.08 4/81 18068
/proc/meminfo: memFree=1398072/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=7164 CPUtime=0.68
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 1386 656 0 0 68 0 0 0 23 0 1 0 60173838 7335936 1017 996147200 134512640 135215973 4294956320 18446744073709551615 135026902 0 0 4096 0 0 0 0 17 1 0 0
/proc/18068/statm: 1791 1017 403 171 0 716 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7164

[startup+1.50203 s]
/proc/loadavg: 2.02 2.10 2.08 3/82 18073
/proc/meminfo: memFree=1395312/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=7164 CPUtime=1.47
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 1391 656 0 0 147 0 0 0 25 0 1 0 60173838 7335936 1022 996147200 134512640 135215973 4294956320 18446744073709551615 135018640 0 0 4096 0 0 0 0 17 1 0 0
/proc/18068/statm: 1791 1022 403 171 0 716 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 7164

[startup+3.10234 s]
/proc/loadavg: 2.02 2.10 2.08 3/82 18073
/proc/meminfo: memFree=1395056/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=7164 CPUtime=3.05
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 1412 656 0 0 305 0 0 0 25 0 1 0 60173838 7335936 1043 996147200 134512640 135215973 4294956320 18446744073709551615 134533026 0 0 4096 0 0 0 0 17 1 0 0
/proc/18068/statm: 1791 1043 403 171 0 716 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7164

[startup+6.30344 s]
/proc/loadavg: 2.02 2.10 2.08 3/82 18073
/proc/meminfo: memFree=1394800/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=7164 CPUtime=6.22
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 1479 656 0 0 622 0 0 0 25 0 1 0 60173838 7335936 1110 996147200 134512640 135215973 4294956320 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/18068/statm: 1791 1110 403 171 0 716 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 7164

[startup+12.7012 s]
/proc/loadavg: 2.02 2.10 2.08 3/82 18073
/proc/meminfo: memFree=1393264/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=8736 CPUtime=12.57
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 1877 656 0 0 1256 1 0 0 25 0 1 0 60173838 8945664 1475 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/18068/statm: 2184 1475 403 171 0 1109 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 8736

[startup+25.5066 s]
/proc/loadavg: 2.01 2.09 2.08 3/73 18105
/proc/meminfo: memFree=1400632/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=12160 CPUtime=25.33
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 2761 656 0 0 2531 2 0 0 25 0 1 0 60173838 12451840 2294 996147200 134512640 135215973 4294956320 18446744073709551615 135020198 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 3040 2294 403 171 0 1965 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 12160

[startup+51.1016 s]
/proc/loadavg: 2.01 2.08 2.08 3/73 18105
/proc/meminfo: memFree=1393144/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=18072 CPUtime=50.9
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 4334 656 0 0 5087 3 0 0 25 0 1 0 60173838 18505728 3738 996147200 134512640 135215973 4294956320 18446744073709551615 134596291 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 4518 3738 403 171 0 3443 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 18072

[startup+102.301 s]
/proc/loadavg: 2.00 2.07 2.07 3/73 18105
/proc/meminfo: memFree=1376504/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=31360 CPUtime=102.08
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 7808 656 0 0 10202 6 0 0 25 0 1 0 60173838 32112640 6922 996147200 134512640 135215973 4294956320 18446744073709551615 134585809 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 7840 6922 403 171 0 6765 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 31360

[startup+162.302 s]
/proc/loadavg: 2.00 2.05 2.06 3/73 18105
/proc/meminfo: memFree=1356472/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=45340 CPUtime=162.06
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 11478 656 0 0 16197 9 0 0 25 0 1 0 60173838 46428160 10527 996147200 134512640 135215973 4294956320 18446744073709551615 134596818 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 11335 10527 403 171 0 10260 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 45340

[startup+222.302 s]
/proc/loadavg: 2.00 2.04 2.06 3/73 18111
/proc/meminfo: memFree=1336624/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=60704 CPUtime=222.03
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 15494 656 0 0 22191 12 0 0 25 0 1 0 60173838 62160896 14030 996147200 134512640 135215973 4294956320 18446744073709551615 134600112 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 15176 14030 403 171 0 14101 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 60704

[startup+282.302 s]
/proc/loadavg: 2.00 2.03 2.05 3/73 18111
/proc/meminfo: memFree=1316784/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=75064 CPUtime=282
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 19268 656 0 0 28185 15 0 0 25 0 1 0 60173838 76865536 17675 996147200 134512640 135215973 4294956320 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 18766 17675 403 171 0 17691 0
Current children cumulated CPU time (s) 282
Current children cumulated vsize (KiB) 75064

[startup+342.306 s]
/proc/loadavg: 2.05 2.04 2.05 3/82 18152
/proc/meminfo: memFree=1314408/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=87068 CPUtime=341.97
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 22433 656 0 0 34179 18 0 0 25 0 1 0 60173838 89157632 20840 996147200 134512640 135215973 4294956320 18446744073709551615 8359489 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 21767 20840 403 171 0 20692 0
Current children cumulated CPU time (s) 341.97
Current children cumulated vsize (KiB) 87068

[startup+402.302 s]
/proc/loadavg: 2.06 2.04 2.05 3/82 18152
/proc/meminfo: memFree=1302056/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=98804 CPUtime=401.94
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 25529 656 0 0 40173 21 0 0 25 0 1 0 60173838 101175296 23936 996147200 134512640 135215973 4294956320 18446744073709551615 134649104 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 24701 23936 403 171 0 23626 0
Current children cumulated CPU time (s) 401.94
Current children cumulated vsize (KiB) 98804

[startup+462.301 s]
/proc/loadavg: 2.23 2.09 2.07 3/82 18152
/proc/meminfo: memFree=1289000/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=115040 CPUtime=461.91
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 29749 656 0 0 46166 25 0 0 25 0 1 0 60173838 117800960 27131 996147200 134512640 135215973 4294956320 18446744073709551615 134587965 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 28760 27131 403 171 0 27685 0
Current children cumulated CPU time (s) 461.91
Current children cumulated vsize (KiB) 115040

[startup+522.302 s]
/proc/loadavg: 2.12 2.09 2.07 3/82 18152
/proc/meminfo: memFree=1276080/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=128468 CPUtime=521.88
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 33262 656 0 0 52161 27 0 0 25 0 1 0 60173838 131551232 30387 996147200 134512640 135215973 4294956320 18446744073709551615 134687170 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 32117 30387 403 171 0 31042 0
Current children cumulated CPU time (s) 521.88
Current children cumulated vsize (KiB) 128468

[startup+582.302 s]
/proc/loadavg: 2.08 2.08 2.07 3/82 18152
/proc/meminfo: memFree=1264624/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=139156 CPUtime=581.85
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 36101 656 0 0 58154 31 0 0 25 0 1 0 60173838 142495744 33226 996147200 134512640 135215973 4294956320 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 34789 33226 403 171 0 33714 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 139156

[startup+642.302 s]
/proc/loadavg: 2.55 2.20 2.11 3/82 18152
/proc/meminfo: memFree=1252912/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=150372 CPUtime=641.83
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 39053 656 0 0 64149 34 0 0 25 0 1 0 60173838 153980928 36178 996147200 134512640 135215973 4294956320 18446744073709551615 135020293 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 37593 36178 403 171 0 36518 0
Current children cumulated CPU time (s) 641.83
Current children cumulated vsize (KiB) 150372

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 2.03 2.14 2.10 3/82 18152
/proc/meminfo: memFree=1208240/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=192584 CPUtime=881.71
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 50158 656 0 0 88126 45 0 0 25 0 1 0 60173838 197206016 47283 996147200 134512640 135215973 4294956320 18446744073709551615 135020330 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 48146 47283 403 171 0 47071 0
Current children cumulated CPU time (s) 881.71
Current children cumulated vsize (KiB) 192584

[startup+942.302 s]
/proc/loadavg: 2.01 2.11 2.09 3/82 18152
/proc/meminfo: memFree=1198384/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=210144 CPUtime=941.68
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 54680 656 0 0 94120 48 0 0 25 0 1 0 60173838 215187456 49756 996147200 134512640 135215973 4294956320 18446744073709551615 4158960150 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 52536 49756 403 171 0 51461 0
Current children cumulated CPU time (s) 941.68
Current children cumulated vsize (KiB) 210144

[startup+1002.31 s]
/proc/loadavg: 2.00 2.09 2.08 3/82 18152
/proc/meminfo: memFree=1187120/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=220564 CPUtime=1001.66
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 57438 656 0 0 100115 51 0 0 25 0 1 0 60173838 225857536 52514 996147200 134512640 135215973 4294956320 18446744073709551615 134599861 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 55141 52515 403 171 0 54066 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 220564

[startup+1062.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/82 18152
/proc/meminfo: memFree=1176624/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=230592 CPUtime=1061.62
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 60066 656 0 0 106110 52 0 0 25 0 1 0 60173838 236126208 55142 996147200 134512640 135215973 4294956320 18446744073709551615 135026919 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 57648 55142 403 171 0 56573 0
Current children cumulated CPU time (s) 1061.62
Current children cumulated vsize (KiB) 230592

[startup+1122.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/82 18152
/proc/meminfo: memFree=1166192/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=240348 CPUtime=1121.59
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 62642 656 0 0 112104 55 0 0 25 0 1 0 60173838 246116352 57718 996147200 134512640 135215973 4294956320 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 60087 57718 403 171 0 59012 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 240348

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/82 18152
/proc/meminfo: memFree=1153712/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=254524 CPUtime=1181.56
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 66304 656 0 0 118099 57 0 0 25 0 1 0 60173838 260632576 60867 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 63631 60867 403 171 0 62556 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 254524

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/82 18152
/proc/meminfo: memFree=1143280/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=264288 CPUtime=1241.53
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 68892 656 0 0 124094 59 0 0 25 0 1 0 60173838 270630912 63455 996147200 134512640 135215973 4294956320 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 66072 63455 403 171 0 64997 0
Current children cumulated CPU time (s) 1241.53
Current children cumulated vsize (KiB) 264288

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/82 18152
/proc/meminfo: memFree=1134192/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=272996 CPUtime=1301.51
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 71188 656 0 0 130089 62 0 0 25 0 1 0 60173838 279547904 65751 996147200 134512640 135215973 4294956320 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 68249 65751 403 171 0 67174 0
Current children cumulated CPU time (s) 1301.51
Current children cumulated vsize (KiB) 272996

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/82 18152
/proc/meminfo: memFree=1123952/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=282628 CPUtime=1361.48
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 73713 656 0 0 136083 65 0 0 25 0 1 0 60173838 289411072 68276 996147200 134512640 135215973 4294956320 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 70657 68276 403 171 0 69582 0
Current children cumulated CPU time (s) 1361.48
Current children cumulated vsize (KiB) 282628

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 18152
/proc/meminfo: memFree=1114608/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=291604 CPUtime=1421.45
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 76077 656 0 0 142078 67 0 0 25 0 1 0 60173838 298602496 70640 996147200 134512640 135215973 4294956320 18446744073709551615 4158961306 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 72901 70640 403 171 0 71826 0
Current children cumulated CPU time (s) 1421.45
Current children cumulated vsize (KiB) 291604

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 18152
/proc/meminfo: memFree=1104944/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=300708 CPUtime=1481.42
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 78470 656 0 0 148072 70 0 0 25 0 1 0 60173838 307924992 73033 996147200 134512640 135215973 4294956320 18446744073709551615 135020385 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 75177 73033 403 171 0 74102 0
Current children cumulated CPU time (s) 1481.42
Current children cumulated vsize (KiB) 300708

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/82 18152
/proc/meminfo: memFree=1095408/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=309544 CPUtime=1541.39
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 80828 656 0 0 154067 72 0 0 25 0 1 0 60173838 316973056 75391 996147200 134512640 135215973 4294956320 18446744073709551615 135020270 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 77386 75391 403 171 0 76311 0
Current children cumulated CPU time (s) 1541.39
Current children cumulated vsize (KiB) 309544

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 18152
/proc/meminfo: memFree=1085872/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=318644 CPUtime=1601.36
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 83220 656 0 0 160062 74 0 0 25 0 1 0 60173838 326291456 77783 996147200 134512640 135215973 4294956320 18446744073709551615 134553034 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 79661 77783 403 171 0 78586 0
Current children cumulated CPU time (s) 1601.36
Current children cumulated vsize (KiB) 318644

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 18152
/proc/meminfo: memFree=1076400/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=327620 CPUtime=1661.34
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 85578 656 0 0 166057 77 0 0 25 0 1 0 60173838 335482880 80141 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 81905 80141 403 171 0 80830 0
Current children cumulated CPU time (s) 1661.34
Current children cumulated vsize (KiB) 327620

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 18152
/proc/meminfo: memFree=1067184/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=336332 CPUtime=1721.31
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 87886 656 0 0 172051 80 0 0 25 0 1 0 60173838 344403968 82449 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 84083 82449 403 171 0 83008 0
Current children cumulated CPU time (s) 1721.31
Current children cumulated vsize (KiB) 336332

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 18152
/proc/meminfo: memFree=1057456/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=345572 CPUtime=1781.28
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 90288 656 0 0 178046 82 0 0 25 0 1 0 60173838 353865728 84851 996147200 134512640 135215973 4294956320 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 86393 84851 403 171 0 85318 0
Current children cumulated CPU time (s) 1781.28
Current children cumulated vsize (KiB) 345572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18152
/proc/meminfo: memFree=1054448/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=348344 CPUtime=1800.07
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 91035 656 0 0 179924 83 0 0 25 0 1 0 60173838 356704256 85598 996147200 134512640 135215973 4294956320 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 87086 85598 403 171 0 86011 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 348344

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

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

[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18152
/proc/meminfo: memFree=1054448/2055920 swapFree=4192812/4192956
[pid=18068] ppid=18066 vsize=348344 CPUtime=1800.07
/proc/18068/stat : 18068 (pcs.big) R 18066 18068 17294 0 -1 4194304 91035 656 0 0 179924 83 0 0 25 0 1 0 60173838 356704256 85598 996147200 134512640 135215973 4294956320 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 0 0 0
/proc/18068/statm: 87086 85598 403 171 0 86011 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 348344

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.16
CPU time (s): 1800.14
CPU user time (s): 1799.25
CPU system time (s): 0.886865
CPU usage (%): 99.9434
Max. virtual memory (cumulated for all children) (KiB): 348344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.886865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91691
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= 19
involuntary context switches= 6830

runsolver used 1.57776 second user time and 5.13322 second system time

The end

Launcher Data 

Begin job on node5 at 2009-07-16 09:57:44
IDJOB=2090722
IDBENCH=59873
IDSOLVER=733
FILE ID=node5/2090722-1247731064
PBS_JOBID= 9521570
Free space on /tmp= 66324 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tightness0.65/normalized-rand-2-40-40-135-650-29_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2090722-1247731064/watcher-2090722-1247731064 -o /tmp/evaluation-result-2090722-1247731064/solver-2090722-1247731064 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 532218635 HOME/instance-2090722-1247731064.xml

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

MD5SUM BENCH= 3f4cc7fbe769b12c98bc52f0d6a6e82a
RANDOM SEED=532218635

node5.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.258
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.258
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:       1398552 kB
Buffers:         82860 kB
Cached:         469368 kB
SwapCached:          0 kB
Active:          81624 kB
Inactive:       504320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1398552 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3900 kB
Writeback:           0 kB
Mapped:          53976 kB
Slab:            56580 kB
Committed_AS:   652420 kB
PageTables:       1868 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= 66320 MiB
End job on node5 at 2009-07-16 10:27:47