Trace number 357143

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.66 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUMf368868fda311e5aaeadb84d33b29291
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3750
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3750
Optimality of the best value was proved NO
Number of variables7500
Total number of constraints237715
Number of constraints which are clauses237715
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 constraint2
Maximum length of a constraint15
Number of terms in the objective function 7500
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 7500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7500
Number of bits of the biggest sum of numbers13
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...
1.50/1.56	c ...done
1.50/1.56	c #vars=7500 #constraints=237716 hasObjective=yes
2.59/2.66	c res. mode=mod
2.59/2.66	c VSIDS like heuristics
2.59/2.66	c complete search running
6.09/6.19	c restart after 401 decisions
6.99/7.02	c nbDecision=500 #constraints=237781
7.89/7.98	c restart after 801 decisions
8.80/8.89	c nbDecision=1000 #constraints=237804
11.19/11.21	c nbDecision=1500 #constraints=237842
11.69/11.76	c restart after 1601 decisions
13.89/13.95	c nbDecision=2000 #constraints=237881
16.09/16.15	c nbDecision=2500 #constraints=237907
18.89/18.90	c nbDecision=3000 #constraints=237960
19.79/19.86	c restart after 3201 decisions
21.79/21.82	c nbDecision=3500 #constraints=238002
25.79/25.86	c nbDecision=4000 #constraints=238077
29.19/29.27	c nbDecision=4500 #constraints=238130
31.89/31.90	c nbDecision=5000 #constraints=238177
35.38/35.42	c nbDecision=5500 #constraints=238236
37.39/37.41	c nbDecision=6000 #constraints=238259
40.08/40.13	c restart after 6401 decisions
40.48/40.55	c nbDecision=6500 #constraints=238297
43.18/43.21	c nbDecision=7000 #constraints=238341
45.08/45.18	c nbDecision=7500 #constraints=238370
47.28/47.37	c nbDecision=8000 #constraints=238400
50.38/50.48	c nbDecision=8500 #constraints=238450
52.38/52.49	c nbDecision=9000 #constraints=238478
54.68/54.73	c nbDecision=9500 #constraints=238504
58.18/58.28	c nbDecision=10000 #constraints=238563
61.28/61.34	c nbDecision=10500 #constraints=238615
64.07/64.11	c nbDecision=11000 #constraints=238656
67.17/67.28	c nbDecision=11500 #constraints=238713
70.17/70.25	c nbDecision=12000 #constraints=238762
72.97/73.04	c nbDecision=12500 #constraints=238805
74.47/74.55	c restart after 12801 decisions
75.87/75.91	c nbDecision=13000 #constraints=238851
78.37/78.48	c nbDecision=13500 #constraints=238901
80.37/80.41	c nbDecision=14000 #constraints=238928
82.47/82.52	c nbDecision=14500 #constraints=238961
85.47/85.53	c nbDecision=15000 #constraints=239012
87.67/87.79	c nbDecision=15500 #constraints=239047
90.87/90.99	c nbDecision=16000 #constraints=239097
95.86/96.00	c nbDecision=16500 #constraints=239176
98.76/98.82	c nbDecision=17000 #constraints=239228
102.16/102.21	c nbDecision=17500 #constraints=239293
104.66/104.75	c nbDecision=18000 #constraints=239331
107.16/107.29	c nbDecision=18500 #constraints=239376
109.76/109.84	c nbDecision=19000 #constraints=239418
113.06/113.11	c nbDecision=19500 #constraints=239480
116.66/116.76	c nbDecision=20000 #constraints=239548
119.86/119.99	c nbDecision=20500 #constraints=239603
122.15/122.20	c nbDecision=21000 #constraints=239636
124.95/125.06	c nbDecision=21500 #constraints=239690
130.56/130.62	c nbDecision=22000 #constraints=239797
134.06/134.12	c nbDecision=22500 #constraints=239852
136.66/136.74	c nbDecision=23000 #constraints=239891
140.06/140.13	c nbDecision=23500 #constraints=239947
143.45/143.57	c nbDecision=24000 #constraints=240005
146.05/146.10	c nbDecision=24500 #constraints=240036
148.95/149.06	c nbDecision=25000 #constraints=240078
153.85/153.94	c nbDecision=25500 #constraints=240154
154.25/154.39	c restart after 25601 decisions
156.55/156.68	c nbDecision=26000 #constraints=240184
159.75/159.85	c nbDecision=26500 #constraints=240227
163.15/163.21	c nbDecision=27000 #constraints=240279
166.24/166.37	c nbDecision=27500 #constraints=240322
173.34/173.46	c nbDecision=28000 #constraints=240423
177.84/177.99	c nbDecision=28500 #constraints=240489
184.94/185.03	c nbDecision=29000 #constraints=240577
189.84/189.92	c nbDecision=29500 #constraints=240641
193.54/193.62	c nbDecision=30000 #constraints=240698
196.94/197.06	c nbDecision=30500 #constraints=240742
202.34/202.41	c nbDecision=31000 #constraints=240840
206.43/206.58	c nbDecision=31500 #constraints=240906
211.43/211.54	c nbDecision=32000 #constraints=240986
216.93/217.01	c nbDecision=32500 #constraints=241070
223.53/223.62	c nbDecision=33000 #constraints=241186
228.63/228.78	c nbDecision=33500 #constraints=241270
235.13/235.26	c nbDecision=34000 #constraints=241370
242.42/242.57	c nbDecision=34500 #constraints=241486
247.02/247.17	c nbDecision=35000 #constraints=241557
252.93/253.05	c nbDecision=35500 #constraints=241650
258.92/259.07	c nbDecision=36000 #constraints=241738
266.02/266.16	c nbDecision=36500 #constraints=241837
270.61/270.75	c nbDecision=37000 #constraints=241900
274.71/274.90	c nbDecision=37500 #constraints=241960
280.91/281.09	c nbDecision=38000 #constraints=242044
285.91/286.06	c nbDecision=38500 #constraints=242104
291.81/291.93	c nbDecision=39000 #constraints=242180
295.71/295.83	c nbDecision=39500 #constraints=242234
301.91/302.02	c nbDecision=40000 #constraints=242326
308.50/308.66	c nbDecision=40500 #constraints=242427
314.60/314.77	c nbDecision=41000 #constraints=242512
321.30/321.49	c nbDecision=41500 #constraints=242605
325.90/326.04	c nbDecision=42000 #constraints=242660
332.90/333.05	c nbDecision=42500 #constraints=242753
337.90/338.06	c nbDecision=43000 #constraints=242816
344.20/344.32	c nbDecision=43500 #constraints=242889
349.99/350.19	c nbDecision=44000 #constraints=242967
357.49/357.69	c nbDecision=44500 #constraints=243074
364.08/364.27	c nbDecision=45000 #constraints=243152
372.38/372.55	c nbDecision=45500 #constraints=243235
377.29/377.46	c nbDecision=46000 #constraints=243288
383.79/383.97	c nbDecision=46500 #constraints=243361
392.28/392.46	c nbDecision=47000 #constraints=243457
397.88/398.06	c nbDecision=47500 #constraints=243520
404.78/404.91	c nbDecision=48000 #constraints=243591
411.87/412.03	c nbDecision=48500 #constraints=243669
419.77/419.92	c nbDecision=49000 #constraints=243770
425.97/426.10	c nbDecision=49500 #constraints=243831
431.77/431.99	c nbDecision=50000 #constraints=243893
438.77/438.91	c nbDecision=50500 #constraints=243977
445.07/445.20	c nbDecision=51000 #constraints=244051
447.36/447.50	c restart after 51201 decisions
451.56/451.70	c nbDecision=51500 #constraints=244102
457.16/457.37	c nbDecision=52000 #constraints=244158
462.56/462.79	c nbDecision=52500 #constraints=244208
470.56/470.75	c nbDecision=53000 #constraints=244306
483.95/484.17	c nbDecision=53500 #constraints=244506
492.16/492.36	c nbDecision=54000 #constraints=244610
499.36/499.54	c nbDecision=54500 #constraints=244684
509.95/510.17	c nbDecision=55000 #constraints=244836
517.65/517.85	c nbDecision=55500 #constraints=244914
521.54/521.76	c nbDecision=56000 #constraints=244950
526.24/526.49	c nbDecision=56500 #constraints=244991
530.94/531.13	c nbDecision=57000 #constraints=245039
537.14/537.33	c nbDecision=57500 #constraints=245097
543.53/543.75	c nbDecision=58000 #constraints=245156
549.34/549.57	c nbDecision=58500 #constraints=245205
557.14/557.32	c nbDecision=59000 #constraints=245267
562.23/562.45	c nbDecision=59500 #constraints=245308
567.34/567.59	c nbDecision=60000 #constraints=245358
572.03/572.29	c nbDecision=60500 #constraints=245393
578.73/578.92	c nbDecision=61000 #constraints=245451
584.93/585.19	c nbDecision=61500 #constraints=245522
592.42/592.61	c nbDecision=62000 #constraints=245596
597.32/597.59	c nbDecision=62500 #constraints=245646
604.12/604.33	c nbDecision=63000 #constraints=245718
611.82/612.09	c nbDecision=63500 #constraints=245790
617.51/617.77	c nbDecision=64000 #constraints=245845
624.91/625.18	c nbDecision=64500 #constraints=245933
633.82/634.02	c nbDecision=65000 #constraints=246022
640.41/640.66	c nbDecision=65500 #constraints=246082
647.41/647.70	c nbDecision=66000 #constraints=246153
653.31/653.59	c nbDecision=66500 #constraints=246207
659.41/659.63	c nbDecision=67000 #constraints=246261
668.20/668.40	c nbDecision=67500 #constraints=246337
675.40/675.64	c nbDecision=68000 #constraints=246402
680.10/680.38	c nbDecision=68500 #constraints=246437
689.41/689.69	c nbDecision=69000 #constraints=246514
695.50/695.71	c nbDecision=69500 #constraints=246559
702.70/702.94	c nbDecision=70000 #constraints=246636
711.69/711.95	c nbDecision=70500 #constraints=246721
719.09/719.37	c nbDecision=71000 #constraints=246784
726.39/726.66	c nbDecision=71500 #constraints=246841
734.08/734.34	c nbDecision=72000 #constraints=246890
741.18/741.42	c nbDecision=72500 #constraints=246937
749.78/750.09	c nbDecision=73000 #constraints=246998
757.38/757.69	c nbDecision=73500 #constraints=247049
766.48/766.74	c nbDecision=74000 #constraints=247103
775.07/775.37	c nbDecision=74500 #constraints=247172
782.37/782.67	c nbDecision=75000 #constraints=247228
790.07/790.34	c nbDecision=75500 #constraints=247293
798.07/798.32	c nbDecision=76000 #constraints=247362
805.67/805.99	c nbDecision=76500 #constraints=247415
814.56/814.80	c nbDecision=77000 #constraints=247498
824.56/824.84	c nbDecision=77500 #constraints=247602
835.06/835.36	c nbDecision=78000 #constraints=247709
846.35/846.64	c nbDecision=78500 #constraints=247817
857.76/858.07	c nbDecision=79000 #constraints=247917
868.05/868.35	c nbDecision=79500 #constraints=248003
877.05/877.33	c nbDecision=80000 #constraints=248078
888.94/889.22	c nbDecision=80500 #constraints=248174
904.63/905.00	c nbDecision=81000 #constraints=248320
919.93/920.27	c nbDecision=81500 #constraints=248450
932.03/932.38	c nbDecision=82000 #constraints=248566
944.53/944.89	c nbDecision=82500 #constraints=248677
959.62/959.92	c nbDecision=83000 #constraints=248808
967.32/967.64	c nbDecision=83500 #constraints=248856
976.12/976.42	c nbDecision=84000 #constraints=248933
987.11/987.49	c nbDecision=84500 #constraints=249007
997.31/997.63	c nbDecision=85000 #constraints=249085
1006.31/1006.67	c nbDecision=85500 #constraints=249165
1019.01/1019.34	c nbDecision=86000 #constraints=249269
1029.40/1029.73	c nbDecision=86500 #constraints=249347
1041.80/1042.13	c nbDecision=87000 #constraints=249427
1050.89/1051.22	c nbDecision=87500 #constraints=249496
1066.30/1066.63	c nbDecision=88000 #constraints=249596
1075.99/1076.39	c nbDecision=88500 #constraints=249658
1087.39/1087.74	c nbDecision=89000 #constraints=249746
1100.78/1101.19	c nbDecision=89500 #constraints=249852
1114.88/1115.27	c nbDecision=90000 #constraints=249948
1127.18/1127.58	c nbDecision=90500 #constraints=250041
1138.37/1138.75	c nbDecision=91000 #constraints=250108
1147.97/1148.39	c nbDecision=91500 #constraints=250169
1159.87/1160.23	c nbDecision=92000 #constraints=250251
1173.36/1173.79	c nbDecision=92500 #constraints=250342
1188.86/1189.23	c nbDecision=93000 #constraints=250458
1205.85/1206.24	c nbDecision=93500 #constraints=250606
1218.25/1218.63	c nbDecision=94000 #constraints=250676
1225.25/1225.63	c nbDecision=94500 #constraints=250734
1233.14/1233.56	c nbDecision=95000 #constraints=250796
1240.64/1241.09	c nbDecision=95500 #constraints=250846
1249.54/1249.97	c nbDecision=96000 #constraints=250919
1256.94/1257.38	c nbDecision=96500 #constraints=250965
1264.94/1265.39	c nbDecision=97000 #constraints=251022
1276.43/1276.89	c nbDecision=97500 #constraints=251089
1284.33/1284.74	c nbDecision=98000 #constraints=251140
1293.93/1294.37	c nbDecision=98500 #constraints=251196
1302.03/1302.49	c nbDecision=99000 #constraints=251247
1312.42/1312.80	c nbDecision=99500 #constraints=251310
1326.32/1326.74	c nbDecision=100000 #constraints=251411
1337.32/1337.78	c nbDecision=100500 #constraints=251470
1345.71/1346.17	c nbDecision=101000 #constraints=251525
1356.11/1356.55	c nbDecision=101500 #constraints=251586
1367.61/1368.03	c nbDecision=102000 #constraints=251671
1373.70/1374.12	c restart after 102401 decisions
1376.30/1376.73	c nbDecision=102500 #constraints=251709
1387.70/1388.20	c nbDecision=103000 #constraints=251793
1397.79/1398.20	c nbDecision=103500 #constraints=251859
1409.09/1409.55	c nbDecision=104000 #constraints=251937
1421.49/1421.90	c nbDecision=104500 #constraints=252011
1441.49/1441.94	c nbDecision=105000 #constraints=252120
1452.08/1452.50	c nbDecision=105500 #constraints=252187
1464.28/1464.75	c nbDecision=106000 #constraints=252273
1476.68/1477.17	c nbDecision=106500 #constraints=252354
1491.68/1492.13	c nbDecision=107000 #constraints=252437
1500.57/1501.09	c nbDecision=107500 #constraints=252499
1512.86/1513.34	c nbDecision=108000 #constraints=252566
1527.66/1528.19	c nbDecision=108500 #constraints=252632
1536.16/1536.62	c nbDecision=109000 #constraints=252676
1551.16/1551.68	c nbDecision=109500 #constraints=252740
1563.55/1564.08	c nbDecision=110000 #constraints=252809
1574.75/1575.21	c nbDecision=110500 #constraints=252865
1586.75/1587.29	c nbDecision=111000 #constraints=252924
1602.74/1603.21	c nbDecision=111500 #constraints=253017
1617.23/1617.70	c nbDecision=112000 #constraints=253124
1630.14/1630.69	c nbDecision=112500 #constraints=253220
1641.04/1641.55	c nbDecision=113000 #constraints=253292
1656.33/1656.86	c nbDecision=113500 #constraints=253405
1671.22/1671.72	c nbDecision=114000 #constraints=253487
1680.52/1681.05	c nbDecision=114500 #constraints=253545
1692.11/1692.69	c nbDecision=115000 #constraints=253627
1704.42/1704.96	c nbDecision=115500 #constraints=253708
1723.31/1723.80	c nbDecision=116000 #constraints=253850
1736.20/1736.70	c nbDecision=116500 #constraints=253929
1754.40/1754.93	c nbDecision=117000 #constraints=254028
1767.70/1768.22	c nbDecision=117500 #constraints=254115
1782.30/1782.80	c nbDecision=118000 #constraints=254186
1797.39/1797.91	c nbDecision=118500 #constraints=254265
1800.10/1800.61	Received signal 15
1800.59/1801.10	
1800.59/1801.10	s UNKNOWN
1800.59/1801.10	
1800.59/1801.10	c user time= 1800.23 s
1800.59/1801.10	c system time= 0.374943 s
1800.59/1801.10	c wall clock time=1801.11

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-357143-1176988287 -o ROOT/results/node12/solver-357143-1176988287 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357143-1176988287/instance-357143-1176988287.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.78 0.96 0.96 3/77 10822
/proc/meminfo: memFree=1624224/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=1620 CPUtime=0
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 174866084 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 405 176 126 317 0 84 0

[startup+0.00877489 s]
/proc/loadavg: 0.78 0.96 0.96 3/77 10822
/proc/meminfo: memFree=1624224/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=1752 CPUtime=0
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 226 0 0 0 0 0 0 0 18 0 1 0 174866084 1794048 208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 438 208 126 317 0 117 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1752

[startup+0.101783 s]
/proc/loadavg: 0.78 0.96 0.96 3/77 10822
/proc/meminfo: memFree=1624224/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=3732 CPUtime=0.09
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 745 0 0 0 9 0 0 0 18 0 1 0 174866084 3821568 727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 933 727 130 317 0 612 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3732

[startup+0.301803 s]
/proc/loadavg: 0.78 0.96 0.96 3/77 10822
/proc/meminfo: memFree=1624224/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=8480 CPUtime=0.29
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 1954 0 0 0 29 0 0 0 19 0 1 0 174866084 8683520 1903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 2120 1903 130 317 0 1799 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8480

[startup+0.701844 s]
/proc/loadavg: 0.78 0.96 0.96 3/77 10822
/proc/meminfo: memFree=1624224/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=17976 CPUtime=0.69
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 4363 0 0 0 68 1 0 0 22 0 1 0 174866084 18407424 4247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 4494 4247 130 317 0 4173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17976

[startup+1.50292 s]
/proc/loadavg: 0.78 0.96 0.96 2/78 10823
/proc/meminfo: memFree=1600600/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=36704 CPUtime=1.5
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 9182 0 0 0 146 4 0 0 25 0 1 0 174866084 37584896 8937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 9176 8937 130 317 0 8855 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 36704

[startup+3.10108 s]
/proc/loadavg: 0.78 0.96 0.96 3/78 10823
/proc/meminfo: memFree=1572568/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=71540 CPUtime=3.09
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17910 0 0 0 301 8 0 0 25 0 1 0 174866084 73256960 16039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 17885 16039 139 317 0 17564 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71540

[startup+6.3014 s]
/proc/loadavg: 0.80 0.96 0.96 2/78 10823
/proc/meminfo: memFree=1559896/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=71540 CPUtime=6.29
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17910 0 0 0 620 9 0 0 25 0 1 0 174866084 73256960 16039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134608007 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 17885 16039 139 317 0 17564 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71540

[startup+12.701 s]
/proc/loadavg: 0.81 0.96 0.96 2/78 10823
/proc/meminfo: memFree=1559896/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=71540 CPUtime=12.69
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17910 0 0 0 1260 9 0 0 25 0 1 0 174866084 73256960 16039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 17885 16039 139 317 0 17564 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71540

[startup+25.5013 s]
/proc/loadavg: 0.85 0.96 0.96 2/78 10823
/proc/meminfo: memFree=1560024/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=71540 CPUtime=25.49
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17912 0 0 0 2540 9 0 0 25 0 1 0 174866084 73256960 16041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 17885 16041 139 317 0 17564 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71540

[startup+51.1019 s]
/proc/loadavg: 0.90 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1560024/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=71540 CPUtime=51.08
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17914 0 0 0 5099 9 0 0 25 0 1 0 174866084 73256960 16043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 17885 16043 139 317 0 17564 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 71540

[startup+102.305 s]
/proc/loadavg: 0.96 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1560088/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=71540 CPUtime=102.26
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 17922 0 0 0 10217 9 0 0 25 0 1 0 174866084 73256960 16051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 17885 16051 139 317 0 17564 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 71540

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1556120/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=75776 CPUtime=162.25
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 18961 0 0 0 16215 10 0 0 25 0 1 0 174866084 77594624 17090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 18944 17090 139 317 0 18623 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 75776

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1550424/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=81476 CPUtime=222.23
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 20363 0 0 0 22211 12 0 0 25 0 1 0 174866084 83431424 18492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 20369 18492 139 317 0 20048 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 81476

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1544024/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=88096 CPUtime=282.21
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 21970 0 0 0 28208 13 0 0 25 0 1 0 174866084 90210304 20099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 22024 20099 139 317 0 21703 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 88096

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1537304/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=94932 CPUtime=342.2
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 23622 0 0 0 34205 15 0 0 25 0 1 0 174866084 97210368 21751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 23733 21751 139 317 0 23412 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 94932

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1531416/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=100812 CPUtime=402.18
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 25101 0 0 0 40202 16 0 0 25 0 1 0 174866084 103231488 23230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 25203 23230 139 317 0 24882 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 100812

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1525400/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=107404 CPUtime=462.16
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 26617 0 0 0 46198 18 0 0 25 0 1 0 174866084 109981696 24746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 26851 24746 139 317 0 26530 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 107404

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1518744/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=114152 CPUtime=522.14
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 28224 0 0 0 52195 19 0 0 25 0 1 0 174866084 116891648 26353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 28538 26353 139 317 0 28217 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 114152

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1516504/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=116120 CPUtime=582.13
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 28780 0 0 0 58193 20 0 0 25 0 1 0 174866084 118906880 26909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711181 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 29030 26909 139 317 0 28709 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 116120

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1513304/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=119272 CPUtime=642.12
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 29569 0 0 0 64191 21 0 0 25 0 1 0 174866084 122134528 27698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 29818 27698 139 317 0 29497 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 119272


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1496856/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=136112 CPUtime=942.03
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 33645 0 0 0 94178 25 0 0 25 0 1 0 174866084 139378688 31774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 34028 31774 139 317 0 33707 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 136112

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1493976/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=138768 CPUtime=1002.01
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 34338 0 0 0 100176 25 0 0 25 0 1 0 174866084 142098432 32467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 34692 32467 139 317 0 34371 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 138768

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1490328/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=142788 CPUtime=1061.99
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 35238 0 0 0 106173 26 0 0 25 0 1 0 174866084 146214912 33367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 35697 33367 139 317 0 35376 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 142788

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1487192/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=145868 CPUtime=1121.97
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 36018 0 0 0 112170 27 0 0 25 0 1 0 174866084 149368832 34147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 36467 34147 139 317 0 36146 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 145868

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10823
/proc/meminfo: memFree=1483736/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=150080 CPUtime=1181.96
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 36897 0 0 0 118168 28 0 0 25 0 1 0 174866084 153681920 35026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 37520 35026 139 317 0 37199 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 150080

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1480792/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=152988 CPUtime=1241.94
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 37592 0 0 0 124165 29 0 0 25 0 1 0 174866084 156659712 35721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 38247 35721 139 317 0 37926 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 152988

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1478040/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=156376 CPUtime=1301.93
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 38274 0 0 0 130163 30 0 0 25 0 1 0 174866084 160129024 36403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 39094 36403 139 317 0 38773 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 156376

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1475992/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=158212 CPUtime=1361.91
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 38780 0 0 0 136160 31 0 0 25 0 1 0 174866084 162009088 36909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 39553 36909 139 317 0 39232 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 158212

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1473496/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=160616 CPUtime=1421.9
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 39406 0 0 0 142158 32 0 0 25 0 1 0 174866084 164470784 37535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 40154 37535 139 317 0 39833 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 160616

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1471384/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=162744 CPUtime=1481.88
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 39953 0 0 0 148155 33 0 0 25 0 1 0 174866084 166649856 38082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 40686 38082 139 317 0 40365 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 162744

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1469144/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=164772 CPUtime=1541.86
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 40502 0 0 0 154152 34 0 0 25 0 1 0 174866084 168726528 38631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 41193 38631 139 317 0 40872 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 164772

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1466776/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=168056 CPUtime=1601.84
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 41095 0 0 0 160150 34 0 0 25 0 1 0 174866084 172089344 39224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 42014 39224 139 317 0 41693 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 168056

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1463960/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=170596 CPUtime=1661.83
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 41781 0 0 0 166148 35 0 0 25 0 1 0 174866084 174690304 39910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 42649 39910 139 317 0 42328 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 170596

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1461336/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=173072 CPUtime=1721.81
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 42426 0 0 0 172145 36 0 0 25 0 1 0 174866084 177225728 40555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562648 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 43268 40555 139 317 0 42947 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 173072

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1458648/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=175476 CPUtime=1781.8
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 43066 0 0 0 178143 37 0 0 25 0 1 0 174866084 179687424 41195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 43869 41195 139 317 0 43548 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 175476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1457752/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=176404 CPUtime=1800.1
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 43277 0 0 0 179973 37 0 0 25 0 1 0 174866084 180637696 41406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 44101 41406 139 317 0 43780 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 176404

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1457752/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=176404 CPUtime=1800.49
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 43279 0 0 0 180012 37 0 0 25 0 1 0 174866084 180637696 41408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 44101 41408 139 317 0 43780 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 176404

[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 10825
/proc/meminfo: memFree=1457752/2055920 swapFree=4160068/4192956
[pid=10822] ppid=10820 vsize=176404 CPUtime=1800.59
/proc/10822/stat : 10822 (oree) R 10820 10822 10765 0 -1 4194304 43280 0 0 0 180022 37 0 0 25 0 1 0 174866084 180637696 41409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10822/statm: 44101 41409 139 317 0 43780 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 176404

Child status: 0
Real time (s): 1801.17
CPU time (s): 1800.66
CPU user time (s): 1800.26
CPU system time (s): 0.402938
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 176404

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

runsolver used 2.17267 second user time and 4.39533 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Thu Apr 19 13:11:27 UTC 2007

IDJOB= 357143
IDBENCH= 2139
IDSOLVER= 172
FILE ID= node12/357143-1176988287

PBS_JOBID= 4630448

Free space on /tmp= 66249 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
COMMAND LINE= oree /tmp/evaluation/357143-1176988287/instance-357143-1176988287.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-357143-1176988287 -o ROOT/results/node12/solver-357143-1176988287 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357143-1176988287/instance-357143-1176988287.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  f368868fda311e5aaeadb84d33b29291

RANDOM SEED= 200098415

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:       1624568 kB
Buffers:         26288 kB
Cached:         325624 kB
SwapCached:      11548 kB
Active:         109272 kB
Inactive:       265460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1624568 kB
SwapTotal:     4192956 kB
SwapFree:      4160068 kB
Dirty:            7324 kB
Writeback:           0 kB
Mapped:          29872 kB
Slab:            42152 kB
Committed_AS:  4365720 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= 66249 MiB

End job on node12 on Thu Apr 19 13:41:30 UTC 2007