Trace number 357217

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) 1801.18 1801.89

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome13.opb
MD5SUMe3f30a3ccce8a834fba8f93335c22413
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 variables2933624
Total number of constraints48672
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints48672
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 1496264
Biggest coefficient in the objective function 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 7062021246795700082208
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 7062021246795700082208
Number of bits of the biggest sum of numbers73
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...
42.77/42.86	c ...done
42.77/42.86	c #vars=2933624 #constraints=97241 hasObjective=yes
68.65/68.75	c res. mode=mod
68.65/68.75	c VSIDS like heuristics
68.65/68.75	c complete search running
110.34/110.49	c restart after 401 decisions
117.93/118.08	c nbDecision=500 #constraints=97252
141.84/141.98	c restart after 801 decisions
157.42/157.56	c nbDecision=1000 #constraints=97270
197.21/197.32	c nbDecision=1500 #constraints=97292
205.20/205.33	c restart after 1601 decisions
236.19/236.33	c nbDecision=2000 #constraints=97294
275.28/275.43	c nbDecision=2500 #constraints=97298
314.96/315.14	c nbDecision=3000 #constraints=97305
330.65/330.87	c restart after 3201 decisions
354.05/354.24	c nbDecision=3500 #constraints=97310
393.33/393.54	c nbDecision=4000 #constraints=97312
433.01/433.24	c nbDecision=4500 #constraints=97323
472.80/473.04	c nbDecision=5000 #constraints=97337
512.78/513.00	c nbDecision=5500 #constraints=97369
552.26/552.51	c nbDecision=6000 #constraints=97370
584.06/584.30	c restart after 6401 decisions
591.56/591.87	c nbDecision=6500 #constraints=97375
630.93/631.28	c nbDecision=7000 #constraints=97375
670.62/670.93	c nbDecision=7500 #constraints=97396
710.11/710.49	c nbDecision=8000 #constraints=97401
749.69/750.03	c nbDecision=8500 #constraints=97417
789.37/789.74	c nbDecision=9000 #constraints=97427
829.16/829.55	c nbDecision=9500 #constraints=97439
869.14/869.59	c nbDecision=10000 #constraints=97459
909.33/909.77	c nbDecision=10500 #constraints=97485
949.21/949.63	c nbDecision=11000 #constraints=97500
989.49/989.92	c nbDecision=11500 #constraints=97529
1029.48/1029.97	c nbDecision=12000 #constraints=97550
1069.66/1070.13	c nbDecision=12500 #constraints=97575
1094.15/1094.62	c restart after 12801 decisions
1109.64/1110.10	c nbDecision=13000 #constraints=97597
1149.13/1149.68	c nbDecision=13500 #constraints=97601
1188.31/1188.85	c nbDecision=14000 #constraints=97604
1227.71/1228.23	c nbDecision=14500 #constraints=97605
1267.19/1267.74	c nbDecision=15000 #constraints=97606
1306.67/1307.27	c nbDecision=15500 #constraints=97610
1346.86/1347.43	c nbDecision=16000 #constraints=97640
1386.44/1387.10	c nbDecision=16500 #constraints=97661
1425.92/1426.59	c nbDecision=17000 #constraints=97663
1465.10/1465.79	c nbDecision=17500 #constraints=97666
1504.59/1505.25	c nbDecision=18000 #constraints=97666
1544.78/1545.44	c nbDecision=18500 #constraints=97696
1584.26/1584.91	c nbDecision=19000 #constraints=97698
1623.85/1624.51	c nbDecision=19500 #constraints=97707
1663.73/1664.48	c nbDecision=20000 #constraints=97724
1703.12/1703.90	c nbDecision=20500 #constraints=97725
1742.40/1743.16	c nbDecision=21000 #constraints=97744
1781.88/1782.65	c nbDecision=21500 #constraints=97744
1800.09/1800.80	Received signal 15
1800.09/1800.85	
1800.09/1800.85	s UNKNOWN
1800.09/1800.85	
1800.09/1800.85	c user time= 1798.51 s
1800.09/1800.85	c system time= 1.63075 s
1800.09/1800.85	c wall clock time=1800.85

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node10/watcher-357217-1176991536 -o ROOT/results/node10/solver-357217-1176991536 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357217-1176991536/instance-357217-1176991536.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.08 1.02 0.95 3/77 30419
/proc/meminfo: memFree=1561672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1468 CPUtime=0
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175192135 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 367 160 127 317 0 46 0

[startup+0.0684301 s]
/proc/loadavg: 1.08 1.02 0.95 3/77 30419
/proc/meminfo: memFree=1561672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=2400 CPUtime=0.06
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 472 0 0 0 6 0 0 0 18 0 1 0 175192135 2457600 356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 600 356 127 317 0 279 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2400

[startup+0.101438 s]
/proc/loadavg: 1.08 1.02 0.95 3/77 30419
/proc/meminfo: memFree=1561672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=3824 CPUtime=0.09
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 693 0 0 0 9 0 0 0 18 0 1 0 175192135 3915776 577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 956 579 127 317 0 635 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3824

[startup+0.30148 s]
/proc/loadavg: 1.08 1.02 0.95 3/77 30419
/proc/meminfo: memFree=1561672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=5520 CPUtime=0.29
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 1541 0 0 0 29 0 0 0 19 0 1 0 175192135 5652480 1039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 1380 1039 127 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701565 s]
/proc/loadavg: 1.08 1.02 0.95 3/77 30419
/proc/meminfo: memFree=1561672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=9548 CPUtime=0.69
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 3084 0 0 0 68 1 0 0 22 0 1 0 175192135 9777152 2069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 2387 2069 127 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50174 s]
/proc/loadavg: 1.15 1.03 0.96 2/78 30420
/proc/meminfo: memFree=1550528/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=17736 CPUtime=1.48
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 6164 0 0 0 144 4 0 0 25 0 1 0 175192135 18161664 4124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 4434 4124 127 317 0 4113 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17736

[startup+3.10108 s]
/proc/loadavg: 1.15 1.03 0.96 2/78 30420
/proc/meminfo: memFree=1536832/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=34244 CPUtime=3.08
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 12366 0 0 0 300 8 0 0 25 0 1 0 175192135 35065856 8277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 8561 8277 127 317 0 8240 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34244

[startup+6.30177 s]
/proc/loadavg: 1.15 1.03 0.96 2/78 30420
/proc/meminfo: memFree=1507592/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=66996 CPUtime=6.28
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 22366 0 0 0 615 13 0 0 25 0 1 0 175192135 68603904 14180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 16749 14180 128 317 0 16428 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 66996

[startup+12.7011 s]
/proc/loadavg: 1.13 1.03 0.96 2/78 30420
/proc/meminfo: memFree=1447368/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=142904 CPUtime=12.68
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 41040 0 0 0 1245 23 0 0 25 0 1 0 175192135 146333696 32854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 35726 32854 131 317 0 35405 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 142904

[startup+25.5019 s]
/proc/loadavg: 1.11 1.03 0.96 2/78 30420
/proc/meminfo: memFree=1172552/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=413732 CPUtime=25.47
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 107655 0 0 0 2489 58 0 0 25 0 1 0 175192135 423661568 99436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 103433 99436 131 317 0 103112 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 413732

[startup+51.1014 s]
/proc/loadavg: 1.07 1.03 0.96 2/78 30420
/proc/meminfo: memFree=490952/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1093776 CPUtime=51.06
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 276221 0 0 0 4972 134 0 0 25 0 1 0 175192135 1120026624 267937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 273444 267937 137 317 0 273123 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1093776

[startup+102.305 s]
/proc/loadavg: 1.03 1.02 0.96 2/78 30420
/proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=102.24
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303121 0 0 0 10077 147 0 0 25 0 1 0 175192135 1230344192 294172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294172 139 317 0 300056 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1201508

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 0.96 2/78 30420
/proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=162.22
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303121 0 0 0 16074 148 0 0 25 0 1 0 175192135 1230344192 294172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294172 139 317 0 300056 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1201508

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.96 2/78 30420
/proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=222.19
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 22071 148 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294173 139 317 0 300056 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1201508

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=282.17
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 28068 149 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294173 139 317 0 300056 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 1201508

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=342.14
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 34065 149 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294173 139 317 0 300056 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 1201508

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=402.13
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 40063 150 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606729 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294173 139 317 0 300056 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1201508

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=462.1
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 46059 151 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294173 139 317 0 300056 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1201508

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=522.08
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 52057 151 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294173 139 317 0 300056 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 1201508

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=385608/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=582.06
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 58054 152 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294173 139 317 0 300056 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1201508

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=385544/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=642.03
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 64051 152 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294173 139 317 0 300056 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 1201508


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=385416/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201508 CPUtime=941.92
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303153 0 0 0 94037 155 0 0 25 0 1 0 175192135 1230344192 294204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300377 294204 170 317 0 300056 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 1201508

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=384968/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1201876 CPUtime=1001.88
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303261 0 0 0 100033 155 0 0 25 0 1 0 175192135 1230721024 294312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300469 294312 170 317 0 300148 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 1201876

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=383880/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1202868 CPUtime=1061.87
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303510 0 0 0 106031 156 0 0 25 0 1 0 175192135 1231736832 294561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300717 294561 170 317 0 300396 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 1202868

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=383496/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1203244 CPUtime=1121.84
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303600 0 0 0 112028 156 0 0 25 0 1 0 175192135 1232121856 294651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300811 294651 170 317 0 300490 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1203244

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=383368/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1203244 CPUtime=1181.82
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303609 0 0 0 118025 157 0 0 25 0 1 0 175192135 1232121856 294660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606888 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300811 294660 170 317 0 300490 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1203244

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=383304/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1203244 CPUtime=1241.8
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303616 0 0 0 124022 158 0 0 25 0 1 0 175192135 1232121856 294667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300811 294667 170 317 0 300490 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1203244

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=383176/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1203376 CPUtime=1301.78
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303634 0 0 0 130020 158 0 0 25 0 1 0 175192135 1232257024 294685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606719 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300844 294685 170 317 0 300523 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1203376

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=382920/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1203640 CPUtime=1361.75
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303688 0 0 0 136016 159 0 0 25 0 1 0 175192135 1232527360 294739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300910 294739 170 317 0 300589 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1203640

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=382856/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1203640 CPUtime=1421.73
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303695 0 0 0 142014 159 0 0 25 0 1 0 175192135 1232527360 294746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300910 294746 170 317 0 300589 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 1203640

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=382792/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1203640 CPUtime=1481.7
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303708 0 0 0 148011 159 0 0 25 0 1 0 175192135 1232527360 294759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 300910 294759 170 317 0 300589 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1203640

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=382280/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1204044 CPUtime=1541.67
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303805 0 0 0 154007 160 0 0 25 0 1 0 175192135 1232941056 294856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 301011 294856 170 317 0 300690 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1204044

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30420
/proc/meminfo: memFree=382280/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1204044 CPUtime=1601.66
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303805 0 0 0 160005 161 0 0 25 0 1 0 175192135 1232941056 294856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 301011 294856 170 317 0 300690 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 1204044

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30422
/proc/meminfo: memFree=381576/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1204576 CPUtime=1661.63
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303942 0 0 0 166002 161 0 0 25 0 1 0 175192135 1233485824 294993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 301144 294993 170 317 0 300823 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1204576

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30422
/proc/meminfo: memFree=381512/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1204708 CPUtime=1721.61
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303962 0 0 0 171999 162 0 0 25 0 1 0 175192135 1233620992 295013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 301177 295013 170 317 0 300856 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1204708

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30422
/proc/meminfo: memFree=381384/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1204708 CPUtime=1781.58
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303977 0 0 0 177996 162 0 0 25 0 1 0 175192135 1233620992 295028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 301177 295028 170 317 0 300856 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 1204708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30422
/proc/meminfo: memFree=381320/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1204708 CPUtime=1800.09
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303981 0 0 0 179846 163 0 0 25 0 1 0 175192135 1233620992 295032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 301177 295032 170 317 0 300856 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1204708

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30422
/proc/meminfo: memFree=381320/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=1141368 CPUtime=1800.67
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303997 0 0 0 179904 163 0 0 25 0 1 0 175192135 1168760832 279874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 285342 279874 186 317 0 285021 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 1141368

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 0.96 2/79 30423
/proc/meminfo: memFree=441856/2055920 swapFree=4152380/4192956
[pid=30419] ppid=30417 vsize=0 CPUtime=1801.08
/proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194308 303997 0 0 0 179936 172 0 0 25 0 1 0 175192135 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30419/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.89
CPU time (s): 1801.18
CPU user time (s): 1799.37
CPU system time (s): 1.81172
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 1204708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 1.81172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303997
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= 9
involuntary context switches= 2148

runsolver used 2.11668 second user time and 4.42933 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Thu Apr 19 14:05:46 UTC 2007

IDJOB= 357217
IDBENCH= 2278
IDSOLVER= 172
FILE ID= node10/357217-1176991536

PBS_JOBID= 4630430

Free space on /tmp= 66110 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome13.opb
COMMAND LINE= oree /tmp/evaluation/357217-1176991536/instance-357217-1176991536.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-357217-1176991536 -o ROOT/results/node10/solver-357217-1176991536 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357217-1176991536/instance-357217-1176991536.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  e3f30a3ccce8a834fba8f93335c22413

RANDOM SEED= 90912207

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1561952 kB
Buffers:         22148 kB
Cached:         387424 kB
SwapCached:       8560 kB
Active:         221920 kB
Inactive:       210512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1561952 kB
SwapTotal:     4192956 kB
SwapFree:      4152380 kB
Dirty:          164624 kB
Writeback:           0 kB
Mapped:          30168 kB
Slab:            47092 kB
Committed_AS:  3566664 kB
PageTables:       1708 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66110 MiB

End job on node10 on Thu Apr 19 14:35:50 UTC 2007