Trace number 4454554

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
pb-oll-rs 2024-07-19Signal 1428.3 1449.22

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_mh.opb
MD5SUMbcacee10cf1a44650f44a3298f043d3d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark36420470
Best CPU time to get the best result obtained on this benchmark3600.29
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019800
Biggest coefficient in the objective function 165469149
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 361320367096
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 165469149
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 361320367096
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
13.97/14.07	c [STEP] solving
13.97/14.07	c #variables 2000400 #constraints 4940611
13.97/14.11	c SMALL=int, LARGE=long long
14.07/14.17	c bounds - >= -100 @ 10.4647
14.07/14.17	c stratification level: 158340421
15.75/15.83	c bounds 1314416281 >= -100 @ 11.3817
15.75/15.83	c stratification level: 157464000
17.25/17.30	c bounds 1314227491 >= -100 @ 12.8121
17.25/17.30	c stratification level: 151419437
142.27/142.63	c #Conflicts:       1000 | #Constraints:    4941612
142.27/142.63	c bounds 1029964333 >= -100 @ 135.317
142.27/142.63	c stratification level: 149721291
144.77/145.13	c bounds 1028912629 >= -100 @ 137.749
144.77/145.13	c stratification level: 146363183
150.15/150.57	c bounds 806628816 >= -100 @ 143.107
150.15/150.57	c stratification level: 145531576
152.66/153.01	c bounds 782222654 >= -100 @ 145.502
152.66/153.01	c stratification level: 138188413
155.44/155.80	c bounds 748486712 >= -100 @ 148.242
155.44/155.80	c stratification level: 137388096
156.65/157.03	c bounds 739318376 >= -100 @ 149.433
156.65/157.03	c stratification level: 136590875
158.24/158.61	c bounds 700023640 >= -100 @ 150.992
158.24/158.61	c stratification level: 134217728
161.43/161.83	c bounds 699999379 >= -100 @ 154.178
161.43/161.83	c stratification level: 132651000
162.64/163.11	c bounds 699993619 >= -100 @ 155.442
162.64/163.11	c stratification level: 129554216
163.93/164.39	c bounds 699980674 >= -100 @ 156.701
163.93/164.39	c stratification level: 128787625
169.82/170.22	c bounds 650878598 >= -100 @ 162.477
169.82/170.22	c stratification level: 124251499
174.11/174.56	c bounds 650727410 >= -100 @ 166.74
174.11/174.56	c stratification level: 123505992
179.40/179.84	c bounds 650715337 >= -100 @ 171.932
179.40/179.84	c stratification level: 122023936
181.99/182.41	c bounds 650713100 >= -100 @ 174.468
181.99/182.41	c stratification level: 118370771
185.39/185.81	c bounds 604064737 >= -100 @ 177.811
185.39/185.81	c stratification level: 117649000
187.48/187.99	c bounds 604057516 >= -100 @ 179.966
187.48/187.99	c stratification level: 116930169
189.59/190.05	c bounds 599480606 >= -100 @ 181.991
189.59/190.05	c stratification level: 111980168
193.17/193.60	c bounds 599368793 >= -100 @ 185.496
193.17/193.60	c stratification level: 110592000
194.46/194.92	c bounds 599366313 >= -100 @ 186.788
194.46/194.92	c stratification level: 109902239
196.57/197.01	c bounds 599096959 >= -100 @ 188.839
196.57/197.01	c stratification level: 109215352
220.62/221.19	c bounds 599081179 >= -100 @ 212.349
220.62/221.19	c stratification level: 108531333
222.11/222.68	c bounds 599076229 >= -100 @ 213.801
222.11/222.68	c stratification level: 107171875
273.70/274.37	c bounds 598931488 >= -100 @ 264.805
273.70/274.37	c stratification level: 105823817
277.10/277.71	c bounds 598930008 >= -100 @ 268.084
277.10/277.71	c stratification level: 105154048
278.51/279.14	c bounds 598927771 >= -100 @ 269.487
278.51/279.14	c stratification level: 103823000
280.29/280.97	c bounds 598925472 >= -100 @ 271.29
280.29/280.97	c stratification level: 103161709
295.37/296.01	c bounds 598614417 >= -100 @ 286.2
295.37/296.01	c stratification level: 101847563
308.74/309.43	c #Conflicts:       2000 | #Constraints:    4942639
308.74/309.43	c INPROCESSING
308.74/309.43	c GARBAGE COLLECT
308.74/309.43	c bounds 591768966 >= -100 @ 299.515
308.74/309.43	c stratification level: 101194696
312.62/313.37	c bounds 591500274 >= -100 @ 303.422
312.62/313.37	c stratification level: 99897344
316.21/316.95	c bounds 589885705 >= -100 @ 306.972
316.21/316.95	c stratification level: 98611128
319.32/320.04	c bounds 589869896 >= -100 @ 310.026
319.32/320.04	c stratification level: 96071912
320.61/321.31	c bounds 589869155 >= -100 @ 311.279
320.61/321.31	c stratification level: 94818816
324.80/325.56	c bounds 584721927 >= -100 @ 315.493
324.80/325.56	c stratification level: 94196375
326.70/327.44	c bounds 584720833 >= -100 @ 317.363
326.70/327.44	c stratification level: 93576664
330.59/331.35	c bounds 584718534 >= -100 @ 321.256
330.59/331.35	c stratification level: 92959677
334.49/335.23	c bounds 584507404 >= -100 @ 325.097
334.49/335.23	c stratification level: 92345408
349.05/349.83	c bounds 584503529 >= -100 @ 339.647
349.05/349.83	c stratification level: 91733851
352.15/352.92	c bounds 584501230 >= -100 @ 342.713
352.15/352.92	c stratification level: 91125000
769.76/771.52	c #Conflicts:       3000 | #Constraints:    4942634
769.76/771.52	c #Conflicts:       4000 | #Constraints:    4943634
769.76/771.52	c INPROCESSING
769.76/771.52	c #Conflicts:       5000 | #Constraints:    4943067
769.76/771.52	c #Conflicts:       6000 | #Constraints:    4944067
769.76/771.52	c INPROCESSING
769.76/771.52	c #Conflicts:       7000 | #Constraints:    4943136
769.76/771.52	c #Conflicts:       8000 | #Constraints:    4944136
769.76/771.52	c #Conflicts:       9000 | #Constraints:    4945136
769.76/771.52	c INPROCESSING
769.76/771.52	c #Conflicts:      10000 | #Constraints:    4943852
769.76/771.52	c #Conflicts:      11000 | #Constraints:    4944852
769.76/771.52	c #Conflicts:      12000 | #Constraints:    4945852
769.76/771.52	c INPROCESSING
769.76/771.52	c GARBAGE COLLECT
769.76/771.52	c #Conflicts:      13000 | #Constraints:    4944316
769.76/771.52	c #Conflicts:      14000 | #Constraints:    4945316
769.76/771.52	c #Conflicts:      15000 | #Constraints:    4946316
769.76/771.52	c INPROCESSING
769.76/771.52	c #Conflicts:      16000 | #Constraints:    4944502
769.76/771.52	c #Conflicts:      17000 | #Constraints:    4945502
769.76/771.52	c #Conflicts:      18000 | #Constraints:    4946502
769.76/771.52	c bounds 579092707 >= -100 @ 757.38
769.76/771.52	c stratification level: 90518849
803.88/805.75	c INPROCESSING
803.88/805.75	c bounds 579045322 >= -100 @ 791.233
803.88/805.75	c stratification level: 89915392
814.65/816.55	c bounds 572390460 >= -100 @ 801.959
814.65/816.55	c stratification level: 89314623
828.83/830.72	c bounds 571975855 >= -100 @ 815.95
828.83/830.72	c stratification level: 88716536
831.92/833.83	c bounds 571505423 >= -100 @ 819
831.92/833.83	c stratification level: 87528384
851.78/853.77	c bounds 569687172 >= -100 @ 838.824
851.78/853.77	c stratification level: 86938307
859.17/861.19	c bounds 569581889 >= -100 @ 846.168
859.17/861.19	c stratification level: 86350888
873.42/875.48	c bounds 567223541 >= -100 @ 860.364
873.42/875.48	c stratification level: 85766121
891.48/893.53	c bounds 567182370 >= -100 @ 878.259
891.48/893.53	c stratification level: 85184000
902.46/904.55	c bounds 567165408 >= -100 @ 889.187
902.46/904.55	c stratification level: 84604519
906.65/908.73	c bounds 567122671 >= -100 @ 893.332
906.65/908.73	c stratification level: 84027672
944.37/946.54	c bounds 562392154 >= -100 @ 930.851
944.37/946.54	c stratification level: 82881856
947.45/949.65	c bounds 562273121 >= -100 @ 933.915
947.45/949.65	c stratification level: 82312875
952.44/954.63	c bounds 562264978 >= -100 @ 938.843
952.44/954.63	c stratification level: 81746504
958.53/960.77	c bounds 562250267 >= -100 @ 944.932
958.53/960.77	c stratification level: 81182737
970.30/972.50	c bounds 559776549 >= -100 @ 956.586
970.30/972.50	c stratification level: 80062991
976.98/979.24	c bounds 559707741 >= -100 @ 963.259
976.98/979.24	c stratification level: 79507000
978.48/980.76	c bounds 559688606 >= -100 @ 964.754
978.48/980.76	c stratification level: 78953589
981.07/983.35	c bounds 559634458 >= -100 @ 967.303
981.07/983.35	c stratification level: 78402752
984.26/986.58	c bounds 559622555 >= -100 @ 970.499
984.26/986.58	c stratification level: 77854483
985.88/988.15	c bounds 559616575 >= -100 @ 972.057
985.88/988.15	c stratification level: 77308776
994.64/996.91	c bounds 559602831 >= -100 @ 980.752
994.64/996.91	c stratification level: 76225024
997.44/999.73	c bounds 559562853 >= -100 @ 983.531
997.44/999.73	c stratification level: 75686967
999.63/1002.00	c bounds 559561516 >= -100 @ 985.779
999.63/1002.00	c stratification level: 75151448
1007.91/1010.28	c bounds 499231584 >= -100 @ 993.938
1007.91/1010.28	c stratification level: 74618461
1009.31/1011.63	c bounds 498983058 >= -100 @ 995.257
1009.31/1011.63	c stratification level: 74088000
1012.40/1014.77	c bounds 461548818 >= -100 @ 998.336
1012.40/1014.77	c stratification level: 73560059
1013.90/1016.28	c bounds 460367624 >= -100 @ 999.803
1013.90/1016.28	c stratification level: 73034632
1019.28/1021.68	c bounds 460240155 >= -100 @ 1005.13
1019.28/1021.68	c stratification level: 72511713
1021.18/1023.59	c bounds 460104723 >= -100 @ 1007.01
1021.18/1023.59	c stratification level: 71991296
1023.98/1026.35	c bounds 460067360 >= -100 @ 1009.73
1023.98/1026.35	c stratification level: 71473375
1025.87/1028.23	c bounds 459981966 >= -100 @ 1011.58
1025.87/1028.23	c stratification level: 70957944
1027.86/1030.22	c #Conflicts:      19000 | #Constraints:    4944511
1027.86/1030.22	c bounds 459972009 >= -100 @ 1013.53
1027.86/1030.22	c stratification level: 70444997
1029.26/1031.63	c bounds 459943617 >= -100 @ 1014.93
1029.26/1031.63	c stratification level: 69934528
1031.95/1034.34	c bounds 411048709 >= -100 @ 1017.58
1031.95/1034.34	c stratification level: 69426531
1034.76/1037.15	c bounds 411027393 >= -100 @ 1020.34
1034.76/1037.15	c stratification level: 68921000
1039.54/1041.96	c bounds 410925280 >= -100 @ 1025.09
1039.54/1041.96	c stratification level: 68417929
1046.92/1049.39	c bounds 410911647 >= -100 @ 1032.45
1046.92/1049.39	c stratification level: 67917312
1048.62/1051.01	c bounds 410870787 >= -100 @ 1034.04
1048.62/1051.01	c stratification level: 67419143
1051.41/1053.85	c bounds 410863419 >= -100 @ 1036.84
1051.41/1053.85	c stratification level: 66923416
1055.40/1057.80	c bounds 402321211 >= -100 @ 1040.74
1055.40/1057.80	c stratification level: 66430125
1101.29/1103.86	c bounds 402307764 >= -100 @ 1086.21
1101.29/1103.86	c stratification level: 65939264
1118.15/1120.75	c bounds 400176774 >= -100 @ 1102.88
1118.15/1120.75	c stratification level: 65450827
1120.46/1123.03	c bounds 399352788 >= -100 @ 1105.12
1120.46/1123.03	c stratification level: 64964808
1124.34/1126.99	c bounds 399344980 >= -100 @ 1109.01
1124.34/1126.99	c stratification level: 64481201
1126.94/1129.54	c bounds 398734884 >= -100 @ 1111.5
1126.94/1129.54	c stratification level: 64000000
1129.23/1131.84	c bounds 398367610 >= -100 @ 1113.75
1129.23/1131.84	c stratification level: 63521199
1130.82/1133.40	c bounds 398190263 >= -100 @ 1115.26
1130.82/1133.40	c stratification level: 63044792
1138.31/1140.91	c bounds 395200530 >= -100 @ 1122.64
1138.31/1140.91	c stratification level: 62570773
1140.70/1143.36	c bounds 394973817 >= -100 @ 1125.01
1140.70/1143.36	c stratification level: 62099136
1142.30/1144.92	c bounds 394845441 >= -100 @ 1126.52
1142.30/1144.92	c stratification level: 61629875
1146.51/1149.19	c bounds 394791011 >= -100 @ 1130.42
1146.51/1149.19	c stratification level: 61162984
1155.77/1158.45	c bounds 394754498 >= -100 @ 1139.26
1155.77/1158.45	c stratification level: 60698457
1165.75/1168.45	c bounds 389975686 >= -100 @ 1149.04
1165.75/1168.45	c stratification level: 60236288
1168.54/1171.28	c bounds 389974804 >= -100 @ 1151.75
1168.54/1171.28	c stratification level: 59776471
1173.83/1176.53	c bounds 389971528 >= -100 @ 1156.91
1173.83/1176.53	c stratification level: 59319000
1175.92/1178.61	c bounds 389937784 >= -100 @ 1158.9
1175.92/1178.61	c stratification level: 58863869
1180.61/1183.36	c bounds 389937429 >= -100 @ 1163.54
1180.61/1183.36	c stratification level: 58411072
1188.10/1190.80	c bounds 387917299 >= -100 @ 1170.85
1188.10/1190.80	c stratification level: 57960603
1189.59/1192.35	c bounds 387916681 >= -100 @ 1172.37
1189.59/1192.35	c stratification level: 57512456
1192.68/1195.46	c bounds 387892738 >= -100 @ 1175.43
1192.68/1195.46	c stratification level: 57066625
1194.29/1197.05	c bounds 387892120 >= -100 @ 1177
1194.29/1197.05	c stratification level: 56623104
1198.97/1201.76	c bounds 387866689 >= -100 @ 1181.64
1198.97/1201.76	c stratification level: 56181887
1200.57/1203.38	c bounds 387866071 >= -100 @ 1183.21
1200.57/1203.38	c stratification level: 55742968
1206.55/1209.30	c bounds 387865433 >= -100 @ 1189.04
1206.55/1209.30	c stratification level: 55306341
1211.64/1214.40	c bounds 387422344 >= -100 @ 1193.99
1211.64/1214.40	c stratification level: 54872000
1213.53/1216.33	c bounds 387397665 >= -100 @ 1195.89
1213.53/1216.33	c stratification level: 54439939
1223.42/1226.25	c bounds 387180799 >= -100 @ 1205.63
1223.42/1226.25	c stratification level: 54010152
1315.80/1318.88	c bounds 387021835 >= -100 @ 1297.72
1315.80/1318.88	c stratification level: 53582633
1323.09/1326.18	c bounds 386981073 >= -100 @ 1304.92
1323.09/1326.18	c stratification level: 53157376
1324.78/1327.85	c bounds 386977014 >= -100 @ 1306.57
1324.78/1327.85	c stratification level: 52734375
1339.25/1342.33	c bounds 386921885 >= -100 @ 1320.86
1339.25/1342.33	c stratification level: 52313624
1341.34/1344.47	c bounds 386918381 >= -100 @ 1322.93
1341.34/1344.47	c stratification level: 51895117
1343.74/1346.88	c bounds 386876426 >= -100 @ 1325.3
1343.74/1346.88	c stratification level: 51478848
1349.12/1352.23	c bounds 386863864 >= -100 @ 1330.55
1349.12/1352.23	c stratification level: 51064811
1353.92/1357.07	c bounds 386850868 >= -100 @ 1335.32
1353.92/1357.07	c stratification level: 50653000
1356.21/1359.33	c bounds 386849455 >= -100 @ 1337.53
1356.21/1359.33	c stratification level: 50243409
1423.65/1426.99	terminate called after throwing an instance of 'rs::OutOfMemoryException'

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (61916 MiB free)
  memory of node 1: 64473 MiB (63079 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454554-1721475966/watcher-4454554-1721475966 -o /tmp/evaluation-result-4454554-1721475966/solver-4454554-1721475966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721472368-1059654 --watchdog 3760 pb-oll-rs HOME/instance-4454554-1721475966.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1061673, runsolver pid=1061670

[startup+0.100906 s]*
/proc/loadavg: 4.07 4.09 4.09 5/233 1061674
/proc/meminfo: memFree=127847892/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=208060 memory=167040 CPUtime=0.1 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 2937 0 0 0 5 5 0 0 20 0 1 0 199753826 213053440 41760 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 52015 41760 1155 291 0 43549 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 208060 KiB
Current children cumulated memory: 167040 KiB

[startup+0.212989 s]*
/proc/loadavg: 4.07 4.09 4.09 5/233 1061674
/proc/meminfo: memFree=127672740/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=406752 memory=302556 CPUtime=0.21 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 23534 0 0 0 12 9 0 0 20 0 1 0 199753826 416514048 75639 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 101688 75639 1155 291 0 93222 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 406752 KiB
Current children cumulated memory: 302556 KiB

[startup+0.312689 s]*
/proc/loadavg: 4.07 4.09 4.09 5/231 1061674
/proc/meminfo: memFree=127545648/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=504900 memory=422676 CPUtime=0.31 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 41529 0 0 0 17 14 0 0 20 0 1 0 199753826 517017600 105669 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 126225 105669 1155 291 0 117759 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 504900 KiB
Current children cumulated memory: 422676 KiB

[startup+0.70035 s]
/proc/loadavg: 4.07 4.09 4.09 5/229 1061674
/proc/meminfo: memFree=127462428/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=489548 memory=410504 CPUtime=0.69 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 42966 0 0 0 53 16 0 0 20 0 1 0 199753826 501297152 102626 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 122387 102626 1155 291 0 113921 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 489548 KiB
Current children cumulated memory: 410504 KiB

[startup+1.50031 s]
/proc/loadavg: 4.07 4.09 4.09 7/239 1061696
/proc/meminfo: memFree=128067184/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=521664 memory=456548 CPUtime=1.48 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 52355 0 0 0 118 30 0 0 20 0 1 0 199753826 534183936 114137 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 130416 114137 1187 291 0 121950 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 521664 KiB
Current children cumulated memory: 456548 KiB

[startup+3.11218 s]
/proc/loadavg: 4.07 4.09 4.09 5/241 1061742
/proc/meminfo: memFree=127796380/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=569276 memory=513952 CPUtime=3.09 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 60110 0 0 0 230 79 0 0 20 0 1 0 199753826 582938624 128488 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 142319 128488 1187 291 0 133853 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 569276 KiB
Current children cumulated memory: 513952 KiB

[startup+6.30027 s]
/proc/loadavg: 4.07 4.09 4.09 5/241 1061742
/proc/meminfo: memFree=127492548/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=675644 memory=594032 CPUtime=6.27 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 66381 0 0 0 461 166 0 0 20 0 1 0 199753826 691859456 148508 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 168911 148508 1187 291 0 160445 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 675644 KiB
Current children cumulated memory: 594032 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.10 4.09 5/241 1061744
/proc/meminfo: memFree=126980984/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=940976 memory=787296 CPUtime=12.66 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 79038 0 0 0 942 324 0 0 20 0 1 0 199753826 963559424 196824 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 235244 196824 1187 291 0 226778 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 940976 KiB
Current children cumulated memory: 787296 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.10 4.09 5/241 1061745
/proc/meminfo: memFree=126182352/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=1582396 memory=1345244 CPUtime=25.43 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 125278 0 0 0 2084 459 0 0 20 0 1 0 199753826 1620373504 336311 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 395599 336311 1378 291 0 387133 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1582396 KiB
Current children cumulated memory: 1345244 KiB

[startup+51.1124 s]
/proc/loadavg: 4.13 4.10 4.09 5/241 1061750
/proc/meminfo: memFree=125127276/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=2218316 memory=1906288 CPUtime=50.99 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 181567 0 0 0 4573 526 0 0 20 0 1 0 199753826 2271555584 476572 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 554579 476572 1378 291 0 546113 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 2218316 KiB
Current children cumulated memory: 1906288 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 1061758
/proc/meminfo: memFree=122860480/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=4053492 memory=3740176 CPUtime=102.07 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 460747 0 0 0 9565 642 0 0 20 0 1 0 199753826 4150775808 935044 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 1013373 935044 1378 291 0 1004907 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 4053492 KiB
Current children cumulated memory: 3740176 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/241 1061768
/proc/meminfo: memFree=121300056/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=5381744 memory=4667480 CPUtime=161.94 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 539814 0 0 0 15468 726 0 0 20 0 1 0 199753826 5510905856 1166870 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 1345436 1166870 1442 291 0 1336970 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 5381744 KiB
Current children cumulated memory: 4667480 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/242 1061781
/proc/meminfo: memFree=118266420/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=8712712 memory=7188588 CPUtime=221.81 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 919107 0 0 0 21347 834 0 0 20 0 1 0 199753826 8921817088 1797147 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 2178178 1797147 1442 291 0 2169712 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 8712712 KiB
Current children cumulated memory: 7188588 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/245 1061796
/proc/meminfo: memFree=116814692/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=9058380 memory=8204464 CPUtime=281.69 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 969735 0 0 0 27264 905 0 0 20 0 1 0 199753826 9275781120 2051116 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 2264595 2051116 1442 291 0 2256129 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 9058380 KiB
Current children cumulated memory: 8204464 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/245 1061806
/proc/meminfo: memFree=115746232/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=9132388 memory=8497880 CPUtime=341.57 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 980365 0 0 0 33218 939 0 0 20 0 1 0 199753826 9351565312 2124470 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 2283097 2124470 1442 291 0 2274631 0
Current children cumulated CPU time: 341.57 s
Current children cumulated vsize: 9132388 KiB
Current children cumulated memory: 8497880 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/245 1061817
/proc/meminfo: memFree=115104524/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=9132388 memory=8749088 CPUtime=401.45 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 981987 0 0 0 39179 966 0 0 20 0 1 0 199753826 9351565312 2187272 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 2283097 2187272 1442 291 0 2274631 0
Current children cumulated CPU time: 401.45 s
Current children cumulated vsize: 9132388 KiB
Current children cumulated memory: 8749088 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/245 1061827
/proc/meminfo: memFree=114006052/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=9582404 memory=9451852 CPUtime=461.31 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 1078366 0 0 0 45129 1002 0 0 20 0 1 0 199753826 9812381696 2362963 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 2395601 2362963 1442 291 0 2387135 0

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

Current children cumulated vsize: 16204752 KiB
Current children cumulated memory: 16030524 KiB

[startup+1002.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/244 1062536
/proc/meminfo: memFree=103397980/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=20391136 memory=16829104 CPUtime=1000.03 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 2021132 0 0 0 98611 1392 0 0 20 0 1 0 199753826 20880523264 4207276 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 5097784 4207276 1442 291 0 5089318 0
Current children cumulated CPU time: 1000.03 s
Current children cumulated vsize: 20391136 KiB
Current children cumulated memory: 16829104 KiB

[startup+1062.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/244 1062546
/proc/meminfo: memFree=102592880/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=20579600 memory=17621724 CPUtime=1059.9 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 2047335 0 0 0 104527 1463 0 0 20 0 1 0 199753826 21073510400 4405431 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 5144900 4405431 1442 291 0 5136434 0
Current children cumulated CPU time: 1059.9 s
Current children cumulated vsize: 20579600 KiB
Current children cumulated memory: 17621724 KiB

[startup+1122.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/243 1062557
/proc/meminfo: memFree=101830228/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=20836204 memory=18310392 CPUtime=1119.75 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 2084308 0 0 0 110445 1530 0 0 20 0 1 0 199753826 21336272896 4577598 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 5209051 4577598 1442 291 0 5200585 0
Current children cumulated CPU time: 1119.75 s
Current children cumulated vsize: 20836204 KiB
Current children cumulated memory: 18310392 KiB

[startup+1182.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/241 1062568
/proc/meminfo: memFree=97693024/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=24785456 memory=22109024 CPUtime=1179.62 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 2775255 0 0 0 116254 1708 0 0 20 0 1 0 199753826 25380306944 5527256 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 6196364 5527256 1442 291 0 6187898 0
Current children cumulated CPU time: 1179.62 s
Current children cumulated vsize: 24785456 KiB
Current children cumulated memory: 22109024 KiB

[startup+1242.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/241 1062578
/proc/meminfo: memFree=95542796/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=26099324 memory=23936820 CPUtime=1239.48 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 3018708 0 0 0 122150 1798 0 0 20 0 1 0 199753826 26725707776 5984205 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 6524831 5984205 1442 291 0 6516365 0
Current children cumulated CPU time: 1239.48 s
Current children cumulated vsize: 26099324 KiB
Current children cumulated memory: 23936820 KiB

[startup+1302.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/244 1062594
/proc/meminfo: memFree=94572064/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=26178660 memory=24037804 CPUtime=1299.33 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 3039107 0 0 0 128130 1803 0 0 20 0 1 0 199753826 26806947840 6009451 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 6544665 6009451 1442 291 0 6536199 0
Current children cumulated CPU time: 1299.33 s
Current children cumulated vsize: 26178660 KiB
Current children cumulated memory: 24037804 KiB

[startup+1362.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/244 1062604
/proc/meminfo: memFree=92927736/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=26894744 memory=25304612 CPUtime=1359.2 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 3187039 0 0 0 134050 1870 0 0 20 0 1 0 199753826 27540217856 6326153 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 6723686 6326153 1442 291 0 6715220 0
Current children cumulated CPU time: 1359.2 s
Current children cumulated vsize: 26894744 KiB
Current children cumulated memory: 25304612 KiB

[startup+1422.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/244 1062616
/proc/meminfo: memFree=91406392/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=27317608 memory=26455816 CPUtime=1419.06 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) R 1061670 1061673 1059643 0 -1 4194304 3310927 0 0 0 139970 1936 0 0 20 0 1 0 199753826 27973230592 6613954 134679101440 4194304 5384485 140723623716464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 6829402 6613954 1442 291 0 6820936 0
Current children cumulated CPU time: 1419.06 s
Current children cumulated vsize: 27317608 KiB
Current children cumulated memory: 26455816 KiB

[startup+1449.22 s]
# the end of solver process 1061673 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core

# cumulated CPU time of all completed processes:  user=1404.26 s, system=24.0392 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1433.6 s]
/proc/loadavg: 4.17 4.12 4.10 5/247 1062624
/proc/meminfo: memFree=88767128/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=27318236 memory=26512732 CPUtime=1427.23 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) S 1061670 1061673 1059643 0 -1 4195840 3315533 0 0 0 140425 2298 0 0 20 0 1 0 199753826 27973873664 6628183 134679101440 4194304 5384485 140723623716464 140723623712080 140117822399359 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 6829559 6628183 1442 291 0 6821093 0
Current children cumulated CPU time: 1427.23 s
Current children cumulated vsize: 27318236 KiB
Current children cumulated memory: 26512732 KiB

[startup+1440 s]*
/proc/loadavg: 4.16 4.11 4.09 4/247 1062625
/proc/meminfo: memFree=87524932/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=27318236 memory=26512732 CPUtime=1427.23 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) S 1061670 1061673 1059643 0 -1 4195840 3315533 0 0 0 140425 2298 0 0 20 0 1 0 199753826 27973873664 6628183 134679101440 4194304 5384485 140723623716464 140723623712080 140117822399359 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 6829559 6628183 1442 291 0 6821093 0
Current children cumulated CPU time: 1427.23 s
Current children cumulated vsize: 27318236 KiB
Current children cumulated memory: 26512732 KiB

[startup+1443.2 s]
/proc/loadavg: 4.15 4.11 4.09 4/247 1062625
/proc/meminfo: memFree=87524876/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=27318236 memory=26512732 CPUtime=1427.23 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) S 1061670 1061673 1059643 0 -1 4195840 3315533 0 0 0 140425 2298 0 0 20 0 1 0 199753826 27973873664 6628183 134679101440 4194304 5384485 140723623716464 140723623712080 140117822399359 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 6829559 6628183 1442 291 0 6821093 0
Current children cumulated CPU time: 1427.23 s
Current children cumulated vsize: 27318236 KiB
Current children cumulated memory: 26512732 KiB

[startup+1446.4 s]
/proc/loadavg: 4.15 4.11 4.09 4/247 1062625
/proc/meminfo: memFree=87524844/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=27318236 memory=26512732 CPUtime=1427.23 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) S 1061670 1061673 1059643 0 -1 4195840 3315533 0 0 0 140425 2298 0 0 20 0 1 0 199753826 27973873664 6628183 134679101440 4194304 5384485 140723623716464 140723623712080 140117822399359 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 6829559 6628183 1442 291 0 6821093 0
Current children cumulated CPU time: 1427.23 s
Current children cumulated vsize: 27318236 KiB
Current children cumulated memory: 26512732 KiB

[startup+1448 s]*
/proc/loadavg: 4.13 4.11 4.09 5/247 1062627
/proc/meminfo: memFree=89215420/131655788 swapFree=131070704/131071996
[pid=1061673] ppid=1061670 vsize=27318236 memory=26512732 CPUtime=1427.23 cores=4,6
/proc/1061673/stat : 1061673 (pb-oll-rs) S 1061670 1061673 1059643 0 -1 4195840 3315533 0 0 0 140425 2298 0 0 20 0 1 0 199753826 27973873664 6628183 134679101440 4194304 5384485 140723623716464 140723623712080 140117822399359 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20680704 140723623724053 140723623724130 140723623724130 140723623731147 0
/proc/1061673/statm: 6829559 6628183 1442 291 0 6821093 0
Current children cumulated CPU time: 1427.23 s
Current children cumulated vsize: 27318236 KiB
Current children cumulated memory: 26512732 KiB

[startup+1448.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/247 1062627
/proc/meminfo: memFree=91717732/131655788 swapFree=131070704/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+1449.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/249 1062635
/proc/meminfo: memFree=105129916/131655788 swapFree=131070704/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 6 (SIGABRT)
Child dumped core

Real time (s): 1449.22
CPU time (s): 1428.3
CPU user time (s): 1404.26
CPU system time (s): 24.0392
CPU usage (%): 98.5562
Max. virtual memory (cumulated for all children) (KiB): 27318236
Max. memory (cumulated for all children) (KiB): 26512732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1404.26
system time used= 24.0392
maximum resident set size= 26513240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3315533
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= 140
involuntary context switches= 1816


# summary of solver processes directly reported to runsolver:
#   pid: 1061673
#   total CPU time (s): 1428.3
#   total CPU user time (s): 1404.26
#   total CPU system time (s): 24.0392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09167 second user time and 13.5626 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-20 13:46:19
IDJOB=4454554
IDBENCH=155754
IDSOLVER=3082
FILE ID=nodeC011/4454554-1721475966
RUNJOBID= nodeC011-1721472368-1059654
SLURM_JOB_ID= 7545742
Free space on /tmp= 723436 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_5_mh.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454554-1721475966/watcher-4454554-1721475966 -o /tmp/evaluation-result-4454554-1721475966/solver-4454554-1721475966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721472368-1059654 --watchdog 3760  pb-oll-rs HOME/instance-4454554-1721475966.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= bcacee10cf1a44650f44a3298f043d3d
RANDOM SEED=563818494

nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3663.916
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2498.296
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.159
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1450.813
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3680.027
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1922.258
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.193
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1479.650
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128004472 kB
MemAvailable:   129046472 kB
Buffers:          585672 kB
Cached:          1300616 kB
SwapCached:          132 kB
Active:          1134624 kB
Inactive:        2017388 kB
Active(anon):       1436 kB
Inactive(anon):  1309944 kB
Active(file):    1133188 kB
Inactive(file):   707444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:            354192 kB
Writeback:             0 kB
AnonPages:       1264308 kB
Mapped:           107992 kB
Shmem:             45592 kB
KReclaimable:      83136 kB
Slab:             166188 kB
SReclaimable:      83136 kB
SUnreclaim:        83052 kB
KernelStack:        3776 kB
PageTables:        11712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1977020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    487424 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723332 MiB
End job on nodeC011 at 2024-07-20 14:10:29