Trace number 357540

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.15 1802.61

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb
MD5SUM14ad76473b11124898801a98a6be0f15
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 variables116401
Total number of constraints347041
Number of constraints which are clauses347040
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 constraint115680
Number of terms in the objective function 241
Biggest coefficient in the objective function 1766847064778384329583297500742918515827483896875618958121606201292619776
Number of bits for the biggest coefficient in the objective function 241
Sum of the numbers in the objective function 3533694129556768659166595001485837031654967793751237916243212402585239551
Number of bits of the sum of numbers in the objective function 241
Biggest number in a constraint 2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288
Number of bits of the biggest number in a constraint 720
Biggest sum of numbers in a constraint 11031304526203974597457456414861827591216226218170224705794538792432397772411513099461947533223824223812108544718420760849241103931105427591146783146989758993585507676769708326131434170738798141111110216594893389039561
Number of bits of the biggest sum of numbers721
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...
4.49/4.50	c ...done
4.49/4.50	c #vars=116401 #constraints=347043 hasObjective=yes
6.09/6.19	c res. mode=mod
6.09/6.19	c VSIDS like heuristics
6.09/6.19	c complete search running
1800.05/1800.50	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/node70/watcher-357540-1177003492 -o ROOT/results/node70/solver-357540-1177003492 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357540-1177003492/instance-357540-1177003492.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.99 0.98 0.96 3/64 29267
/proc/meminfo: memFree=1786112/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=1468 CPUtime=0
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 139886724 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 367 161 130 317 0 46 0

[startup+0.066427 s]
/proc/loadavg: 0.99 0.98 0.96 3/64 29267
/proc/meminfo: memFree=1786112/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=2788 CPUtime=0.06
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 508 0 0 0 6 0 0 0 18 0 1 0 139886724 2854912 490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 697 490 130 317 0 376 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2788

[startup+0.10243 s]
/proc/loadavg: 0.99 0.98 0.96 3/64 29267
/proc/meminfo: memFree=1786112/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=3588 CPUtime=0.09
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 699 0 0 0 9 0 0 0 18 0 1 0 139886724 3674112 681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 897 682 130 317 0 576 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3588

[startup+0.302452 s]
/proc/loadavg: 0.99 0.98 0.96 3/64 29267
/proc/meminfo: memFree=1786112/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=7940 CPUtime=0.29
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 1793 0 0 0 29 0 0 0 19 0 1 0 139886724 8130560 1742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 1985 1742 130 317 0 1664 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7940

[startup+0.70249 s]
/proc/loadavg: 0.99 0.98 0.96 3/64 29267
/proc/meminfo: memFree=1786112/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=16512 CPUtime=0.69
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 3978 0 0 0 67 2 0 0 22 0 1 0 139886724 16908288 3862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 4128 3863 130 317 0 3807 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16512

[startup+1.50157 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1764728/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=33524 CPUtime=1.49
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 8338 0 0 0 145 4 0 0 25 0 1 0 139886724 34328576 8093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 8381 8093 130 317 0 8060 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33524

[startup+3.10173 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1740472/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=64108 CPUtime=3.09
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 16290 0 0 0 300 9 0 0 25 0 1 0 139886724 65646592 15561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 16027 15561 130 317 0 15706 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64108

[startup+6.30105 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1675136/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=120656 CPUtime=6.29
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 31153 0 0 0 615 14 0 0 25 0 1 0 139886724 123551744 29683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 30164 29683 137 317 0 29843 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120656

[startup+12.7017 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1667712/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=120784 CPUtime=12.69
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 31174 0 0 0 1255 14 0 0 25 0 1 0 139886724 123682816 29704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 30196 29704 137 317 0 29875 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120784

[startup+25.502 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1656576/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=141360 CPUtime=25.49
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 36310 0 0 0 2533 16 0 0 25 0 1 0 139886724 144752640 32467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 35340 32467 139 317 0 35019 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 141360

[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1651520/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=146628 CPUtime=51.08
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 37827 0 0 0 5091 17 0 0 25 0 1 0 139886724 150147072 33790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 36657 33790 139 317 0 36336 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 146628

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1629312/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=168840 CPUtime=102.27
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 45412 0 0 0 10206 21 0 0 25 0 1 0 139886724 172892160 39375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712596 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 42210 39375 170 317 0 41889 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 168840

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1602496/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=199364 CPUtime=162.25
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 55981 0 0 0 16199 26 0 0 25 0 1 0 139886724 204148736 46024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 49841 46024 170 317 0 49520 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 199364

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1578048/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=227148 CPUtime=222.24
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 65762 0 0 0 22194 30 0 0 25 0 1 0 139886724 232599552 52102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549856 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 56787 52102 170 317 0 56466 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 227148

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1551872/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=255580 CPUtime=282.22
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 76884 0 0 0 28188 34 0 0 25 0 1 0 139886724 261713920 58662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712596 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 63895 58662 170 317 0 63574 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 255580

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1538112/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=269944 CPUtime=342.2
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 84135 0 0 0 34183 37 0 0 25 0 1 0 139886724 276422656 62040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 67486 62040 170 317 0 67165 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 269944

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1517376/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=293944 CPUtime=402.18
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 92805 0 0 0 40178 40 0 0 25 0 1 0 139886724 300998656 67244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 73486 67244 170 317 0 73165 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 293944

[startup+462.303 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1502400/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=311260 CPUtime=462.17
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 100577 0 0 0 46173 44 0 0 25 0 1 0 139886724 318730240 70973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710870 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 77815 70973 170 317 0 77494 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 311260

[startup+522.303 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1497088/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=316436 CPUtime=522.16
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 102838 0 0 0 52170 46 0 0 25 0 1 0 139886724 324030464 72295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 79109 72295 170 317 0 78788 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 316436

[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1478272/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=337344 CPUtime=582.15
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 110631 0 0 0 58166 49 0 0 25 0 1 0 139886724 345440256 76971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 84336 76971 170 317 0 84015 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 337344

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1468352/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=348164 CPUtime=642.14
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 115416 0 0 0 64163 51 0 0 25 0 1 0 139886724 356519936 79438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 87041 79438 170 317 0 86720 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 348164


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

/proc/meminfo: memFree=1359488/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=464072 CPUtime=1002.04
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 160100 0 0 0 100134 70 0 0 25 0 1 0 139886724 475209728 106561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270583 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 116018 106561 170 317 0 115697 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 464072

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1343552/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=480976 CPUtime=1062.02
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 166499 0 0 0 106130 72 0 0 25 0 1 0 139886724 492519424 110520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 120244 110520 170 317 0 119923 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 480976

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1333568/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=491596 CPUtime=1122.01
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 172417 0 0 0 112126 75 0 0 25 0 1 0 139886724 503394304 113016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541574 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 122899 113016 170 317 0 122578 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 491596

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1313024/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=513248 CPUtime=1182
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 181403 0 0 0 118120 80 0 0 25 0 1 0 139886724 525565952 118136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 128312 118136 170 317 0 127991 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 513248

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1294208/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=533136 CPUtime=1241.97
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 189185 0 0 0 124114 83 0 0 25 0 1 0 139886724 545931264 122819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 133284 122819 170 317 0 132963 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 533136

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1282496/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=545372 CPUtime=1301.97
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 195398 0 0 0 130111 86 0 0 25 0 1 0 139886724 558460928 125730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713793 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 136343 125730 170 317 0 136022 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 545372

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1263488/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=565092 CPUtime=1361.95
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 202413 0 0 0 136106 89 0 0 25 0 1 0 139886724 578654208 130465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 141273 130465 170 317 0 140952 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 565092

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1249152/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=579940 CPUtime=1421.94
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 207853 0 0 0 142102 92 0 0 25 0 1 0 139886724 593858560 134041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710756 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 144985 134041 170 317 0 144664 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 579940

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1241152/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=588668 CPUtime=1481.92
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 212126 0 0 0 148098 94 0 0 25 0 1 0 139886724 602796032 136031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 147167 136031 170 317 0 146846 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 588668

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1237696/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=591692 CPUtime=1541.9
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 215423 0 0 0 154094 96 0 0 25 0 1 0 139886724 605892608 136895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 147923 136895 170 317 0 147602 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 591692

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 29268
/proc/meminfo: memFree=1220864/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=609088 CPUtime=1601.89
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 222220 0 0 0 160090 99 0 0 25 0 1 0 139886724 623706112 141093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 152272 141093 170 317 0 151951 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 609088

[startup+1662.3 s]
/proc/loadavg: 1.06 1.00 0.97 2/65 29268
/proc/meminfo: memFree=1204736/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=625744 CPUtime=1661.87
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 228189 0 0 0 166085 102 0 0 25 0 1 0 139886724 640761856 145133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 156436 145133 170 317 0 156115 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 625744

[startup+1722.3 s]
/proc/loadavg: 1.08 1.01 0.97 2/65 29268
/proc/meminfo: memFree=1206592/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=623668 CPUtime=1721.86
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 228189 0 0 0 172084 102 0 0 25 0 1 0 139886724 638636032 144614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 155917 144614 170 317 0 155596 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 623668

[startup+1782.3 s]
/proc/loadavg: 1.08 1.03 0.98 2/65 29270
/proc/meminfo: memFree=1206208/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=628992 CPUtime=1781.85
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 231245 0 0 0 178081 104 0 0 25 0 1 0 139886724 644087808 145856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 157248 145856 170 317 0 156927 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 628992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.06 1.02 0.98 2/65 29270
/proc/meminfo: memFree=1201728/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=628992 CPUtime=1800.05
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 231245 0 0 0 179901 104 0 0 25 0 1 0 139886724 644087808 145856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 157248 145856 170 317 0 156927 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 628992

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.06 1.02 0.98 2/66 29271
/proc/meminfo: memFree=1201720/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=628992 CPUtime=1800.94
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 231245 0 0 0 179990 104 0 0 25 0 1 0 139886724 644087808 145856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 157248 145856 170 317 0 156927 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 628992

[startup+1802.2 s]
/proc/loadavg: 1.06 1.02 0.98 2/66 29271
/proc/meminfo: memFree=1201720/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=628992 CPUtime=1801.74
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 231245 0 0 0 180070 104 0 0 25 0 1 0 139886724 644087808 145856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 157248 145856 170 317 0 156927 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 628992

[startup+1802.6 s]
/proc/loadavg: 1.06 1.02 0.98 2/66 29271
/proc/meminfo: memFree=1201720/2055920 swapFree=4183764/4192956
[pid=29267] ppid=29265 vsize=0 CPUtime=1802.14
/proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4195332 231245 0 0 0 180101 113 0 0 25 0 1 0 139886724 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29267/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.61
CPU time (s): 1802.15
CPU user time (s): 1801.01
CPU system time (s): 1.13783
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 628992

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

runsolver used 1.14482 second user time and 3.79042 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Thu Apr 19 17:24:54 UTC 2007

IDJOB= 357540
IDBENCH= 3014
IDSOLVER= 172
FILE ID= node70/357540-1177003492

PBS_JOBID= 4630483

Free space on /tmp= 66454 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=480-sizeP=241-sizeQ=480-896328136-max.opb
COMMAND LINE= oree /tmp/evaluation/357540-1177003492/instance-357540-1177003492.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-357540-1177003492 -o ROOT/results/node70/solver-357540-1177003492 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357540-1177003492/instance-357540-1177003492.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  14ad76473b11124898801a98a6be0f15

RANDOM SEED= 683561126

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1786584 kB
Buffers:          7512 kB
Cached:         200840 kB
SwapCached:       2788 kB
Active:          46212 kB
Inactive:       171404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786584 kB
SwapTotal:     4192956 kB
SwapFree:      4183764 kB
Dirty:           24032 kB
Writeback:           0 kB
Mapped:          15592 kB
Slab:            37760 kB
Committed_AS:  2490960 kB
PageTables:       1396 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= 66454 MiB

End job on node70 on Thu Apr 19 17:54:57 UTC 2007