Trace number 367006

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (MO) 1188.48 1188.85

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb
MD5SUM0a6144d2156b2eb66da8c624c6f3d576
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark4.69229
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables16651
Total number of constraints49141
Number of constraints which are clauses49140
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint16380
Number of terms in the objective function 91
Biggest coefficient in the objective function 1237940039285380274899124224
Number of bits for the biggest coefficient in the objective function 91
Sum of the numbers in the objective function 2475880078570760549798248447
Number of bits of the sum of numbers in the objective function 91
Biggest number in a constraint 948568795032094272909893509191171341133987714380927500611236528192824358010355712
Number of bits of the biggest number in a constraint 270
Biggest sum of numbers in a constraint 3794275180128377091639574036150438611441468153567802156940920507153788002840397422
Number of bits of the biggest sum of numbers271
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.49/0.52	c ...done
0.49/0.52	c #vars=16651 #constraints=49143 hasObjective=yes
0.59/0.69	c res. mode=mod
0.59/0.69	c VSIDS like heuristics
0.59/0.69	c complete search running
65.37/65.41	c restart after 401 decisions
66.87/67.00	c nbDecision=500 #constraints=49446
144.85/144.90	c restart after 801 decisions
173.24/173.30	c nbDecision=1000 #constraints=49850
329.70/329.84	c nbDecision=1500 #constraints=50353
367.79/367.95	c restart after 1601 decisions
491.66/491.87	c nbDecision=2000 #constraints=50748
706.90/707.12	c nbDecision=2500 #constraints=51259
944.54/944.84	c nbDecision=3000 #constraints=51740
1053.31/1053.66	c restart after 3201 decisions
1188.12/1188.50	Received signal 15
1188.12/1188.58	
1188.12/1188.58		Unexpected exception :
1188.12/1188.58		St9bad_alloc

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node1/watcher-367006-1177002823 -o ROOT/results/node1/solver-367006-1177002823 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367006-1177002823/instance-367006-1177002823.opb mod 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 5810
/proc/meminfo: memFree=1620712/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1468 CPUtime=0
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 176320131 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 367 164 130 317 0 46 0

[startup+0.0962091 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 5810
/proc/meminfo: memFree=1620712/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=3448 CPUtime=0.09
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 669 0 0 0 9 0 0 0 18 0 1 0 176320131 3530752 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 862 651 130 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.10121 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 5810
/proc/meminfo: memFree=1620712/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=3580 CPUtime=0.09
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 696 0 0 0 9 0 0 0 18 0 1 0 176320131 3665920 678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 895 678 130 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.301233 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 5810
/proc/meminfo: memFree=1620712/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=7932 CPUtime=0.29
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 1783 0 0 0 29 0 0 0 19 0 1 0 176320131 8122368 1732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 1983 1732 130 317 0 1662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7932

[startup+0.701279 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 5810
/proc/meminfo: memFree=1620712/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=17040 CPUtime=0.69
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 4153 0 0 0 68 1 0 0 22 0 1 0 176320131 17448960 4036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 4260 4036 137 317 0 3939 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17040

[startup+1.50137 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 5811
/proc/meminfo: memFree=1603360/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=18900 CPUtime=1.49
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 4703 0 0 0 148 1 0 0 25 0 1 0 176320131 19353600 4520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 4725 4520 139 317 0 4404 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18900

[startup+3.10156 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 5811
/proc/meminfo: memFree=1602976/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=19164 CPUtime=3.09
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 4769 0 0 0 308 1 0 0 25 0 1 0 176320131 19623936 4586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 4791 4586 139 317 0 4470 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19164

[startup+6.30194 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 5811
/proc/meminfo: memFree=1601504/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=21628 CPUtime=6.29
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 5537 0 0 0 627 2 0 0 25 0 1 0 176320131 22147072 4857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270595 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 5407 4857 139 317 0 5086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21628

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 5811
/proc/meminfo: memFree=1572000/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=52920 CPUtime=12.68
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 19526 0 0 0 1262 6 0 0 25 0 1 0 176320131 54190080 12659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 13230 12659 170 317 0 12909 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52920

[startup+25.5012 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 5811
/proc/meminfo: memFree=1533088/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=91888 CPUtime=25.48
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 37109 0 0 0 2535 13 0 0 25 0 1 0 176320131 94093312 22366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 22972 22366 170 317 0 22651 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91888

[startup+51.1012 s]
/proc/loadavg: 0.96 0.97 0.91 2/78 5811
/proc/meminfo: memFree=1470944/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=153276 CPUtime=51.08
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 63814 0 0 0 5085 23 0 0 25 0 1 0 176320131 156954624 37666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 38319 37666 170 317 0 37998 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 153276

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 5811
/proc/meminfo: memFree=1317152/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=306232 CPUtime=102.26
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 133851 0 0 0 10178 48 0 0 25 0 1 0 176320131 313581568 75725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 76558 75725 170 317 0 76237 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 306232

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=1233312/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=391732 CPUtime=162.24
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 177778 0 0 0 16157 67 0 0 25 0 1 0 176320131 401133568 96962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 97933 96963 170 317 0 97612 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 391732

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=1068704/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=555812 CPUtime=222.23
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 245006 0 0 0 22128 95 0 0 25 0 1 0 176320131 569151488 137835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 138953 137835 170 317 0 138632 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 555812

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=947488/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=678604 CPUtime=282.21
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 307354 0 0 0 28102 119 0 0 25 0 1 0 176320131 694890496 168308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 169651 168308 170 317 0 169330 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 678604

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=892512/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=733148 CPUtime=342.2
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 335149 0 0 0 34088 132 0 0 25 0 1 0 176320131 750743552 181853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 183287 181853 170 317 0 182966 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 733148

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=822880/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=802676 CPUtime=402.18
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 370533 0 0 0 40072 146 0 0 25 0 1 0 176320131 821940224 199110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 200669 199110 170 317 0 200348 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 802676

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=661216/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=995720 CPUtime=462.16
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 428565 0 0 0 46049 167 0 0 25 0 1 0 176320131 1019617280 239630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277523 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 248930 239630 170 317 0 248609 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 995720

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=571680/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1078744 CPUtime=522.15
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 472472 0 0 0 52033 182 0 0 25 0 1 0 176320131 1104633856 262064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541535 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 269686 262064 170 317 0 269365 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1078744

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=509600/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1135468 CPUtime=582.13
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 503675 0 0 0 58020 193 0 0 25 0 1 0 176320131 1162719232 277415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718398 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 283867 277415 170 317 0 283546 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1135468

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=437088/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1202000 CPUtime=642.12
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 539027 0 0 0 64005 207 0 0 25 0 1 0 176320131 1230848000 295387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 300500 295387 170 317 0 300179 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1202000

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=363808/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1270744 CPUtime=702.1
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 574544 0 0 0 69989 221 0 0 25 0 1 0 176320131 1301241856 313967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278967 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 317686 313967 170 317 0 317365 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1270744

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=284512/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1342928 CPUtime=762.09
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 612069 0 0 0 75972 237 0 0 25 0 1 0 176320131 1375158272 333447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 335732 333447 170 317 0 335411 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1342928

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=213216/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1416544 CPUtime=822.07
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 649394 0 0 0 81957 250 0 0 25 0 1 0 176320131 1450541056 351712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541590 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 354136 351712 170 317 0 353815 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1416544

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=175712/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1453560 CPUtime=882.05
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 668007 0 0 0 87949 256 0 0 25 0 1 0 176320131 1488445440 360912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554602 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 363390 360912 170 317 0 363069 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1453560

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=119648/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1509008 CPUtime=942.04
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 696724 0 0 0 93936 268 0 0 25 0 1 0 176320131 1545224192 374676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 377252 374676 170 317 0 376931 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1509008

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=75488/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1552908 CPUtime=1002.02
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 718522 0 0 0 99924 278 0 0 25 0 1 0 176320131 1590177792 385601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 388227 385601 170 317 0 387906 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1552908

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=18528/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1610076 CPUtime=1062.01
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 747440 0 0 0 105910 291 0 0 25 0 1 0 176320131 1648717824 399807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 402519 399807 170 317 0 402198 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1610076

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5811
/proc/meminfo: memFree=15136/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1623176 CPUtime=1121.97
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 754331 0 0 0 111903 294 0 0 25 0 1 0 176320131 1662132224 403046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 405794 403046 170 317 0 405473 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1623176

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5813
/proc/meminfo: memFree=15712/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1686896 CPUtime=1181.93
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 787124 0 0 0 117886 307 0 0 25 0 1 0 176320131 1727381504 418862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5810/statm: 421724 418862 170 317 0 421403 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1686896



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1188.5 s]
/proc/loadavg: 0.99 0.97 0.91 4/78 5813
/proc/meminfo: memFree=13472/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=1871800 CPUtime=1188.12
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 818319 0 0 0 118479 333 0 0 25 0 1 0 176320131 1916723200 448387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534235 0 0 4096 17474 0 0 0 17 0 0 0
/proc/5810/statm: 467950 448387 170 317 0 467629 0
Current children cumulated CPU time (s) 1188.12
Current children cumulated vsize (KiB) 1871800

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

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

[startup+1188.61 s]
/proc/loadavg: 0.99 0.97 0.91 4/78 5813
/proc/meminfo: memFree=13472/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=0 CPUtime=1188.22
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194308 821843 0 0 0 118482 340 0 0 25 0 1 0 176320131 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 0 0 0
/proc/5810/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1188.22
Current children cumulated vsize (KiB) 0

[startup+1188.8 s]
/proc/loadavg: 0.99 0.97 0.91 4/78 5813
/proc/meminfo: memFree=13472/2055920 swapFree=4145780/4192956
[pid=5810] ppid=5808 vsize=0 CPUtime=1188.42
/proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194308 821843 0 0 0 118482 360 0 0 25 0 1 0 176320131 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 0 0 0
/proc/5810/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1188.42
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 1188.85
CPU time (s): 1188.48
CPU user time (s): 1184.83
CPU system time (s): 3.65244
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1871800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1184.83
system time used= 3.65244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 821843
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= 8
involuntary context switches= 1405

runsolver used 1.44078 second user time and 2.77558 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Thu Apr 19 17:13:43 UTC 2007

IDJOB= 367006
IDBENCH= 2984
IDSOLVER= 172
FILE ID= node1/367006-1177002823

PBS_JOBID= 4630505

Free space on /tmp= 66355 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb
COMMAND LINE= oree /tmp/evaluation/367006-1177002823/instance-367006-1177002823.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-367006-1177002823 -o ROOT/results/node1/solver-367006-1177002823 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/367006-1177002823/instance-367006-1177002823.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0a6144d2156b2eb66da8c624c6f3d576

RANDOM SEED= 51216769

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.234
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.234
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:       1621184 kB
Buffers:         36260 kB
Cached:         319168 kB
SwapCached:      14356 kB
Active:         238432 kB
Inactive:       139564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1621184 kB
SwapTotal:     4192956 kB
SwapFree:      4145780 kB
Dirty:            3368 kB
Writeback:           0 kB
Mapped:          29424 kB
Slab:            42216 kB
Committed_AS:  5013084 kB
PageTables:       1832 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= 66355 MiB

End job on node1 on Thu Apr 19 17:33:34 UTC 2007