Trace number 362314

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1802.14 1802.7

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb
MD5SUM6ddbc05dc60ac3abba60700f70e1bd54
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.97409
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7998
Total number of constraints307
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 constraints307
Minimum length of a constraint31
Maximum length of a constraint1290
Number of terms in the objective function 7998
Biggest coefficient in the objective function 1795
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530626
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 530626
Number of bits of the biggest sum of numbers20
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.07/0.09	c ...done
0.07/0.09	c #vars=7998 #constraints=357 hasObjective=yes
0.09/0.19	c res. mode=mod
0.09/0.19	c VSIDS like heuristics
0.09/0.19	c complete search running
0.19/0.23	c restart after 401 decisions
0.19/0.24	c nbDecision=500 #constraints=357
0.19/0.26	c restart after 801 decisions
0.19/0.27	c nbDecision=1000 #constraints=357
0.29/0.31	c nbDecision=1500 #constraints=357
0.29/0.31	c restart after 1601 decisions
0.29/0.34	c nbDecision=2000 #constraints=357
0.29/0.38	c nbDecision=2500 #constraints=357
0.39/0.41	c nbDecision=3000 #constraints=357
0.39/0.42	c restart after 3201 decisions
0.39/0.44	c nbDecision=3500 #constraints=357
0.39/0.48	c nbDecision=4000 #constraints=357
0.49/0.50	c nbDecision=4500 #constraints=357
0.49/0.53	c nbDecision=5000 #constraints=357
0.49/0.55	c nbDecision=5500 #constraints=357
0.49/0.57	c nbDecision=6000 #constraints=357
1.00/1.09	c restart after 6401 decisions
1.00/1.10	c nbDecision=6500 #constraints=513
1.10/1.14	c nbDecision=7000 #constraints=513
1.10/1.16	c nbDecision=7500 #constraints=513
1.10/1.19	c nbDecision=8000 #constraints=513
1.19/1.22	c nbDecision=8500 #constraints=513
1.19/1.24	c nbDecision=9000 #constraints=513
1.29/1.30	c nbDecision=9500 #constraints=526
1.89/1.90	c nbDecision=10000 #constraints=670
2.49/2.55	c nbDecision=10500 #constraints=826
2.79/2.85	c nbDecision=11000 #constraints=893
4.99/5.08	c nbDecision=11500 #constraints=1149
5.59/5.62	c nbDecision=12000 #constraints=1191
6.49/6.56	c nbDecision=12500 #constraints=1360
11.89/11.97	c restart after 12801 decisions
11.99/12.04	c nbDecision=13000 #constraints=1620
11.99/12.09	c nbDecision=13500 #constraints=1620
12.09/12.15	c nbDecision=14000 #constraints=1620
12.09/12.19	c nbDecision=14500 #constraints=1620
12.19/12.21	c nbDecision=15000 #constraints=1620
12.78/12.86	c nbDecision=15500 #constraints=1647
16.89/16.91	c nbDecision=16000 #constraints=1956
25.39/25.45	c nbDecision=16500 #constraints=2232
28.58/28.68	c nbDecision=17000 #constraints=2359
34.28/34.30	c nbDecision=17500 #constraints=2597
41.48/41.50	c nbDecision=18000 #constraints=2856
44.68/44.72	c nbDecision=18500 #constraints=3002
53.18/53.24	c nbDecision=19000 #constraints=3207
69.08/69.16	c nbDecision=19500 #constraints=3467
73.37/73.49	c nbDecision=20000 #constraints=3610
77.78/77.82	c nbDecision=20500 #constraints=3805
80.77/80.84	c nbDecision=21000 #constraints=3935
84.67/84.71	c nbDecision=21500 #constraints=4064
87.97/88.06	c nbDecision=22000 #constraints=4220
113.66/113.72	c nbDecision=22500 #constraints=4486
142.66/142.75	c nbDecision=23000 #constraints=4766
147.15/147.22	c nbDecision=23500 #constraints=4806
147.15/147.30	c nbDecision=24000 #constraints=4806
151.55/151.66	c nbDecision=24500 #constraints=4974
153.15/153.21	c nbDecision=25000 #constraints=5030
156.65/156.78	c nbDecision=25500 #constraints=5156
157.15/157.21	c restart after 25601 decisions
157.95/158.01	c nbDecision=26000 #constraints=5170
158.05/158.19	c nbDecision=26500 #constraints=5170
158.25/158.38	c nbDecision=27000 #constraints=5170
158.35/158.49	c nbDecision=27500 #constraints=5170
158.55/158.68	c nbDecision=28000 #constraints=5170
163.65/163.71	c nbDecision=28500 #constraints=5338
165.25/165.33	c nbDecision=29000 #constraints=5430
174.85/174.91	c nbDecision=29500 #constraints=5689
177.25/177.33	c nbDecision=30000 #constraints=5731
190.24/190.31	c nbDecision=30500 #constraints=6045
214.84/214.99	c nbDecision=31000 #constraints=6350
239.13/239.23	c nbDecision=31500 #constraints=6615
252.23/252.36	c nbDecision=32000 #constraints=6720
252.33/252.47	c nbDecision=32500 #constraints=6720
259.22/259.31	c nbDecision=33000 #constraints=6888
262.22/262.31	c nbDecision=33500 #constraints=6958
267.63/267.79	c nbDecision=34000 #constraints=7084
275.12/275.28	c nbDecision=34500 #constraints=7252
278.92/279.03	c nbDecision=35000 #constraints=7396
293.92/294.06	c nbDecision=35500 #constraints=7631
295.92/296.01	c nbDecision=36000 #constraints=7673
318.71/318.80	c nbDecision=36500 #constraints=8002
353.60/353.73	c nbDecision=37000 #constraints=8305
385.59/385.75	c nbDecision=37500 #constraints=8555
400.78/400.97	c nbDecision=38000 #constraints=8634
406.38/406.58	c nbDecision=38500 #constraints=8814
406.89/407.07	c nbDecision=39000 #constraints=8829
412.59/412.78	c nbDecision=39500 #constraints=9009
417.89/418.01	c nbDecision=40000 #constraints=9174
419.58/419.70	c nbDecision=40500 #constraints=9219
430.78/430.92	c nbDecision=41000 #constraints=9474
441.38/441.56	c nbDecision=41500 #constraints=9573
445.68/445.81	c nbDecision=42000 #constraints=9741
493.67/493.83	c nbDecision=42500 #constraints=10093
535.35/535.55	c nbDecision=43000 #constraints=10366
568.15/568.37	c nbDecision=43500 #constraints=10562
577.44/577.65	c nbDecision=44000 #constraints=10703
580.44/580.61	c nbDecision=44500 #constraints=10746
591.84/592.09	c nbDecision=45000 #constraints=10914
630.03/630.21	c nbDecision=45500 #constraints=11164
665.52/665.77	c nbDecision=46000 #constraints=11461
685.12/685.35	c nbDecision=46500 #constraints=11532
690.21/690.48	c nbDecision=47000 #constraints=11700
756.10/756.34	c nbDecision=47500 #constraints=12081
807.98/808.25	c nbDecision=48000 #constraints=12351
844.98/845.21	c nbDecision=48500 #constraints=12522
858.17/858.49	c nbDecision=49000 #constraints=12690
859.47/859.79	c nbDecision=49500 #constraints=12705
873.26/873.55	c nbDecision=50000 #constraints=12873
923.76/924.09	c nbDecision=50500 #constraints=13150
968.45/968.72	c nbDecision=51000 #constraints=13447
988.14/988.43	c restart after 51201 decisions
990.14/990.47	c nbDecision=51500 #constraints=13492
990.64/990.93	c nbDecision=52000 #constraints=13492
990.94/991.28	c nbDecision=52500 #constraints=13492
991.44/991.76	c nbDecision=53000 #constraints=13492
992.24/992.59	c nbDecision=53500 #constraints=13492
998.34/998.63	c nbDecision=54000 #constraints=13660
1073.02/1073.32	c nbDecision=54500 #constraints=14012
1136.30/1136.62	c nbDecision=55000 #constraints=14285
1184.99/1185.40	c nbDecision=55500 #constraints=14481
1196.88/1197.23	c nbDecision=56000 #constraints=14608
1202.29/1202.68	c nbDecision=56500 #constraints=14665
1218.27/1218.70	c nbDecision=57000 #constraints=14833
1269.07/1269.45	c nbDecision=57500 #constraints=15056
1321.86/1322.26	c nbDecision=58000 #constraints=15353
1356.44/1356.86	c nbDecision=58500 #constraints=15453
1363.45/1363.83	c nbDecision=59000 #constraints=15621
1457.81/1458.35	c nbDecision=59500 #constraints=16002
1528.51/1529.09	c nbDecision=60000 #constraints=16259
1582.88/1583.43	c nbDecision=60500 #constraints=16443
1600.69/1601.27	c nbDecision=61000 #constraints=16611
1602.48/1603.00	c nbDecision=61500 #constraints=16626
1620.78/1621.31	c nbDecision=62000 #constraints=16794
1689.86/1690.47	c nbDecision=62500 #constraints=17071
1746.64/1747.28	c nbDecision=63000 #constraints=17341
1781.53/1782.12	c nbDecision=63500 #constraints=17415
1797.83/1798.43	c nbDecision=64000 #constraints=17624
1800.03/1800.60	Received signal 15
1801.93/1802.59	
1801.93/1802.59	s UNKNOWN
1801.93/1802.59	
1801.93/1802.59	c user time= 1801.21 s
1801.93/1802.59	c system time= 0.828873 s
1801.93/1802.59	c wall clock time=1802.6

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/node44/watcher-362314-1176845863 -o ROOT/results/node44/solver-362314-1176845863 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362314-1176845863/instance-362314-1176845863.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20290
/proc/meminfo: memFree=1680832/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=1620 CPUtime=0
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 132498002 1658880 174 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 405 174 126 317 0 84 0

[startup+0.0756151 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20290
/proc/meminfo: memFree=1680832/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=2996 CPUtime=0.07
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 544 0 0 0 7 0 0 0 18 0 1 0 132498002 3067904 526 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 749 526 131 317 0 428 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2996

[startup+0.101618 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20290
/proc/meminfo: memFree=1680832/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=4144 CPUtime=0.09
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 825 0 0 0 9 0 0 0 18 0 1 0 132498002 4243456 807 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 1036 807 137 317 0 715 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4144

[startup+0.301639 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20290
/proc/meminfo: memFree=1680832/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=4408 CPUtime=0.29
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 911 0 0 0 29 0 0 0 19 0 1 0 132498002 4513792 893 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 1102 893 138 317 0 781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4408

[startup+0.70168 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20290
/proc/meminfo: memFree=1680832/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=5224 CPUtime=0.69
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 1091 0 0 0 69 0 0 0 23 0 1 0 132498002 5349376 1073 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 1306 1073 139 317 0 985 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5224

[startup+1.50176 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 20291
/proc/meminfo: memFree=1675384/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=8708 CPUtime=1.49
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 1966 0 0 0 149 0 0 0 25 0 1 0 132498002 8916992 1948 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 2177 1948 139 317 0 1856 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8708

[startup+3.10193 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 20291
/proc/meminfo: memFree=1670072/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=17012 CPUtime=3.09
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 4032 0 0 0 308 1 0 0 25 0 1 0 132498002 17420288 4014 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 4253 4014 139 317 0 3932 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17012

[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 20291
/proc/meminfo: memFree=1658616/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=27068 CPUtime=6.28
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 6454 0 0 0 627 1 0 0 25 0 1 0 132498002 27717632 6436 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 6767 6436 139 317 0 6446 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27068

[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 20291
/proc/meminfo: memFree=1643192/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=40036 CPUtime=12.69
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 9627 0 0 0 1267 2 0 0 25 0 1 0 132498002 40996864 9609 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 10009 9609 139 317 0 9688 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40036

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 20291
/proc/meminfo: memFree=1622968/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=59964 CPUtime=25.49
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 14561 0 0 0 2544 5 0 0 25 0 1 0 132498002 61403136 14543 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 14991 14543 139 317 0 14670 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59964

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 20291
/proc/meminfo: memFree=1584824/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=98752 CPUtime=51.08
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 24086 0 0 0 5099 9 0 0 25 0 1 0 132498002 101122048 24068 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 24688 24068 139 317 0 24367 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98752

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1539256/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=147560 CPUtime=102.27
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 35413 0 0 0 10213 14 0 0 25 0 1 0 132498002 151101440 35395 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716132 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 36890 35395 139 317 0 36569 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 147560

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1509112/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=180412 CPUtime=162.25
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 43003 0 0 0 16206 19 0 0 25 0 1 0 132498002 184741888 42985 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 45103 42985 139 317 0 44782 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 180412

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1474360/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=215596 CPUtime=222.23
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 51586 0 0 0 22199 24 0 0 25 0 1 0 132498002 220770304 51568 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 53899 51568 139 317 0 53578 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 215596

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1451832/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=236584 CPUtime=282.22
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 57255 0 0 0 28194 28 0 0 25 0 1 0 132498002 242262016 57237 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 59146 57237 139 317 0 58825 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 236584

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1428280/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=260976 CPUtime=342.2
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 63066 0 0 0 34189 31 0 0 25 0 1 0 132498002 267239424 63048 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 65244 63048 139 317 0 64923 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 260976

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1403768/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=295352 CPUtime=402.19
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 69333 0 0 0 40185 34 0 0 25 0 1 0 132498002 302440448 69258 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 73838 69258 139 317 0 73517 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 295352

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1373624/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=327300 CPUtime=462.17
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 76767 0 0 0 46179 38 0 0 25 0 1 0 132498002 335155200 76692 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 81825 76692 139 317 0 81504 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 327300

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1356088/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=343328 CPUtime=522.15
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 81165 0 0 0 52175 40 0 0 25 0 1 0 132498002 351567872 81090 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 85832 81090 139 317 0 85511 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 343328

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1343608/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=355580 CPUtime=582.14
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 84255 0 0 0 58172 42 0 0 25 0 1 0 132498002 364113920 84180 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 88895 84180 139 317 0 88574 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 355580

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1327480/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=369780 CPUtime=642.13
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 88255 0 0 0 64168 45 0 0 25 0 1 0 132498002 378654720 88180 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 92445 88180 139 317 0 92124 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 369780


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

/proc/meminfo: memFree=1245240/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=453124 CPUtime=1002.04
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 108812 0 0 0 100146 58 0 0 25 0 1 0 132498002 463998976 108737 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 113281 108737 139 317 0 112960 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 453124

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1229496/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=472640 CPUtime=1062.02
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 112750 0 0 0 106141 61 0 0 25 0 1 0 132498002 483983360 112675 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 118160 112675 139 317 0 117839 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 472640

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1218488/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=482640 CPUtime=1122.01
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 115482 0 0 0 112138 63 0 0 25 0 1 0 132498002 494223360 115407 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 120660 115407 139 317 0 120339 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 482640

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 20293
/proc/meminfo: memFree=1209720/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=490484 CPUtime=1181.99
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 117640 0 0 0 118135 64 0 0 25 0 1 0 132498002 502255616 117565 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 122621 117565 139 317 0 122300 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 490484

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1199864/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=499788 CPUtime=1241.97
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 120115 0 0 0 124131 66 0 0 25 0 1 0 132498002 511782912 120040 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 124947 120040 139 317 0 124626 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 499788

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1189112/2055920 swapFree=4143524/4192956
[pid=20290] ppid=20288 vsize=510060 CPUtime=1301.96
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 122789 0 0 0 130128 68 0 0 25 0 1 0 132498002 522301440 122714 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 127515 122714 139 317 0 127194 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 510060

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20293
/proc/meminfo: memFree=1175160/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=528996 CPUtime=1361.95
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 126340 0 0 0 136124 71 0 0 25 0 1 0 132498002 541691904 126265 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134595759 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 132249 126265 139 317 0 131928 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 528996

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 20431
/proc/meminfo: memFree=1163776/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=538076 CPUtime=1421.86
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 128778 0 0 0 142114 72 0 0 25 0 1 0 132498002 550989824 128703 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 134519 128703 139 317 0 134198 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 538076

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20491
/proc/meminfo: memFree=1156344/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=546536 CPUtime=1481.81
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 130949 0 0 0 148108 73 0 0 25 0 1 0 132498002 559652864 130874 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 136634 130874 139 317 0 136313 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 546536

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20491
/proc/meminfo: memFree=1145208/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=559068 CPUtime=1541.79
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 133709 0 0 0 154105 74 0 0 25 0 1 0 132498002 572485632 133634 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 139767 133634 139 317 0 139446 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 559068

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20491
/proc/meminfo: memFree=1138040/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=567612 CPUtime=1601.78
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 135649 0 0 0 160102 76 0 0 25 0 1 0 132498002 581234688 135460 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 141903 135460 139 317 0 141582 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 567612

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20491
/proc/meminfo: memFree=1124152/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=585696 CPUtime=1661.77
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 139096 0 0 0 166099 78 0 0 25 0 1 0 132498002 599752704 138907 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711207 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 146424 138907 139 317 0 146103 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 585696

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20491
/proc/meminfo: memFree=1114552/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=594660 CPUtime=1721.75
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 141524 0 0 0 172095 80 0 0 25 0 1 0 132498002 608931840 141335 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 148665 141335 139 317 0 148344 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 594660

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20491
/proc/meminfo: memFree=1107768/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=601148 CPUtime=1781.73
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 143180 0 0 0 178092 81 0 0 25 0 1 0 132498002 615575552 142991 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 150287 142991 139 317 0 149966 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 601148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20491
/proc/meminfo: memFree=1098936/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=614236 CPUtime=1800.03
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 145371 0 0 0 179921 82 0 0 25 0 1 0 132498002 628977664 145182 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 153559 145182 139 317 0 153238 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 614236

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20491
/proc/meminfo: memFree=1098936/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=614236 CPUtime=1800.83
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 145390 0 0 0 180001 82 0 0 25 0 1 0 132498002 628977664 145201 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 153559 145201 139 317 0 153238 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 614236

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20492
/proc/meminfo: memFree=1098800/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=614364 CPUtime=1801.63
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 145416 0 0 0 180081 82 0 0 25 0 1 0 132498002 629108736 145227 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 153591 145227 139 317 0 153270 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 614364

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20492
/proc/meminfo: memFree=1098800/2055920 swapFree=4143528/4192956
[pid=20290] ppid=20288 vsize=600784 CPUtime=1802.03
/proc/20290/stat : 20290 (oree) R 20288 20290 19551 0 -1 4194304 145440 0 0 0 180120 83 0 0 25 0 1 0 132498002 615202816 143004 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20290/statm: 150196 143004 155 317 0 149875 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 600784

Child status: 0
Real time (s): 1802.7
CPU time (s): 1802.14
CPU user time (s): 1801.21
CPU system time (s): 0.926859
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 614364

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

runsolver used 2.07368 second user time and 4.47532 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Tue Apr 17 21:37:43 UTC 2007

IDJOB= 362314
IDBENCH= 1548
IDSOLVER= 172
FILE ID= node44/362314-1176845863

PBS_JOBID= 4590145

Free space on /tmp= 66431 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb
COMMAND LINE= oree /tmp/evaluation/362314-1176845863/instance-362314-1176845863.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-362314-1176845863 -o ROOT/results/node44/solver-362314-1176845863 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362314-1176845863/instance-362314-1176845863.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  6ddbc05dc60ac3abba60700f70e1bd54

RANDOM SEED= 572659672

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1681304 kB
Buffers:         38924 kB
Cached:         253556 kB
SwapCached:      27460 kB
Active:         217896 kB
Inactive:       112628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1681304 kB
SwapTotal:     4192956 kB
SwapFree:      4143524 kB
Dirty:            1628 kB
Writeback:           0 kB
Mapped:          32424 kB
Slab:            29616 kB
Committed_AS:   430372 kB
PageTables:       1736 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= 66431 MiB

End job on node44 on Tue Apr 17 22:07:46 UTC 2007