Trace number 419773

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 NameAnswerCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.31 1800.95

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
babic/hsatv17/hsat_vc12062.opb
MD5SUM694ba8d60e0307c65b53da17c456b745
Bench CategoryPURE-SAT (instances containing only clauses)
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 benchmark21.9437
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables200205
Total number of constraints566857
Number of constraints which are clauses566857
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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...
4.79/4.88	c ...done
4.79/4.88	c #vars=200205 #constraints=566857 hasObjective=no
5.49/5.59	c res. mode=mod
5.49/5.59	c VSIDS like heuristics
5.49/5.59	c complete search running
7.70/7.74	c restart after 401 decisions
8.19/8.24	c nbDecision=500 #constraints=566862
9.89/9.90	c restart after 801 decisions
10.69/10.73	c nbDecision=1000 #constraints=566866
28.78/28.89	c nbDecision=1500 #constraints=566936
31.79/31.86	c restart after 1601 decisions
33.98/34.03	c nbDecision=2000 #constraints=566963
36.48/36.57	c nbDecision=2500 #constraints=566980
40.07/40.20	c nbDecision=3000 #constraints=567002
47.76/47.81	c restart after 3201 decisions
49.86/50.00	c nbDecision=3500 #constraints=567087
55.46/55.58	c nbDecision=4000 #constraints=567165
59.55/59.63	c nbDecision=4500 #constraints=567207
62.95/63.04	c nbDecision=5000 #constraints=567239
67.15/67.24	c nbDecision=5500 #constraints=567290
69.45/69.54	c nbDecision=6000 #constraints=567301
72.65/72.72	c restart after 6401 decisions
73.55/73.61	c nbDecision=6500 #constraints=567346
78.25/78.35	c nbDecision=7000 #constraints=567406
83.75/83.89	c nbDecision=7500 #constraints=567486
88.15/88.23	c nbDecision=8000 #constraints=567534
90.54/90.61	c nbDecision=8500 #constraints=567546
93.04/93.14	c nbDecision=9000 #constraints=567566
96.04/96.15	c nbDecision=9500 #constraints=567599
102.64/102.77	c nbDecision=10000 #constraints=567705
107.74/107.85	c nbDecision=10500 #constraints=567798
111.64/111.77	c nbDecision=11000 #constraints=567844
115.84/115.97	c nbDecision=11500 #constraints=567899
118.34/118.43	c nbDecision=12000 #constraints=567916
121.23/121.33	c nbDecision=12500 #constraints=567953
123.63/123.71	c restart after 12801 decisions
125.13/125.28	c nbDecision=13000 #constraints=567994
128.33/128.42	c nbDecision=13500 #constraints=568025
130.93/131.02	c nbDecision=14000 #constraints=568046
134.83/134.95	c nbDecision=14500 #constraints=568093
138.53/138.62	c nbDecision=15000 #constraints=568125
143.73/143.83	c nbDecision=15500 #constraints=568197
151.73/151.81	c nbDecision=16000 #constraints=568335
156.22/156.35	c nbDecision=16500 #constraints=568409
159.32/159.50	c nbDecision=17000 #constraints=568441
162.42/162.55	c nbDecision=17500 #constraints=568484
167.32/167.47	c nbDecision=18000 #constraints=568575
172.82/172.99	c nbDecision=18500 #constraints=568682
176.52/176.66	c nbDecision=19000 #constraints=568748
178.81/178.97	c nbDecision=19500 #constraints=568766
181.51/181.62	c nbDecision=20000 #constraints=568810
187.21/187.32	c nbDecision=20500 #constraints=568955
190.01/190.13	c nbDecision=21000 #constraints=568996
191.91/192.00	c nbDecision=21500 #constraints=569003
194.01/194.19	c nbDecision=22000 #constraints=569018
197.51/197.60	c nbDecision=22500 #constraints=569061
200.21/200.39	c nbDecision=23000 #constraints=569083
203.81/203.99	c nbDecision=23500 #constraints=569129
209.00/209.13	c nbDecision=24000 #constraints=569211
213.10/213.25	c nbDecision=24500 #constraints=569269
216.50/216.68	c nbDecision=25000 #constraints=569319
218.90/219.05	c nbDecision=25500 #constraints=569340
219.20/219.34	c restart after 25601 decisions
225.20/225.32	c nbDecision=26000 #constraints=569436
235.99/236.10	c nbDecision=26500 #constraints=569594
245.69/245.89	c nbDecision=27000 #constraints=569689
250.69/250.84	c nbDecision=27500 #constraints=569741
254.19/254.38	c nbDecision=28000 #constraints=569776
256.59/256.78	c nbDecision=28500 #constraints=569793
258.58/258.74	c nbDecision=29000 #constraints=569797
262.88/263.06	c nbDecision=29500 #constraints=569853
267.38/267.58	c nbDecision=30000 #constraints=569914
280.38/280.51	c nbDecision=30500 #constraints=570152
289.57/289.71	c nbDecision=31000 #constraints=570303
299.97/300.15	c nbDecision=31500 #constraints=570485
316.76/316.92	c nbDecision=32000 #constraints=570803
327.76/327.90	c nbDecision=32500 #constraints=570986
337.36/337.58	c nbDecision=33000 #constraints=571126
340.66/340.87	c nbDecision=33500 #constraints=571161
343.55/343.75	c nbDecision=34000 #constraints=571197
345.35/345.54	c nbDecision=34500 #constraints=571203
348.46/348.68	c nbDecision=35000 #constraints=571241
351.45/351.62	c nbDecision=35500 #constraints=571270
356.05/356.29	c nbDecision=36000 #constraints=571327
360.95/361.15	c nbDecision=36500 #constraints=571398
367.15/367.38	c nbDecision=37000 #constraints=571494
371.04/371.30	c nbDecision=37500 #constraints=571532
378.74/378.98	c nbDecision=38000 #constraints=571656
385.74/385.96	c nbDecision=38500 #constraints=571763
387.94/388.11	c nbDecision=39000 #constraints=571774
393.34/393.50	c nbDecision=39500 #constraints=571855
399.14/399.35	c nbDecision=40000 #constraints=571944
405.64/405.85	c nbDecision=40500 #constraints=572047
410.13/410.30	c nbDecision=41000 #constraints=572099
413.53/413.74	c nbDecision=41500 #constraints=572134
421.83/422.07	c nbDecision=42000 #constraints=572265
433.23/433.47	c nbDecision=42500 #constraints=572460
435.03/435.26	c nbDecision=43000 #constraints=572465
441.13/441.37	c nbDecision=43500 #constraints=572537
463.02/463.23	c nbDecision=44000 #constraints=572913
465.92/466.16	c nbDecision=44500 #constraints=572943
468.62/468.81	c nbDecision=45000 #constraints=572976
470.32/470.57	c nbDecision=45500 #constraints=572984
472.02/472.22	c nbDecision=46000 #constraints=572992
476.92/477.14	c nbDecision=46500 #constraints=573052
481.81/482.05	c nbDecision=47000 #constraints=573102
485.51/485.76	c nbDecision=47500 #constraints=573142
493.81/494.00	c nbDecision=48000 #constraints=573250
498.11/498.30	c nbDecision=48500 #constraints=573295
504.21/504.46	c nbDecision=49000 #constraints=573403
511.31/511.59	c nbDecision=49500 #constraints=573587
518.80/519.07	c nbDecision=50000 #constraints=573771
521.50/521.71	c nbDecision=50500 #constraints=573811
527.89/528.18	c nbDecision=51000 #constraints=573930
528.90/529.16	c restart after 51201 decisions
531.29/531.50	c nbDecision=51500 #constraints=573949
538.79/539.00	c nbDecision=52000 #constraints=574032
565.08/565.39	c nbDecision=52500 #constraints=574390
588.28/588.51	c nbDecision=53000 #constraints=574691
608.17/608.42	c nbDecision=53500 #constraints=574982
630.16/630.47	c nbDecision=54000 #constraints=575266
634.96/635.20	c nbDecision=54500 #constraints=575323
639.96/640.24	c nbDecision=55000 #constraints=575385
643.85/644.18	c nbDecision=55500 #constraints=575423
651.95/652.28	c nbDecision=56000 #constraints=575508
657.95/658.24	c nbDecision=56500 #constraints=575582
662.75/663.02	c nbDecision=57000 #constraints=575657
669.44/669.71	c nbDecision=57500 #constraints=575755
671.84/672.11	c nbDecision=58000 #constraints=575770
678.14/678.40	c nbDecision=58500 #constraints=575894
681.04/681.34	c nbDecision=59000 #constraints=575931
684.54/684.88	c nbDecision=59500 #constraints=575964
687.94/688.28	c nbDecision=60000 #constraints=575996
690.34/690.63	c nbDecision=60500 #constraints=576005
696.13/696.49	c nbDecision=61000 #constraints=576071
705.73/706.06	c nbDecision=61500 #constraints=576193
710.14/710.43	c nbDecision=62000 #constraints=576250
716.74/717.08	c nbDecision=62500 #constraints=576323
720.24/720.51	c nbDecision=63000 #constraints=576368
728.53/728.86	c nbDecision=63500 #constraints=576480
738.93/739.22	c nbDecision=64000 #constraints=576614
746.72/747.08	c nbDecision=64500 #constraints=576728
750.42/750.78	c nbDecision=65000 #constraints=576773
755.02/755.37	c nbDecision=65500 #constraints=576837
760.62/760.92	c nbDecision=66000 #constraints=576900
774.51/774.89	c nbDecision=66500 #constraints=577061
779.01/779.39	c nbDecision=67000 #constraints=577110
786.31/786.62	c nbDecision=67500 #constraints=577219
791.20/791.51	c nbDecision=68000 #constraints=577277
793.40/793.79	c nbDecision=68500 #constraints=577292
795.20/795.54	c nbDecision=69000 #constraints=577300
797.00/797.38	c nbDecision=69500 #constraints=577310
805.00/805.30	c nbDecision=70000 #constraints=577413
807.20/807.59	c nbDecision=70500 #constraints=577426
809.79/810.13	c nbDecision=71000 #constraints=577441
811.69/812.01	c nbDecision=71500 #constraints=577448
818.10/818.48	c nbDecision=72000 #constraints=577523
830.70/831.08	c nbDecision=72500 #constraints=577693
838.69/839.08	c nbDecision=73000 #constraints=577809
843.69/844.10	c nbDecision=73500 #constraints=577874
846.19/846.57	c nbDecision=74000 #constraints=577887
848.59/848.99	c nbDecision=74500 #constraints=577898
857.08/857.47	c nbDecision=75000 #constraints=578009
874.88/875.21	c nbDecision=75500 #constraints=578218
910.56/910.95	c nbDecision=76000 #constraints=578598
938.25/938.68	c nbDecision=76500 #constraints=578874
968.75/969.19	c nbDecision=77000 #constraints=579196
1009.43/1009.89	c nbDecision=77500 #constraints=579529
1045.62/1046.10	c nbDecision=78000 #constraints=579868
1076.52/1076.91	c nbDecision=78500 #constraints=580126
1109.40/1109.84	c nbDecision=79000 #constraints=580408
1126.69/1127.19	c nbDecision=79500 #constraints=580604
1146.08/1146.58	c nbDecision=80000 #constraints=580857
1167.27/1167.72	c nbDecision=80500 #constraints=581167
1184.87/1185.37	c nbDecision=81000 #constraints=581395
1200.16/1200.67	c nbDecision=81500 #constraints=581583
1214.26/1214.73	c nbDecision=82000 #constraints=581783
1229.56/1230.05	c nbDecision=82500 #constraints=581980
1244.65/1245.17	c nbDecision=83000 #constraints=582137
1260.25/1260.74	c nbDecision=83500 #constraints=582282
1278.24/1278.78	c nbDecision=84000 #constraints=582448
1282.93/1283.40	c nbDecision=84500 #constraints=582499
1286.03/1286.52	c nbDecision=85000 #constraints=582517
1291.93/1292.42	c nbDecision=85500 #constraints=582564
1318.13/1318.60	c nbDecision=86000 #constraints=582801
1339.62/1340.10	c nbDecision=86500 #constraints=582974
1359.41/1359.97	c nbDecision=87000 #constraints=583192
1382.51/1383.04	c nbDecision=87500 #constraints=583391
1390.91/1391.44	c nbDecision=88000 #constraints=583464
1401.60/1402.12	c nbDecision=88500 #constraints=583579
1405.50/1406.00	c nbDecision=89000 #constraints=583598
1416.49/1417.09	c nbDecision=89500 #constraints=583703
1423.69/1424.24	c nbDecision=90000 #constraints=583770
1433.09/1433.61	c nbDecision=90500 #constraints=583855
1439.19/1439.70	c nbDecision=91000 #constraints=583912
1447.18/1447.76	c nbDecision=91500 #constraints=583995
1462.78/1463.36	c nbDecision=92000 #constraints=584161
1473.67/1474.25	c nbDecision=92500 #constraints=584266
1483.57/1484.10	c nbDecision=93000 #constraints=584370
1491.07/1491.61	c nbDecision=93500 #constraints=584451
1497.86/1498.43	c nbDecision=94000 #constraints=584568
1505.16/1505.75	c nbDecision=94500 #constraints=584645
1519.56/1520.15	c nbDecision=95000 #constraints=584812
1533.85/1534.46	c nbDecision=95500 #constraints=585006
1554.35/1554.96	c nbDecision=96000 #constraints=585253
1563.04/1563.65	c nbDecision=96500 #constraints=585382
1568.64/1569.21	c nbDecision=97000 #constraints=585462
1579.04/1579.62	c nbDecision=97500 #constraints=585607
1589.03/1589.61	c nbDecision=98000 #constraints=585750
1597.23/1597.88	c nbDecision=98500 #constraints=585829
1606.72/1607.32	c nbDecision=99000 #constraints=585961
1614.22/1614.82	c nbDecision=99500 #constraints=586056
1618.92/1619.56	c nbDecision=100000 #constraints=586108
1625.41/1626.04	c nbDecision=100500 #constraints=586175
1631.72/1632.31	c nbDecision=101000 #constraints=586228
1639.71/1640.32	c nbDecision=101500 #constraints=586308
1644.61/1645.27	c nbDecision=102000 #constraints=586348
1659.71/1660.39	c restart after 102401 decisions
1661.11/1661.75	c nbDecision=102500 #constraints=586542
1665.01/1665.62	c nbDecision=103000 #constraints=586572
1667.61/1668.25	c nbDecision=103500 #constraints=586586
1670.61/1671.28	c nbDecision=104000 #constraints=586601
1672.11/1672.74	c nbDecision=104500 #constraints=586606
1674.01/1674.60	c nbDecision=105000 #constraints=586612
1677.00/1677.61	c nbDecision=105500 #constraints=586632
1680.00/1680.63	c nbDecision=106000 #constraints=586653
1684.20/1684.87	c nbDecision=106500 #constraints=586688
1686.40/1687.03	c nbDecision=107000 #constraints=586693
1687.90/1688.52	c nbDecision=107500 #constraints=586696
1695.30/1695.97	c nbDecision=108000 #constraints=586745
1700.40/1701.01	c nbDecision=108500 #constraints=586772
1702.29/1702.99	c nbDecision=109000 #constraints=586785
1704.59/1705.28	c nbDecision=109500 #constraints=586801
1710.89/1711.56	c nbDecision=110000 #constraints=586916
1712.89/1713.59	c nbDecision=110500 #constraints=586930
1714.49/1715.18	c nbDecision=111000 #constraints=586933
1718.79/1719.43	c nbDecision=111500 #constraints=586987
1725.19/1725.87	c nbDecision=112000 #constraints=587065
1728.18/1728.85	c nbDecision=112500 #constraints=587072
1735.88/1736.57	c nbDecision=113000 #constraints=587161
1741.48/1742.19	c nbDecision=113500 #constraints=587244
1752.87/1753.51	c nbDecision=114000 #constraints=587362
1784.56/1785.26	c nbDecision=114500 #constraints=587696
1800.07/1800.70	Received signal 15
1800.07/1800.78	
1800.07/1800.78	s UNKNOWN
1800.07/1800.78	
1800.07/1800.78	c user time= 1799.82 s
1800.07/1800.78	c system time= 0.331949 s
1800.07/1800.78	c wall clock time=1800.79

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node59/watcher-419773-1177412685 -o ROOT/results/node59/solver-419773-1177412685 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419773-1177412685/instance-419773-1177412685.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.97 0.97 0.99 3/64 12024
/proc/meminfo: memFree=1929608/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=1468 CPUtime=0
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 189178240 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 367 169 129 317 0 46 0

[startup+0.038237 s]
/proc/loadavg: 0.97 0.97 0.99 3/64 12024
/proc/meminfo: memFree=1929608/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=2532 CPUtime=0.03
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 411 0 0 0 3 0 0 0 18 0 1 0 189178240 2592768 395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135289884 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 633 401 129 317 0 312 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2532

[startup+0.101249 s]
/proc/loadavg: 0.97 0.97 0.99 3/64 12024
/proc/meminfo: memFree=1929608/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=4116 CPUtime=0.09
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 827 0 0 0 9 0 0 0 18 0 1 0 189178240 4214784 810 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 1029 810 129 317 0 708 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4116

[startup+0.301288 s]
/proc/loadavg: 0.97 0.97 0.99 3/64 12024
/proc/meminfo: memFree=1929608/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=8468 CPUtime=0.3
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 1940 0 0 0 29 1 0 0 19 0 1 0 189178240 8671232 1890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 2117 1890 130 317 0 1796 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 8468

[startup+0.702361 s]
/proc/loadavg: 0.97 0.97 0.99 3/64 12024
/proc/meminfo: memFree=1929608/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=16908 CPUtime=0.69
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 4105 0 0 0 67 2 0 0 22 0 1 0 189178240 17313792 3990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 4227 3990 130 317 0 3906 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16908

[startup+1.50151 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1907840/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=33788 CPUtime=1.5
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 8411 0 0 0 146 4 0 0 25 0 1 0 189178240 34598912 8167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 8447 8167 130 317 0 8126 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 33788

[startup+3.10182 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1884672/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=67416 CPUtime=3.09
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 17005 0 0 0 301 8 0 0 25 0 1 0 189178240 69033984 16504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 16854 16504 130 317 0 16533 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67416

[startup+6.30143 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1767168/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=6.29
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51031 0 0 0 607 22 0 0 25 0 1 0 189178240 207708160 46130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46130 139 317 0 50389 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 202840

[startup+12.7016 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1745088/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=12.69
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51032 0 0 0 1247 22 0 0 25 0 1 0 189178240 207708160 46131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278982 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46131 139 317 0 50389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 202840

[startup+25.5011 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1745152/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=25.49
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51034 0 0 0 2527 22 0 0 25 0 1 0 189178240 207708160 46133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46133 139 317 0 50389 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 202840

[startup+51.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1745408/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=51.06
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51035 0 0 0 5084 22 0 0 25 0 1 0 189178240 207708160 46134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46134 139 317 0 50389 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 202840

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1745408/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=102.24
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51045 0 0 0 10202 22 0 0 25 0 1 0 189178240 207708160 46144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46144 139 317 0 50389 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 202840

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1745344/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=162.22
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51052 0 0 0 16200 22 0 0 25 0 1 0 189178240 207708160 46151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46151 139 317 0 50389 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 202840

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1745280/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=222.2
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51063 0 0 0 22198 22 0 0 25 0 1 0 189178240 207708160 46162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46162 139 317 0 50389 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 202840

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1745216/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=282.18
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51069 0 0 0 28196 22 0 0 25 0 1 0 189178240 207708160 46168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46168 139 317 0 50389 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 202840

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1745216/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=342.16
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51077 0 0 0 34194 22 0 0 25 0 1 0 189178240 207708160 46176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46176 139 317 0 50389 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 202840

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1745280/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=402.13
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51088 0 0 0 40191 22 0 0 25 0 1 0 189178240 207708160 46187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46187 139 317 0 50389 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 202840

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1745152/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202840 CPUtime=462.12
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51098 0 0 0 46189 23 0 0 25 0 1 0 189178240 207708160 46197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713745 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50710 46197 139 317 0 50389 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 202840

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1743552/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=204552 CPUtime=522.1
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51517 0 0 0 52187 23 0 0 25 0 1 0 189178240 209461248 46616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 51138 46616 139 317 0 50817 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 204552

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1742528/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=205464 CPUtime=582.08
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51752 0 0 0 58184 24 0 0 25 0 1 0 189178240 210395136 46851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 51366 46851 139 317 0 51045 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 205464

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12025
/proc/meminfo: memFree=1741312/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=206636 CPUtime=642.06
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 52043 0 0 0 64182 24 0 0 25 0 1 0 189178240 211595264 47142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 51659 47142 139 317 0 51338 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 206636


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

[startup+942.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 12025
/proc/meminfo: memFree=1733184/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=214756 CPUtime=941.95
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 54066 0 0 0 94169 26 0 0 25 0 1 0 189178240 219910144 49165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 53689 49165 139 317 0 53368 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 214756

[startup+1002.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 12025
/proc/meminfo: memFree=1732224/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=215672 CPUtime=1001.93
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 54302 0 0 0 100167 26 0 0 25 0 1 0 189178240 220848128 49401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 53918 49401 139 317 0 53597 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 215672

[startup+1062.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/65 12025
/proc/meminfo: memFree=1731072/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=216716 CPUtime=1061.91
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 54580 0 0 0 106165 26 0 0 25 0 1 0 189178240 221917184 49679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 54179 49679 139 317 0 53858 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 216716

[startup+1122.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/65 12025
/proc/meminfo: memFree=1729856/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=218032 CPUtime=1121.89
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 54888 0 0 0 112162 27 0 0 25 0 1 0 189178240 223264768 49987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 54508 49987 139 317 0 54187 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 218032

[startup+1182.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/65 12025
/proc/meminfo: memFree=1727616/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=220128 CPUtime=1181.87
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 55430 0 0 0 118160 27 0 0 25 0 1 0 189178240 225411072 50529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 55032 50529 139 317 0 54711 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 220128

[startup+1242.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/65 12025
/proc/meminfo: memFree=1724992/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=222808 CPUtime=1241.85
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 56078 0 0 0 124157 28 0 0 25 0 1 0 189178240 228155392 51177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 55702 51177 139 317 0 55381 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 222808

[startup+1302.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/65 12025
/proc/meminfo: memFree=1723200/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=224524 CPUtime=1301.83
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 56516 0 0 0 130155 28 0 0 25 0 1 0 189178240 229912576 51615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 56131 51615 139 317 0 55810 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 224524

[startup+1362.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 12025
/proc/meminfo: memFree=1720768/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=227160 CPUtime=1361.81
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 57149 0 0 0 136152 29 0 0 25 0 1 0 189178240 232611840 52248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 56790 52248 139 317 0 56469 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 227160

[startup+1422.31 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 12025
/proc/meminfo: memFree=1719040/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=228708 CPUtime=1421.8
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 57558 0 0 0 142150 30 0 0 25 0 1 0 189178240 234196992 52657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 57177 52657 139 317 0 56856 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 228708

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12025
/proc/meminfo: memFree=1717248/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=230620 CPUtime=1481.77
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 58004 0 0 0 148147 30 0 0 25 0 1 0 189178240 236154880 53103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 57655 53103 139 317 0 57334 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 230620

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12025
/proc/meminfo: memFree=1715968/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=231928 CPUtime=1541.74
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 58335 0 0 0 154144 30 0 0 25 0 1 0 189178240 237494272 53434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 57982 53434 139 317 0 57661 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 231928

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 12025
/proc/meminfo: memFree=1713728/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=234140 CPUtime=1601.72
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 58878 0 0 0 160141 31 0 0 25 0 1 0 189178240 239759360 53977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 58535 53977 139 317 0 58214 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 234140

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 12025
/proc/meminfo: memFree=1712192/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=235568 CPUtime=1661.71
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 59252 0 0 0 166139 32 0 0 25 0 1 0 189178240 241221632 54351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 58892 54351 139 317 0 58571 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 235568

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12025
/proc/meminfo: memFree=1710720/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=236996 CPUtime=1721.69
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 59609 0 0 0 172137 32 0 0 25 0 1 0 189178240 242683904 54708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711035 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 59249 54708 139 317 0 58928 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 236996

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12025
/proc/meminfo: memFree=1709376/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=238312 CPUtime=1781.66
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 59946 0 0 0 178134 32 0 0 25 0 1 0 189178240 244031488 55045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 59578 55045 139 317 0 59257 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 238312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12025
/proc/meminfo: memFree=1708736/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=238840 CPUtime=1800.07
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 60096 0 0 0 179974 33 0 0 25 0 1 0 189178240 244572160 55195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 59710 55195 139 317 0 59389 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 238840

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12025
/proc/meminfo: memFree=1708736/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=238840 CPUtime=1800.17
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 60112 0 0 0 179984 33 0 0 25 0 1 0 189178240 244572160 55211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 59710 55211 155 317 0 59389 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 238840

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12025
/proc/meminfo: memFree=1708736/2055920 swapFree=4184616/4192956
[pid=12024] ppid=12022 vsize=202992 CPUtime=1800.26
/proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 60112 0 0 0 179993 33 0 0 25 0 1 0 189178240 207863808 50054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284183 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12024/statm: 50748 50054 155 317 0 50427 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 202992

Child status: 0
Real time (s): 1800.95
CPU time (s): 1800.31
CPU user time (s): 1799.95
CPU system time (s): 0.368943
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 238840

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

runsolver used 1.26681 second user time and 3.67144 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Tue Apr 24 11:04:46 UTC 2007

IDJOB= 419773
IDBENCH= 47797
IDSOLVER= 172
FILE ID= node59/419773-1177412685

PBS_JOBID= 4675698

Free space on /tmp= 66312 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/babic/hsatv17/hsat_vc12062.opb
COMMAND LINE= oree /tmp/evaluation/419773-1177412685/instance-419773-1177412685.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-419773-1177412685 -o ROOT/results/node59/solver-419773-1177412685 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/419773-1177412685/instance-419773-1177412685.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  694ba8d60e0307c65b53da17c456b745

RANDOM SEED= 674642772

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1930080 kB
Buffers:          3652 kB
Cached:          63208 kB
SwapCached:       2364 kB
Active:          65708 kB
Inactive:        10936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1930080 kB
SwapTotal:     4192956 kB
SwapFree:      4184616 kB
Dirty:           20212 kB
Writeback:           0 kB
Mapped:          16520 kB
Slab:            35196 kB
Committed_AS:  3021384 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66312 MiB

End job on node59 on Tue Apr 24 11:34:49 UTC 2007