Trace number 429363

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.36 1801.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb
MD5SUM3e0f07488272e35b9b674c3d7ccbd7e8
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.301953
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables243
Total number of constraints19
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 constraints19
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

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.00/0.01	c ...done
0.00/0.01	c #vars=972 #constraints=1487 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.80/0.80	c restart after 401 decisions
0.90/0.97	c nbDecision=500 #constraints=1922
1.59/1.63	c restart after 801 decisions
2.09/2.10	c nbDecision=1000 #constraints=2379
3.60/3.67	c nbDecision=1500 #constraints=2870
4.00/4.06	c restart after 1601 decisions
5.29/5.30	c nbDecision=2000 #constraints=3318
6.58/6.61	c nbDecision=2500 #constraints=3808
8.68/8.73	c nbDecision=3000 #constraints=4308
10.07/10.10	c restart after 3201 decisions
11.67/11.71	c nbDecision=3500 #constraints=4766
15.77/15.87	c nbDecision=4000 #constraints=5266
20.17/20.29	c nbDecision=4500 #constraints=5754
23.67/23.74	c nbDecision=5000 #constraints=6243
29.47/29.56	c nbDecision=5500 #constraints=6744
37.27/37.30	c nbDecision=6000 #constraints=7246
38.56/38.67	c restart after 6401 decisions
39.67/39.72	c nbDecision=6500 #constraints=7683
44.76/44.85	c nbDecision=7000 #constraints=8173
48.37/48.48	c nbDecision=7500 #constraints=8673
54.25/54.37	c nbDecision=8000 #constraints=9149
55.46/55.56	c nbDecision=8500 #constraints=9626
56.25/56.33	c nbDecision=9000 #constraints=10113
58.05/58.13	c nbDecision=9500 #constraints=10616
59.65/59.71	c nbDecision=10000 #constraints=11101
62.25/62.36	c nbDecision=10500 #constraints=11564
65.65/65.77	c nbDecision=11000 #constraints=12045
72.25/72.36	c nbDecision=11500 #constraints=12551
79.74/79.82	c nbDecision=12000 #constraints=13040
88.95/89.08	c nbDecision=12500 #constraints=13516
96.24/96.34	c restart after 12801 decisions
97.73/97.87	c nbDecision=13000 #constraints=13984
102.43/102.57	c nbDecision=13500 #constraints=14484
111.32/111.41	c nbDecision=14000 #constraints=14971
121.01/121.16	c nbDecision=14500 #constraints=15447
127.42/127.54	c nbDecision=15000 #constraints=15941
132.41/132.53	c nbDecision=15500 #constraints=16417
147.57/147.72	c nbDecision=16000 #constraints=16877
164.56/164.76	c nbDecision=16500 #constraints=17357
177.65/177.81	c nbDecision=17000 #constraints=17849
191.94/192.18	c nbDecision=17500 #constraints=18324
213.53/213.79	c nbDecision=18000 #constraints=18822
229.32/229.54	c nbDecision=18500 #constraints=19306
244.41/244.65	c nbDecision=19000 #constraints=19760
275.00/275.28	c nbDecision=19500 #constraints=20255
294.58/294.83	c nbDecision=20000 #constraints=20713
322.36/322.67	c nbDecision=20500 #constraints=21207
344.55/344.87	c nbDecision=21000 #constraints=21645
372.92/373.24	c nbDecision=21500 #constraints=22114
411.10/411.50	c nbDecision=22000 #constraints=22613
446.29/446.69	c nbDecision=22500 #constraints=23115
482.85/483.20	c nbDecision=23000 #constraints=23613
519.13/519.51	c nbDecision=23500 #constraints=24108
580.09/580.57	c nbDecision=24000 #constraints=24610
637.46/637.97	c nbDecision=24500 #constraints=25110
698.51/699.03	c nbDecision=25000 #constraints=25610
733.50/734.06	c nbDecision=25500 #constraints=26077
744.28/744.87	c restart after 25601 decisions
750.78/751.37	c nbDecision=26000 #constraints=26500
756.97/757.52	c nbDecision=26500 #constraints=27002
766.78/767.34	c nbDecision=27000 #constraints=27482
832.13/832.72	c nbDecision=27500 #constraints=27979
893.19/893.82	c nbDecision=28000 #constraints=28480
949.46/950.19	c nbDecision=28500 #constraints=28969
997.12/997.85	c nbDecision=29000 #constraints=29431
1059.48/1060.27	c nbDecision=29500 #constraints=29929
1115.55/1116.31	c nbDecision=30000 #constraints=30418
1172.41/1173.29	c nbDecision=30500 #constraints=30893
1225.48/1226.39	c nbDecision=31000 #constraints=31382
1279.65/1280.53	c nbDecision=31500 #constraints=31855
1316.72/1317.65	c nbDecision=32000 #constraints=32303
1381.19/1382.29	c nbDecision=32500 #constraints=32804
1445.95/1447.05	c nbDecision=33000 #constraints=33302
1492.72/1493.89	c nbDecision=33500 #constraints=33788
1562.98/1564.10	c nbDecision=34000 #constraints=34270
1601.96/1603.15	c nbDecision=34500 #constraints=34756
1693.99/1695.29	c nbDecision=35000 #constraints=35257
1773.94/1775.22	c nbDecision=35500 #constraints=35738
1800.03/1801.30	Received signal 15
1800.22/1801.59	
1800.22/1801.59	s UNKNOWN
1800.22/1801.59	
1800.22/1801.59	c user time= 1799.81 s
1800.22/1801.59	c system time= 0.518921 s
1800.22/1801.59	c wall clock time=1801.59

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb
mv /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb.tmp /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node69/watcher-429363-1177983542 -o ROOT/results/node69/solver-429363-1177983542 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429363-1177983542/instance-429363-1177983542.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.03 1.02 1.00 3/64 643
/proc/meminfo: memFree=1904620/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=1468 CPUtime=0
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 274343642 1503232 171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 367 171 131 317 0 46 0

[startup+0.0643461 s]
/proc/loadavg: 1.03 1.02 1.00 3/64 643
/proc/meminfo: memFree=1904620/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=2208 CPUtime=0.06
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 362 0 0 0 6 0 0 0 18 0 1 0 274343642 2260992 345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 552 345 139 317 0 231 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2208

[startup+0.101352 s]
/proc/loadavg: 1.03 1.02 1.00 3/64 643
/proc/meminfo: memFree=1904620/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=2340 CPUtime=0.1
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 383 0 0 0 10 0 0 0 18 0 1 0 274343642 2396160 366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 585 366 139 317 0 264 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2340

[startup+0.301384 s]
/proc/loadavg: 1.03 1.02 1.00 3/64 643
/proc/meminfo: memFree=1904620/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=2728 CPUtime=0.3
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 483 0 0 0 30 0 0 0 20 0 1 0 274343642 2793472 466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 682 466 139 317 0 361 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2728

[startup+0.701449 s]
/proc/loadavg: 1.03 1.02 1.00 3/64 643
/proc/meminfo: memFree=1904620/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=3508 CPUtime=0.7
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 694 0 0 0 70 0 0 0 24 0 1 0 274343642 3592192 677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 877 677 139 317 0 556 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 3508

[startup+1.50158 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 644
/proc/meminfo: memFree=1901796/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=5076 CPUtime=1.49
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 1095 0 0 0 149 0 0 0 25 0 1 0 274343642 5197824 1078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 1269 1078 139 317 0 948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5076

[startup+3.10184 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 644
/proc/meminfo: memFree=1899684/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=7560 CPUtime=3.09
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 1698 0 0 0 309 0 0 0 25 0 1 0 274343642 7741440 1681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718933 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 1890 1681 139 317 0 1569 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7560

[startup+6.30136 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 644
/proc/meminfo: memFree=1895076/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=12176 CPUtime=6.28
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 2856 0 0 0 627 1 0 0 25 0 1 0 274343642 12468224 2839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/643/statm: 3044 2839 139 317 0 2723 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 12176

[startup+12.7014 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 644
/proc/meminfo: memFree=1888228/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=17952 CPUtime=12.67
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 4268 0 0 0 1265 2 0 0 25 0 1 0 274343642 18382848 4251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 4488 4251 139 317 0 4167 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 17952

[startup+25.5014 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 644
/proc/meminfo: memFree=1881508/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=24780 CPUtime=25.47
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 5929 0 0 0 2543 4 0 0 25 0 1 0 274343642 25374720 5875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 6195 5875 139 317 0 5874 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 24780

[startup+51.1016 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 644
/proc/meminfo: memFree=1870180/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=36288 CPUtime=51.06
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 8765 0 0 0 5099 7 0 0 25 0 1 0 274343642 37158912 8711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/643/statm: 9072 8711 139 317 0 8751 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 36288

[startup+102.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 644
/proc/meminfo: memFree=1845028/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=61860 CPUtime=102.23
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 15135 0 0 0 10211 12 0 0 25 0 1 0 274343642 63344640 15009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 15465 15009 170 317 0 15144 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 61860

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 646
/proc/meminfo: memFree=1831972/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=75264 CPUtime=162.16
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 18343 0 0 0 16202 14 0 0 25 0 1 0 274343642 77070336 18217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 18816 18217 170 317 0 18495 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 75264

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1824484/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=82652 CPUtime=222.12
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 20207 0 0 0 22197 15 0 0 25 0 1 0 274343642 84635648 20081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 20663 20081 170 317 0 20342 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 82652

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1817700/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=90212 CPUtime=282.08
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 21921 0 0 0 28190 18 0 0 25 0 1 0 274343642 92377088 21795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 22553 21795 170 317 0 22232 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 90212

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1812516/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=95712 CPUtime=342.05
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 23327 0 0 0 34185 20 0 0 25 0 1 0 274343642 98009088 23059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 23928 23059 170 317 0 23607 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 95712

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1808612/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=99972 CPUtime=402.01
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 24314 0 0 0 40181 20 0 0 25 0 1 0 274343642 102371328 24046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 24993 24046 170 317 0 24672 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 99972

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1804772/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=104376 CPUtime=461.97
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 25248 0 0 0 46176 21 0 0 25 0 1 0 274343642 106881024 24980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 26094 24980 170 317 0 25773 0
Current children cumulated CPU time (s) 461.97
Current children cumulated vsize (KiB) 104376

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1801316/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=107996 CPUtime=521.93
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 26120 0 0 0 52171 22 0 0 25 0 1 0 274343642 110587904 25852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 26999 25852 170 317 0 26678 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 107996

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1799140/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=110140 CPUtime=581.89
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 26665 0 0 0 58167 22 0 0 25 0 1 0 274343642 112783360 26397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 27535 26397 170 317 0 27214 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 110140

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1796836/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=112360 CPUtime=641.86
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 27223 0 0 0 64164 22 0 0 25 0 1 0 274343642 115056640 26955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 28090 26955 170 317 0 27769 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 112360


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

[startup+942.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 646
/proc/meminfo: memFree=1780132/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=129744 CPUtime=941.67
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 31341 0 0 0 94140 27 0 0 25 0 1 0 274343642 132857856 31073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 32436 31073 170 317 0 32115 0
Current children cumulated CPU time (s) 941.67
Current children cumulated vsize (KiB) 129744

[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 646
/proc/meminfo: memFree=1777572/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=132632 CPUtime=1001.62
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 32007 0 0 0 100135 27 0 0 25 0 1 0 274343642 135815168 31739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 33158 31739 170 317 0 32837 0
Current children cumulated CPU time (s) 1001.62
Current children cumulated vsize (KiB) 132632

[startup+1062.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 646
/proc/meminfo: memFree=1775524/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=134732 CPUtime=1061.58
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 32515 0 0 0 106130 28 0 0 25 0 1 0 274343642 137965568 32247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 33683 32247 170 317 0 33362 0
Current children cumulated CPU time (s) 1061.58
Current children cumulated vsize (KiB) 134732

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1773348/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=137140 CPUtime=1121.55
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 33067 0 0 0 112126 29 0 0 25 0 1 0 274343642 140431360 32799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 34285 32799 170 317 0 33964 0
Current children cumulated CPU time (s) 1121.55
Current children cumulated vsize (KiB) 137140

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1771044/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=139300 CPUtime=1181.5
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 33635 0 0 0 118121 29 0 0 25 0 1 0 274343642 142643200 33367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 34825 33367 170 317 0 34504 0
Current children cumulated CPU time (s) 1181.5
Current children cumulated vsize (KiB) 139300

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1768548/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=141644 CPUtime=1241.47
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 34229 0 0 0 124117 30 0 0 25 0 1 0 274343642 145043456 33961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 35411 33961 170 317 0 35090 0
Current children cumulated CPU time (s) 1241.47
Current children cumulated vsize (KiB) 141644

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 646
/proc/meminfo: memFree=1765476/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=144572 CPUtime=1301.44
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 34984 0 0 0 130113 31 0 0 25 0 1 0 274343642 148041728 34716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 36143 34716 170 317 0 35822 0
Current children cumulated CPU time (s) 1301.44
Current children cumulated vsize (KiB) 144572

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 818
/proc/meminfo: memFree=1762156/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=146416 CPUtime=1361.39
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 35445 0 0 0 136095 44 0 0 25 0 1 0 274343642 149929984 35177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 36604 35177 170 317 0 36283 0
Current children cumulated CPU time (s) 1361.39
Current children cumulated vsize (KiB) 146416

[startup+1422.31 s]
/proc/loadavg: 1.11 1.04 1.01 2/65 1323
/proc/meminfo: memFree=1733860/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=149148 CPUtime=1421.27
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 36122 0 0 0 142079 48 0 0 25 0 1 0 274343642 152727552 35689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 37287 35689 170 317 0 36966 0
Current children cumulated CPU time (s) 1421.27
Current children cumulated vsize (KiB) 149148

[startup+1482.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 1323
/proc/meminfo: memFree=1731748/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=152480 CPUtime=1481.23
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 36913 0 0 0 148074 49 0 0 25 0 1 0 274343642 156139520 36315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 38120 36315 170 317 0 37799 0
Current children cumulated CPU time (s) 1481.23
Current children cumulated vsize (KiB) 152480

[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 1323
/proc/meminfo: memFree=1729636/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=154680 CPUtime=1541.19
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 37417 0 0 0 154069 50 0 0 25 0 1 0 274343642 158392320 36819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 38670 36819 170 317 0 38349 0
Current children cumulated CPU time (s) 1541.19
Current children cumulated vsize (KiB) 154680

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1323
/proc/meminfo: memFree=1726116/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=159192 CPUtime=1601.16
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 38298 0 0 0 160065 51 0 0 25 0 1 0 274343642 163012608 37700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 39798 37700 170 317 0 39477 0
Current children cumulated CPU time (s) 1601.16
Current children cumulated vsize (KiB) 159192

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 1323
/proc/meminfo: memFree=1724900/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=160472 CPUtime=1661.11
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 38604 0 0 0 166060 51 0 0 25 0 1 0 274343642 164323328 38006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 40118 38006 170 317 0 39797 0
Current children cumulated CPU time (s) 1661.11
Current children cumulated vsize (KiB) 160472

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1323
/proc/meminfo: memFree=1723364/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=162232 CPUtime=1721.07
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 39019 0 0 0 172056 51 0 0 25 0 1 0 274343642 166125568 38388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 40558 38388 170 317 0 40237 0
Current children cumulated CPU time (s) 1721.07
Current children cumulated vsize (KiB) 162232

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1323
/proc/meminfo: memFree=1721828/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=163560 CPUtime=1781.04
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 39373 0 0 0 178053 51 0 0 25 0 1 0 274343642 167485440 38742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 40890 38742 170 317 0 40569 0
Current children cumulated CPU time (s) 1781.04
Current children cumulated vsize (KiB) 163560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1323
/proc/meminfo: memFree=1721380/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=163952 CPUtime=1800.03
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 39492 0 0 0 179952 51 0 0 25 0 1 0 274343642 167886848 38861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 40988 38861 170 317 0 40667 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 163952

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

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

[startup+1801.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1323
/proc/meminfo: memFree=1721380/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=163952 CPUtime=1800.13
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 39493 0 0 0 179962 51 0 0 25 0 1 0 274343642 167886848 38862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 40988 38862 170 317 0 40667 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 163952

[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1323
/proc/meminfo: memFree=1721380/2055920 swapFree=4182928/4192956
[pid=643] ppid=641 vsize=158364 CPUtime=1800.32
/proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 39509 0 0 0 179981 51 0 0 25 0 1 0 274343642 162164736 37921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 0 0 0
/proc/643/statm: 39492 37882 186 317 0 39171 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 158364

Child status: 0
Real time (s): 1801.63
CPU time (s): 1800.36
CPU user time (s): 1799.82
CPU system time (s): 0.544917
CPU usage (%): 99.9297
Max. virtual memory (cumulated for all children) (KiB): 163952

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

runsolver used 1.9567 second user time and 4.56531 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Tue May  1 01:39:02 UTC 2007

IDJOB= 429363
IDBENCH= 47903
IDSOLVER= 172
FILE ID= node69/429363-1177983542

PBS_JOBID= 4728186

Free space on /tmp= 66561 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb
COMMAND LINE= oree /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node69/convwatcher-429363-1177983542 -o ROOT/results/node69/conversion-429363-1177983542 -C 600 -M 1800 /tmp/evaluation/429363-1177983542/substituteSizeProductKeyword /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-429363-1177983542 -o ROOT/results/node69/solver-429363-1177983542 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  3e0f07488272e35b9b674c3d7ccbd7e8

RANDOM SEED= 585756498

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1904964 kB
Buffers:         10924 kB
Cached:          70356 kB
SwapCached:       3788 kB
Active:          49816 kB
Inactive:        41028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1904964 kB
SwapTotal:     4192956 kB
SwapFree:      4182928 kB
Dirty:            1324 kB
Writeback:           0 kB
Mapped:          15496 kB
Slab:            46016 kB
Committed_AS:  3348844 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB

End job on node69 on Tue May  1 02:09:05 UTC 2007