Trace number 357301

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) 1802.27 1802.84

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
MD5SUM433b539d7c7c8ff139e6ea6f7acee573
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4026056741
Best CPU time to get the best result obtained on this benchmark1800.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4026056741
Optimality of the best value was proved NO
Number of variables10894
Total number of constraints825
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)624
Number of constraints which are nor clauses,nor cardinality constraints181
Minimum length of a constraint2
Maximum length of a constraint5038
Number of terms in the objective function 10894
Biggest coefficient in the objective function 1079902210
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 3040671454286
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1079902210
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3040671454286
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.69/0.79	c ...done
0.69/0.79	c #vars=10894 #constraints=826 hasObjective=yes
1.29/1.32	c res. mode=mod
1.29/1.32	c VSIDS like heuristics
1.29/1.32	c complete search running
1.29/1.37	c restart after 401 decisions
1.29/1.38	c nbDecision=500 #constraints=826
1.39/1.41	c restart after 801 decisions
1.39/1.44	c nbDecision=1000 #constraints=826
1.39/1.49	c nbDecision=1500 #constraints=826
1.49/1.50	c restart after 1601 decisions
1.49/1.54	c nbDecision=2000 #constraints=826
1.49/1.60	c nbDecision=2500 #constraints=826
1.59/1.65	c nbDecision=3000 #constraints=826
1.59/1.67	c restart after 3201 decisions
1.69/1.71	c nbDecision=3500 #constraints=826
1.69/1.76	c nbDecision=4000 #constraints=826
1.79/1.81	c nbDecision=4500 #constraints=826
1.79/1.86	c nbDecision=5000 #constraints=826
1.89/1.91	c nbDecision=5500 #constraints=826
1.89/1.95	c nbDecision=6000 #constraints=826
1.89/1.99	c restart after 6401 decisions
1.99/2.01	c nbDecision=6500 #constraints=826
1.99/2.07	c nbDecision=7000 #constraints=826
2.09/2.12	c nbDecision=7500 #constraints=826
2.09/2.17	c nbDecision=8000 #constraints=826
2.19/2.22	c nbDecision=8500 #constraints=826
2.19/2.26	c nbDecision=9000 #constraints=826
2.29/2.31	c nbDecision=9500 #constraints=826
2.29/2.35	c nbDecision=10000 #constraints=826
2.29/2.39	c nbDecision=10500 #constraints=826
2.39/2.43	c nbDecision=11000 #constraints=826
2.39/2.47	c nbDecision=11500 #constraints=826
2.49/2.51	c nbDecision=12000 #constraints=826
2.49/2.54	c nbDecision=12500 #constraints=826
2.49/2.56	c restart after 12801 decisions
2.59/2.62	c nbDecision=13000 #constraints=826
2.59/2.67	c nbDecision=13500 #constraints=826
2.69/2.72	c nbDecision=14000 #constraints=826
2.69/2.77	c nbDecision=14500 #constraints=826
2.79/2.82	c nbDecision=15000 #constraints=826
2.79/2.87	c nbDecision=15500 #constraints=826
2.89/2.91	c nbDecision=16000 #constraints=826
2.89/2.95	c nbDecision=16500 #constraints=826
2.89/2.99	c nbDecision=17000 #constraints=826
2.99/3.03	c nbDecision=17500 #constraints=826
2.99/3.07	c nbDecision=18000 #constraints=826
3.09/3.11	c nbDecision=18500 #constraints=826
3.09/3.14	c nbDecision=19000 #constraints=826
3.09/3.18	c nbDecision=19500 #constraints=826
3.19/3.21	c nbDecision=20000 #constraints=826
3.19/3.24	c nbDecision=20500 #constraints=826
3.19/3.27	c nbDecision=21000 #constraints=826
3.19/3.30	c nbDecision=21500 #constraints=826
3.29/3.32	c nbDecision=22000 #constraints=826
3.29/3.35	c nbDecision=22500 #constraints=826
3.39/3.46	c nbDecision=23000 #constraints=848
3.49/3.58	c nbDecision=23500 #constraints=866
5.40/5.47	c nbDecision=24000 #constraints=934
5.40/5.48	c nbDecision=24054 #constraints=934
5.40/5.48	c linear search for optimum
5.40/5.48	o 7300503313
5.50/5.51	c nbDecision=24055 #constraints=936
5.50/5.51	o 7241127127
5.50/5.54	c nbDecision=24056 #constraints=938
5.50/5.54	o 7181750941
5.50/5.57	c nbDecision=24057 #constraints=940
5.50/5.57	o 7122374755
5.59/5.61	c nbDecision=24058 #constraints=942
5.59/5.61	o 7062998569
5.59/5.65	c nbDecision=24059 #constraints=944
5.59/5.65	o 7003622383
5.59/5.70	c nbDecision=24060 #constraints=946
5.59/5.70	o 6944246197
5.69/5.75	c nbDecision=24071 #constraints=948
5.69/5.75	o 6929277065
6.29/6.30	c nbDecision=24093 #constraints=960
6.29/6.30	o 6916529112
6.29/6.33	c nbDecision=24093 #constraints=962
6.29/6.33	o 6901559980
6.79/6.88	c nbDecision=24115 #constraints=974
6.79/6.88	o 6888812027
6.89/6.91	c nbDecision=24115 #constraints=976
6.89/6.91	o 6873842895
7.39/7.46	c nbDecision=24137 #constraints=988
7.39/7.46	o 6861094942
7.39/7.50	c nbDecision=24137 #constraints=990
7.39/7.50	o 6846125810
7.99/8.05	c nbDecision=24159 #constraints=1002
7.99/8.05	o 6833377857
7.99/8.09	c nbDecision=24159 #constraints=1004
7.99/8.09	o 6818408725
8.59/8.65	c nbDecision=24181 #constraints=1016
8.59/8.65	o 6805660772
8.59/8.68	c nbDecision=24181 #constraints=1018
8.59/8.68	o 6790691640
9.19/9.25	c nbDecision=24203 #constraints=1030
9.19/9.25	o 6777943687
9.19/9.28	c nbDecision=24203 #constraints=1032
9.19/9.28	o 6762974555
9.79/9.85	c nbDecision=24225 #constraints=1044
9.79/9.86	o 6750226602
9.79/9.89	c nbDecision=24225 #constraints=1046
9.79/9.89	o 6735257470
10.39/10.46	c nbDecision=24248 #constraints=1058
10.39/10.46	o 6722509517
10.39/10.49	c nbDecision=24248 #constraints=1060
10.39/10.49	o 6707540385
10.99/11.07	c nbDecision=24272 #constraints=1072
10.99/11.07	o 6694792432
11.09/11.11	c nbDecision=24272 #constraints=1074
11.09/11.11	o 6679823300
11.59/11.69	c nbDecision=24296 #constraints=1086
11.59/11.69	o 6667075347
11.69/11.73	c nbDecision=24296 #constraints=1088
11.69/11.73	o 6652106215
15.48/15.57	c nbDecision=24390 #constraints=1163
15.48/15.57	o 6643893233
19.59/19.60	c nbDecision=24483 #constraints=1239
19.59/19.60	o 6635680251
20.89/20.98	c nbDecision=24500 #constraints=1265
23.69/23.72	c nbDecision=24574 #constraints=1314
23.69/23.72	o 6627467269
27.89/27.90	c nbDecision=24663 #constraints=1387
27.89/27.90	o 6619254287
31.98/32.03	c nbDecision=24749 #constraints=1457
31.98/32.03	o 6611041305
35.88/35.97	c nbDecision=24831 #constraints=1523
35.88/35.97	o 6602828323
39.59/39.69	c nbDecision=24908 #constraints=1584
39.59/39.69	o 6594615341
42.99/43.01	c nbDecision=24977 #constraints=1638
42.99/43.01	o 6586402359
44.78/44.85	c nbDecision=25000 #constraints=1670
45.68/45.78	c nbDecision=25037 #constraints=1684
45.68/45.78	o 6578189377
47.78/47.80	c nbDecision=25084 #constraints=1719
47.78/47.80	o 6569976395
63.78/63.82	c nbDecision=25500 #constraints=2074
71.88/71.99	c restart after 25601 decisions
72.97/73.08	c nbDecision=26000 #constraints=2182
73.17/73.21	c nbDecision=26500 #constraints=2182
73.27/73.32	c nbDecision=27000 #constraints=2182
73.38/73.44	c nbDecision=27500 #constraints=2182
73.48/73.54	c nbDecision=28000 #constraints=2182
73.58/73.67	c nbDecision=28500 #constraints=2182
73.68/73.79	c nbDecision=29000 #constraints=2182
73.87/73.93	c nbDecision=29500 #constraints=2182
73.97/74.07	c nbDecision=30000 #constraints=2182
74.07/74.17	c nbDecision=30500 #constraints=2182
74.17/74.28	c nbDecision=31000 #constraints=2182
74.27/74.39	c nbDecision=31500 #constraints=2182
74.37/74.48	c nbDecision=32000 #constraints=2182
74.47/74.56	c nbDecision=32500 #constraints=2182
74.57/74.64	c nbDecision=33000 #constraints=2182
74.68/74.72	c nbDecision=33500 #constraints=2182
74.78/74.81	c nbDecision=34000 #constraints=2182
74.78/74.88	c nbDecision=34500 #constraints=2182
74.87/74.98	c nbDecision=35000 #constraints=2182
74.97/75.07	c nbDecision=35500 #constraints=2182
75.07/75.13	c nbDecision=36000 #constraints=2182
80.67/80.74	c nbDecision=36500 #constraints=2253
84.37/84.46	c nbDecision=36573 #constraints=2302
84.37/84.46	o 6562791765
90.17/90.28	c nbDecision=36662 #constraints=2375
90.17/90.28	o 6554578783
95.87/95.94	c nbDecision=36748 #constraints=2445
95.87/95.94	o 6546365801
101.27/101.37	c nbDecision=36830 #constraints=2511
101.27/101.37	o 6538152819
106.37/106.44	c nbDecision=36907 #constraints=2572
106.37/106.44	o 6529939837
110.76/110.89	c nbDecision=36976 #constraints=2626
110.76/110.89	o 6521726855
113.26/113.35	c nbDecision=37000 #constraints=2658
114.46/114.58	c nbDecision=37036 #constraints=2672
114.46/114.58	o 6513513873
117.16/117.28	c nbDecision=37083 #constraints=2707
117.16/117.28	o 6505300891
150.25/150.31	c nbDecision=37500 #constraints=3072
171.35/171.50	c nbDecision=37738 #constraints=3284
171.45/171.50	o 6497602085
176.75/176.88	c nbDecision=37807 #constraints=3338
176.75/176.89	o 6489389103
181.35/181.43	c nbDecision=37867 #constraints=3384
181.35/181.43	o 6481176121
184.55/184.68	c nbDecision=37914 #constraints=3419
184.55/184.68	o 6472963139
194.34/194.49	c nbDecision=38000 #constraints=3528
244.23/244.31	c nbDecision=38500 #constraints=3944
247.92/248.01	c nbDecision=38544 #constraints=3975
247.92/248.01	o 6465264333
254.22/254.33	c nbDecision=38613 #constraints=4029
254.22/254.33	o 6457051351
259.43/259.58	c nbDecision=38673 #constraints=4075
259.43/259.58	o 6448838369
263.22/263.37	c nbDecision=38720 #constraints=4110
263.22/263.37	o 6440625387
293.72/293.89	c nbDecision=39000 #constraints=4352
337.10/337.23	c nbDecision=39350 #constraints=4666
337.10/337.23	o 6432926581
344.40/344.56	c nbDecision=39419 #constraints=4720
344.40/344.56	o 6424713599
350.50/350.61	c nbDecision=39479 #constraints=4766
350.50/350.61	o 6416500617
354.30/354.40	c nbDecision=39500 #constraints=4799
354.80/354.90	c nbDecision=39526 #constraints=4801
354.80/354.90	o 6408287635
418.58/418.72	c nbDecision=40000 #constraints=5225
439.38/439.52	c nbDecision=40156 #constraints=5357
439.38/439.52	o 6400588829
447.67/447.82	c nbDecision=40225 #constraints=5411
447.67/447.82	o 6392375847
454.47/454.63	c nbDecision=40285 #constraints=5457
454.47/454.63	o 6384162865
459.27/459.46	c nbDecision=40332 #constraints=5492
459.27/459.46	o 6375949883
484.66/484.85	c nbDecision=40500 #constraints=5654
554.85/555.02	c nbDecision=40962 #constraints=6048
554.85/555.02	o 6368251077
560.04/560.27	c nbDecision=41000 #constraints=6079
564.04/564.29	c nbDecision=41031 #constraints=6102
564.04/564.29	o 6360038095
571.75/571.92	c nbDecision=41091 #constraints=6148
571.75/571.92	o 6351825113
577.14/577.30	c nbDecision=41138 #constraints=6183
577.14/577.30	o 6343612131
640.52/640.76	c nbDecision=41500 #constraints=6520
683.31/683.51	c nbDecision=41768 #constraints=6739
683.31/683.51	o 6335913325
693.50/693.74	c nbDecision=41837 #constraints=6793
693.50/693.74	o 6327700343
701.90/702.15	c nbDecision=41897 #constraints=6839
701.90/702.15	o 6319487361
707.91/708.11	c nbDecision=41944 #constraints=6874
707.91/708.11	o 6311274379
716.91/717.10	c nbDecision=42000 #constraints=6929
817.68/817.91	c nbDecision=42500 #constraints=7365
938.85/939.13	c nbDecision=43000 #constraints=7823
1033.52/1033.83	c nbDecision=43395 #constraints=8163
1033.52/1033.83	o 6304139600
1041.02/1041.33	c nbDecision=43427 #constraints=8193
1041.02/1041.33	o 6295926618
1047.92/1048.20	c nbDecision=43458 #constraints=8222
1047.92/1048.20	o 6287713636
1054.02/1054.31	c nbDecision=43486 #constraints=8249
1054.02/1054.31	o 6279500654
1058.81/1059.14	c nbDecision=43500 #constraints=8273
1140.03/1140.47	c nbDecision=43804 #constraints=8535
1140.03/1140.47	o 6271801848
1148.01/1148.44	c nbDecision=43836 #constraints=8565
1148.01/1148.44	o 6263588866
1155.20/1155.61	c nbDecision=43867 #constraints=8594
1155.20/1155.61	o 6255375884
1161.61/1162.08	c nbDecision=43895 #constraints=8621
1161.61/1162.09	o 6247162902
1188.08/1188.55	c nbDecision=44000 #constraints=8721
1252.56/1253.08	c nbDecision=44213 #constraints=8907
1252.56/1253.08	o 6239464096
1260.86/1261.37	c nbDecision=44245 #constraints=8937
1260.86/1261.37	o 6231251114
1268.46/1268.97	c nbDecision=44276 #constraints=8966
1268.46/1268.97	o 6223038132
1275.25/1275.76	c nbDecision=44304 #constraints=8993
1275.25/1275.76	o 6214825150
1330.55/1331.10	c nbDecision=44500 #constraints=9163
1371.04/1371.59	c nbDecision=44622 #constraints=9279
1371.04/1371.59	o 6207126344
1379.73/1380.28	c nbDecision=44654 #constraints=9309
1379.73/1380.28	o 6198913362
1387.73/1388.26	c nbDecision=44685 #constraints=9338
1387.73/1388.26	o 6190700380
1394.93/1395.40	c nbDecision=44713 #constraints=9365
1394.93/1395.40	o 6182487398
1492.40/1492.92	c nbDecision=45000 #constraints=9642
1495.51/1496.06	c nbDecision=45031 #constraints=9651
1495.51/1496.06	o 6174788592
1504.70/1505.20	c nbDecision=45063 #constraints=9681
1504.70/1505.20	o 6166575610
1512.89/1513.50	c nbDecision=45094 #constraints=9710
1512.89/1513.50	o 6158362628
1520.39/1521.00	c nbDecision=45122 #constraints=9737
1520.39/1521.00	o 6150149646
1647.36/1647.90	c nbDecision=45500 #constraints=10089
1800.03/1800.61	Received signal 15

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/node21/watcher-357301-1176993746 -o ROOT/results/node21/solver-357301-1176993746 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357301-1176993746/instance-357301-1176993746.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.91 0.95 0.97 3/77 23249
/proc/meminfo: memFree=1274304/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1468 CPUtime=0
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 147291975 1503232 159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134570027 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 367 159 126 317 0 46 0

[startup+0.00924105 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 23249
/proc/meminfo: memFree=1274304/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1620 CPUtime=0
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 195 0 0 0 0 0 0 0 18 0 1 0 147291975 1658880 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831233 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 405 177 126 317 0 84 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1620

[startup+0.10125 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 23249
/proc/meminfo: memFree=1274304/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=2928 CPUtime=0.09
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 520 0 0 0 9 0 0 0 18 0 1 0 147291975 2998272 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 732 469 131 317 0 411 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2928

[startup+0.301272 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 23249
/proc/meminfo: memFree=1274304/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=6528 CPUtime=0.29
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 1321 0 0 0 29 0 0 0 19 0 1 0 147291975 6684672 1270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 1632 1270 131 317 0 1311 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6528

[startup+0.701315 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 23249
/proc/meminfo: memFree=1274304/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=14036 CPUtime=0.69
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 2939 0 0 0 69 0 0 0 22 0 1 0 147291975 14372864 2888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 3509 2888 131 317 0 3188 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14036

[startup+1.5014 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 23250
/proc/meminfo: memFree=1259576/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=20080 CPUtime=1.49
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 4430 0 0 0 148 1 0 0 25 0 1 0 147291975 20561920 4379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 5020 4379 138 317 0 4699 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20080

[startup+3.10158 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 23250
/proc/meminfo: memFree=1257080/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=20080 CPUtime=3.09
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 4435 0 0 0 308 1 0 0 25 0 1 0 147291975 20561920 4384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 5020 4384 138 317 0 4699 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20080

[startup+6.30193 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 23250
/proc/meminfo: memFree=1248312/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=32756 CPUtime=6.29
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 7306 0 0 0 626 3 0 0 25 0 1 0 147291975 33542144 7255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 8189 7255 170 317 0 7868 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32756

[startup+12.7016 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 23250
/proc/meminfo: memFree=1230008/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=53096 CPUtime=12.69
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 12056 0 0 0 1265 4 0 0 25 0 1 0 147291975 54370304 11637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 13274 11637 170 317 0 12953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53096

[startup+25.502 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 23250
/proc/meminfo: memFree=1194040/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=94788 CPUtime=25.48
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 21828 0 0 0 2540 8 0 0 25 0 1 0 147291975 97062912 20238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266215 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 23697 20238 170 317 0 23376 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94788

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 23250
/proc/meminfo: memFree=1129976/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=173372 CPUtime=51.08
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 40255 0 0 0 5093 15 0 0 25 0 1 0 147291975 177532928 36354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272552 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 43343 36354 170 317 0 43022 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 173372

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 23250
/proc/meminfo: memFree=1032504/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=287624 CPUtime=102.27
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 67067 0 0 0 10202 25 0 0 25 0 1 0 147291975 294526976 60466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 71906 60466 170 317 0 71585 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 287624

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23250
/proc/meminfo: memFree=943288/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=398980 CPUtime=162.25
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 93400 0 0 0 16190 35 0 0 25 0 1 0 147291975 408555520 82800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 99745 82800 170 317 0 99424 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 398980

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23250
/proc/meminfo: memFree=845688/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=525444 CPUtime=222.23
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 121096 0 0 0 22178 45 0 0 25 0 1 0 147291975 538054656 107013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 131361 107013 170 317 0 131040 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 525444

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23250
/proc/meminfo: memFree=781688/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=600752 CPUtime=282.21
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 140034 0 0 0 28168 53 0 0 25 0 1 0 147291975 615170048 123044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 150188 123044 170 317 0 149867 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 600752

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23250
/proc/meminfo: memFree=724728/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=667840 CPUtime=342.21
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 156690 0 0 0 34160 61 0 0 25 0 1 0 147291975 683868160 137215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 166960 137215 170 317 0 166639 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 667840

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23250
/proc/meminfo: memFree=659896/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=751752 CPUtime=402.18
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 175608 0 0 0 40149 69 0 0 25 0 1 0 147291975 769794048 153573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 187938 153573 170 317 0 187617 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 751752

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23250
/proc/meminfo: memFree=609528/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=815404 CPUtime=462.17
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 190434 0 0 0 46143 74 0 0 25 0 1 0 147291975 834973696 165990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 203851 165990 170 317 0 203530 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 815404

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23250
/proc/meminfo: memFree=521784/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=948992 CPUtime=522.15
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 214331 0 0 0 52132 83 0 0 25 0 1 0 147291975 971767808 187944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 237248 187944 170 317 0 236927 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 948992

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23250
/proc/meminfo: memFree=472440/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1005160 CPUtime=582.13
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 228758 0 0 0 58126 87 0 0 25 0 1 0 147291975 1029283840 200062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 251290 200062 170 317 0 250969 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1005160

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23250
/proc/meminfo: memFree=435128/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1048608 CPUtime=642.12
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 239766 0 0 0 64120 92 0 0 25 0 1 0 147291975 1073774592 209349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 262152 209349 170 317 0 261831 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1048608


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

/proc/meminfo: memFree=159416/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1406712 CPUtime=1062.01
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 326603 0 0 0 106073 128 0 0 25 0 1 0 147291975 1440473088 278154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 351678 278154 170 317 0 351357 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1406712

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/84 23322
/proc/meminfo: memFree=131648/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1438604 CPUtime=1121.97
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 335237 0 0 0 112066 131 0 0 25 0 1 0 147291975 1473130496 284786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 359651 284786 170 317 0 359330 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1438604

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=102392/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1476068 CPUtime=1181.89
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 344759 0 0 0 118053 136 0 0 25 0 1 0 147291975 1511493632 292366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 369017 292366 170 317 0 368696 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1476068

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=75384/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1510124 CPUtime=1241.86
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 353682 0 0 0 124047 139 0 0 25 0 1 0 147291975 1546366976 299018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 377531 299018 170 317 0 377210 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1510124

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=46456/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1544460 CPUtime=1301.86
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 362689 0 0 0 130043 143 0 0 25 0 1 0 147291975 1581527040 306235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 386115 306235 170 317 0 385794 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1544460

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=20920/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1577132 CPUtime=1361.83
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 371439 0 0 0 136036 147 0 0 25 0 1 0 147291975 1614983168 312693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 394283 312693 170 317 0 393962 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1577132

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=15608/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1610476 CPUtime=1421.82
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 379832 0 0 0 142031 151 0 0 25 0 1 0 147291975 1649127424 319436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 402619 319436 170 317 0 402298 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1610476

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=15608/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1642036 CPUtime=1481.8
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 388387 0 0 0 148025 155 0 0 25 0 1 0 147291975 1681444864 325724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 410509 325724 170 317 0 410188 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1642036

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=15160/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1674356 CPUtime=1541.79
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 396700 0 0 0 154020 159 0 0 25 0 1 0 147291975 1714540544 332347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 418589 332347 170 317 0 418268 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1674356

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=14904/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1688684 CPUtime=1601.77
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 400738 0 0 0 160015 162 0 0 25 0 1 0 147291975 1729212416 335911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 422171 335911 170 317 0 421850 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1688684

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=14840/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1698732 CPUtime=1661.76
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 403412 0 0 0 166013 163 0 0 25 0 1 0 147291975 1739501568 338585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 424683 338585 170 317 0 424362 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1698732

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=15480/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1708704 CPUtime=1721.74
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 405990 0 0 0 172009 165 0 0 25 0 1 0 147291975 1749712896 341163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 427176 341163 170 317 0 426855 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1708704

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=15864/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1726616 CPUtime=1781.73
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 410685 0 0 0 178006 167 0 0 25 0 1 0 147291975 1768054784 345248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 431654 345248 170 317 0 431333 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1726616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=15672/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1739284 CPUtime=1800.03
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 413790 0 0 0 179834 169 0 0 25 0 1 0 147291975 1781026816 347619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 434821 347619 170 317 0 434500 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1739284

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23448
/proc/meminfo: memFree=15672/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1739960 CPUtime=1800.82
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 413924 0 0 0 179913 169 0 0 25 0 1 0 147291975 1781719040 347736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 434990 347736 170 317 0 434669 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 1739960

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 23449
/proc/meminfo: memFree=15152/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1740224 CPUtime=1801.62
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 414053 0 0 0 179993 169 0 0 25 0 1 0 147291975 1781989376 347814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 435056 347814 170 317 0 434735 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 1740224

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 23449
/proc/meminfo: memFree=15152/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=1740680 CPUtime=1802.02
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 414110 0 0 0 180033 169 0 0 25 0 1 0 147291975 1782456320 347871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 435170 347871 170 317 0 434849 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1740680

[startup+1802.8 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23449
/proc/meminfo: memFree=1197880/2055920 swapFree=4160292/4192956
[pid=23249] ppid=23247 vsize=0 CPUtime=1802.23
/proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4195332 414110 0 0 0 180034 189 0 0 25 0 1 0 147291975 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23249/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.84
CPU time (s): 1802.27
CPU user time (s): 1800.34
CPU system time (s): 1.92471
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1740680

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

runsolver used 2.07168 second user time and 4.47732 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Thu Apr 19 14:42:27 UTC 2007

IDJOB= 357301
IDBENCH= 2365
IDSOLVER= 172
FILE ID= node21/357301-1176993746

PBS_JOBID= 4630450

Free space on /tmp= 66387 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
COMMAND LINE= oree /tmp/evaluation/357301-1176993746/instance-357301-1176993746.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-357301-1176993746 -o ROOT/results/node21/solver-357301-1176993746 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357301-1176993746/instance-357301-1176993746.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  433b539d7c7c8ff139e6ea6f7acee573

RANDOM SEED= 262830036

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1274648 kB
Buffers:         47668 kB
Cached:         641860 kB
SwapCached:      11144 kB
Active:         201644 kB
Inactive:       514376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1274648 kB
SwapTotal:     4192956 kB
SwapFree:      4160292 kB
Dirty:            4320 kB
Writeback:           0 kB
Mapped:          29936 kB
Slab:            50776 kB
Committed_AS:  1075544 kB
PageTables:       1784 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= 66387 MiB

End job on node21 on Thu Apr 19 15:12:30 UTC 2007