Trace number 357518

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.11 1802.69

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb
MD5SUM9c4320f542823743906889d8232ca8c8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables39901
Total number of constraints118441
Number of constraints which are clauses118440
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 constraint39480
Number of terms in the objective function 141
Biggest coefficient in the objective function 1393796574908163946345982392040522594123776
Number of bits for the biggest coefficient in the objective function 141
Sum of the numbers in the objective function 2787593149816327892691964784081045188247551
Number of bits of the sum of numbers in the objective function 141
Biggest number in a constraint 1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288
Number of bits of the biggest number in a constraint 420
Biggest sum of numbers in a constraint 5415370496329716522614090203404460358274291131933137772446847436667115240992208031579922255034219518448630133725391512086530056
Number of bits of the biggest sum of numbers421
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...
1.29/1.38	c ...done
1.29/1.38	c #vars=39901 #constraints=118443 hasObjective=yes
1.79/1.85	c res. mode=mod
1.79/1.85	c VSIDS like heuristics
1.79/1.85	c complete search running
1300.58/1301.04	c restart after 401 decisions
1302.98/1303.42	c nbDecision=500 #constraints=118694
1800.03/1800.61	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/node69/watcher-357518-1177002629 -o ROOT/results/node69/solver-357518-1177002629 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357518-1177002629/instance-357518-1177002629.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.98 0.99 3/64 3012
/proc/meminfo: memFree=1643788/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=1468 CPUtime=0
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 176252315 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 367 163 130 317 0 46 0

[startup+0.0878719 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3012
/proc/meminfo: memFree=1643788/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=3320 CPUtime=0.08
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 622 0 0 0 8 0 0 0 18 0 1 0 176252315 3399680 604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 830 604 130 317 0 509 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3320

[startup+0.101866 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3012
/proc/meminfo: memFree=1643788/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=3584 CPUtime=0.09
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 696 0 0 0 9 0 0 0 18 0 1 0 176252315 3670016 678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 896 678 130 317 0 575 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3584

[startup+0.301898 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3012
/proc/meminfo: memFree=1643788/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=7804 CPUtime=0.29
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 1781 0 0 0 29 0 0 0 19 0 1 0 176252315 7991296 1730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 1951 1730 130 317 0 1630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7804

[startup+0.701963 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3012
/proc/meminfo: memFree=1643788/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=16376 CPUtime=0.69
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 3950 0 0 0 68 1 0 0 22 0 1 0 176252315 16769024 3834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 4094 3834 130 317 0 3773 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16376

[startup+1.50109 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1623108/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=37916 CPUtime=1.49
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 9519 0 0 0 146 3 0 0 25 0 1 0 176252315 38825984 9047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 9479 9047 137 317 0 9158 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37916

[startup+3.10135 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1604420/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=48416 CPUtime=3.09
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 12152 0 0 0 305 4 0 0 25 0 1 0 176252315 49577984 10870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 12104 10870 139 317 0 11783 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48416

[startup+6.30187 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1600196/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=49592 CPUtime=6.29
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 12500 0 0 0 625 4 0 0 25 0 1 0 176252315 50782208 11153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746912 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 12398 11153 170 317 0 12077 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49592

[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1595404/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=55728 CPUtime=12.69
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 14539 0 0 0 1264 5 0 0 25 0 1 0 176252315 57065472 12472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 13932 12472 170 317 0 13611 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55728

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1587276/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=63200 CPUtime=25.48
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 17033 0 0 0 2542 6 0 0 25 0 1 0 176252315 64716800 14232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 15800 14232 170 317 0 15479 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63200

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1577036/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=73824 CPUtime=51.07
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 21106 0 0 0 5099 8 0 0 25 0 1 0 176252315 75595776 16829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 18456 16829 170 317 0 18135 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 73824

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1554956/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=100220 CPUtime=102.25
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 31423 0 0 0 10214 11 0 0 25 0 1 0 176252315 102625280 22312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 25055 22312 170 317 0 24734 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 100220

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1544652/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=112344 CPUtime=162.24
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 38427 0 0 0 16210 14 0 0 25 0 1 0 176252315 115040256 24888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 28086 24888 170 317 0 27765 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 112344

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1534348/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=125128 CPUtime=222.22
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 45571 0 0 0 22205 17 0 0 25 0 1 0 176252315 128131072 27418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 31282 27418 170 317 0 30961 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 125128

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1518732/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=142884 CPUtime=282.2
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 53740 0 0 0 28200 20 0 0 25 0 1 0 176252315 146313216 31305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 35721 31305 170 317 0 35400 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 142884

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1508172/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=155884 CPUtime=342.18
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 60801 0 0 0 34195 23 0 0 25 0 1 0 176252315 159625216 33931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 38971 33931 170 317 0 38650 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 155884

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1503372/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=160172 CPUtime=402.16
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 63960 0 0 0 40192 24 0 0 25 0 1 0 176252315 164016128 35159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 40043 35159 170 317 0 39722 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 160172

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1492876/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=171020 CPUtime=462.13
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 68991 0 0 0 46187 26 0 0 25 0 1 0 176252315 175124480 37781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 42755 37781 170 317 0 42434 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 171020

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1486476/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=178064 CPUtime=522.12
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 72276 0 0 0 52184 28 0 0 25 0 1 0 176252315 182337536 39382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710875 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 44516 39382 170 317 0 44195 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 178064

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1462924/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=203024 CPUtime=582.1
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 81871 0 0 0 58179 31 0 0 25 0 1 0 176252315 207896576 45231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 50756 45231 170 317 0 50435 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 203024

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1450060/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=217768 CPUtime=642.09
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 87675 0 0 0 64176 33 0 0 25 0 1 0 176252315 222994432 48445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 54442 48445 170 317 0 54121 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 217768


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

/proc/meminfo: memFree=1366988/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=315384 CPUtime=1001.97
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 132311 0 0 0 100146 51 0 0 25 0 1 0 176252315 322953216 69146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278952 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 78846 69146 170 317 0 78525 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 315384

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1331468/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=350716 CPUtime=1061.95
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 145271 0 0 0 106138 57 0 0 25 0 1 0 176252315 359133184 78057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713841 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 87679 78057 170 317 0 87358 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 350716

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1321548/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=360912 CPUtime=1121.93
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 150265 0 0 0 112134 59 0 0 25 0 1 0 176252315 369573888 80508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 90228 80508 170 317 0 89907 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 360912

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1311436/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=371544 CPUtime=1181.91
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 154531 0 0 0 118130 61 0 0 25 0 1 0 176252315 380461056 83009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 92886 83009 170 317 0 92565 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 371544

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1301196/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=382688 CPUtime=1241.89
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 160052 0 0 0 124126 63 0 0 25 0 1 0 176252315 391872512 85547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713887 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 95672 85547 170 317 0 95351 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 382688

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1285132/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=400612 CPUtime=1301.88
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 167520 0 0 0 130121 67 0 0 25 0 1 0 176252315 410226688 89558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718380 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 100153 89558 170 317 0 99832 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 400612

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1259916/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=433508 CPUtime=1361.85
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 181897 0 0 0 136113 72 0 0 25 0 1 0 176252315 443912192 96523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270593 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 108377 96523 170 317 0 108056 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 433508

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3013
/proc/meminfo: memFree=1245260/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=447960 CPUtime=1421.84
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 189070 0 0 0 142109 75 0 0 25 0 1 0 176252315 458711040 99529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 111990 99529 170 317 0 111669 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 447960

[startup+1482.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 3013
/proc/meminfo: memFree=1240908/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=453204 CPUtime=1481.82
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 191856 0 0 0 148105 77 0 0 25 0 1 0 176252315 464080896 100575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713807 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 113301 100575 170 317 0 112980 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 453204

[startup+1542.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/65 3013
/proc/meminfo: memFree=1233228/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=461620 CPUtime=1541.8
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 196620 0 0 0 154101 79 0 0 25 0 1 0 176252315 472698880 102530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 115405 102530 170 317 0 115084 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 461620

[startup+1602.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 3013
/proc/meminfo: memFree=1219852/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=475268 CPUtime=1601.78
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 203385 0 0 0 160097 81 0 0 25 0 1 0 176252315 486674432 105872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 118817 105872 170 317 0 118496 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 475268

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 3013
/proc/meminfo: memFree=1207180/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=488192 CPUtime=1661.76
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 209290 0 0 0 166092 84 0 0 25 0 1 0 176252315 499908608 109041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 122048 109041 170 317 0 121727 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 488192

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3013
/proc/meminfo: memFree=1206028/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=490160 CPUtime=1721.74
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 210386 0 0 0 172090 84 0 0 25 0 1 0 176252315 501923840 109411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 122540 109411 170 317 0 122219 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 490160

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3015
/proc/meminfo: memFree=1196940/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=499484 CPUtime=1781.73
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 214071 0 0 0 178088 85 0 0 25 0 1 0 176252315 511471616 111553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 124871 111553 170 317 0 124550 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 499484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3015
/proc/meminfo: memFree=1195724/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=500868 CPUtime=1800.03
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 214819 0 0 0 179918 85 0 0 25 0 1 0 176252315 512888832 111868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554575 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 125217 111868 170 317 0 124896 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 500868

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/65 3015
/proc/meminfo: memFree=1195724/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=500868 CPUtime=1800.82
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 214819 0 0 0 179997 85 0 0 25 0 1 0 176252315 512888832 111868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 125217 111868 170 317 0 124896 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 500868

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3016
/proc/meminfo: memFree=1195716/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=500868 CPUtime=1801.62
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 214819 0 0 0 180077 85 0 0 25 0 1 0 176252315 512888832 111868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 125217 111868 170 317 0 124896 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 500868

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3016
/proc/meminfo: memFree=1195716/2055920 swapFree=4182908/4192956
[pid=3012] ppid=3010 vsize=500868 CPUtime=1802.02
/proc/3012/stat : 3012 (oree) R 3010 3012 2714 0 -1 4194304 214819 0 0 0 180117 85 0 0 25 0 1 0 176252315 512888832 111868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3012/statm: 125217 111868 170 317 0 124896 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 500868

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.11
CPU user time (s): 1801.18
CPU system time (s): 0.926859
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 500868

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

runsolver used 1.17582 second user time and 3.75843 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Thu Apr 19 17:10:29 UTC 2007

IDJOB= 357518
IDBENCH= 2971
IDSOLVER= 172
FILE ID= node69/357518-1177002629

PBS_JOBID= 4630498

Free space on /tmp= 66491 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=280-sizeP=141-sizeQ=280-254810631-max.opb
COMMAND LINE= oree /tmp/evaluation/357518-1177002629/instance-357518-1177002629.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-357518-1177002629 -o ROOT/results/node69/solver-357518-1177002629 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357518-1177002629/instance-357518-1177002629.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  9c4320f542823743906889d8232ca8c8

RANDOM SEED= 706412453

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1644260 kB
Buffers:         30700 kB
Cached:         312212 kB
SwapCached:       3888 kB
Active:         154200 kB
Inactive:       198176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1644260 kB
SwapTotal:     4192956 kB
SwapFree:      4182908 kB
Dirty:            7248 kB
Writeback:           0 kB
Mapped:          15348 kB
Slab:            45308 kB
Committed_AS:  1532780 kB
PageTables:       1472 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= 66491 MiB

End job on node69 on Thu Apr 19 17:40:32 UTC 2007