Trace number 373133

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.05 1800.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
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.09/0.16	c ...done
0.09/0.16	c #vars=5499 #constraints=19320 hasObjective=yes
0.19/0.29	c res. mode=mod
0.19/0.29	c VSIDS like heuristics
0.19/0.29	c complete search running
20.98/21.09	c restart after 401 decisions
32.68/32.78	c nbDecision=500 #constraints=19488
47.48/47.58	c restart after 801 decisions
54.88/54.91	c nbDecision=1000 #constraints=19652
67.07/67.16	c nbDecision=1500 #constraints=19901
67.17/67.29	c restart after 1601 decisions
83.07/83.15	c nbDecision=2000 #constraints=20100
110.16/110.29	c nbDecision=2500 #constraints=20342
123.25/123.33	c nbDecision=3000 #constraints=20575
129.65/129.75	c restart after 3201 decisions
136.85/136.98	c nbDecision=3500 #constraints=20733
148.95/149.08	c nbDecision=4000 #constraints=20961
166.35/166.49	c nbDecision=4500 #constraints=21213
194.83/194.94	c nbDecision=5000 #constraints=21437
224.92/225.09	c nbDecision=5500 #constraints=21675
249.32/249.40	c nbDecision=6000 #constraints=21918
263.52/263.67	c restart after 6401 decisions
269.42/269.53	c nbDecision=6500 #constraints=22101
283.51/283.63	c nbDecision=7000 #constraints=22312
303.81/303.91	c nbDecision=7500 #constraints=22588
324.50/324.63	c nbDecision=8000 #constraints=22781
341.77/341.90	c nbDecision=8500 #constraints=23015
361.11/361.35	c nbDecision=9000 #constraints=23265
388.39/388.63	c nbDecision=9500 #constraints=23541
388.79/389.06	c nbDecision=10000 #constraints=23627
389.49/389.74	c nbDecision=10500 #constraints=23766
390.39/390.64	c nbDecision=11000 #constraints=23937
394.38/394.66	c nbDecision=11500 #constraints=24139
398.48/398.77	c nbDecision=12000 #constraints=24345
404.59/404.83	c nbDecision=12500 #constraints=24602
408.08/408.32	c restart after 12801 decisions
409.78/410.05	c nbDecision=13000 #constraints=24768
413.39/413.69	c nbDecision=13500 #constraints=24904
420.08/420.32	c nbDecision=14000 #constraints=25187
426.88/427.16	c nbDecision=14500 #constraints=25464
432.97/433.29	c nbDecision=15000 #constraints=25697
439.67/439.98	c nbDecision=15500 #constraints=25953
446.48/446.77	c nbDecision=16000 #constraints=26227
451.17/451.40	c nbDecision=16500 #constraints=26455
458.16/458.40	c nbDecision=17000 #constraints=26761
463.66/463.94	c nbDecision=17500 #constraints=27033
473.87/474.13	c nbDecision=18000 #constraints=27351
480.16/480.41	c nbDecision=18500 #constraints=27647
488.96/489.25	c nbDecision=19000 #constraints=27935
494.45/494.80	c nbDecision=19500 #constraints=28196
500.05/500.34	c nbDecision=20000 #constraints=28445
507.86/508.13	c nbDecision=20500 #constraints=28736
514.35/514.69	c nbDecision=21000 #constraints=29001
520.36/520.60	c nbDecision=21500 #constraints=29261
527.76/528.08	c nbDecision=22000 #constraints=29578
534.45/534.71	c nbDecision=22500 #constraints=29866
541.25/541.57	c nbDecision=23000 #constraints=30152
546.14/546.42	c nbDecision=23500 #constraints=30400
552.25/552.54	c nbDecision=24000 #constraints=30671
557.94/558.24	c nbDecision=24500 #constraints=30941
563.84/564.13	c nbDecision=25000 #constraints=31235
569.13/569.43	c nbDecision=25500 #constraints=31506
570.03/570.36	c restart after 25601 decisions
574.04/574.35	c nbDecision=26000 #constraints=31739
578.14/578.49	c nbDecision=26500 #constraints=32004
578.74/579.09	c nbDecision=27000 #constraints=32104
579.73/580.00	c nbDecision=27500 #constraints=32256
580.73/581.09	c nbDecision=28000 #constraints=32445
584.03/584.31	c nbDecision=28500 #constraints=32678
584.83/585.13	c nbDecision=29000 #constraints=32804
585.73/586.06	c nbDecision=29500 #constraints=32931
587.23/587.56	c nbDecision=30000 #constraints=33141
590.93/591.25	c nbDecision=30500 #constraints=33319
591.84/592.16	c nbDecision=31000 #constraints=33428
592.73/593.01	c nbDecision=31500 #constraints=33532
594.13/594.43	c nbDecision=32000 #constraints=33724
597.53/597.86	c nbDecision=32500 #constraints=33890
598.73/599.00	c nbDecision=33000 #constraints=34008
599.83/600.16	c nbDecision=33500 #constraints=34133
601.83/602.11	c nbDecision=34000 #constraints=34367
605.13/605.49	c nbDecision=34500 #constraints=34529
606.33/606.69	c nbDecision=35000 #constraints=34654
608.03/608.33	c nbDecision=35500 #constraints=34804
612.62/612.94	c nbDecision=36000 #constraints=35070
614.12/614.45	c nbDecision=36500 #constraints=35191
615.93/616.20	c nbDecision=37000 #constraints=35348
618.13/618.42	c nbDecision=37500 #constraints=35554
622.52/622.84	c nbDecision=38000 #constraints=35762
624.02/624.36	c nbDecision=38500 #constraints=35874
626.32/626.61	c nbDecision=39000 #constraints=36020
629.52/629.86	c nbDecision=39500 #constraints=36286
633.42/633.74	c nbDecision=40000 #constraints=36436
635.42/635.72	c nbDecision=40500 #constraints=36564
638.12/638.41	c nbDecision=41000 #constraints=36746
640.92/641.28	c nbDecision=41500 #constraints=36956
645.21/645.50	c nbDecision=42000 #constraints=37136
647.32/647.64	c nbDecision=42500 #constraints=37261
649.82/650.19	c nbDecision=43000 #constraints=37401
653.22/653.55	c nbDecision=43500 #constraints=37634
656.52/656.87	c nbDecision=44000 #constraints=37720
659.01/659.36	c nbDecision=44500 #constraints=37854
661.41/661.79	c nbDecision=45000 #constraints=38020
665.01/665.34	c nbDecision=45500 #constraints=38236
668.81/669.10	c nbDecision=46000 #constraints=38341
671.50/671.84	c nbDecision=46500 #constraints=38478
673.70/674.08	c nbDecision=47000 #constraints=38577
678.31/678.69	c nbDecision=47500 #constraints=38846
682.20/682.50	c nbDecision=48000 #constraints=38954
684.81/685.19	c nbDecision=48500 #constraints=39080
688.01/688.37	c nbDecision=49000 #constraints=39234
692.31/692.66	c nbDecision=49500 #constraints=39482
696.21/696.57	c nbDecision=50000 #constraints=39593
699.31/699.61	c nbDecision=50500 #constraints=39728
703.20/703.57	c nbDecision=51000 #constraints=39906
704.50/704.88	c restart after 51201 decisions
709.00/709.37	c nbDecision=51500 #constraints=40151
744.49/744.88	c nbDecision=52000 #constraints=40351
787.48/787.82	c nbDecision=52500 #constraints=40583
826.36/826.76	c nbDecision=53000 #constraints=40821
856.65/857.08	c nbDecision=53500 #constraints=41041
895.05/895.43	c nbDecision=54000 #constraints=41249
933.84/934.21	c nbDecision=54500 #constraints=41478
966.23/966.65	c nbDecision=55000 #constraints=41710
1010.61/1011.09	c nbDecision=55500 #constraints=41974
1026.61/1027.01	c nbDecision=56000 #constraints=42150
1060.60/1061.02	c nbDecision=56500 #constraints=42362
1096.30/1096.74	c nbDecision=57000 #constraints=42615
1135.28/1135.71	c nbDecision=57500 #constraints=42861
1177.47/1177.98	c nbDecision=58000 #constraints=43139
1180.87/1181.33	c nbDecision=58500 #constraints=43241
1185.57/1186.08	c nbDecision=59000 #constraints=43417
1190.96/1191.40	c nbDecision=59500 #constraints=43627
1200.06/1200.57	c nbDecision=60000 #constraints=43838
1220.26/1220.72	c nbDecision=60500 #constraints=44080
1244.75/1245.23	c nbDecision=61000 #constraints=44312
1264.75/1265.26	c nbDecision=61500 #constraints=44512
1282.24/1282.77	c nbDecision=62000 #constraints=44666
1300.13/1300.67	c nbDecision=62500 #constraints=44855
1321.74/1322.24	c nbDecision=63000 #constraints=45058
1346.62/1347.13	c nbDecision=63500 #constraints=45287
1379.22/1379.76	c nbDecision=64000 #constraints=45608
1410.41/1410.97	c nbDecision=64500 #constraints=45936
1430.60/1431.19	c nbDecision=65000 #constraints=46170
1457.59/1458.16	c nbDecision=65500 #constraints=46495
1483.48/1484.02	c nbDecision=66000 #constraints=46801
1517.98/1518.50	c nbDecision=66500 #constraints=47160
1547.37/1547.94	c nbDecision=67000 #constraints=47481
1574.96/1575.57	c nbDecision=67500 #constraints=47793
1597.86/1598.41	c nbDecision=68000 #constraints=48070
1625.65/1626.29	c nbDecision=68500 #constraints=48356
1646.44/1647.09	c nbDecision=69000 #constraints=48621
1670.43/1671.02	c nbDecision=69500 #constraints=48888
1692.12/1692.70	c nbDecision=70000 #constraints=49145
1713.23/1713.84	c nbDecision=70500 #constraints=49428
1735.51/1736.18	c nbDecision=71000 #constraints=49682
1756.50/1757.13	c nbDecision=71500 #constraints=49957
1776.50/1777.11	c nbDecision=72000 #constraints=50220
1798.20/1798.83	c nbDecision=72500 #constraints=50505
1800.01/1800.61	Received signal 15
1800.01/1800.61	
1800.01/1800.61	s UNKNOWN
1800.01/1800.61	
1800.01/1800.61	c user time= 1799.64 s
1800.01/1800.61	c system time= 0.375942 s
1800.01/1800.61	c wall clock time=1800.61

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14449
/proc/meminfo: memFree=1788840/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=1468 CPUtime=0
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 193130637 1503232 165 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711168 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 367 165 130 317 0 46 0

[startup+0.0345899 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14449
/proc/meminfo: memFree=1788840/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=2128 CPUtime=0.03
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 340 0 0 0 3 0 0 0 18 0 1 0 193130637 2179072 322 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 532 322 130 317 0 211 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2128

[startup+0.102598 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14449
/proc/meminfo: memFree=1788840/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=3580 CPUtime=0.09
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 696 0 0 0 9 0 0 0 18 0 1 0 193130637 3665920 678 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 895 678 130 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.301616 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14449
/proc/meminfo: memFree=1788840/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=6972 CPUtime=0.29
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1543 0 0 0 29 0 0 0 20 0 1 0 193130637 7139328 1525 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 1743 1525 138 317 0 1422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6972

[startup+0.702658 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14449
/proc/meminfo: memFree=1788840/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=7124 CPUtime=0.69
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1575 0 0 0 69 0 0 0 24 0 1 0 193130637 7294976 1557 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746933 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 1781 1557 139 317 0 1460 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7124

[startup+1.50174 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14450
/proc/meminfo: memFree=1783072/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=8048 CPUtime=1.49
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1833 0 0 0 149 0 0 0 25 0 1 0 193130637 8241152 1682 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712470 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 2012 1682 139 317 0 1691 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8048

[startup+3.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14450
/proc/meminfo: memFree=1782304/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=8048 CPUtime=3.09
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1833 0 0 0 309 0 0 0 25 0 1 0 193130637 8241152 1682 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 2012 1682 139 317 0 1691 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8048

[startup+6.30122 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14450
/proc/meminfo: memFree=1782248/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=8048 CPUtime=6.28
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1833 0 0 0 628 0 0 0 25 0 1 0 193130637 8241152 1682 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 2012 1682 139 317 0 1691 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8048

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14450
/proc/meminfo: memFree=1782120/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=8208 CPUtime=12.68
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 1858 0 0 0 1268 0 0 0 25 0 1 0 193130637 8404992 1707 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 2052 1707 139 317 0 1731 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8208

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14450
/proc/meminfo: memFree=1781480/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=9096 CPUtime=25.49
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 2038 0 0 0 2548 1 0 0 25 0 1 0 193130637 9314304 1887 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284135 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 2274 1887 139 317 0 1953 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9096

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14450
/proc/meminfo: memFree=1780200/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=10676 CPUtime=51.08
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 2352 0 0 0 5107 1 0 0 25 0 1 0 193130637 10932224 2201 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 2669 2201 139 317 0 2348 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10676

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14450
/proc/meminfo: memFree=1776296/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=14928 CPUtime=102.27
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 3337 0 0 0 10225 2 0 0 25 0 1 0 193130637 15286272 3186 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746933 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 3732 3186 139 317 0 3411 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14928

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14450
/proc/meminfo: memFree=1772264/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=19452 CPUtime=162.25
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 4331 0 0 0 16222 3 0 0 25 0 1 0 193130637 19918848 4180 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 4863 4180 139 317 0 4542 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19452

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14450
/proc/meminfo: memFree=1768232/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=24036 CPUtime=222.22
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 5326 0 0 0 22219 3 0 0 25 0 1 0 193130637 24612864 5175 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 6009 5175 139 317 0 5688 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 24036

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14450
/proc/meminfo: memFree=1764264/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=28516 CPUtime=282.21
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 6311 0 0 0 28217 4 0 0 25 0 1 0 193130637 29200384 6160 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 7129 6160 139 317 0 6808 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28516

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 14532
/proc/meminfo: memFree=1758520/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=33620 CPUtime=342.17
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 7467 0 0 0 34209 8 0 0 25 0 1 0 193130637 34426880 7316 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 8405 7316 139 317 0 8084 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 33620

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1753832/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=40148 CPUtime=402.09
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 8921 0 0 0 40199 10 0 0 25 0 1 0 193130637 41111552 8770 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 10037 8770 139 317 0 9716 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 40148

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1746792/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=46684 CPUtime=462.06
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 10647 0 0 0 46195 11 0 0 25 0 1 0 193130637 47804416 10496 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 11671 10496 139 317 0 11350 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 46684

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1739560/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=55240 CPUtime=522.05
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 12526 0 0 0 52191 14 0 0 25 0 1 0 193130637 56565760 12375 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563372 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 13810 12375 139 317 0 13489 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 55240

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1729128/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=65032 CPUtime=582.03
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 15113 0 0 0 58187 16 0 0 25 0 1 0 193130637 66592768 14962 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 16258 14962 139 317 0 15937 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 65032

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1716072/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=80412 CPUtime=642.02
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 19048 0 0 0 64183 19 0 0 25 0 1 0 193130637 82341888 18171 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 20103 18171 139 317 0 19782 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 80412


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

[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1702760/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=94616 CPUtime=821.97
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 22665 0 0 0 82175 22 0 0 25 0 1 0 193130637 96886784 21524 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710797 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 23654 21524 139 317 0 23333 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 94616

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1700456/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=97068 CPUtime=881.95
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 23211 0 0 0 88172 23 0 0 25 0 1 0 193130637 99397632 22070 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 24267 22070 139 317 0 23946 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 97068

[startup+942.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 14648
/proc/meminfo: memFree=1697960/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=99660 CPUtime=941.94
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 23841 0 0 0 94170 24 0 0 25 0 1 0 193130637 102051840 22700 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 24915 22700 139 317 0 24594 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 99660

[startup+1002.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 14648
/proc/meminfo: memFree=1695912/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=101928 CPUtime=1001.92
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 24365 0 0 0 100168 24 0 0 25 0 1 0 193130637 104374272 23224 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 25482 23224 139 317 0 25161 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 101928

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1693992/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=103904 CPUtime=1061.9
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 24849 0 0 0 106165 25 0 0 25 0 1 0 193130637 106397696 23708 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 25976 23708 139 317 0 25655 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 103904

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1691816/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=106232 CPUtime=1121.89
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 25385 0 0 0 112163 26 0 0 25 0 1 0 193130637 108781568 24244 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 26558 24244 139 317 0 26237 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 106232

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1689320/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=109148 CPUtime=1181.87
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 26029 0 0 0 118160 27 0 0 25 0 1 0 193130637 111767552 24888 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 27287 24888 139 317 0 26966 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 109148

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1686248/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=112008 CPUtime=1241.85
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 26773 0 0 0 124157 28 0 0 25 0 1 0 193130637 114696192 25632 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 28002 25632 139 317 0 27681 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 112008

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1684712/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=113312 CPUtime=1301.83
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 27143 0 0 0 130154 29 0 0 25 0 1 0 193130637 116031488 26002 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 28328 26002 139 317 0 28007 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 113312

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1683304/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=114632 CPUtime=1361.81
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 27497 0 0 0 136151 30 0 0 25 0 1 0 193130637 117383168 26356 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 28658 26356 139 317 0 28337 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 114632

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1681384/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=116536 CPUtime=1421.81
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 27975 0 0 0 142149 32 0 0 25 0 1 0 193130637 119332864 26834 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 29134 26834 139 317 0 28813 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 116536

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1679336/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=118512 CPUtime=1481.78
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 28484 0 0 0 148146 32 0 0 25 0 1 0 193130637 121356288 27343 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 29628 27343 139 317 0 29307 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 118512

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1677352/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=120640 CPUtime=1541.76
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 29007 0 0 0 154143 33 0 0 25 0 1 0 193130637 123535360 27866 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 30160 27866 139 317 0 29839 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 120640

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1675176/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=122644 CPUtime=1601.76
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 29541 0 0 0 160141 35 0 0 25 0 1 0 193130637 125587456 28400 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 30661 28400 139 317 0 30340 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 122644

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1673192/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=124772 CPUtime=1661.73
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 30052 0 0 0 166138 35 0 0 25 0 1 0 193130637 127766528 28911 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563467 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 31193 28911 139 317 0 30872 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 124772

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1671272/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=126608 CPUtime=1721.72
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 30540 0 0 0 172136 36 0 0 25 0 1 0 193130637 129646592 29399 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 31652 29399 139 317 0 31331 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 126608

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1668968/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=128576 CPUtime=1781.7
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 31096 0 0 0 178133 37 0 0 25 0 1 0 193130637 131661824 29955 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 32144 29955 139 317 0 31823 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 128576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14648
/proc/meminfo: memFree=1668200/2055920 swapFree=4159980/4192956
[pid=14449] ppid=14447 vsize=129356 CPUtime=1800.01
/proc/14449/stat : 14449 (oree) R 14447 14449 13914 0 -1 4194304 31285 0 0 0 179964 37 0 0 25 0 1 0 193130637 132460544 30144 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14449/statm: 32339 30144 139 317 0 32018 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 129356

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

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

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.05
CPU user time (s): 1799.65
CPU system time (s): 0.397939
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 129356

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

runsolver used 2.04069 second user time and 4.35834 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Apr 21 15:55:33 UTC 2007

IDJOB= 373133
IDBENCH= 25021
IDSOLVER= 172
FILE ID= node12/373133-1177170932

PBS_JOBID= 4648947

Free space on /tmp= 66381 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= oree /tmp/evaluation/373133-1177170932/instance-373133-1177170932.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-373133-1177170932 -o ROOT/results/node12/solver-373133-1177170932 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/373133-1177170932/instance-373133-1177170932.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  130be24ef6faf784c5a8bf386cbf11b2

RANDOM SEED= 530488966

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1789312 kB
Buffers:         70860 kB
Cached:         117780 kB
SwapCached:      11484 kB
Active:         114520 kB
Inactive:        97888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1789312 kB
SwapTotal:     4192956 kB
SwapFree:      4159980 kB
Dirty:            1864 kB
Writeback:           0 kB
Mapped:          29988 kB
Slab:            39796 kB
Committed_AS:  6048000 kB
PageTables:       1792 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= 66381 MiB

End job on node12 on Sat Apr 21 16:25:35 UTC 2007