Trace number 2063245

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.2SAT 741.873 746.915

DiagnosticValue
ASSIGNMENTS145559

General information on the benchmark

Namecsp/rand-3-24-24/
normalized-rand-3-24-24-76-632-33_ext.xml
MD5SUM38434596d43f0104d081ed7024cf6a1a
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 benchmark263.651
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c small-domain mode
0.00/0.05	c Seed is 86715533
0.00/0.05	c Constructing HOME/instance-2063245-1247696040.xml  with 76 constraints
0.87/0.99	c Solving 145559 backtracks 20 restarts
741.84/746.91	s SATISFIABLE
741.84/746.91	c V0=4, V1=16, V2=20, V3=1, V4=9, V5=23, V6=15, V7=17, V8=12, V9=9, V10=3, V11=13, V12=8, V13=14, V14=3, V15=0, V16=18, V17=19, V18=4, V19=2, V20=23, V21=9, V22=2, V23=13, 
741.84/746.91	v 4 16 20 1 9 23 15 17 12 9 3 13 8 14 3 0 18 19 4 2 23 9 2 13 
741.84/746.91	d ASSIGNMENTS 145559

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2063245-1247696040/watcher-2063245-1247696040 -o /tmp/evaluation-result-2063245-1247696040/solver-2063245-1247696040 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 86715533 HOME/instance-2063245-1247696040.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: 1.91 1.95 1.67 4/72 10011
/proc/meminfo: memFree=1194552/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=5356 CPUtime=0
/proc/10011/stat : 10011 (pcssolve) S 10009 10011 9843 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 56668071 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10011/statm: 1339 242 201 169 0 50 0
[pid=10012] ppid=10011 vsize=5356 CPUtime=0
/proc/10012/stat : 10012 (pcssolve) R 10011 10011 9843 0 -1 4194368 11 0 0 0 0 0 0 0 19 0 1 0 56668072 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 4293177 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/10012/statm: 1339 241 200 169 0 50 0
[pid=10013] ppid=10011 vsize=5356 CPUtime=0
/proc/10013/stat : 10013 (pcssolve) R 10011 10011 9843 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 56668072 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 269930261799 0 0 4096 0 0 0 0 17 1 0 0
/proc/10013/statm: 1339 244 203 169 0 50 0

[startup+0.014232 s]
/proc/loadavg: 1.91 1.95 1.67 4/72 10011
/proc/meminfo: memFree=1194552/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=5356 CPUtime=0
/proc/10011/stat : 10011 (pcssolve) S 10009 10011 9843 0 -1 4194304 305 172 0 0 0 0 0 0 19 0 1 0 56668071 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1339 242 201 169 0 50 0
[pid=10013] ppid=10011 vsize=3676 CPUtime=0
/proc/10013/stat : 10013 (grep) R 10011 10011 9843 0 -1 4194304 154 0 0 0 0 0 0 0 20 0 1 0 56668072 3764224 121 996147200 4194304 4274172 548682069040 18446744073709551615 269930430546 0 0 4096 0 0 0 0 17 1 0 0
/proc/10013/statm: 919 121 99 19 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9032

[startup+0.101138 s]
/proc/loadavg: 1.91 1.95 1.67 4/72 10011
/proc/meminfo: memFree=1194552/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=5284 CPUtime=0.07
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 931 873 0 0 5 0 1 1 18 0 1 0 56668071 5410816 540 996147200 134512640 135095119 4294956304 18446744073709551615 134769715 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 1321 540 375 142 0 275 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5284

[startup+0.301159 s]
/proc/loadavg: 1.91 1.95 1.67 4/72 10011
/proc/meminfo: memFree=1194552/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=8064 CPUtime=0.27
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 1242 873 0 0 25 0 1 1 19 0 1 0 56668071 8257536 851 996147200 134512640 135095119 4294956304 18446744073709551615 134650083 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 2016 851 375 142 0 970 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8064

[startup+0.701205 s]
/proc/loadavg: 1.91 1.95 1.67 4/72 10011
/proc/meminfo: memFree=1194552/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=13648 CPUtime=0.66
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 1869 873 0 0 64 0 1 1 23 0 1 0 56668071 13975552 1478 996147200 134512640 135095119 4294956304 18446744073709551615 9211490 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 3412 1478 375 142 0 2366 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 13648

[startup+1.50131 s]
/proc/loadavg: 1.91 1.95 1.67 3/73 10017
/proc/meminfo: memFree=1188144/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=17700 CPUtime=1.46
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 2349 873 0 0 143 1 1 1 25 0 1 0 56668071 18124800 1958 996147200 134512640 135095119 4294956304 18446744073709551615 134916512 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 4425 1958 389 142 0 3379 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 17700

[startup+3.10149 s]
/proc/loadavg: 1.91 1.95 1.67 3/73 10017
/proc/meminfo: memFree=1187824/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=17700 CPUtime=3.05
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 2363 873 0 0 302 1 1 1 25 0 1 0 56668071 18124800 1972 996147200 134512640 135095119 4294956304 18446744073709551615 134916470 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 4425 1972 389 142 0 3379 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 17700

[startup+6.30187 s]
/proc/loadavg: 2.00 1.97 1.67 3/73 10017
/proc/meminfo: memFree=1187632/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=17700 CPUtime=6.23
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 2408 873 0 0 620 1 1 1 25 0 1 0 56668071 18124800 2017 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 4425 2017 389 142 0 3379 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 17700

[startup+12.7016 s]
/proc/loadavg: 2.00 1.97 1.67 2/71 10018
/proc/meminfo: memFree=1280768/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=17960 CPUtime=12.58
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 2495 873 0 0 1255 1 1 1 25 0 1 0 56668071 18391040 2104 996147200 134512640 135095119 4294956304 18446744073709551615 134911229 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 4490 2104 389 142 0 3444 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 17960

[startup+25.5011 s]
/proc/loadavg: 1.93 1.96 1.67 3/73 10142
/proc/meminfo: memFree=1275904/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=18476 CPUtime=25.17
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 2722 873 0 0 2513 2 1 1 25 0 1 0 56668071 18919424 2266 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 4619 2266 389 142 0 3573 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 18476

[startup+51.1011 s]
/proc/loadavg: 1.95 1.96 1.68 3/73 10142
/proc/meminfo: memFree=1270432/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=19244 CPUtime=50.58
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 3222 873 0 0 5054 2 1 1 25 0 1 0 56668071 19705856 2572 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 4811 2572 389 142 0 3765 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 19244

[startup+102.306 s]
/proc/loadavg: 1.98 1.96 1.70 3/73 10142
/proc/meminfo: memFree=1261856/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=20780 CPUtime=101.39
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 4216 873 0 0 10134 3 1 1 25 0 1 0 56668071 21278720 3180 996147200 134512640 135095119 4294956304 18446744073709551615 134916512 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 5195 3180 389 142 0 4149 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 20780

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.71 3/73 10142
/proc/meminfo: memFree=1254624/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=22828 CPUtime=160.94
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 5408 873 0 0 16088 4 1 1 25 0 1 0 56668071 23375872 3859 996147200 134512640 135095119 4294956304 18446744073709551615 134916512 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 5707 3859 389 142 0 4661 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 22828

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.73 3/73 10142
/proc/meminfo: memFree=1248544/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=24112 CPUtime=220.48
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 6412 873 0 0 22042 4 1 1 25 0 1 0 56668071 24690688 4606 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 6028 4606 389 142 0 4982 0
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (KiB) 24112

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/73 10142
/proc/meminfo: memFree=1240288/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=28208 CPUtime=280.03
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 8122 873 0 0 27996 5 1 1 25 0 1 0 56668071 28884992 5291 996147200 134512640 135095119 4294956304 18446744073709551615 134910277 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 7052 5291 389 142 0 6006 0
Current children cumulated CPU time (s) 280.03
Current children cumulated vsize (KiB) 28208

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/73 10142
/proc/meminfo: memFree=1231520/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=34068 CPUtime=339.57
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 10062 873 0 0 33948 7 1 1 25 0 1 0 56668071 34885632 6653 996147200 134512640 135095119 4294956304 18446744073709551615 134926976 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 8517 6653 389 142 0 7471 0
Current children cumulated CPU time (s) 339.57
Current children cumulated vsize (KiB) 34068

[startup+402.301 s]
/proc/loadavg: 2.01 1.97 1.77 3/82 10183
/proc/meminfo: memFree=1212888/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=34068 CPUtime=399.34
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 10382 873 0 0 39924 8 1 1 25 0 1 0 56668071 34885632 6973 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 8517 6973 389 142 0 7471 0
Current children cumulated CPU time (s) 399.34
Current children cumulated vsize (KiB) 34068

[startup+462.301 s]
/proc/loadavg: 2.46 2.08 1.81 3/83 10225
/proc/meminfo: memFree=1174936/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=34200 CPUtime=459.02
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 10748 873 0 0 45891 9 1 1 25 0 1 0 56668071 35020800 7339 996147200 134512640 135095119 4294956304 18446744073709551615 134927013 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 8550 7339 389 142 0 7504 0
Current children cumulated CPU time (s) 459.02
Current children cumulated vsize (KiB) 34200

[startup+522.301 s]
/proc/loadavg: 2.46 2.16 1.85 3/83 10309
/proc/meminfo: memFree=1210976/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=43952 CPUtime=518.62
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 13470 873 0 0 51847 13 1 1 25 0 1 0 56668071 45006848 8012 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 10988 8012 389 142 0 9942 0
Current children cumulated CPU time (s) 518.62
Current children cumulated vsize (KiB) 43952

[startup+582.301 s]
/proc/loadavg: 2.38 2.19 1.88 3/83 10309
/proc/meminfo: memFree=1154720/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=45380 CPUtime=578.32
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 14161 873 0 0 57815 15 1 1 25 0 1 0 56668071 46469120 8703 996147200 134512640 135095119 4294956304 18446744073709551615 134554989 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 11345 8703 389 142 0 10299 0
Current children cumulated CPU time (s) 578.32
Current children cumulated vsize (KiB) 45380

[startup+642.301 s]
/proc/loadavg: 2.31 2.20 1.90 3/82 10435
/proc/meminfo: memFree=1226720/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=47080 CPUtime=637.77
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 14934 873 0 0 63758 17 1 1 25 0 1 0 56668071 48209920 9476 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 11770 9476 389 142 0 10724 0
Current children cumulated CPU time (s) 637.77
Current children cumulated vsize (KiB) 47080

[startup+702.301 s]
/proc/loadavg: 2.55 2.28 1.95 3/82 10435
/proc/meminfo: memFree=1218336/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=57912 CPUtime=697.47
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 18126 873 0 0 69726 19 1 1 25 0 1 0 56668071 59301888 11514 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 14478 11514 389 142 0 13432 0
Current children cumulated CPU time (s) 697.47
Current children cumulated vsize (KiB) 57912

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

[startup+716.702 s]
/proc/loadavg: 2.57 2.30 1.96 3/82 10435
/proc/meminfo: memFree=1218016/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=57912 CPUtime=711.8
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 18208 873 0 0 71159 19 1 1 25 0 1 0 56668071 59301888 11596 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 14478 11596 389 142 0 13432 0
Current children cumulated CPU time (s) 711.8
Current children cumulated vsize (KiB) 57912

[startup+729.501 s]
/proc/loadavg: 2.52 2.30 1.96 3/82 10435
/proc/meminfo: memFree=1217632/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=57912 CPUtime=724.53
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 18284 873 0 0 72432 19 1 1 25 0 1 0 56668071 59301888 11672 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 14478 11672 389 142 0 13432 0
Current children cumulated CPU time (s) 724.53
Current children cumulated vsize (KiB) 57912

[startup+735.906 s]
/proc/loadavg: 2.48 2.29 1.96 3/70 10457
/proc/meminfo: memFree=1233096/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=57912 CPUtime=730.88
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 18321 873 0 0 73067 19 1 1 25 0 1 0 56668071 59301888 11709 996147200 134512640 135095119 4294956304 18446744073709551615 134927080 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 14478 11709 389 142 0 13432 0
Current children cumulated CPU time (s) 730.88
Current children cumulated vsize (KiB) 57912

[startup+742.302 s]
/proc/loadavg: 2.44 2.29 1.96 3/70 10457
/proc/meminfo: memFree=1191240/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=57912 CPUtime=737.26
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 18356 873 0 0 73705 19 1 1 25 0 1 0 56668071 59301888 11744 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 1 0 0
/proc/10011/statm: 14478 11744 389 142 0 13432 0
Current children cumulated CPU time (s) 737.26
Current children cumulated vsize (KiB) 57912

[startup+745.501 s]
/proc/loadavg: 2.41 2.28 1.96 3/79 10472
/proc/meminfo: memFree=1165056/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=57912 CPUtime=740.44
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 18374 873 0 0 74022 20 1 1 25 0 1 0 56668071 59301888 11762 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 14478 11762 389 142 0 13432 0
Current children cumulated CPU time (s) 740.44
Current children cumulated vsize (KiB) 57912

[startup+746.301 s]
/proc/loadavg: 2.41 2.28 1.96 3/82 10475
/proc/meminfo: memFree=1152936/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=57912 CPUtime=741.24
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 18379 873 0 0 74101 21 1 1 25 0 1 0 56668071 59301888 11767 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 14478 11767 389 142 0 13432 0
Current children cumulated CPU time (s) 741.24
Current children cumulated vsize (KiB) 57912

[startup+746.701 s]
/proc/loadavg: 2.41 2.28 1.96 3/82 10475
/proc/meminfo: memFree=1152936/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=57912 CPUtime=741.63
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 18381 873 0 0 74140 21 1 1 25 0 1 0 56668071 59301888 11769 996147200 134512640 135095119 4294956304 18446744073709551615 134926990 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 14478 11769 389 142 0 13432 0
Current children cumulated CPU time (s) 741.63
Current children cumulated vsize (KiB) 57912

[startup+746.906 s]
/proc/loadavg: 2.41 2.28 1.96 3/82 10475
/proc/meminfo: memFree=1149672/2055920 swapFree=4192812/4192956
[pid=10011] ppid=10009 vsize=49716 CPUtime=741.84
/proc/10011/stat : 10011 (pcs.small) R 10009 10011 9843 0 -1 4194304 18381 873 0 0 74161 21 1 1 25 0 1 0 56668071 50909184 10631 996147200 134512640 135095119 4294956304 18446744073709551615 9175164 0 0 4096 0 0 0 0 17 0 0 0
/proc/10011/statm: 12429 10631 389 142 0 11383 0
Current children cumulated CPU time (s) 741.84
Current children cumulated vsize (KiB) 49716

Child status: 0
Real time (s): 746.915
CPU time (s): 741.873
CPU user time (s): 741.634
CPU system time (s): 0.238963
CPU usage (%): 99.325
Max. virtual memory (cumulated for all children) (KiB): 62528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 741.634
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19257
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= 22
involuntary context switches= 14831

runsolver used 0.759884 second user time and 1.9797 second system time

The end

Launcher Data 

Begin job on node53 at 2009-07-16 00:14:01
IDJOB=2063245
IDBENCH=53990
IDSOLVER=734
FILE ID=node53/2063245-1247696040
PBS_JOBID= 9521207
Free space on /tmp= 66048 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-33_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2063245-1247696040/watcher-2063245-1247696040 -o /tmp/evaluation-result-2063245-1247696040/solver-2063245-1247696040 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 86715533 HOME/instance-2063245-1247696040.xml

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

MD5SUM BENCH= 38434596d43f0104d081ed7024cf6a1a
RANDOM SEED=86715533

node53.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1195032 kB
Buffers:         70896 kB
Cached:         605840 kB
SwapCached:          0 kB
Active:         276952 kB
Inactive:       511308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1195032 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4660 kB
Writeback:           0 kB
Mapped:         120868 kB
Slab:            57884 kB
Committed_AS:   612512 kB
PageTables:       1932 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= 65984 MiB
End job on node53 at 2009-07-16 00:26:28