Trace number 2090712

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.2UNSAT 1339.49 1341.89

DiagnosticValue
ASSIGNMENTS74914

General information on the benchmark

Namecsp/tightness0.65/
normalized-rand-2-40-40-135-650-75_ext.xml
MD5SUMdf88dbc9978c6f0b33e7d1a27ea0ac7d
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 benchmark6.24105
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.00/0.01	c Seed is 991419730
0.00/0.01	c Constructing HOME/instance-2090712-1247731061.xml  with 213 constraints
0.18/0.21	c Solving 74914 backtracks 19 restarts
1339.38/1341.84	s UNSATISFIABLE
1339.38/1341.84	d ASSIGNMENTS 74914

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2090712-1247731061/watcher-2090712-1247731061 -o /tmp/evaluation-result-2090712-1247731061/solver-2090712-1247731061 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 991419730 HOME/instance-2090712-1247731061.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.10 2.05 2.01 4/73 20047
/proc/meminfo: memFree=1577104/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=2888 CPUtime=0
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 389 656 0 0 0 0 0 0 17 0 1 0 60171120 2957312 35 996147200 134512640 135215973 4294956304 18446744073709551615 4043556 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 734 42 32 171 0 10 0

[startup+0.0563621 s]
/proc/loadavg: 2.10 2.05 2.01 4/73 20047
/proc/meminfo: memFree=1577104/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=5020 CPUtime=0.04
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 903 656 0 0 4 0 0 0 17 0 1 0 60171120 5140480 534 996147200 134512640 135215973 4294956304 18446744073709551615 4478587 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 1255 534 383 171 0 180 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5020

[startup+0.101368 s]
/proc/loadavg: 2.10 2.05 2.01 4/73 20047
/proc/meminfo: memFree=1577104/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=5552 CPUtime=0.08
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 1010 656 0 0 8 0 0 0 17 0 1 0 60171120 5685248 641 996147200 134512640 135215973 4294956304 18446744073709551615 135034044 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 1388 641 383 171 0 313 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5552

[startup+0.301393 s]
/proc/loadavg: 2.10 2.05 2.01 4/73 20047
/proc/meminfo: memFree=1577104/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=7156 CPUtime=0.28
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 1373 656 0 0 28 0 0 0 18 0 1 0 60171120 7327744 1004 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 1789 1004 403 171 0 714 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7156

[startup+0.701443 s]
/proc/loadavg: 2.10 2.05 2.01 4/73 20047
/proc/meminfo: memFree=1577104/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=7156 CPUtime=0.68
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 1381 656 0 0 68 0 0 0 22 0 1 0 60171120 7327744 1012 996147200 134512640 135215973 4294956304 18446744073709551615 135020192 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 1789 1012 403 171 0 714 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7156

[startup+1.50154 s]
/proc/loadavg: 2.10 2.05 2.01 3/74 20052
/proc/meminfo: memFree=1574464/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=7156 CPUtime=1.48
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 1391 656 0 0 148 0 0 0 25 0 1 0 60171120 7327744 1022 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 1789 1022 403 171 0 714 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7156

[startup+3.10274 s]
/proc/loadavg: 2.10 2.05 2.01 3/74 20052
/proc/meminfo: memFree=1574336/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=7156 CPUtime=3.07
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 1417 656 0 0 307 0 0 0 25 0 1 0 60171120 7327744 1048 996147200 134512640 135215973 4294956304 18446744073709551615 4477872 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 1789 1048 403 171 0 714 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7156

[startup+6.30115 s]
/proc/loadavg: 2.09 2.05 2.01 3/74 20052
/proc/meminfo: memFree=1573888/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=7156 CPUtime=6.26
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 1480 656 0 0 626 0 0 0 25 0 1 0 60171120 7327744 1111 996147200 134512640 135215973 4294956304 18446744073709551615 134600145 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 1789 1111 403 171 0 714 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 7156

[startup+12.7019 s]
/proc/loadavg: 2.08 2.05 2.01 3/74 20052
/proc/meminfo: memFree=1572296/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=8604 CPUtime=12.63
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 1860 656 0 0 1263 0 0 0 25 0 1 0 60171120 8810496 1458 996147200 134512640 135215973 4294956304 18446744073709551615 4478587 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 2151 1458 403 171 0 1076 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 8604

[startup+25.5016 s]
/proc/loadavg: 2.06 2.05 2.01 3/74 20052
/proc/meminfo: memFree=1568776/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=11896 CPUtime=25.38
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 2678 656 0 0 2537 1 0 0 25 0 1 0 60171120 12181504 2211 996147200 134512640 135215973 4294956304 18446744073709551615 4478587 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 2974 2211 403 171 0 1899 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 11896

[startup+51.1018 s]
/proc/loadavg: 2.04 2.04 2.00 3/74 20052
/proc/meminfo: memFree=1561864/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=18476 CPUtime=50.89
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 4406 656 0 0 5087 2 0 0 25 0 1 0 60171120 18919424 3810 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 4619 3810 403 171 0 3544 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 18476

[startup+102.306 s]
/proc/loadavg: 2.02 2.04 2.00 3/74 20052
/proc/meminfo: memFree=1547336/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=31496 CPUtime=101.88
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 7838 656 0 0 10185 3 0 0 25 0 1 0 60171120 32251904 6952 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 7874 6952 403 171 0 6799 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 31496

[startup+162.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/84 20094
/proc/meminfo: memFree=1567472/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=44408 CPUtime=161.53
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 11231 656 0 0 16147 6 0 0 25 0 1 0 60171120 45473792 10280 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 0 0 0
/proc/20047/statm: 11102 10280 403 171 0 10027 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 44408

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/84 20100
/proc/meminfo: memFree=1551408/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=60440 CPUtime=221.28
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 15415 656 0 0 22119 9 0 0 25 0 1 0 60171120 61890560 13951 996147200 134512640 135215973 4294956304 18446744073709551615 135013208 0 0 4096 0 0 0 0 17 0 0 0
/proc/20047/statm: 15110 13951 403 171 0 14035 0
Current children cumulated CPU time (s) 221.28
Current children cumulated vsize (KiB) 60440

[startup+282.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/84 20100
/proc/meminfo: memFree=1538032/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=73352 CPUtime=281.03
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 18829 656 0 0 28091 12 0 0 25 0 1 0 60171120 75112448 17236 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/20047/statm: 18338 17236 403 171 0 17263 0
Current children cumulated CPU time (s) 281.03
Current children cumulated vsize (KiB) 73352

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/84 20100
/proc/meminfo: memFree=1524336/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=86144 CPUtime=340.78
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 22176 656 0 0 34064 14 0 0 25 0 1 0 60171120 88211456 20583 996147200 134512640 135215973 4294956304 18446744073709551615 134585632 0 0 4096 0 0 0 0 17 0 0 0
/proc/20047/statm: 21536 20583 403 171 0 20461 0
Current children cumulated CPU time (s) 340.78
Current children cumulated vsize (KiB) 86144

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 20100
/proc/meminfo: memFree=1511472/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=98284 CPUtime=400.54
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 25390 656 0 0 40038 16 0 0 25 0 1 0 60171120 100642816 23797 996147200 134512640 135215973 4294956304 18446744073709551615 135013208 0 0 4096 0 0 0 0 17 0 0 0
/proc/20047/statm: 24571 23797 403 171 0 23496 0
Current children cumulated CPU time (s) 400.54
Current children cumulated vsize (KiB) 98284

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 20100
/proc/meminfo: memFree=1498672/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=114392 CPUtime=460.29
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 29578 656 0 0 46010 19 0 0 25 0 1 0 60171120 117137408 26960 996147200 134512640 135215973 4294956304 18446744073709551615 134533094 0 0 4096 0 0 0 0 17 0 0 0
/proc/20047/statm: 28598 26960 403 171 0 27523 0
Current children cumulated CPU time (s) 460.29
Current children cumulated vsize (KiB) 114392

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1525448/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=127292 CPUtime=520.11
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 32926 656 0 0 51989 22 0 0 25 0 1 0 60171120 130347008 30051 996147200 134512640 135215973 4294956304 18446744073709551615 134600444 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 31823 30051 403 171 0 30748 0
Current children cumulated CPU time (s) 520.11
Current children cumulated vsize (KiB) 127292

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1507976/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=137852 CPUtime=580.09
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 35724 656 0 0 57984 25 0 0 25 0 1 0 60171120 141160448 32849 996147200 134512640 135215973 4294956304 18446744073709551615 134590668 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 34463 32849 403 171 0 33388 0
Current children cumulated CPU time (s) 580.09
Current children cumulated vsize (KiB) 137852

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1489992/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=148536 CPUtime=640.09
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 38562 656 0 0 63981 28 0 0 25 0 1 0 60171120 152100864 35687 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 37134 35687 403 171 0 36059 0
Current children cumulated CPU time (s) 640.09
Current children cumulated vsize (KiB) 148536

[startup+702.302 s]

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

/proc/meminfo: memFree=1462600/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=170072 CPUtime=760.04
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 44219 656 0 0 75971 33 0 0 25 0 1 0 60171120 174153728 41344 996147200 134512640 135215973 4294956304 18446744073709551615 135013099 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 42518 41344 403 171 0 41443 0
Current children cumulated CPU time (s) 760.04
Current children cumulated vsize (KiB) 170072

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1449160/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=179964 CPUtime=820.03
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 46834 656 0 0 81966 37 0 0 25 0 1 0 60171120 184283136 43959 996147200 134512640 135215973 4294956304 18446744073709551615 135013514 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 44991 43959 403 171 0 43916 0
Current children cumulated CPU time (s) 820.03
Current children cumulated vsize (KiB) 179964

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1435208/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=190520 CPUtime=880.01
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 49604 656 0 0 87962 39 0 0 25 0 1 0 60171120 195092480 46729 996147200 134512640 135215973 4294956304 18446744073709551615 134682188 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 47630 46729 403 171 0 46555 0
Current children cumulated CPU time (s) 880.01
Current children cumulated vsize (KiB) 190520

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1422536/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=200012 CPUtime=940
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 52107 656 0 0 93958 42 0 0 25 0 1 0 60171120 204812288 49232 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 50003 49232 403 171 0 48928 0
Current children cumulated CPU time (s) 940
Current children cumulated vsize (KiB) 200012

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1404040/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=217840 CPUtime=999.98
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 56680 656 0 0 99952 46 0 0 25 0 1 0 60171120 223068160 51756 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 54460 51756 403 171 0 53385 0
Current children cumulated CPU time (s) 999.98
Current children cumulated vsize (KiB) 217840

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1393160/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=227208 CPUtime=1059.96
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 59160 656 0 0 105948 48 0 0 25 0 1 0 60171120 232660992 54236 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 56802 54236 403 171 0 55727 0
Current children cumulated CPU time (s) 1059.96
Current children cumulated vsize (KiB) 227208

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1382152/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=236572 CPUtime=1119.94
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 61625 656 0 0 111944 50 0 0 25 0 1 0 60171120 242249728 56701 996147200 134512640 135215973 4294956304 18446744073709551615 134597480 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 59143 56701 403 171 0 58068 0
Current children cumulated CPU time (s) 1119.94
Current children cumulated vsize (KiB) 236572

[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/74 20133
/proc/meminfo: memFree=1369864/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=249444 CPUtime=1179.93
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 64961 656 0 0 117940 53 0 0 25 0 1 0 60171120 255430656 59524 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 62361 59524 403 171 0 61286 0
Current children cumulated CPU time (s) 1179.93
Current children cumulated vsize (KiB) 249444

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/74 20133
/proc/meminfo: memFree=1358536/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=258408 CPUtime=1239.91
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 67323 656 0 0 123936 55 0 0 25 0 1 0 60171120 264609792 61886 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 64602 61886 403 171 0 63527 0
Current children cumulated CPU time (s) 1239.91
Current children cumulated vsize (KiB) 258408

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1347336/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=266984 CPUtime=1299.89
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 69576 656 0 0 129931 58 0 0 25 0 1 0 60171120 273391616 64139 996147200 134512640 135215973 4294956304 18446744073709551615 4158960578 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 66746 64139 403 171 0 65671 0
Current children cumulated CPU time (s) 1299.89
Current children cumulated vsize (KiB) 266984

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

[startup+1305.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1346824/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=267512 CPUtime=1303.09
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 69708 656 0 0 130251 58 0 0 25 0 1 0 60171120 273932288 64271 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 66878 64271 403 171 0 65803 0
Current children cumulated CPU time (s) 1303.09
Current children cumulated vsize (KiB) 267512

[startup+1318.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1344200/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=269360 CPUtime=1315.89
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 70222 656 0 0 131530 59 0 0 25 0 1 0 60171120 275824640 64785 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 67340 64785 403 171 0 66265 0
Current children cumulated CPU time (s) 1315.89
Current children cumulated vsize (KiB) 269360

[startup+1331.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1341576/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=271472 CPUtime=1328.69
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 70752 656 0 0 132809 60 0 0 25 0 1 0 60171120 277987328 65315 996147200 134512640 135215973 4294956304 18446744073709551615 4158960547 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 67868 65315 403 171 0 66793 0
Current children cumulated CPU time (s) 1328.69
Current children cumulated vsize (KiB) 271472

[startup+1337.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1340232/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=272396 CPUtime=1335.09
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 71010 656 0 0 133449 60 0 0 25 0 1 0 60171120 278933504 65573 996147200 134512640 135215973 4294956304 18446744073709551615 134599865 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 68099 65573 403 171 0 67024 0
Current children cumulated CPU time (s) 1335.09
Current children cumulated vsize (KiB) 272396

[startup+1339.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1339976/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=272660 CPUtime=1336.68
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 71072 656 0 0 133608 60 0 0 25 0 1 0 60171120 279203840 65635 996147200 134512640 135215973 4294956304 18446744073709551615 134583366 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 68165 65635 403 171 0 67090 0
Current children cumulated CPU time (s) 1336.68
Current children cumulated vsize (KiB) 272660

[startup+1340.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1339784/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=272924 CPUtime=1338.28
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 71136 656 0 0 133768 60 0 0 25 0 1 0 60171120 279474176 65699 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 68231 65699 403 171 0 67156 0
Current children cumulated CPU time (s) 1338.28
Current children cumulated vsize (KiB) 272924

[startup+1341.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1339592/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=268824 CPUtime=1339.08
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 71156 656 0 0 133848 60 0 0 25 0 1 0 60171120 275275776 65132 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 67206 65132 403 171 0 66131 0
Current children cumulated CPU time (s) 1339.08
Current children cumulated vsize (KiB) 268824

[startup+1341.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1339592/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=268824 CPUtime=1339.28
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 71156 656 0 0 133868 60 0 0 25 0 1 0 60171120 275275776 65132 996147200 134512640 135215973 4294956304 18446744073709551615 134532707 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 67206 65132 403 171 0 66131 0
Current children cumulated CPU time (s) 1339.28
Current children cumulated vsize (KiB) 268824

[startup+1341.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20133
/proc/meminfo: memFree=1339592/2055920 swapFree=4192812/4192956
[pid=20047] ppid=20045 vsize=252436 CPUtime=1339.38
/proc/20047/stat : 20047 (pcs.big) R 20045 20047 19203 0 -1 4194304 71156 656 0 0 133878 60 0 0 25 0 1 0 60171120 258494464 62448 996147200 134512640 135215973 4294956304 18446744073709551615 4472984 0 0 4096 0 0 0 0 17 1 0 0
/proc/20047/statm: 63109 62448 403 171 0 62034 0
Current children cumulated CPU time (s) 1339.38
Current children cumulated vsize (KiB) 252436

Child status: 0
Real time (s): 1341.89
CPU time (s): 1339.49
CPU user time (s): 1338.83
CPU system time (s): 0.657899
CPU usage (%): 99.8211
Max. virtual memory (cumulated for all children) (KiB): 272924

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

runsolver used 1.47078 second user time and 3.42048 second system time

The end

Launcher Data 

Begin job on node92 at 2009-07-16 09:57:41
IDJOB=2090712
IDBENCH=59870
IDSOLVER=734
FILE ID=node92/2090712-1247731061
PBS_JOBID= 9521547
Free space on /tmp= 66300 MiB

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

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

MD5SUM BENCH= df88dbc9978c6f0b33e7d1a27ea0ac7d
RANDOM SEED=991419730

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:       1577584 kB
Buffers:         84084 kB
Cached:         239664 kB
SwapCached:          0 kB
Active:         167684 kB
Inactive:       240484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1577584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2148 kB
Writeback:           0 kB
Mapped:          95864 kB
Slab:            55364 kB
Committed_AS:   562916 kB
PageTables:       2008 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-16 10:20:03