Trace number 2057789

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? 934.898 938.72

DiagnosticValue
ASSIGNMENTS1000000

General information on the benchmark

Namecsp/BH-4-7/
normalized-BlackHole-4-7-h-8_ext.xml
MD5SUMc096ffa3df6241d5684b321eb04ac13a
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 benchmark0.046992
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1261
Maximum constraint arity2
Maximum domain size28
Number of constraints which are defined in extension1261
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.01	c Seed is 2108945993
0.00/0.01	c Constructing HOME/instance-2057789-1247694232.xml  with 11916 constraints
0.00/0.04	c Solving 1000001 backtracks 25 restarts
934.86/938.71	s UNKNOWN
934.86/938.71	c Too many backtracks
934.86/938.71	d ASSIGNMENTS 1000001

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2057789-1247694232/watcher-2057789-1247694232 -o /tmp/evaluation-result-2057789-1247694232/solver-2057789-1247694232 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2108945993 HOME/instance-2057789-1247694232.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: 0.00 0.00 0.00 3/68 12177
/proc/meminfo: memFree=1187408/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=5356 CPUtime=0
/proc/12177/stat : 12177 (pcssolve) R 12175 12177 12047 0 -1 4194304 290 0 0 0 0 0 0 0 20 0 1 0 56488226 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251279239839 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12177/statm: 1339 241 200 169 0 50 0
[pid=12178] ppid=12177 vsize=0 CPUtime=0
/proc/12178/stat : 12178 (fgrep) Z 12177 12177 12047 0 -1 4194316 155 0 0 0 0 0 0 0 20 0 1 0 56488227 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/12178/statm: 0 0 0 0 0 0 0
[pid=12179] ppid=12177 vsize=200 CPUtime=0
/proc/12179/stat : 12179 (grep) R 12177 12177 12047 0 -1 4194304 46 0 0 0 0 0 0 0 20 0 1 0 56488227 204800 24 996147200 4194304 4274172 548682069040 18446744073709551615 251276621193 0 0 4096 0 0 0 0 17 1 0 0
/proc/12179/statm: 332 31 24 19 0 4 0

[startup+0.00922195 s]
/proc/loadavg: 0.00 0.00 0.00 3/68 12177
/proc/meminfo: memFree=1187408/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=5356 CPUtime=0
/proc/12177/stat : 12177 (pcssolve) R 12175 12177 12047 0 -1 4194304 348 650 0 0 0 0 0 0 16 0 1 0 56488226 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 251279239839 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12177/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101229 s]
/proc/loadavg: 0.00 0.00 0.00 3/68 12177
/proc/meminfo: memFree=1187408/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=6232 CPUtime=0.08
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 1372 823 0 0 8 0 0 0 18 0 1 0 56488226 6381568 883 996147200 134512640 135095119 4294956304 18446744073709551615 134589648 0 0 4096 0 0 0 0 17 1 0 0
/proc/12177/statm: 1558 883 390 142 0 512 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6232

[startup+0.301254 s]
/proc/loadavg: 0.00 0.00 0.00 3/68 12177
/proc/meminfo: memFree=1187408/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=6360 CPUtime=0.28
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 1399 823 0 0 28 0 0 0 19 0 1 0 56488226 6512640 910 996147200 134512640 135095119 4294956304 18446744073709551615 134916474 0 0 4096 0 0 0 0 17 1 0 0
/proc/12177/statm: 1590 910 390 142 0 544 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6360

[startup+0.701303 s]
/proc/loadavg: 0.00 0.00 0.00 3/68 12177
/proc/meminfo: memFree=1187408/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=6776 CPUtime=0.68
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 1523 823 0 0 68 0 0 0 23 0 1 0 56488226 6938624 1034 996147200 134512640 135095119 4294956304 18446744073709551615 134927080 0 0 4096 0 0 0 0 17 1 0 0
/proc/12177/statm: 1694 1034 390 142 0 648 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6776

[startup+1.50141 s]
/proc/loadavg: 0.00 0.00 0.00 2/69 12183
/proc/meminfo: memFree=1183944/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=8332 CPUtime=1.47
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 2000 823 0 0 147 0 0 0 25 0 1 0 56488226 8531968 1284 996147200 134512640 135095119 4294956304 18446744073709551615 134840370 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 2083 1284 390 142 0 1037 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8332

[startup+3.10161 s]
/proc/loadavg: 0.16 0.03 0.01 3/74 12198
/proc/meminfo: memFree=1176856/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=10140 CPUtime=3.07
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 2593 823 0 0 307 0 0 0 25 0 1 0 56488226 10383360 1748 996147200 134512640 135095119 4294956304 18446744073709551615 134840384 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 2535 1748 390 142 0 1489 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10140

[startup+6.30201 s]
/proc/loadavg: 0.16 0.03 0.01 3/74 12198
/proc/meminfo: memFree=1169304/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=14136 CPUtime=6.26
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 3950 823 0 0 625 1 0 0 25 0 1 0 56488226 14475264 2558 996147200 134512640 135095119 4294956304 18446744073709551615 134589539 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 3534 2558 390 142 0 2488 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14136

[startup+12.7018 s]
/proc/loadavg: 0.31 0.07 0.02 3/74 12198
/proc/meminfo: memFree=1156696/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=22656 CPUtime=12.63
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 6621 823 0 0 1261 2 0 0 25 0 1 0 56488226 23199744 4203 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 5664 4203 390 142 0 4618 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 22656

[startup+25.5014 s]
/proc/loadavg: 0.68 0.16 0.05 3/74 12198
/proc/meminfo: memFree=1129624/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=41140 CPUtime=25.37
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 12296 823 0 0 2532 5 0 0 25 0 1 0 56488226 42127360 7828 996147200 134512640 135095119 4294956304 18446744073709551615 134916470 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 10285 7828 390 142 0 9239 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 41140

[startup+51.1016 s]
/proc/loadavg: 1.13 0.31 0.10 3/74 12198
/proc/meminfo: memFree=1108376/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=52288 CPUtime=50.87
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 16561 823 0 0 5079 8 0 0 25 0 1 0 56488226 53542912 10044 996147200 134512640 135095119 4294956304 18446744073709551615 134607027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 13072 10044 390 142 0 12026 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 52288

[startup+102.307 s]
/proc/loadavg: 1.65 0.59 0.21 3/74 12198
/proc/meminfo: memFree=1040472/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=99280 CPUtime=101.87
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 30992 823 0 0 10168 19 0 0 25 0 1 0 56488226 101662720 18329 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 24820 18329 390 142 0 23774 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 99280

[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.31 3/74 12198
/proc/meminfo: memFree=1019608/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=100964 CPUtime=161.62
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 33654 823 0 0 16141 21 0 0 25 0 1 0 56488226 103387136 20991 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 25241 20991 390 142 0 24195 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 100964

[startup+222.302 s]
/proc/loadavg: 1.95 1.05 0.42 3/74 12198
/proc/meminfo: memFree=978136/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=112716 CPUtime=221.38
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 38834 823 0 0 22111 27 0 0 25 0 1 0 56488226 115421184 26171 996147200 134512640 135095119 4294956304 18446744073709551615 134838306 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 28179 26171 390 142 0 27133 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 112716

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/74 12198
/proc/meminfo: memFree=938840/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=195252 CPUtime=281.13
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 61373 823 0 0 28074 39 0 0 25 0 1 0 56488226 199938048 36420 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 48813 36420 390 142 0 47767 0
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (KiB) 195252

[startup+342.302 s]
/proc/loadavg: 1.99 1.35 0.60 3/74 12198
/proc/meminfo: memFree=879256/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=195252 CPUtime=340.88
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 63373 823 0 0 34047 41 0 0 25 0 1 0 56488226 199938048 38420 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 48813 38420 390 142 0 47767 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 195252

[startup+402.301 s]
/proc/loadavg: 1.99 1.47 0.68 3/74 12198
/proc/meminfo: memFree=861016/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=197572 CPUtime=400.64
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 65695 823 0 0 40020 44 0 0 25 0 1 0 56488226 202313728 40742 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 49393 40742 390 142 0 48347 0
Current children cumulated CPU time (s) 400.64
Current children cumulated vsize (KiB) 197572

[startup+462.302 s]
/proc/loadavg: 1.99 1.56 0.76 3/74 12198
/proc/meminfo: memFree=835928/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=204280 CPUtime=460.41
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 68809 823 0 0 45992 49 0 0 25 0 1 0 56488226 209182720 43856 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 51070 43856 390 142 0 50024 0
Current children cumulated CPU time (s) 460.41
Current children cumulated vsize (KiB) 204280

[startup+522.301 s]
/proc/loadavg: 1.99 1.64 0.84 3/74 12200
/proc/meminfo: memFree=812248/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=210696 CPUtime=520.15
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 71780 823 0 0 51963 52 0 0 25 0 1 0 56488226 215752704 46827 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 52674 46827 390 142 0 51628 0
Current children cumulated CPU time (s) 520.15
Current children cumulated vsize (KiB) 210696

[startup+582.302 s]
/proc/loadavg: 1.99 1.70 0.91 3/74 12200
/proc/meminfo: memFree=788440/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=217268 CPUtime=579.91
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 74737 823 0 0 57936 55 0 0 25 0 1 0 56488226 222482432 49784 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 54317 49784 390 142 0 53271 0
Current children cumulated CPU time (s) 579.91
Current children cumulated vsize (KiB) 217268

[startup+642.301 s]
/proc/loadavg: 1.99 1.76 0.98 3/74 12200
/proc/meminfo: memFree=764568/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=223840 CPUtime=639.67
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 77718 823 0 0 63908 59 0 0 25 0 1 0 56488226 229212160 52765 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 55960 52765 390 142 0 54914 0
Current children cumulated CPU time (s) 639.67
Current children cumulated vsize (KiB) 223840

[startup+702.302 s]
/proc/loadavg: 1.99 1.80 1.03 3/74 12200
/proc/meminfo: memFree=742872/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=229776 CPUtime=699.42
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 80455 823 0 0 69880 62 0 0 25 0 1 0 56488226 235290624 55502 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 57444 55502 390 142 0 56398 0
Current children cumulated CPU time (s) 699.42
Current children cumulated vsize (KiB) 229776

[startup+762.306 s]
/proc/loadavg: 1.99 1.83 1.10 3/74 12200
/proc/meminfo: memFree=722840/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=300468 CPUtime=759.18
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 99289 823 0 0 75846 72 0 0 25 0 1 0 56488226 307679232 57951 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 75117 57951 390 142 0 74071 0
Current children cumulated CPU time (s) 759.18
Current children cumulated vsize (KiB) 300468

[startup+822.302 s]
/proc/loadavg: 1.99 1.86 1.15 3/74 12200
/proc/meminfo: memFree=704472/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=305360 CPUtime=818.94
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 101603 823 0 0 81819 75 0 0 25 0 1 0 56488226 312688640 60265 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 76340 60265 390 142 0 75294 0
Current children cumulated CPU time (s) 818.94
Current children cumulated vsize (KiB) 305360

[startup+882.301 s]
/proc/loadavg: 2.12 1.91 1.21 3/74 12200
/proc/meminfo: memFree=685464/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=310412 CPUtime=878.69
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 103953 823 0 0 87791 78 0 0 25 0 1 0 56488226 317861888 62615 996147200 134512640 135095119 4294956304 18446744073709551615 134638356 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 77603 62615 390 142 0 76557 0
Current children cumulated CPU time (s) 878.69
Current children cumulated vsize (KiB) 310412

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

[startup+895.902 s]
/proc/loadavg: 2.10 1.91 1.22 3/74 12200
/proc/meminfo: memFree=681176/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=311696 CPUtime=892.24
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 104510 823 0 0 89146 78 0 0 25 0 1 0 56488226 319176704 63172 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 77924 63172 390 142 0 76878 0
Current children cumulated CPU time (s) 892.24
Current children cumulated vsize (KiB) 311696

[startup+921.502 s]
/proc/loadavg: 2.06 1.92 1.24 3/74 12200
/proc/meminfo: memFree=672792/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=314024 CPUtime=917.73
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 105556 823 0 0 91693 80 0 0 25 0 1 0 56488226 321560576 64218 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 78506 64218 390 142 0 77460 0
Current children cumulated CPU time (s) 917.73
Current children cumulated vsize (KiB) 314024

[startup+927.901 s]
/proc/loadavg: 2.05 1.92 1.25 3/74 12200
/proc/meminfo: memFree=670936/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=314536 CPUtime=924.11
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 105789 823 0 0 92331 80 0 0 25 0 1 0 56488226 322084864 64451 996147200 134512640 135095119 4294956304 18446744073709551615 134643125 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 78634 64451 390 142 0 77588 0
Current children cumulated CPU time (s) 924.11
Current children cumulated vsize (KiB) 314536

[startup+934.302 s]
/proc/loadavg: 2.05 1.92 1.25 3/74 12200
/proc/meminfo: memFree=668952/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=315048 CPUtime=930.49
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 106026 823 0 0 92968 81 0 0 25 0 1 0 56488226 322609152 64688 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 78762 64688 390 142 0 77716 0
Current children cumulated CPU time (s) 930.49
Current children cumulated vsize (KiB) 315048

[startup+935.901 s]
/proc/loadavg: 2.05 1.92 1.25 3/74 12200
/proc/meminfo: memFree=668568/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=315176 CPUtime=932.08
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 106094 823 0 0 93127 81 0 0 25 0 1 0 56488226 322740224 64756 996147200 134512640 135095119 4294956304 18446744073709551615 134616997 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 78794 64756 390 142 0 77748 0
Current children cumulated CPU time (s) 932.08
Current children cumulated vsize (KiB) 315176

[startup+937.502 s]
/proc/loadavg: 2.12 1.94 1.26 3/74 12200
/proc/meminfo: memFree=667928/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=315304 CPUtime=933.67
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 106156 823 0 0 93286 81 0 0 25 0 1 0 56488226 322871296 64818 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 78826 64818 390 142 0 77780 0
Current children cumulated CPU time (s) 933.67
Current children cumulated vsize (KiB) 315304

[startup+938.306 s]
/proc/loadavg: 2.12 1.94 1.26 3/74 12200
/proc/meminfo: memFree=777880/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=151456 CPUtime=934.47
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 106167 823 0 0 93365 82 0 0 25 0 1 0 56488226 155090944 37220 996147200 134512640 135095119 4294956304 18446744073709551615 4472947 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 37864 37220 390 142 0 36818 0
Current children cumulated CPU time (s) 934.47
Current children cumulated vsize (KiB) 151456

[startup+938.703 s]
/proc/loadavg: 2.12 1.94 1.26 3/74 12200
/proc/meminfo: memFree=777880/2055920 swapFree=4192812/4192956
[pid=12177] ppid=12175 vsize=151456 CPUtime=934.86
/proc/12177/stat : 12177 (pcs.small) R 12175 12177 12047 0 -1 4194304 106167 823 0 0 93403 83 0 0 25 0 1 0 56488226 155090944 25956 996147200 134512640 135095119 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12177/statm: 37864 25956 390 142 0 36818 0
Current children cumulated CPU time (s) 934.86
Current children cumulated vsize (KiB) 151456

Child status: 0
Real time (s): 938.72
CPU time (s): 934.898
CPU user time (s): 934.039
CPU system time (s): 0.858869
CPU usage (%): 99.5929
Max. virtual memory (cumulated for all children) (KiB): 360984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 934.039
system time used= 0.858869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106993
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= 21
involuntary context switches= 12662

runsolver used 0.875866 second user time and 2.54361 second system time

The end

Launcher Data 

Begin job on node92 at 2009-07-15 23:43:52
IDJOB=2057789
IDBENCH=53412
IDSOLVER=734
FILE ID=node92/2057789-1247694232
PBS_JOBID= 9521134
Free space on /tmp= 66308 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/BH-4-7/normalized-BlackHole-4-7-h-8_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2057789-1247694232/watcher-2057789-1247694232 -o /tmp/evaluation-result-2057789-1247694232/solver-2057789-1247694232 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2108945993 HOME/instance-2057789-1247694232.xml

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

MD5SUM BENCH= c096ffa3df6241d5684b321eb04ac13a
RANDOM SEED=2108945993

node92.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.216
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.216
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:       1187888 kB
Buffers:         72280 kB
Cached:         707000 kB
SwapCached:          0 kB
Active:         209944 kB
Inactive:       584556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1187888 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1800 kB
Writeback:           0 kB
Mapped:          24984 kB
Slab:            59176 kB
Committed_AS:   449672 kB
PageTables:       1692 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= 66304 MiB
End job on node92 at 2009-07-15 23:59:31