Trace number 367156

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? (TO) 1802.34 1803.05

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb
MD5SUMfc1ab74e36340948f29ab602078975e1
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 benchmark2.98055
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 variables7501
Total number of constraints21961
Number of constraints which are clauses21960
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 constraint7320
Number of terms in the objective function 61
Biggest coefficient in the objective function 1152921504606846976
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 2305843009213693951
Number of bits of the sum of numbers in the objective function 61
Biggest number in a constraint 766247770432944429179173513575154591809369561091801088
Number of bits of the biggest number in a constraint 180
Biggest sum of numbers in a constraint 3064991081731777715595715329186976003635521247756299664
Number of bits of the biggest sum of numbers181
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.19/0.22	c ...done
0.19/0.22	c #vars=7501 #constraints=21963 hasObjective=yes
0.19/0.29	c res. mode=mod
0.19/0.29	c VSIDS like heuristics
0.19/0.29	c complete search running
32.99/33.07	c restart after 401 decisions
38.08/38.14	c nbDecision=500 #constraints=22334
67.97/68.07	c restart after 801 decisions
90.46/90.56	c nbDecision=1000 #constraints=22757
163.73/163.81	c nbDecision=1500 #constraints=23253
181.03/181.17	c restart after 1601 decisions
254.89/255.00	c nbDecision=2000 #constraints=23693
363.44/363.60	c nbDecision=2500 #constraints=24194
487.70/487.94	c nbDecision=3000 #constraints=24684
544.28/544.53	c restart after 3201 decisions
622.35/622.68	c nbDecision=3500 #constraints=25124
812.88/813.25	c nbDecision=4000 #constraints=25625
1008.99/1009.42	c nbDecision=4500 #constraints=26128
1184.62/1185.19	c nbDecision=5000 #constraints=26619
1404.64/1405.20	c nbDecision=5500 #constraints=27119
1639.75/1640.46	c nbDecision=6000 #constraints=27616
1800.09/1800.80	Received signal 15

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/node10/watcher-367156-1177003844 -o ROOT/results/node10/solver-367156-1177003844 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367156-1177003844/instance-367156-1177003844.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.98 3/77 31483
/proc/meminfo: memFree=1809400/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1468 CPUtime=0
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 176421900 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 367 165 130 317 0 46 0

[startup+0.0212631 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 31483
/proc/meminfo: memFree=1809400/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1864 CPUtime=0.02
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 270 0 0 0 2 0 0 0 18 0 1 0 176421900 1908736 252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 466 252 130 317 0 145 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1864

[startup+0.101281 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 31483
/proc/meminfo: memFree=1809400/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=3580 CPUtime=0.09
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 694 0 0 0 9 0 0 0 18 0 1 0 176421900 3665920 676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 895 676 130 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.301322 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 31483
/proc/meminfo: memFree=1809400/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=8316 CPUtime=0.3
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 1869 0 0 0 29 1 0 0 19 0 1 0 176421900 8515584 1851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 2079 1851 137 317 0 1758 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 8316

[startup+0.701409 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 31483
/proc/meminfo: memFree=1809400/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=9164 CPUtime=0.7
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 2083 0 0 0 69 1 0 0 23 0 1 0 176421900 9383936 2065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713867 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 2291 2065 139 317 0 1970 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9164

[startup+1.50158 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 31484
/proc/meminfo: memFree=1801584/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=10224 CPUtime=1.49
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 2425 0 0 0 148 1 0 0 25 0 1 0 176421900 10469376 2198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 2556 2198 139 317 0 2235 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10224

[startup+3.10193 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 31484
/proc/meminfo: memFree=1799984/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=16056 CPUtime=3.09
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 4422 0 0 0 308 1 0 0 25 0 1 0 176421900 16441344 3566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 4014 3566 139 317 0 3693 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16056

[startup+6.30162 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 31484
/proc/meminfo: memFree=1792624/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=22848 CPUtime=6.29
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 6929 0 0 0 626 3 0 0 25 0 1 0 176421900 23396352 5254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 5712 5254 170 317 0 5391 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22848

[startup+12.702 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 31484
/proc/meminfo: memFree=1770680/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=43028 CPUtime=12.69
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 14429 0 0 0 1262 7 0 0 25 0 1 0 176421900 44060672 10090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 10757 10090 170 317 0 10436 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43028

[startup+25.5018 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 31484
/proc/meminfo: memFree=1735416/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=78880 CPUtime=25.48
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 27553 0 0 0 2536 12 0 0 25 0 1 0 176421900 80773120 18677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 19720 18677 170 317 0 19399 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78880

[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 31484
/proc/meminfo: memFree=1675256/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=142000 CPUtime=51.07
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 50830 0 0 0 5084 23 0 0 25 0 1 0 176421900 145408000 33782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278967 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 35500 33782 170 317 0 35179 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 142000

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 31484
/proc/meminfo: memFree=1573944/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=246528 CPUtime=102.25
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 87633 0 0 0 10187 38 0 0 25 0 1 0 176421900 252444672 58873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 61632 58873 170 317 0 61311 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 246528

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31486
/proc/meminfo: memFree=1503160/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=321704 CPUtime=162.23
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 116405 0 0 0 16174 49 0 0 25 0 1 0 176421900 329424896 76649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 80426 76649 170 317 0 80105 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 321704

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31486
/proc/meminfo: memFree=1399288/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=440304 CPUtime=222.21
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 151719 0 0 0 22157 64 0 0 25 0 1 0 176421900 450871296 102495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 110076 102495 170 317 0 109755 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 440304

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31486
/proc/meminfo: memFree=1335480/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=502136 CPUtime=282.18
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 177069 0 0 0 28144 74 0 0 25 0 1 0 176421900 514187264 118500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 125534 118500 170 317 0 125213 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 502136

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31486
/proc/meminfo: memFree=1288568/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=546848 CPUtime=342.16
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 195749 0 0 0 34135 81 0 0 25 0 1 0 176421900 559972352 130092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 136712 130092 170 317 0 136391 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 546848

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31486
/proc/meminfo: memFree=1241592/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=594644 CPUtime=402.14
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 214313 0 0 0 40125 89 0 0 25 0 1 0 176421900 608915456 141845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278991 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 148661 141845 170 317 0 148340 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 594644

[startup+462.302 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 31486
/proc/meminfo: memFree=1193912/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=644912 CPUtime=462.11
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 234175 0 0 0 46115 96 0 0 25 0 1 0 176421900 660389888 153731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271339 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 161228 153731 170 317 0 160907 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 644912

[startup+522.302 s]
/proc/loadavg: 1.12 1.02 1.00 2/78 31486
/proc/meminfo: memFree=1149880/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=691220 CPUtime=522.09
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 252463 0 0 0 52105 104 0 0 25 0 1 0 176421900 707809280 164655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718632 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 172805 164655 170 317 0 172484 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 691220

[startup+582.302 s]
/proc/loadavg: 1.12 1.03 1.00 2/78 31486
/proc/meminfo: memFree=1046904/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=836728 CPUtime=582.06
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 283551 0 0 0 58091 115 0 0 25 0 1 0 176421900 856809472 190449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 209182 190449 170 317 0 208861 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 836728

[startup+642.302 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 31486
/proc/meminfo: memFree=992696/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=888224 CPUtime=642.04
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 304490 0 0 0 64081 123 0 0 25 0 1 0 176421900 909541376 203715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 222056 203715 170 317 0 221735 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 888224


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

/proc/meminfo: memFree=766200/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1106436 CPUtime=1061.88
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 394764 0 0 0 106026 162 0 0 25 0 1 0 176421900 1132990464 260329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 276609 260329 170 317 0 276288 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1106436

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=737016/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1134324 CPUtime=1121.86
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 406002 0 0 0 112019 167 0 0 25 0 1 0 176421900 1161547776 267571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 283581 267571 170 317 0 283260 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1134324

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=700792/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1168900 CPUtime=1181.83
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 420081 0 0 0 118011 172 0 0 25 0 1 0 176421900 1196953600 276529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 292225 276529 170 317 0 291904 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1168900

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=664504/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1204552 CPUtime=1241.8
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 434337 0 0 0 124002 178 0 0 25 0 1 0 176421900 1233461248 285679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 301138 285679 170 317 0 300817 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1204552

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=643192/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1224456 CPUtime=1301.79
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 442388 0 0 0 129997 182 0 0 25 0 1 0 176421900 1253842944 290851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 306114 290851 170 317 0 305793 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1224456

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=621752/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1245268 CPUtime=1361.76
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 450867 0 0 0 135990 186 0 0 25 0 1 0 176421900 1275154432 296268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 311317 296268 170 317 0 310996 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1245268

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=591608/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1274260 CPUtime=1421.74
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 462673 0 0 0 141984 190 0 0 25 0 1 0 176421900 1304842240 303675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 318565 303675 170 317 0 318244 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1274260

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=570360/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1296664 CPUtime=1481.72
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 471422 0 0 0 147978 194 0 0 25 0 1 0 176421900 1327783936 308966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563419 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 324166 308966 170 317 0 323845 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1296664

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=545912/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1322640 CPUtime=1541.69
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 481247 0 0 0 153972 197 0 0 25 0 1 0 176421900 1354383360 315078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 330660 315078 170 317 0 330339 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1322640

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=518968/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1351356 CPUtime=1601.66
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 492644 0 0 0 159964 202 0 0 25 0 1 0 176421900 1383788544 321868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 337839 321868 170 317 0 337518 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 1351356

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=498872/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1372228 CPUtime=1661.64
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 500512 0 0 0 165958 206 0 0 25 0 1 0 176421900 1405161472 326793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 343057 326793 170 317 0 342736 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 1372228

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=475704/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1397204 CPUtime=1721.62
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 509742 0 0 0 171952 210 0 0 25 0 1 0 176421900 1430736896 332684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 349301 332684 170 317 0 348980 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 1397204

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=422648/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1636720 CPUtime=1781.59
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 548374 0 0 0 177933 226 0 0 25 0 1 0 176421900 1676001280 368255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 409180 368255 170 317 0 408859 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 1636720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=323512/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1645084 CPUtime=1800.09
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 551992 0 0 0 179782 227 0 0 25 0 1 0 176421900 1684566016 370452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 411271 370452 170 317 0 410950 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1645084

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31486
/proc/meminfo: memFree=323512/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1645616 CPUtime=1800.68
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 552114 0 0 0 179841 227 0 0 25 0 1 0 176421900 1685110784 370574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284117 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 411404 370574 170 317 0 411083 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 1645616

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 31487
/proc/meminfo: memFree=323184/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1645616 CPUtime=1801.48
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 552118 0 0 0 179921 227 0 0 25 0 1 0 176421900 1685110784 370549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 411404 370549 170 317 0 411083 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 1645616

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 31487
/proc/meminfo: memFree=323184/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=1645616 CPUtime=1801.88
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4194304 552125 0 0 0 179961 227 0 0 25 0 1 0 176421900 1685110784 370556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 411404 370556 170 317 0 411083 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 1645616

[startup+1803 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 31487
/proc/meminfo: memFree=322864/2055920 swapFree=4152380/4192956
[pid=31483] ppid=31481 vsize=0 CPUtime=1802.29
/proc/31483/stat : 31483 (oree) R 31481 31483 31099 0 -1 4195332 552225 0 0 0 179982 247 0 0 25 0 1 0 176421900 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31483/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.29
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1803.05
CPU time (s): 1802.34
CPU user time (s): 1799.82
CPU system time (s): 2.51662
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 1645940

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

runsolver used 2.17167 second user time and 4.28635 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Thu Apr 19 17:30:44 UTC 2007

IDJOB= 367156
IDBENCH= 3030
IDSOLVER= 172
FILE ID= node10/367156-1177003844

PBS_JOBID= 4630491

Free space on /tmp= 66269 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=120-sizeP=61-sizeQ=120-883133839.opb
COMMAND LINE= oree /tmp/evaluation/367156-1177003844/instance-367156-1177003844.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-367156-1177003844 -o ROOT/results/node10/solver-367156-1177003844 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/367156-1177003844/instance-367156-1177003844.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  fc1ab74e36340948f29ab602078975e1

RANDOM SEED= 109579858

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1810064 kB
Buffers:         19676 kB
Cached:         150880 kB
SwapCached:       8556 kB
Active:          37096 kB
Inactive:       156220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1810064 kB
SwapTotal:     4192956 kB
SwapFree:      4152380 kB
Dirty:            2204 kB
Writeback:           0 kB
Mapped:          29992 kB
Slab:            38180 kB
Committed_AS:  3566720 kB
PageTables:       1708 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= 66269 MiB

End job on node10 on Thu Apr 19 18:00:47 UTC 2007