Trace number 373007

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.1 1800.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
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.18	c ...done
0.09/0.18	c #vars=6076 #constraints=21402 hasObjective=yes
0.39/0.42	c res. mode=mod
0.39/0.42	c VSIDS like heuristics
0.39/0.42	c complete search running
5.99/6.00	c restart after 401 decisions
8.49/8.56	c nbDecision=500 #constraints=21517
11.49/11.50	c restart after 801 decisions
15.59/15.67	c nbDecision=1000 #constraints=21616
18.79/18.87	c nbDecision=1500 #constraints=21661
19.39/19.49	c restart after 1601 decisions
25.08/25.17	c nbDecision=2000 #constraints=21748
27.98/28.04	c nbDecision=2500 #constraints=21785
34.38/34.45	c nbDecision=3000 #constraints=21876
35.38/35.40	c restart after 3201 decisions
37.78/37.86	c nbDecision=3500 #constraints=21924
43.88/43.95	c nbDecision=4000 #constraints=22007
49.08/49.10	c nbDecision=4500 #constraints=22086
52.87/52.96	c nbDecision=5000 #constraints=22137
59.87/59.99	c nbDecision=5500 #constraints=22232
62.67/62.74	c nbDecision=6000 #constraints=22267
68.67/68.78	c restart after 6401 decisions
71.48/71.51	c nbDecision=6500 #constraints=22388
75.47/75.52	c nbDecision=7000 #constraints=22441
78.67/78.78	c nbDecision=7500 #constraints=22484
82.47/82.58	c nbDecision=8000 #constraints=22543
87.56/87.62	c nbDecision=8500 #constraints=22609
93.57/93.64	c nbDecision=9000 #constraints=22690
96.97/97.06	c nbDecision=9500 #constraints=22736
103.86/103.91	c nbDecision=10000 #constraints=22822
106.75/106.86	c nbDecision=10500 #constraints=22860
113.86/113.92	c nbDecision=11000 #constraints=22950
116.56/116.70	c nbDecision=11500 #constraints=22985
123.35/123.41	c nbDecision=12000 #constraints=23068
128.45/128.51	c nbDecision=12500 #constraints=23132
131.95/132.07	c restart after 12801 decisions
136.25/136.37	c nbDecision=13000 #constraints=23225
139.56/139.66	c nbDecision=13500 #constraints=23269
146.05/146.13	c nbDecision=14000 #constraints=23351
149.05/149.14	c nbDecision=14500 #constraints=23389
155.65/155.78	c nbDecision=15000 #constraints=23469
159.14/159.29	c nbDecision=15500 #constraints=23513
164.04/164.14	c nbDecision=16000 #constraints=23575
169.04/169.19	c nbDecision=16500 #constraints=23636
176.25/176.37	c nbDecision=17000 #constraints=23722
179.15/179.25	c nbDecision=17500 #constraints=23757
185.74/185.84	c nbDecision=18000 #constraints=23839
189.24/189.34	c nbDecision=18500 #constraints=23890
195.23/195.37	c nbDecision=19000 #constraints=23958
201.14/201.24	c nbDecision=19500 #constraints=24047
203.43/203.59	c nbDecision=20000 #constraints=24086
210.04/210.14	c nbDecision=20500 #constraints=24163
215.54/215.64	c nbDecision=21000 #constraints=24230
219.84/219.96	c nbDecision=21500 #constraints=24282
227.03/227.10	c nbDecision=22000 #constraints=24363
230.23/230.35	c nbDecision=22500 #constraints=24405
236.72/236.88	c nbDecision=23000 #constraints=24473
243.52/243.63	c nbDecision=23500 #constraints=24548
246.52/246.69	c nbDecision=24000 #constraints=24588
253.72/253.88	c nbDecision=24500 #constraints=24671
258.92/259.01	c nbDecision=25000 #constraints=24729
264.12/264.27	c nbDecision=25500 #constraints=24789
264.92/265.05	c restart after 25601 decisions
273.62/273.74	c nbDecision=26000 #constraints=24877
276.51/276.64	c nbDecision=26500 #constraints=24913
280.01/280.18	c nbDecision=27000 #constraints=24958
289.31/289.42	c nbDecision=27500 #constraints=25050
296.01/296.10	c nbDecision=28000 #constraints=25122
301.71/301.87	c nbDecision=28500 #constraints=25179
310.50/310.66	c nbDecision=29000 #constraints=25265
314.21/314.30	c nbDecision=29500 #constraints=25306
324.31/324.44	c nbDecision=30000 #constraints=25400
327.30/327.47	c nbDecision=30500 #constraints=25436
336.80/336.92	c nbDecision=31000 #constraints=25528
339.80/339.96	c nbDecision=31500 #constraints=25565
349.90/350.06	c nbDecision=32000 #constraints=25654
352.70/352.84	c nbDecision=32500 #constraints=25692
362.49/362.67	c nbDecision=33000 #constraints=25774
369.49/369.68	c nbDecision=33500 #constraints=25843
375.69/375.88	c nbDecision=34000 #constraints=25901
385.69/385.84	c nbDecision=34500 #constraints=25991
388.69/388.88	c nbDecision=35000 #constraints=26027
398.68/398.84	c nbDecision=35500 #constraints=26111
401.58/401.72	c nbDecision=36000 #constraints=26153
411.67/411.86	c nbDecision=36500 #constraints=26238
421.37/421.52	c nbDecision=37000 #constraints=26322
424.67/424.89	c nbDecision=37500 #constraints=26363
434.67/434.85	c nbDecision=38000 #constraints=26449
440.57/440.70	c nbDecision=38500 #constraints=26507
448.07/448.24	c nbDecision=39000 #constraints=26570
457.87/458.03	c nbDecision=39500 #constraints=26650
461.26/461.47	c nbDecision=40000 #constraints=26689
470.96/471.18	c nbDecision=40500 #constraints=26772
473.66/473.83	c nbDecision=41000 #constraints=26810
483.35/483.51	c nbDecision=41500 #constraints=26887
490.36/490.55	c nbDecision=42000 #constraints=26948
496.36/496.55	c nbDecision=42500 #constraints=27000
506.05/506.27	c nbDecision=43000 #constraints=27078
509.55/509.71	c nbDecision=43500 #constraints=27116
518.95/519.14	c nbDecision=44000 #constraints=27190
522.15/522.37	c nbDecision=44500 #constraints=27230
532.15/532.36	c nbDecision=45000 #constraints=27305
541.54/541.78	c nbDecision=45500 #constraints=27385
545.04/545.27	c nbDecision=46000 #constraints=27424
555.34/555.55	c nbDecision=46500 #constraints=27501
563.33/563.52	c nbDecision=47000 #constraints=27567
568.44/568.61	c nbDecision=47500 #constraints=27616
578.94/579.19	c nbDecision=48000 #constraints=27697
588.73/588.93	c nbDecision=48500 #constraints=27778
592.13/592.36	c nbDecision=49000 #constraints=27817
602.12/602.30	c nbDecision=49500 #constraints=27895
612.32/612.56	c nbDecision=50000 #constraints=27975
616.12/616.38	c nbDecision=50500 #constraints=28026
661.51/661.71	c nbDecision=51000 #constraints=28268
678.30/678.50	c restart after 51201 decisions
692.20/692.43	c nbDecision=51500 #constraints=28429
695.30/695.57	c nbDecision=52000 #constraints=28467
710.40/710.61	c nbDecision=52500 #constraints=28562
713.30/713.53	c nbDecision=53000 #constraints=28601
729.00/729.26	c nbDecision=53500 #constraints=28696
737.89/738.11	c nbDecision=54000 #constraints=28763
747.58/747.88	c nbDecision=54500 #constraints=28827
759.48/759.77	c nbDecision=55000 #constraints=28909
765.88/766.19	c nbDecision=55500 #constraints=28960
780.18/780.47	c nbDecision=56000 #constraints=29054
783.98/784.24	c nbDecision=56500 #constraints=29092
799.38/799.69	c nbDecision=57000 #constraints=29184
802.87/803.14	c nbDecision=57500 #constraints=29229
818.26/818.59	c nbDecision=58000 #constraints=29316
826.56/826.80	c nbDecision=58500 #constraints=29380
836.56/836.84	c nbDecision=59000 #constraints=29443
850.76/851.02	c nbDecision=59500 #constraints=29531
854.96/855.25	c nbDecision=60000 #constraints=29574
870.05/870.32	c nbDecision=60500 #constraints=29669
873.15/873.40	c nbDecision=61000 #constraints=29707
888.65/888.98	c nbDecision=61500 #constraints=29799
900.55/900.82	c nbDecision=62000 #constraints=29876
907.54/907.86	c nbDecision=62500 #constraints=29931
922.34/922.68	c nbDecision=63000 #constraints=30019
925.23/925.58	c nbDecision=63500 #constraints=30056
940.14/940.46	c nbDecision=64000 #constraints=30142
950.23/950.54	c nbDecision=64500 #constraints=30214
957.83/958.19	c nbDecision=65000 #constraints=30266
971.42/971.79	c nbDecision=65500 #constraints=30350
975.52/975.87	c nbDecision=66000 #constraints=30390
989.63/989.93	c nbDecision=66500 #constraints=30471
992.32/992.65	c nbDecision=67000 #constraints=30508
1006.71/1007.02	c nbDecision=67500 #constraints=30593
1015.71/1016.04	c nbDecision=68000 #constraints=30657
1024.41/1024.79	c nbDecision=68500 #constraints=30711
1037.91/1038.29	c nbDecision=69000 #constraints=30790
1041.71/1042.08	c nbDecision=69500 #constraints=30828
1055.20/1055.52	c nbDecision=70000 #constraints=30909
1058.30/1058.69	c nbDecision=70500 #constraints=30947
1071.79/1072.14	c nbDecision=71000 #constraints=31025
1079.19/1079.56	c nbDecision=71500 #constraints=31084
1088.69/1089.04	c nbDecision=72000 #constraints=31145
1101.59/1101.99	c nbDecision=72500 #constraints=31221
1104.69/1105.07	c nbDecision=73000 #constraints=31258
1118.16/1118.59	c nbDecision=73500 #constraints=31341
1131.73/1132.11	c nbDecision=74000 #constraints=31428
1134.93/1135.36	c nbDecision=74500 #constraints=31467
1147.52/1147.98	c nbDecision=75000 #constraints=31541
1160.40/1160.86	c nbDecision=75500 #constraints=31624
1165.10/1165.58	c nbDecision=76000 #constraints=31682
1177.99/1178.43	c nbDecision=76500 #constraints=31751
1190.69/1191.11	c nbDecision=77000 #constraints=31828
1193.99/1194.43	c nbDecision=77500 #constraints=31870
1267.27/1267.70	c nbDecision=78000 #constraints=32158
1304.87/1305.35	c nbDecision=78500 #constraints=32327
1315.56/1316.03	c nbDecision=79000 #constraints=32410
1322.26/1322.76	c nbDecision=79500 #constraints=32477
1328.66/1329.12	c nbDecision=80000 #constraints=32543
1333.65/1334.13	c nbDecision=80500 #constraints=32603
1338.65/1339.10	c nbDecision=81000 #constraints=32661
1353.94/1354.46	c nbDecision=81500 #constraints=32779
1359.35/1359.87	c nbDecision=82000 #constraints=32842
1364.25/1364.75	c nbDecision=82500 #constraints=32900
1370.65/1371.11	c nbDecision=83000 #constraints=32967
1382.04/1382.55	c nbDecision=83500 #constraints=33052
1387.84/1388.40	c nbDecision=84000 #constraints=33122
1393.24/1393.72	c nbDecision=84500 #constraints=33182
1398.83/1399.31	c nbDecision=85000 #constraints=33242
1418.54/1419.04	c nbDecision=85500 #constraints=33347
1424.33/1424.83	c nbDecision=86000 #constraints=33407
1429.53/1430.07	c nbDecision=86500 #constraints=33464
1435.82/1436.33	c nbDecision=87000 #constraints=33528
1441.72/1442.27	c nbDecision=87500 #constraints=33590
1443.82/1444.36	c nbDecision=88000 #constraints=33643
1444.22/1444.71	c nbDecision=88500 #constraints=33733
1444.83/1445.31	c nbDecision=89000 #constraints=33888
1447.93/1448.47	c nbDecision=89500 #constraints=34055
1454.62/1455.18	c nbDecision=90000 #constraints=34118
1459.72/1460.20	c nbDecision=90500 #constraints=34171
1467.21/1467.73	c nbDecision=91000 #constraints=34237
1472.51/1473.04	c nbDecision=91500 #constraints=34297
1478.71/1479.28	c nbDecision=92000 #constraints=34359
1485.01/1485.59	c nbDecision=92500 #constraints=34421
1490.81/1491.33	c nbDecision=93000 #constraints=34483
1496.51/1497.04	c nbDecision=93500 #constraints=34543
1501.91/1502.44	c nbDecision=94000 #constraints=34606
1507.40/1507.95	c nbDecision=94500 #constraints=34666
1512.90/1513.44	c nbDecision=95000 #constraints=34725
1518.50/1519.06	c nbDecision=95500 #constraints=34784
1524.01/1524.50	c nbDecision=96000 #constraints=34845
1528.00/1528.59	c nbDecision=96500 #constraints=34901
1533.70/1534.27	c nbDecision=97000 #constraints=34952
1539.80/1540.33	c nbDecision=97500 #constraints=35016
1545.79/1546.35	c nbDecision=98000 #constraints=35086
1551.79/1552.31	c nbDecision=98500 #constraints=35138
1557.79/1558.37	c nbDecision=99000 #constraints=35201
1563.59/1564.19	c nbDecision=99500 #constraints=35252
1575.70/1576.28	c nbDecision=100000 #constraints=35328
1585.69/1586.24	c nbDecision=100500 #constraints=35435
1586.19/1586.78	c nbDecision=101000 #constraints=35514
1586.79/1587.39	c nbDecision=101500 #constraints=35623
1590.58/1591.10	c nbDecision=102000 #constraints=35838
1593.98/1594.57	c restart after 102401 decisions
1608.98/1609.59	c nbDecision=102500 #constraints=35924
1622.87/1623.46	c nbDecision=103000 #constraints=35983
1645.17/1645.70	c nbDecision=103500 #constraints=36067
1653.36/1653.98	c nbDecision=104000 #constraints=36112
1667.16/1667.78	c nbDecision=104500 #constraints=36185
1684.06/1684.64	c nbDecision=105000 #constraints=36248
1705.85/1706.43	c nbDecision=105500 #constraints=36333
1714.55/1715.13	c nbDecision=106000 #constraints=36382
1740.34/1740.93	c nbDecision=106500 #constraints=36471
1744.24/1744.90	c nbDecision=107000 #constraints=36509
1770.44/1771.02	c nbDecision=107500 #constraints=36600
1774.03/1774.68	c nbDecision=108000 #constraints=36639
1799.92/1800.52	c nbDecision=108500 #constraints=36722
1800.03/1800.61	Received signal 15
1800.03/1800.62	
1800.03/1800.62	s UNKNOWN
1800.03/1800.62	
1800.03/1800.62	c user time= 1799.69 s
1800.03/1800.62	c system time= 0.368943 s
1800.03/1800.62	c wall clock time=1800.63

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/node18/watcher-373007-1177155756 -o ROOT/results/node18/solver-373007-1177155756 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373007-1177155756/instance-373007-1177155756.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 21438
/proc/meminfo: memFree=1781824/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=1468 CPUtime=0
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 163493008 1503232 164 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 367 165 130 317 0 46 0

[startup+0.086731 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21438
/proc/meminfo: memFree=1781824/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=3184 CPUtime=0.08
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 614 0 0 0 8 0 0 0 18 0 1 0 163493008 3260416 596 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 796 597 130 317 0 475 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3184

[startup+0.102732 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21438
/proc/meminfo: memFree=1781824/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=3580 CPUtime=0.09
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 163493008 3665920 680 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 895 681 130 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.302753 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21438
/proc/meminfo: memFree=1781824/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=7216 CPUtime=0.29
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 1608 0 0 0 29 0 0 0 19 0 1 0 163493008 7389184 1590 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 1804 1590 137 317 0 1483 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7216

[startup+0.701796 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21438
/proc/meminfo: memFree=1781824/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=8724 CPUtime=0.69
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2004 0 0 0 69 0 0 0 23 0 1 0 163493008 8933376 1839 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271361 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 2181 1839 139 317 0 1860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8724

[startup+1.50187 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1774776/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=8724 CPUtime=1.49
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2004 0 0 0 149 0 0 0 25 0 1 0 163493008 8933376 1839 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 2181 1839 139 317 0 1860 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8724

[startup+3.10202 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1774648/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=8724 CPUtime=3.09
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2004 0 0 0 309 0 0 0 25 0 1 0 163493008 8933376 1839 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 2181 1839 139 317 0 1860 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8724

[startup+6.30133 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1774528/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=8852 CPUtime=6.29
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2031 0 0 0 628 1 0 0 25 0 1 0 163493008 9064448 1866 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135277176 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 2213 1866 139 317 0 1892 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8852

[startup+12.702 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1773824/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=9644 CPUtime=12.69
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2235 0 0 0 1268 1 0 0 25 0 1 0 163493008 9875456 2070 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 2411 2070 139 317 0 2090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9644

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1772224/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=11300 CPUtime=25.48
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2646 0 0 0 2547 1 0 0 25 0 1 0 163493008 11571200 2481 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 2825 2481 139 317 0 2504 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11300

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1768896/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=14716 CPUtime=51.07
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 3487 0 0 0 5105 2 0 0 25 0 1 0 163493008 15069184 3322 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714052 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 3679 3322 139 317 0 3358 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14716

[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1762368/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=21124 CPUtime=102.27
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 5093 0 0 0 10223 4 0 0 25 0 1 0 163493008 21630976 4928 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 5281 4928 139 317 0 4960 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21124

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1755264/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=28456 CPUtime=162.24
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 6877 0 0 0 16218 6 0 0 25 0 1 0 163493008 29138944 6712 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 7114 6712 139 317 0 6793 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 28456

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1748416/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=35116 CPUtime=222.23
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 8537 0 0 0 22215 8 0 0 25 0 1 0 163493008 35958784 8372 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 8779 8372 139 317 0 8458 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 35116

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1742272/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=41144 CPUtime=282.21
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 10130 0 0 0 28212 9 0 0 25 0 1 0 163493008 42131456 9965 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 10286 9965 139 317 0 9965 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 41144

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1736704/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=47384 CPUtime=342.19
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 11524 0 0 0 34209 10 0 0 25 0 1 0 163493008 48521216 11359 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135277232 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 11846 11359 139 317 0 11525 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 47384

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1731584/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=52352 CPUtime=402.18
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 12803 0 0 0 40206 12 0 0 25 0 1 0 163493008 53608448 12638 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 13088 12638 139 317 0 12767 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 52352

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1726400/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=57696 CPUtime=462.16
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 14099 0 0 0 46203 13 0 0 25 0 1 0 163493008 59080704 13934 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 14424 13934 139 317 0 14103 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 57696

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1721408/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=62720 CPUtime=522.15
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 15357 0 0 0 52200 15 0 0 25 0 1 0 163493008 64225280 15192 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 15680 15192 139 317 0 15359 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 62720

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1717056/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=66772 CPUtime=582.13
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 16415 0 0 0 58197 16 0 0 25 0 1 0 163493008 68374528 16250 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 16693 16250 139 317 0 16372 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 66772

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1713088/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=70652 CPUtime=642.12
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 17416 0 0 0 64195 17 0 0 25 0 1 0 163493008 72347648 17251 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 17663 17251 139 317 0 17342 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 70652


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1702272/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=81032 CPUtime=822.06
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 20083 0 0 0 82187 19 0 0 25 0 1 0 163493008 82976768 19918 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 20258 19918 139 317 0 19937 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 81032

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1698368/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=86164 CPUtime=882.04
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 21060 0 0 0 88184 20 0 0 25 0 1 0 163493008 88231936 20895 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 21541 20895 139 317 0 21220 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 86164

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1694784/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=89692 CPUtime=942.03
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 21972 0 0 0 94181 22 0 0 25 0 1 0 163493008 91844608 21807 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134530440 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 22423 21807 139 317 0 22102 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 89692

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1691392/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=93068 CPUtime=1002.01
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 22835 0 0 0 100178 23 0 0 25 0 1 0 163493008 95301632 22670 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 23267 22670 139 317 0 22946 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 93068

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21439
/proc/meminfo: memFree=1688256/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=96180 CPUtime=1062
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 23630 0 0 0 106176 24 0 0 25 0 1 0 163493008 98488320 23465 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 24045 23465 139 317 0 23724 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 96180

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 21547
/proc/meminfo: memFree=1683144/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=99980 CPUtime=1121.95
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 24586 0 0 0 112170 25 0 0 25 0 1 0 163493008 102379520 24421 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135278900 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 24995 24421 139 317 0 24674 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 99980

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1680128/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=104268 CPUtime=1181.89
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 25571 0 0 0 118163 26 0 0 25 0 1 0 163493008 106770432 25406 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 26067 25406 139 317 0 25746 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 104268

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1677696/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=106616 CPUtime=1241.88
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 26175 0 0 0 124161 27 0 0 25 0 1 0 163493008 109174784 26010 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270572 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 26654 26010 139 317 0 26333 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 106616

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1675520/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=108792 CPUtime=1301.87
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 26719 0 0 0 130159 28 0 0 25 0 1 0 163493008 111403008 26554 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 27198 26554 139 317 0 26877 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 108792

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1670464/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=114220 CPUtime=1361.85
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 28012 0 0 0 136156 29 0 0 25 0 1 0 163493008 116961280 27814 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284508 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 28555 27814 139 317 0 28234 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 114220

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1666048/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=118592 CPUtime=1421.84
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 29100 0 0 0 142154 30 0 0 25 0 1 0 163493008 121438208 28902 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 29648 28902 139 317 0 29327 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 118592

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1659840/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=124464 CPUtime=1481.81
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 30658 0 0 0 148149 32 0 0 25 0 1 0 163493008 127451136 30460 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 31116 30460 139 317 0 30795 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 124464

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1654400/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=129692 CPUtime=1541.8
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 32029 0 0 0 154147 33 0 0 25 0 1 0 163493008 132804608 31831 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 32423 31831 139 317 0 32102 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 129692

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1647744/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=136216 CPUtime=1601.78
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 33687 0 0 0 160144 34 0 0 25 0 1 0 163493008 139485184 33489 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 34054 33489 139 317 0 33733 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 136216

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1645568/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=138424 CPUtime=1661.76
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 34256 0 0 0 166141 35 0 0 25 0 1 0 163493008 141746176 34058 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 34606 34058 139 317 0 34285 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 138424

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1643392/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=140496 CPUtime=1721.75
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 34798 0 0 0 172139 36 0 0 25 0 1 0 163493008 143867904 34600 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 35124 34600 139 317 0 34803 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 140496

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1641216/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=142700 CPUtime=1781.73
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 35342 0 0 0 178137 36 0 0 25 0 1 0 163493008 146124800 35144 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 35675 35144 139 317 0 35354 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 142700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21637
/proc/meminfo: memFree=1640640/2055920 swapFree=4147132/4192956
[pid=21438] ppid=21436 vsize=143224 CPUtime=1800.03
/proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 35485 0 0 0 179967 36 0 0 25 0 1 0 163493008 146661376 35287 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134530414 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21438/statm: 35806 35287 139 317 0 35485 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 143224

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.67
CPU time (s): 1800.1
CPU user time (s): 1799.71
CPU system time (s): 0.39394
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 143224

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

runsolver used 2.11168 second user time and 4.36933 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Sat Apr 21 11:42:36 UTC 2007

IDJOB= 373007
IDBENCH= 25012
IDSOLVER= 172
FILE ID= node18/373007-1177155756

PBS_JOBID= 4648876

Free space on /tmp= 66485 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_3.opb
COMMAND LINE= oree /tmp/evaluation/373007-1177155756/instance-373007-1177155756.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-373007-1177155756 -o ROOT/results/node18/solver-373007-1177155756 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/373007-1177155756/instance-373007-1177155756.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  82a3d84200b069df277c7f14e0e883d0

RANDOM SEED= 516385487

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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:       1782168 kB
Buffers:         49968 kB
Cached:         125532 kB
SwapCached:      14288 kB
Active:         131076 kB
Inactive:        85064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1782168 kB
SwapTotal:     4192956 kB
SwapFree:      4147132 kB
Dirty:            1984 kB
Writeback:           0 kB
Mapped:          30000 kB
Slab:            43140 kB
Committed_AS:  5344308 kB
PageTables:       1776 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= 66485 MiB

End job on node18 on Sat Apr 21 12:12:39 UTC 2007