Trace number 357355

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) 1801.2 1801.66

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-degen3.opb
MD5SUM180182351d074e1d8188f1fe7258cbed
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54540
Total number of constraints1503
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1503
Minimum length of a constraint60
Maximum length of a constraint6090
Number of terms in the objective function 47190
Biggest coefficient in the objective function 1001264250880
Number of bits for the biggest coefficient in the objective function 40
Sum of the numbers in the objective function 339379725479256
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 1001264250880
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 339379725479256
Number of bits of the biggest sum of numbers49
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...
2.29/2.36	c ...done
2.29/2.36	c #vars=54540 #constraints=2221 hasObjective=yes
3.39/3.48	c res. mode=mod
3.39/3.48	c VSIDS like heuristics
3.39/3.48	c complete search running
4.19/4.30	c restart after 401 decisions
4.29/4.38	c nbDecision=500 #constraints=2221
4.59/4.61	c restart after 801 decisions
4.69/4.76	c nbDecision=1000 #constraints=2221
5.50/5.51	c nbDecision=1500 #constraints=2252
5.89/5.93	c restart after 1601 decisions
6.19/6.23	c nbDecision=2000 #constraints=2284
7.99/8.00	c nbDecision=2500 #constraints=2469
11.29/11.32	c nbDecision=3000 #constraints=2831
12.79/12.82	c restart after 3201 decisions
12.99/13.10	c nbDecision=3500 #constraints=2983
14.38/14.43	c nbDecision=4000 #constraints=3078
17.79/17.81	c nbDecision=4500 #constraints=3385
21.58/21.62	c nbDecision=5000 #constraints=3747
25.88/25.96	c nbDecision=5500 #constraints=4097
30.38/30.49	c nbDecision=6000 #constraints=4431
34.38/34.45	c restart after 6401 decisions
34.58/34.69	c nbDecision=6500 #constraints=4731
35.28/35.36	c nbDecision=7000 #constraints=4736
39.08/39.16	c nbDecision=7500 #constraints=5045
43.88/43.94	c nbDecision=8000 #constraints=5388
49.08/49.20	c nbDecision=8500 #constraints=5741
54.68/54.78	c nbDecision=9000 #constraints=6138
60.38/60.49	c nbDecision=9500 #constraints=6527
66.47/66.54	c nbDecision=10000 #constraints=6954
72.67/72.76	c nbDecision=10500 #constraints=7387
79.18/79.26	c nbDecision=11000 #constraints=7802
86.37/86.44	c nbDecision=11500 #constraints=8224
93.77/93.88	c nbDecision=12000 #constraints=8632
101.96/102.01	c nbDecision=12500 #constraints=9004
106.16/106.28	c restart after 12801 decisions
107.06/107.13	c nbDecision=13000 #constraints=9277
109.06/109.13	c nbDecision=13500 #constraints=9393
115.76/115.81	c nbDecision=14000 #constraints=9800
124.35/124.46	c nbDecision=14500 #constraints=10146
131.86/131.90	c nbDecision=15000 #constraints=10520
140.86/140.96	c nbDecision=15500 #constraints=10830
149.56/149.61	c nbDecision=16000 #constraints=11201
157.65/157.74	c nbDecision=16500 #constraints=11605
167.65/167.71	c nbDecision=17000 #constraints=11943
177.54/177.67	c nbDecision=17500 #constraints=12305
185.64/185.76	c nbDecision=18000 #constraints=12716
195.44/195.50	c nbDecision=18500 #constraints=13112
203.34/203.41	c nbDecision=19000 #constraints=13552
211.54/211.65	c nbDecision=19500 #constraints=13996
224.23/224.33	c nbDecision=20000 #constraints=14286
233.33/233.44	c nbDecision=20500 #constraints=14703
244.72/244.84	c nbDecision=21000 #constraints=15045
257.52/257.60	c nbDecision=21500 #constraints=15428
269.13/269.25	c nbDecision=22000 #constraints=15846
276.62/276.79	c nbDecision=22500 #constraints=16306
289.82/289.98	c nbDecision=23000 #constraints=16673
300.81/300.97	c nbDecision=23500 #constraints=17095
310.21/310.37	c nbDecision=24000 #constraints=17538
324.41/324.53	c nbDecision=24500 #constraints=17908
338.80/338.98	c nbDecision=25000 #constraints=18297
350.70/350.89	c nbDecision=25500 #constraints=18702
353.70/353.80	c restart after 25601 decisions
356.00/356.14	c nbDecision=26000 #constraints=18779
359.80/359.94	c nbDecision=26500 #constraints=18833
363.29/363.45	c nbDecision=27000 #constraints=18969
366.10/366.25	c nbDecision=27500 #constraints=19142
369.99/370.15	c nbDecision=28000 #constraints=19362
373.20/373.36	c nbDecision=28500 #constraints=19697
377.09/377.23	c nbDecision=29000 #constraints=19954
380.09/380.20	c nbDecision=29500 #constraints=20301
383.19/383.33	c nbDecision=30000 #constraints=20548
386.29/386.48	c nbDecision=30500 #constraints=20875
389.89/390.04	c nbDecision=31000 #constraints=21218
393.09/393.25	c nbDecision=31500 #constraints=21599
396.89/397.06	c nbDecision=32000 #constraints=21932
401.29/401.43	c nbDecision=32500 #constraints=22176
405.38/405.59	c nbDecision=33000 #constraints=22501
409.68/409.81	c nbDecision=33500 #constraints=22803
414.08/414.27	c nbDecision=34000 #constraints=23124
419.88/420.01	c nbDecision=34500 #constraints=23473
425.18/425.36	c nbDecision=35000 #constraints=23727
430.58/430.72	c nbDecision=35500 #constraints=24068
435.98/436.10	c nbDecision=36000 #constraints=24371
441.78/441.98	c nbDecision=36500 #constraints=24646
447.68/447.85	c nbDecision=37000 #constraints=25019
452.37/452.54	c nbDecision=37500 #constraints=25519
456.37/456.56	c nbDecision=38000 #constraints=26001
461.87/462.07	c nbDecision=38500 #constraints=26425
467.87/468.08	c nbDecision=39000 #constraints=26842
476.67/476.85	c nbDecision=39500 #constraints=27185
484.66/484.89	c nbDecision=40000 #constraints=27554
492.96/493.14	c nbDecision=40500 #constraints=27932
500.96/501.11	c nbDecision=41000 #constraints=28325
508.66/508.86	c nbDecision=41500 #constraints=28738
518.16/518.34	c nbDecision=42000 #constraints=29125
525.85/526.06	c nbDecision=42500 #constraints=29504
529.96/530.15	c nbDecision=43000 #constraints=29856
534.66/534.89	c nbDecision=43500 #constraints=30186
537.35/537.56	c nbDecision=44000 #constraints=30672
541.55/541.77	c nbDecision=44500 #constraints=31065
545.15/545.30	c nbDecision=45000 #constraints=31515
548.65/548.81	c nbDecision=45500 #constraints=31960
552.54/552.70	c nbDecision=46000 #constraints=32369
556.35/556.50	c nbDecision=46500 #constraints=32803
561.24/561.41	c nbDecision=47000 #constraints=33121
566.54/566.72	c nbDecision=47500 #constraints=33462
572.14/572.31	c nbDecision=48000 #constraints=33847
577.14/577.30	c nbDecision=48500 #constraints=34248
580.84/581.08	c nbDecision=49000 #constraints=34684
584.84/585.06	c nbDecision=49500 #constraints=35103
588.94/589.20	c nbDecision=50000 #constraints=35499
593.75/593.96	c nbDecision=50500 #constraints=35888
598.14/598.37	c nbDecision=51000 #constraints=36216
599.83/600.04	c restart after 51201 decisions
603.43/603.68	c nbDecision=51500 #constraints=36380
607.73/607.96	c nbDecision=52000 #constraints=36475
613.73/613.93	c nbDecision=52500 #constraints=36764
620.24/620.44	c nbDecision=53000 #constraints=37122
627.33/627.53	c nbDecision=53500 #constraints=37416
633.82/634.02	c nbDecision=54000 #constraints=37750
639.52/639.78	c nbDecision=54500 #constraints=38113
645.02/645.25	c nbDecision=55000 #constraints=38503
649.72/649.96	c nbDecision=55500 #constraints=38934
655.92/656.18	c nbDecision=56000 #constraints=39302
660.92/661.15	c nbDecision=56500 #constraints=39729
669.62/669.86	c nbDecision=57000 #constraints=40032
675.22/675.46	c nbDecision=57500 #constraints=40453
681.71/681.94	c nbDecision=58000 #constraints=40831
688.71/688.98	c nbDecision=58500 #constraints=41220
695.31/695.58	c nbDecision=59000 #constraints=41626
702.81/703.05	c nbDecision=59500 #constraints=42008
710.51/710.77	c nbDecision=60000 #constraints=42389
719.11/719.38	c nbDecision=60500 #constraints=42762
724.51/724.75	c nbDecision=61000 #constraints=43204
734.00/734.27	c nbDecision=61500 #constraints=43569
741.10/741.33	c nbDecision=62000 #constraints=43988
747.39/747.69	c nbDecision=62500 #constraints=44428
753.00/753.29	c nbDecision=63000 #constraints=44898
756.80/757.00	c nbDecision=63500 #constraints=45390
761.39/761.69	c nbDecision=64000 #constraints=45875
765.49/765.75	c nbDecision=64500 #constraints=46375
771.59/771.83	c nbDecision=65000 #constraints=46875
775.99/776.23	c nbDecision=65500 #constraints=47375
780.38/780.64	c nbDecision=66000 #constraints=47875
785.19/785.42	c nbDecision=66500 #constraints=48375
789.79/790.01	c nbDecision=67000 #constraints=48875
794.89/795.13	c nbDecision=67500 #constraints=49370
799.68/799.96	c nbDecision=68000 #constraints=49870
804.78/805.04	c nbDecision=68500 #constraints=50368
812.38/812.67	c nbDecision=69000 #constraints=50796
818.58/818.87	c nbDecision=69500 #constraints=51031
825.68/825.97	c nbDecision=70000 #constraints=51364
832.97/833.26	c nbDecision=70500 #constraints=51710
840.38/840.61	c nbDecision=71000 #constraints=52046
845.37/845.68	c nbDecision=71500 #constraints=52485
850.67/850.98	c nbDecision=72000 #constraints=52945
855.77/856.03	c nbDecision=72500 #constraints=53414
860.57/860.89	c nbDecision=73000 #constraints=53899
867.27/867.59	c nbDecision=73500 #constraints=54320
872.97/873.29	c nbDecision=74000 #constraints=54759
878.46/878.74	c nbDecision=74500 #constraints=55226
883.96/884.29	c nbDecision=75000 #constraints=55694
889.16/889.48	c nbDecision=75500 #constraints=56159
895.96/896.23	c nbDecision=76000 #constraints=56585
902.06/902.37	c nbDecision=76500 #constraints=57037
907.85/908.12	c nbDecision=77000 #constraints=57504
915.75/916.01	c nbDecision=77500 #constraints=57921
920.25/920.51	c nbDecision=78000 #constraints=58406
927.95/928.27	c nbDecision=78500 #constraints=58822
934.85/935.11	c nbDecision=79000 #constraints=59271
942.35/942.67	c nbDecision=79500 #constraints=59724
948.55/948.89	c nbDecision=80000 #constraints=60224
954.85/955.12	c nbDecision=80500 #constraints=60724
964.45/964.73	c nbDecision=81000 #constraints=61214
970.94/971.26	c nbDecision=81500 #constraints=61714
977.44/977.73	c nbDecision=82000 #constraints=62214
985.53/985.83	c nbDecision=82500 #constraints=62707
992.13/992.47	c nbDecision=83000 #constraints=63207
999.83/1000.10	c nbDecision=83500 #constraints=63697
1004.33/1004.63	c nbDecision=84000 #constraints=64198
1011.23/1011.56	c nbDecision=84500 #constraints=64696
1018.13/1018.49	c nbDecision=85000 #constraints=65196
1027.42/1027.74	c nbDecision=85500 #constraints=65693
1035.42/1035.74	c nbDecision=86000 #constraints=66192
1042.72/1043.05	c nbDecision=86500 #constraints=66693
1051.33/1051.60	c nbDecision=87000 #constraints=67192
1059.02/1059.36	c nbDecision=87500 #constraints=67692
1066.72/1067.08	c nbDecision=88000 #constraints=68192
1074.41/1074.71	c nbDecision=88500 #constraints=68692
1082.11/1082.42	c nbDecision=89000 #constraints=69192
1089.81/1090.14	c nbDecision=89500 #constraints=69693
1097.81/1098.10	c nbDecision=90000 #constraints=70192
1105.71/1106.06	c nbDecision=90500 #constraints=70692
1114.70/1115.02	c nbDecision=91000 #constraints=71196
1120.70/1121.09	c nbDecision=91500 #constraints=71696
1129.10/1129.46	c nbDecision=92000 #constraints=72196
1137.60/1137.91	c nbDecision=92500 #constraints=72696
1148.60/1148.97	c nbDecision=93000 #constraints=73185
1156.59/1156.90	c nbDecision=93500 #constraints=73685
1164.79/1165.16	c nbDecision=94000 #constraints=74185
1173.09/1173.49	c nbDecision=94500 #constraints=74682
1181.58/1181.99	c nbDecision=95000 #constraints=75182
1190.18/1190.50	c nbDecision=95500 #constraints=75682
1198.78/1199.19	c nbDecision=96000 #constraints=76182
1207.39/1207.71	c nbDecision=96500 #constraints=76683
1216.08/1216.49	c nbDecision=97000 #constraints=77182
1224.87/1225.27	c nbDecision=97500 #constraints=77682
1234.07/1234.42	c nbDecision=98000 #constraints=78182
1243.07/1243.45	c nbDecision=98500 #constraints=78682
1252.37/1252.71	c nbDecision=99000 #constraints=79183
1261.56/1261.99	c nbDecision=99500 #constraints=79682
1270.67/1271.03	c nbDecision=100000 #constraints=80182
1280.16/1280.58	c nbDecision=100500 #constraints=80683
1289.75/1290.17	c nbDecision=101000 #constraints=81182
1299.05/1299.47	c nbDecision=101500 #constraints=81682
1308.85/1309.23	c nbDecision=102000 #constraints=82182
1316.65/1317.10	c restart after 102401 decisions
1321.55/1321.96	c nbDecision=102500 #constraints=82584
1328.65/1329.06	c nbDecision=103000 #constraints=82598
1365.43/1365.83	c nbDecision=103500 #constraints=82630
1405.73/1406.14	c nbDecision=104000 #constraints=82676
1442.42/1442.83	c nbDecision=104500 #constraints=82712
1484.21/1484.69	c nbDecision=105000 #constraints=82776
1522.59/1523.06	c nbDecision=105500 #constraints=82884
1563.69/1564.16	c nbDecision=106000 #constraints=83022
1602.58/1603.08	c nbDecision=106500 #constraints=83108
1645.87/1646.34	c nbDecision=107000 #constraints=83223
1680.15/1680.61	c nbDecision=107500 #constraints=83373
1722.65/1723.10	c nbDecision=108000 #constraints=83463
1755.14/1755.66	c nbDecision=108500 #constraints=83704
1784.63/1785.11	c nbDecision=109000 #constraints=83918
1800.03/1800.50	Received signal 15
1800.92/1801.40	
1800.92/1801.40	s UNKNOWN
1800.92/1801.40	
1800.92/1801.40	c user time= 1798.82 s
1800.92/1801.40	c system time= 2.11668 s
1800.92/1801.40	c wall clock time=1801.4

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 22430
/proc/meminfo: memFree=1842064/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1468 CPUtime=0
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147463451 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 367 161 127 317 0 46 0

[startup+0.0177981 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 22430
/proc/meminfo: memFree=1842064/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1752 CPUtime=0.01
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 233 0 0 0 1 0 0 0 18 0 1 0 147463451 1794048 215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 438 215 127 317 0 117 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1752

[startup+0.102805 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 22430
/proc/meminfo: memFree=1842064/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=3440 CPUtime=0.09
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 791 0 0 0 9 0 0 0 18 0 1 0 147463451 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 860 546 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301821 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 22430
/proc/meminfo: memFree=1842064/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=5936 CPUtime=0.29
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 1384 0 0 0 29 0 0 0 19 0 1 0 147463451 6078464 1139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 1484 1139 131 317 0 1163 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5936

[startup+0.702854 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 22430
/proc/meminfo: memFree=1842064/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=12984 CPUtime=0.69
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 3006 0 0 0 68 1 0 0 22 0 1 0 147463451 13295616 2761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 3246 2761 131 317 0 2925 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12984

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1827528/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=24792 CPUtime=1.49
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 5691 0 0 0 146 3 0 0 25 0 1 0 147463451 25387008 5446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 6198 5446 131 317 0 5877 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24792

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1812872/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=49008 CPUtime=3.09
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 11428 0 0 0 303 6 0 0 25 0 1 0 147463451 50184192 11183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 12252 11184 137 317 0 11931 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49008

[startup+6.3013 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1792648/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=55368 CPUtime=6.29
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 12978 0 0 0 622 7 0 0 25 0 1 0 147463451 56696832 12733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 13842 12733 139 317 0 13521 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55368

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1773128/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=76688 CPUtime=12.69
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 17951 0 0 0 1261 8 0 0 25 0 1 0 147463451 78528512 17706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 19172 17706 139 317 0 18851 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76688

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1739784/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=111240 CPUtime=25.48
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 25979 0 0 0 2536 12 0 0 25 0 1 0 147463451 113909760 25734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 27810 25734 139 317 0 27489 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 111240

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1686536/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=169604 CPUtime=51.07
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 39479 0 0 0 5089 18 0 0 25 0 1 0 147463451 173674496 39234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 42401 39234 139 317 0 42080 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 169604

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1599048/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=265108 CPUtime=102.27
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 61102 0 0 0 10196 31 0 0 25 0 1 0 147463451 271470592 60799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 66277 60799 139 317 0 65956 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 265108

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1517768/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=358620 CPUtime=162.24
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 81457 0 0 0 16183 41 0 0 25 0 1 0 147463451 367226880 81154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 89655 81154 139 317 0 89334 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 358620

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1449032/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=434820 CPUtime=222.23
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 98568 0 0 0 22173 50 0 0 25 0 1 0 147463451 445255680 98265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 108705 98265 139 317 0 108384 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 434820

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1393864/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=492324 CPUtime=282.21
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 112293 0 0 0 28164 57 0 0 25 0 1 0 147463451 504139776 111990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746916 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 123081 111990 139 317 0 122760 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 492324

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1342920/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=545564 CPUtime=342.21
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 125075 0 0 0 34159 62 0 0 25 0 1 0 147463451 558657536 124658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 136391 124658 139 317 0 136070 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 545564

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1288136/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=601696 CPUtime=402.19
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 138900 0 0 0 40150 69 0 0 25 0 1 0 147463451 616136704 138483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 150424 138483 139 317 0 150103 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 601696

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1199176/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=725116 CPUtime=462.17
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 166951 0 0 0 46135 82 0 0 25 0 1 0 147463451 742518784 160759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 181279 160759 139 317 0 180958 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 725116

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1133064/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=788304 CPUtime=522.15
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 183199 0 0 0 52126 89 0 0 25 0 1 0 147463451 807223296 177007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 197076 177007 139 317 0 196755 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 788304

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=1030344/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=896572 CPUtime=582.14
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 209192 0 0 0 58111 103 0 0 25 0 1 0 147463451 918089728 202740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 224143 202740 170 317 0 223822 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 896572

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=962504/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=983524 CPUtime=642.13
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 229981 0 0 0 64101 112 0 0 25 0 1 0 147463451 1007128576 219536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 245881 219536 170 317 0 245560 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 983524


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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=644936/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1340036 CPUtime=1002.03
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 324527 0 0 0 100032 171 0 0 25 0 1 0 147463451 1372196864 298899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 335009 298899 170 317 0 334688 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1340036

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=599752/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1386940 CPUtime=1062.02
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 337892 0 0 0 106023 179 0 0 25 0 1 0 147463451 1420226560 310122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 346735 310122 170 317 0 346414 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1386940

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=555400/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1424428 CPUtime=1122
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 348969 0 0 0 112015 185 0 0 25 0 1 0 147463451 1458614272 321100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 356107 321100 170 317 0 355786 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1424428

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=518920/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1455824 CPUtime=1181.98
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 358171 0 0 0 118007 191 0 0 25 0 1 0 147463451 1490763776 330269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 363956 330269 170 317 0 363635 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1455824

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=480776/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1487832 CPUtime=1241.97
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 367716 0 0 0 124000 197 0 0 25 0 1 0 147463451 1523539968 339716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 371958 339716 170 317 0 371637 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1487832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=445000/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1518804 CPUtime=1301.96
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 376696 0 0 0 129993 203 0 0 25 0 1 0 147463451 1555255296 348565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 379701 348565 170 317 0 379380 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1518804

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=435208/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1526988 CPUtime=1361.94
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 379143 0 0 0 135989 205 0 0 25 0 1 0 147463451 1563635712 351012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563446 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 381747 351012 170 317 0 381426 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1526988

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=434120/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1528192 CPUtime=1421.93
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 379408 0 0 0 141987 206 0 0 25 0 1 0 147463451 1564868608 351277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 382048 351277 170 317 0 381727 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1528192

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=432840/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1529396 CPUtime=1481.91
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 379724 0 0 0 147984 207 0 0 25 0 1 0 147463451 1566101504 351593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 382349 351593 170 317 0 382028 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1529396

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22431
/proc/meminfo: memFree=430856/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1531392 CPUtime=1541.89
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 380219 0 0 0 153982 207 0 0 25 0 1 0 147463451 1568145408 352088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 382848 352088 170 317 0 382527 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1531392

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22433
/proc/meminfo: memFree=428360/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1533248 CPUtime=1601.88
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 380831 0 0 0 159980 208 0 0 25 0 1 0 147463451 1570045952 352700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 383312 352700 170 317 0 382991 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1533248

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22433
/proc/meminfo: memFree=426056/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1535484 CPUtime=1661.86
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 381398 0 0 0 165977 209 0 0 25 0 1 0 147463451 1572335616 353267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 383871 353267 170 317 0 383550 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1535484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22433
/proc/meminfo: memFree=424456/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1537176 CPUtime=1721.85
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 381817 0 0 0 171975 210 0 0 25 0 1 0 147463451 1574068224 353686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 384294 353686 170 317 0 383973 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1537176

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22433
/proc/meminfo: memFree=419400/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1541384 CPUtime=1781.83
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 383065 0 0 0 177972 211 0 0 25 0 1 0 147463451 1578377216 354934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 385346 354934 170 317 0 385025 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1541384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 22433
/proc/meminfo: memFree=417480/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1542188 CPUtime=1800.03
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 383532 0 0 0 179792 211 0 0 25 0 1 0 147463451 1579200512 355401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 385547 355401 170 317 0 385226 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1542188

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.96 2/79 22434
/proc/meminfo: memFree=417472/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1542188 CPUtime=1800.13
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 383532 0 0 0 179802 211 0 0 25 0 1 0 147463451 1579200512 355401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 385547 355401 170 317 0 385226 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1542188

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.96 2/79 22434
/proc/meminfo: memFree=417472/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=1542188 CPUtime=1800.92
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194304 383541 0 0 0 179881 211 0 0 25 0 1 0 147463451 1579200512 355410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 385547 355410 170 317 0 385226 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 1542188

[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/79 22434
/proc/meminfo: memFree=417472/2055920 swapFree=4159620/4192956
[pid=22430] ppid=22428 vsize=0 CPUtime=1801.13
/proc/22430/stat : 22430 (oree) R 22428 22430 21801 0 -1 4194308 383557 0 0 0 179885 228 0 0 25 0 1 0 147463451 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22430/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.13
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.66
CPU time (s): 1801.2
CPU user time (s): 1798.85
CPU system time (s): 2.34164
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1542188

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

runsolver used 2.09768 second user time and 4.46332 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Thu Apr 19 15:11:20 UTC 2007

IDJOB= 357355
IDBENCH= 2464
IDSOLVER= 172
FILE ID= node34/357355-1176995479

PBS_JOBID= 4630452

Free space on /tmp= 66401 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb
COMMAND LINE= oree /tmp/evaluation/357355-1176995479/instance-357355-1176995479.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-357355-1176995479 -o ROOT/results/node34/solver-357355-1176995479 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357355-1176995479/instance-357355-1176995479.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  180182351d074e1d8188f1fe7258cbed

RANDOM SEED= 462864932

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.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.236
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.236
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:       1842536 kB
Buffers:         22476 kB
Cached:         105392 kB
SwapCached:       2896 kB
Active:          82688 kB
Inactive:        68720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1842536 kB
SwapTotal:     4192956 kB
SwapFree:      4159620 kB
Dirty:           11900 kB
Writeback:           0 kB
Mapped:          30508 kB
Slab:            47308 kB
Committed_AS:   446032 kB
PageTables:       1976 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= 66401 MiB

End job on node34 on Thu Apr 19 15:41:23 UTC 2007