Trace number 357532

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) 1800.9 1801.41

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb
MD5SUMd31ef469fa2ed9fa9c3063355dbaf7b5
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 variables16651
Total number of constraints49141
Number of constraints which are clauses49140
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint16380
Number of terms in the objective function 91
Biggest coefficient in the objective function 1237940039285380274899124224
Number of bits for the biggest coefficient in the objective function 91
Sum of the numbers in the objective function 2475880078570760549798248447
Number of bits of the sum of numbers in the objective function 91
Biggest number in a constraint 948568795032094272909893509191171341133987714380927500611236528192824358010355712
Number of bits of the biggest number in a constraint 270
Biggest sum of numbers in a constraint 3794275180128377091639574036150438611441468153567802156940920507153788002840397422
Number of bits of the biggest sum of numbers271
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.49/0.51	c ...done
0.49/0.51	c #vars=16651 #constraints=49143 hasObjective=yes
0.59/0.69	c res. mode=mod
0.59/0.69	c VSIDS like heuristics
0.59/0.69	c complete search running
399.28/399.48	c restart after 401 decisions
402.48/402.65	c nbDecision=500 #constraints=49452
892.95/893.23	c restart after 801 decisions
1106.68/1107.06	c nbDecision=1000 #constraints=49852
1800.10/1800.61	Received signal 15
1800.69/1801.29	
1800.69/1801.29	s UNKNOWN
1800.69/1801.30	
1800.69/1801.30	c user time= 1799.64 s
1800.69/1801.30	c system time= 1.15182 s
1800.69/1801.30	c wall clock time=1801.3

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/node45/watcher-357532-1177003204 -o ROOT/results/node45/solver-357532-1177003204 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357532-1177003204/instance-357532-1177003204.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: 1.00 1.00 1.00 3/77 357
/proc/meminfo: memFree=1745904/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=1468 CPUtime=0
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 55166063 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 367 165 130 317 0 46 0

[startup+0.0287769 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 357
/proc/meminfo: memFree=1745904/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=1996 CPUtime=0.02
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 311 0 0 0 2 0 0 0 18 0 1 0 55166063 2043904 293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 499 293 130 317 0 178 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1996

[startup+0.101784 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 357
/proc/meminfo: memFree=1745904/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=3580 CPUtime=0.09
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 702 0 0 0 9 0 0 0 18 0 1 0 55166063 3665920 684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 895 684 130 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.301804 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 357
/proc/meminfo: memFree=1745904/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=7932 CPUtime=0.29
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 1797 0 0 0 29 0 0 0 19 0 1 0 55166063 8122368 1746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 1983 1746 130 317 0 1662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7932

[startup+0.702844 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 357
/proc/meminfo: memFree=1745904/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=17040 CPUtime=0.69
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 4153 0 0 0 68 1 0 0 24 0 1 0 55166063 17448960 4036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 4260 4036 137 317 0 3939 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17040

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1728488/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=19968 CPUtime=1.49
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 4877 0 0 0 148 1 0 0 25 0 1 0 55166063 20447232 4424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 4992 4424 139 317 0 4671 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19968

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1728168/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=20856 CPUtime=3.09
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 5145 0 0 0 308 1 0 0 25 0 1 0 55166063 21356544 4592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 5214 4592 139 317 0 4893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20856

[startup+6.30141 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1726632/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=22940 CPUtime=6.29
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 5792 0 0 0 627 2 0 0 25 0 1 0 55166063 23490560 5035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 5735 5035 170 317 0 5414 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22940

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1722664/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=27588 CPUtime=12.68
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 7409 0 0 0 1266 2 0 0 25 0 1 0 55166063 28250112 6019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712596 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 6897 6019 170 317 0 6576 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27588

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1713320/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=37392 CPUtime=25.48
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 11206 0 0 0 2544 4 0 0 25 0 1 0 55166063 38289408 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 9348 8230 170 317 0 9027 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37392

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1698344/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=52568 CPUtime=51.08
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 17151 0 0 0 5101 7 0 0 25 0 1 0 55166063 53829632 11994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 13142 11994 170 317 0 12821 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52568

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1685672/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=65992 CPUtime=102.27
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 23292 0 0 0 10217 10 0 0 25 0 1 0 55166063 67575808 15129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 16498 15129 170 317 0 16177 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 65992

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1661864/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=92788 CPUtime=162.24
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 33237 0 0 0 16209 15 0 0 25 0 1 0 55166063 95014912 21211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 23197 21211 170 317 0 22876 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 92788

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1648424/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=107540 CPUtime=222.23
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 39914 0 0 0 22205 18 0 0 25 0 1 0 55166063 110120960 24409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272596 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 26885 24409 170 317 0 26564 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 107540

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1627176/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=129728 CPUtime=282.21
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 48621 0 0 0 28199 22 0 0 25 0 1 0 55166063 132841472 29734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278940 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 32432 29734 170 317 0 32111 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 129728

[startup+342.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 358
/proc/meminfo: memFree=1602408/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=158432 CPUtime=342.19
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 60779 0 0 0 34191 28 0 0 25 0 1 0 55166063 162234368 35977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554595 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 39608 35977 170 317 0 39287 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 158432

[startup+402.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 358
/proc/meminfo: memFree=1587048/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=175004 CPUtime=402.18
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 67863 0 0 0 40186 32 0 0 25 0 1 0 55166063 179204096 39886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713833 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 43751 39886 170 317 0 43430 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 175004

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1566824/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=196896 CPUtime=462.16
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 76965 0 0 0 46179 37 0 0 25 0 1 0 55166063 201621504 44796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 49224 44796 170 317 0 48903 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 196896

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1539112/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=226576 CPUtime=522.14
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 86931 0 0 0 52173 41 0 0 25 0 1 0 55166063 232013824 51719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 56644 51719 170 317 0 56323 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 226576

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1518952/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=247964 CPUtime=582.13
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 96249 0 0 0 58168 45 0 0 25 0 1 0 55166063 253915136 56733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712465 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 61991 56733 170 317 0 61670 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 247964

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1505128/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=263304 CPUtime=642.11
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 103225 0 0 0 64163 48 0 0 25 0 1 0 55166063 269623296 60141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 65826 60141 170 317 0 65505 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 263304


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

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1431848/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=344728 CPUtime=942.03
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 138769 0 0 0 94136 67 0 0 25 0 1 0 55166063 353001472 78441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 86182 78441 170 317 0 85861 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 344728

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1414888/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=362848 CPUtime=1002.01
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 146347 0 0 0 100131 70 0 0 25 0 1 0 55166063 371556352 82685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 90712 82685 170 317 0 90391 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 362848

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1403432/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=375316 CPUtime=1062
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 151984 0 0 0 106126 74 0 0 25 0 1 0 55166063 384323584 85542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278970 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 93829 85542 170 317 0 93508 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 375316

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1389544/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=391368 CPUtime=1121.97
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 159265 0 0 0 112120 77 0 0 25 0 1 0 55166063 400760832 89010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 97842 89010 170 317 0 97521 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 391368

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1346536/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=435656 CPUtime=1181.96
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 173404 0 0 0 118113 83 0 0 25 0 1 0 55166063 446111744 99807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541619 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 108914 99807 170 317 0 108593 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 435656

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1331048/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=452344 CPUtime=1241.94
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 180511 0 0 0 124108 86 0 0 25 0 1 0 55166063 463200256 103599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270597 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 113086 103599 170 317 0 112765 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 452344

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1321896/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=462164 CPUtime=1301.93
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 184865 0 0 0 130105 88 0 0 25 0 1 0 55166063 473255936 105861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558648 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 115541 105861 170 317 0 115220 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 462164

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1313384/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=472248 CPUtime=1361.91
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 189366 0 0 0 136101 90 0 0 25 0 1 0 55166063 483581952 108041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 118062 108041 170 317 0 117741 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 472248

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1302440/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=484800 CPUtime=1421.9
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 194257 0 0 0 142097 93 0 0 25 0 1 0 55166063 496435200 110731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 121200 110731 170 317 0 120879 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 484800

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1283816/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=505156 CPUtime=1481.87
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 202978 0 0 0 148091 96 0 0 25 0 1 0 55166063 517279744 115460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 126289 115460 170 317 0 125968 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 505156

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1269352/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=521588 CPUtime=1541.86
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 209827 0 0 0 154087 99 0 0 25 0 1 0 55166063 534106112 119008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 130397 119008 170 317 0 130076 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 521588

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1255016/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=537492 CPUtime=1601.84
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 216739 0 0 0 160082 102 0 0 25 0 1 0 55166063 550391808 122710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713857 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 134373 122710 170 317 0 134052 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 537492

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1237864/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=555908 CPUtime=1661.82
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 224509 0 0 0 166076 106 0 0 25 0 1 0 55166063 569249792 126851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 138977 126851 170 317 0 138656 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 555908

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1221352/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=573624 CPUtime=1721.81
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 232344 0 0 0 172070 111 0 0 25 0 1 0 55166063 587390976 130884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718416 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 143406 130884 170 317 0 143085 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 573624

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1207272/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=589452 CPUtime=1781.79
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 239116 0 0 0 178065 114 0 0 25 0 1 0 55166063 603598848 134469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 147363 134469 170 317 0 147042 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 589452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1206184/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=590724 CPUtime=1800.1
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 239786 0 0 0 179895 115 0 0 25 0 1 0 55166063 604901376 134749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 147681 134749 170 317 0 147360 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 590724

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1206184/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=590204 CPUtime=1800.49
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 239786 0 0 0 179934 115 0 0 25 0 1 0 55166063 604368896 134649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718407 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 147551 134649 170 317 0 147230 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 590204

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 358
/proc/meminfo: memFree=1206184/2055920 swapFree=4157496/4192956
[pid=357] ppid=355 vsize=0 CPUtime=1800.88
/proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194308 239802 0 0 0 179965 123 0 0 25 0 1 0 55166063 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/357/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.41
CPU time (s): 1800.9
CPU user time (s): 1799.66
CPU system time (s): 1.24181
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 590856

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

runsolver used 2.17167 second user time and 4.19436 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Thu Apr 19 17:20:04 UTC 2007

IDJOB= 357532
IDBENCH= 2999
IDSOLVER= 172
FILE ID= node45/357532-1177003204

PBS_JOBID= 4630480

Free space on /tmp= 66444 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d31ef469fa2ed9fa9c3063355dbaf7b5

RANDOM SEED= 724802203

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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:       1746312 kB
Buffers:         37292 kB
Cached:         205668 kB
SwapCached:      15576 kB
Active:         133776 kB
Inactive:       133876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746312 kB
SwapTotal:     4192956 kB
SwapFree:      4157496 kB
Dirty:            3520 kB
Writeback:           0 kB
Mapped:          31820 kB
Slab:            27504 kB
Committed_AS:  1169452 kB
PageTables:       1732 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= 66444 MiB

End job on node45 on Thu Apr 19 17:50:07 UTC 2007