Trace number 2091635

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.08 1808.22

General information on the benchmark

Namecsp/rand-2-50-23-fcd/
normalized-rand-2-50-23-587-230-fcd-6_ext.xml
MD5SUM7f2d2327623084e747bb08ceac3e36d8
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark259.407
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints475
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension475
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.02	c Seed is 905782935
0.00/0.02	c Constructing HOME/instance-2091635-1247733002.xml  with 10899 constraints
0.08/0.18	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-2091635-1247733002/watcher-2091635-1247733002 -o /tmp/evaluation-result-2091635-1247733002/solver-2091635-1247733002 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 905782935 HOME/instance-2091635-1247733002.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.00 2.00 2.00 4/72 15735
/proc/meminfo: memFree=1555552/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=5356 CPUtime=0
/proc/15735/stat : 15735 (pcssolve) S 15733 15735 15125 0 -1 4194304 305 155 0 0 0 0 0 0 19 0 1 0 60366496 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15735/statm: 1339 242 201 169 0 50 0
[pid=15737] ppid=15735 vsize=5356 CPUtime=0
/proc/15737/stat : 15737 (pcssolve) R 15735 15735 15125 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 60366497 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 233588714791 0 0 4096 0 0 0 0 17 1 0 0
/proc/15737/statm: 1339 244 203 169 0 50 0

[startup+0.0467491 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15735
/proc/meminfo: memFree=1555552/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=4772 CPUtime=0.02
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 910 822 0 0 2 0 0 0 22 0 1 0 60366496 4886528 519 996147200 134512640 135095119 4294956304 18446744073709551615 4159198545 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 1193 519 364 142 0 147 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4772

[startup+0.101756 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15735
/proc/meminfo: memFree=1555552/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=5696 CPUtime=0.08
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 1142 822 0 0 8 0 0 0 22 0 1 0 60366496 5832704 751 996147200 134512640 135095119 4294956304 18446744073709551615 11153031 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 1424 751 364 142 0 378 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5696

[startup+0.301793 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15735
/proc/meminfo: memFree=1555552/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=8120 CPUtime=0.27
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 1805 822 0 0 27 0 0 0 24 0 1 0 60366496 8314880 1316 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 2030 1316 378 142 0 984 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8120

[startup+0.701866 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15735
/proc/meminfo: memFree=1555552/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=8120 CPUtime=0.67
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 1808 822 0 0 67 0 0 0 25 0 1 0 60366496 8314880 1319 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 2030 1319 378 142 0 984 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8120

[startup+1.50201 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15741
/proc/meminfo: memFree=1551512/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=8120 CPUtime=1.46
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 1813 822 0 0 146 0 0 0 25 0 1 0 60366496 8314880 1324 996147200 134512640 135095119 4294956304 18446744073709551615 134570991 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 2030 1324 378 142 0 984 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8120

[startup+3.10152 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15741
/proc/meminfo: memFree=1551320/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=8120 CPUtime=3.05
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 1826 822 0 0 305 0 0 0 25 0 1 0 60366496 8314880 1337 996147200 134512640 135095119 4294956304 18446744073709551615 134636914 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 2030 1337 378 142 0 984 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8120

[startup+6.30188 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15741
/proc/meminfo: memFree=1551000/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=8120 CPUtime=6.22
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 1847 822 0 0 622 0 0 0 25 0 1 0 60366496 8314880 1358 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 2030 1358 378 142 0 984 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8120

[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1549912/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=9660 CPUtime=12.58
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 2152 822 0 0 1257 1 0 0 25 0 1 0 60366496 9891840 1534 996147200 134512640 135095119 4294956304 18446744073709551615 134591667 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 2415 1534 378 142 0 1369 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 9660

[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1548312/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=11212 CPUtime=25.26
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 2695 822 0 0 2525 1 0 0 25 0 1 0 60366496 11481088 1820 996147200 134512640 135095119 4294956304 18446744073709551615 134638384 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 2803 1820 378 142 0 1757 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 11212

[startup+51.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15741
/proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=14216 CPUtime=50.64
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 3710 822 0 0 5062 2 0 0 25 0 1 0 60366496 14557184 2578 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 3554 2578 378 142 0 2508 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 14216

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1537880/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=18240 CPUtime=101.48
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 5102 822 0 0 10144 4 0 0 25 0 1 0 60366496 18677760 3457 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 4560 3457 378 142 0 3514 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 18240

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1528856/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=24908 CPUtime=161.19
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 7160 822 0 0 16113 6 0 0 25 0 1 0 60366496 25505792 5002 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 6227 5002 378 142 0 5181 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 24908

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1525016/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=29004 CPUtime=220.9
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 8507 822 0 0 22083 7 0 0 25 0 1 0 60366496 29700096 5324 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 7251 5324 378 142 0 6205 0
Current children cumulated CPU time (s) 220.9
Current children cumulated vsize (KiB) 29004

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1519832/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=30456 CPUtime=280.61
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 9176 822 0 0 28053 8 0 0 25 0 1 0 60366496 31186944 5993 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 7614 5993 378 142 0 6568 0
Current children cumulated CPU time (s) 280.61
Current children cumulated vsize (KiB) 30456

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1514584/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=32040 CPUtime=340.31
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 9838 822 0 0 34022 9 0 0 25 0 1 0 60366496 32808960 6655 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 8010 6655 378 142 0 6964 0
Current children cumulated CPU time (s) 340.31
Current children cumulated vsize (KiB) 32040

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1509784/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=33492 CPUtime=400.02
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 10472 822 0 0 39992 10 0 0 25 0 1 0 60366496 34295808 7289 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 8373 7289 378 142 0 7327 0
Current children cumulated CPU time (s) 400.02
Current children cumulated vsize (KiB) 33492

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1504792/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=34940 CPUtime=459.73
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 11073 822 0 0 45962 11 0 0 25 0 1 0 60366496 35778560 7890 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 8735 7890 378 142 0 7689 0
Current children cumulated CPU time (s) 459.73
Current children cumulated vsize (KiB) 34940

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1486296/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=44584 CPUtime=519.44
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 13740 822 0 0 51930 14 0 0 25 0 1 0 60366496 45654016 8508 996147200 134512640 135095119 4294956304 18446744073709551615 11128549 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 11146 8508 378 142 0 10100 0
Current children cumulated CPU time (s) 519.44
Current children cumulated vsize (KiB) 44584

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15741
/proc/meminfo: memFree=1477656/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=55280 CPUtime=579.14
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 16665 822 0 0 57899 15 0 0 25 0 1 0 60366496 56606720 10408 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 13820 10408 378 142 0 12774 0
Current children cumulated CPU time (s) 579.14
Current children cumulated vsize (KiB) 55280

[startup+642.303 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1475544/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=55280 CPUtime=638.86
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 16895 822 0 0 63870 16 0 0 25 0 1 0 60366496 56606720 10638 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 13820 10638 378 142 0 12774 0
Current children cumulated CPU time (s) 638.86

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1469784/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=55808 CPUtime=817.97
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 17692 822 0 0 81780 17 0 0 25 0 1 0 60366496 57147392 11435 996147200 134512640 135095119 4294956304 18446744073709551615 134617349 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 13952 11435 378 142 0 12906 0
Current children cumulated CPU time (s) 817.97
Current children cumulated vsize (KiB) 55808

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1466776/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=56996 CPUtime=877.67
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 18184 822 0 0 87750 17 0 0 25 0 1 0 60366496 58363904 11927 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 14249 11927 378 142 0 13203 0
Current children cumulated CPU time (s) 877.67
Current children cumulated vsize (KiB) 56996

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1464088/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=57920 CPUtime=937.39
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 18638 822 0 0 93721 18 0 0 25 0 1 0 60366496 59310080 12381 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 14480 12381 378 142 0 13434 0
Current children cumulated CPU time (s) 937.39
Current children cumulated vsize (KiB) 57920

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1461272/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=58976 CPUtime=997.09
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 19096 822 0 0 99691 18 0 0 25 0 1 0 60366496 60391424 12839 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 14744 12839 378 142 0 13698 0
Current children cumulated CPU time (s) 997.09
Current children cumulated vsize (KiB) 58976

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1458520/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=60160 CPUtime=1056.8
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 19565 822 0 0 105661 19 0 0 25 0 1 0 60366496 61603840 13308 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 15040 13308 378 142 0 13994 0
Current children cumulated CPU time (s) 1056.8
Current children cumulated vsize (KiB) 60160

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15741
/proc/meminfo: memFree=1455704/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=61216 CPUtime=1116.5
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 20008 822 0 0 111631 19 0 0 25 0 1 0 60366496 62685184 13751 996147200 134512640 135095119 4294956304 18446744073709551615 134642869 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 15304 13751 378 142 0 14258 0
Current children cumulated CPU time (s) 1116.5
Current children cumulated vsize (KiB) 61216

[startup+1182.3 s]
/proc/loadavg: 1.94 1.98 1.99 4/82 16049
/proc/meminfo: memFree=1544648/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=62272 CPUtime=1175.83
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 20485 822 0 0 117562 21 0 0 25 0 1 0 60366496 63766528 14228 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 15568 14228 378 142 0 14522 0
Current children cumulated CPU time (s) 1175.83
Current children cumulated vsize (KiB) 62272

[startup+1242.3 s]
/proc/loadavg: 1.45 1.84 1.94 2/68 16531
/proc/meminfo: memFree=1554000/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=63328 CPUtime=1235.11
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 20951 822 0 0 123485 26 0 0 25 0 1 0 60366496 64847872 14694 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 0 0 0
/proc/15735/statm: 15832 14694 378 142 0 14786 0
Current children cumulated CPU time (s) 1235.11
Current children cumulated vsize (KiB) 63328

[startup+1302.3 s]
/proc/loadavg: 1.16 1.69 1.88 2/65 16735
/proc/meminfo: memFree=1553128/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=80776 CPUtime=1294.9
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 25507 822 0 0 129458 32 0 0 25 0 1 0 60366496 82714624 15153 996147200 134512640 135095119 4294956304 18446744073709551615 134578928 0 0 4096 0 0 0 0 17 0 0 0
/proc/15735/statm: 20194 15153 378 142 0 19148 0
Current children cumulated CPU time (s) 1294.9
Current children cumulated vsize (KiB) 80776

[startup+1362.3 s]
/proc/loadavg: 1.06 1.56 1.82 2/68 16929
/proc/meminfo: memFree=1549712/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=81964 CPUtime=1354.66
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 25986 822 0 0 135431 35 0 0 25 0 1 0 60366496 83931136 15632 996147200 134512640 135095119 4294956304 18446744073709551615 134607070 0 0 4096 0 0 0 0 17 0 0 0
/proc/15735/statm: 20491 15632 378 142 0 19445 0
Current children cumulated CPU time (s) 1354.66
Current children cumulated vsize (KiB) 81964

[startup+1422.31 s]
/proc/loadavg: 1.02 1.45 1.77 2/68 17061
/proc/meminfo: memFree=1547728/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=83020 CPUtime=1414.49
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 26435 822 0 0 141411 38 0 0 25 0 1 0 60366496 85012480 16081 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/15735/statm: 20755 16081 378 142 0 19709 0
Current children cumulated CPU time (s) 1414.49
Current children cumulated vsize (KiB) 83020

[startup+1482.3 s]
/proc/loadavg: 1.00 1.37 1.72 2/68 17160
/proc/meminfo: memFree=1545600/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=84076 CPUtime=1474.36
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 26911 822 0 0 147395 41 0 0 25 0 1 0 60366496 86093824 16557 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15735/statm: 21019 16557 378 142 0 19973 0
Current children cumulated CPU time (s) 1474.36
Current children cumulated vsize (KiB) 84076

[startup+1542.3 s]
/proc/loadavg: 1.00 1.30 1.67 2/65 17230
/proc/meminfo: memFree=1544936/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=85132 CPUtime=1534.28
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 27363 822 0 0 153383 45 0 0 25 0 1 0 60366496 87175168 17009 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15735/statm: 21283 17009 378 142 0 20237 0
Current children cumulated CPU time (s) 1534.28
Current children cumulated vsize (KiB) 85132

[startup+1602.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/65 17230
/proc/meminfo: memFree=1543144/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=86320 CPUtime=1594.24
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 27840 822 0 0 159379 45 0 0 25 0 1 0 60366496 88391680 17486 996147200 134512640 135095119 4294956304 18446744073709551615 134555000 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 21580 17486 378 142 0 20534 0
Current children cumulated CPU time (s) 1594.24
Current children cumulated vsize (KiB) 86320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.20 1.58 2/65 17230
/proc/meminfo: memFree=1541416/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=87244 CPUtime=1654.21
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 28260 822 0 0 165376 45 0 0 25 0 1 0 60366496 89337856 17906 996147200 134512640 135095119 4294956304 18446744073709551615 134643125 0 0 4096 0 0 0 0 17 0 0 0
/proc/15735/statm: 21811 17906 378 142 0 20765 0
Current children cumulated CPU time (s) 1654.21
Current children cumulated vsize (KiB) 87244

[startup+1722.3 s]
/proc/loadavg: 1.00 1.16 1.54 2/65 17230
/proc/meminfo: memFree=1539624/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=88308 CPUtime=1714.19
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 28703 822 0 0 171373 46 0 0 25 0 1 0 60366496 90427392 18349 996147200 134512640 135095119 4294956304 18446744073709551615 134637401 0 0 4096 0 0 0 0 17 0 0 0
/proc/15735/statm: 22077 18349 378 142 0 21031 0
Current children cumulated CPU time (s) 1714.19
Current children cumulated vsize (KiB) 88308

[startup+1782.3 s]
/proc/loadavg: 1.00 1.13 1.51 2/65 17230
/proc/meminfo: memFree=1525416/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=109964 CPUtime=1774.16
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 34293 822 0 0 177367 49 0 0 25 0 1 0 60366496 112603136 21890 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15735/statm: 27491 21890 378 142 0 26445 0
Current children cumulated CPU time (s) 1774.16
Current children cumulated vsize (KiB) 109964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.2 s]
/proc/loadavg: 1.00 1.11 1.49 2/65 17230
/proc/meminfo: memFree=1525096/2055920 swapFree=4192812/4192956
[pid=15735] ppid=15733 vsize=109964 CPUtime=1800.05
/proc/15735/stat : 15735 (pcs.small) R 15733 15735 15125 0 -1 4194304 34367 822 0 0 179956 49 0 0 25 0 1 0 60366496 112603136 21964 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15735/statm: 27491 21964 378 142 0 26445 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 109964

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.22
CPU time (s): 1800.08
CPU user time (s): 1799.57
CPU system time (s): 0.515921
CPU usage (%): 99.55
Max. virtual memory (cumulated for all children) (KiB): 115652

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

runsolver used 1.88071 second user time and 5.70913 second system time

The end

Launcher Data 

Begin job on node27 at 2009-07-16 10:30:02
IDJOB=2091635
IDBENCH=60095
IDSOLVER=733
FILE ID=node27/2091635-1247733002
PBS_JOBID= 9521563
Free space on /tmp= 66244 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-6_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091635-1247733002/watcher-2091635-1247733002 -o /tmp/evaluation-result-2091635-1247733002/solver-2091635-1247733002 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 905782935 HOME/instance-2091635-1247733002.xml

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

MD5SUM BENCH= 7f2d2327623084e747bb08ceac3e36d8
RANDOM SEED=905782935

node27.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		: 2800.239
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	: 5521.40
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		: 2800.239
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:       1556040 kB
Buffers:         78008 kB
Cached:         276544 kB
SwapCached:          0 kB
Active:         121856 kB
Inactive:       305904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1556040 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2124 kB
Writeback:           0 kB
Mapped:          84528 kB
Slab:            57392 kB
Committed_AS:   632792 kB
PageTables:       1852 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66244 MiB
End job on node27 at 2009-07-16 11:00:13