Trace number 4432044

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
IPBHS-SCIP 2024-07-09? (TO) 3600.2 3610.76

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-1.opb
MD5SUM7e2c106ff094e7f384cacaf96c9fd4dc
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15748
Best CPU time to get the best result obtained on this benchmark5.20977
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables80098
Total number of constraints528830
Number of constraints which are clauses528830
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint339
Number of terms in the objective function 10460
Biggest coefficient in the objective function 341
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 3451260
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 341
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 3451260
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

49.06/49.22	c initialize IPBHS solver
49.06/49.22	c IPBHS 0.0.0 beta (471c63a-dirty, Jul  9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
49.06/49.22	c optimizer = "scip"
49.06/49.22	c pbsolver = "roundingsat"
49.06/49.22	c load symmetries from file ""
49.06/49.22	c set time limit for symmetry computation to 100 seconds.
49.06/49.22	c set interchangeable summation variable limit to 3
49.06/49.22	c set abs symmetric core budget per WCE-iteration to 100
49.06/49.22	c set rel symmetric core budget per WCE-iteration to 0
49.06/49.22	c set lit symmetric core budget per WCE-iteration to 0
49.06/49.22	c set sym generation to 's'
49.06/49.22	c set abstraction set creation to 10 iterations without LB change
49.06/49.22	c set abstraction set inputs to 0
49.06/49.22	c set abstraction set cluster min size to 2
49.06/49.22	c set abstraction set cluster max size to 100000000
49.06/49.22	c set abstraction set cluster activation limit to 2
49.06/49.22	c enable abstraction set require equal cost
49.06/49.22	c set abstraction set assumptions to 0
49.06/49.22	c set abstraction set constraint type to 0
49.06/49.22	c set abstract core extraction strategy to b
49.06/49.22	c set core extraction strategy to 2
49.06/49.22	c set core extraction shuffles 10
49.06/49.22	c set cores per iteration to 5
49.06/49.22	c set optimizer bound usage strategy to 2
49.06/49.22	c set optimizer max non-optimal iterations to 1000
49.06/49.22	c set small core cardinality limit to 2
49.06/49.22	c set max coef in cores to 1000000000
49.06/49.22	c set SIS iterations to 5
49.06/49.22	c set SIS budget abs to 1000
49.06/49.22	c set SIS budget rel to 0.05
49.06/49.22	c limit for coefficient in constraints and objective to 9223372036854775807
49.06/49.22	c will solve HOME/instance-4432044-1721158815.opb
49.06/49.22	c [0.06] solve iteration 1, LB=0, UB=3451261
49.06/49.22	c [19.21] solve iteration 2, LB=5, UB=74789
49.06/49.22	c [29.14] solve iteration 3, LB=15724, UB=34895
49.06/49.22	c [37.5] solve iteration 4, LB=15724, UB=20911
109.59/109.93	c [45.5] solve iteration 5, LB=15726, UB=20909
109.59/109.93	c [51.58] solve iteration 6, LB=15729, UB=15783
109.59/109.93	c [57.49] solve iteration 7, LB=15732, UB=15783
109.59/109.93	c [62.51] solve iteration 8, LB=15734, UB=15783
109.59/109.93	c [67.45] solve iteration 9, LB=15735, UB=15783
109.59/109.93	c [72.21] solve iteration 10, LB=15735, UB=15773
109.59/109.93	c [76.52] solve iteration 11, LB=15735, UB=15773
109.59/109.93	c [81.13] solve iteration 12, LB=15735, UB=15773
109.59/109.93	c [86.66] solve iteration 13, LB=15736, UB=15773
116.07/116.41	c [92.07] solve iteration 14, LB=15737, UB=15773
123.15/123.58	c [98.17] solve iteration 15, LB=15737, UB=15770
133.93/134.31	c [103.24] solve iteration 16, LB=15738, UB=15770
133.93/134.31	c [107.68] solve iteration 17, LB=15739, UB=15770
141.11/141.51	c [113.98] solve iteration 18, LB=15739, UB=15770
147.09/147.59	c [118.64] solve iteration 19, LB=15739, UB=15768
154.47/154.97	c [125.39] solve iteration 20, LB=15740, UB=15768
160.16/160.60	c [130.32] solve iteration 21, LB=15740, UB=15766
170.22/170.74	c [139.42] solve iteration 22, LB=15740, UB=15766
177.01/177.51	c [145.38] solve iteration 23, LB=15741, UB=15766
183.28/183.88	c [151.12] solve iteration 24, LB=15741, UB=15766
191.47/192.10	c [158.65] solve iteration 25, LB=15742, UB=15766
200.44/201.01	c [167.29] solve iteration 26, LB=15742, UB=15766
206.12/206.76	c [172.17] solve iteration 27, LB=15742, UB=15766
212.01/212.63	c [177.76] solve iteration 28, LB=15742, UB=15765
217.59/218.27	c [183.23] solve iteration 29, LB=15742, UB=15758
243.92/244.62	c [206.81] solve iteration 30, LB=15742, UB=15757
252.69/253.44	c [214.71] solve iteration 31, LB=15742, UB=15757
259.58/260.37	c [221.03] solve iteration 32, LB=15742, UB=15757
268.05/268.81	c [228.45] solve iteration 33, LB=15742, UB=15757
277.12/277.90	c [236.85] solve iteration 34, LB=15743, UB=15757
288.29/289.11	c [247.94] solve iteration 35, LB=15743, UB=15757
301.06/302.00	c [260.13] solve iteration 36, LB=15743, UB=15757
312.52/313.47	c [270.92] solve iteration 37, LB=15744, UB=15757
322.98/323.91	c [280.84] solve iteration 38, LB=15744, UB=15757
332.86/333.88	c [290.19] solve iteration 39, LB=15744, UB=15757
342.52/343.52	c [298.63] solve iteration 40, LB=15744, UB=15757
353.79/354.89	c [309.74] solve iteration 41, LB=15744, UB=15757
388.00/389.16	c [341.4] solve iteration 42, LB=15744, UB=15757
397.98/399.12	c [350.37] solve iteration 43, LB=15745, UB=15757
407.24/408.43	c [359.56] solve iteration 44, LB=15745, UB=15757
416.32/417.52	c [367.97] solve iteration 45, LB=15745, UB=15757
422.50/423.78	c [374.08] solve iteration 46, LB=15745, UB=15757
431.57/432.83	c [382.48] solve iteration 47, LB=15745, UB=15757
471.06/472.47	c [419.48] solve iteration 48, LB=15745, UB=15757
482.13/483.53	c [430.65] solve iteration 49, LB=15745, UB=15757
490.20/491.60	c [437.85] solve iteration 50, LB=15745, UB=15756
502.16/503.69	c [450.08] solve iteration 51, LB=15746, UB=15756
515.33/516.88	c [462.77] solve iteration 52, LB=15746, UB=15756
524.90/526.42	c [471.78] solve iteration 53, LB=15746, UB=15756
533.97/535.50	c [480.28] solve iteration 54, LB=15746, UB=15756
542.34/543.92	c [488.72] solve iteration 55, LB=15746, UB=15756
581.83/583.54	c [525.55] solve iteration 56, LB=15746, UB=15756
590.31/592.08	c [533.78] solve iteration 57, LB=15746, UB=15755
604.27/606.01	c [546.79] solve iteration 58, LB=15746, UB=15755
612.83/614.62	c [555.5] solve iteration 59, LB=15746, UB=15752
621.91/623.72	c [564.43] solve iteration 60, LB=15747, UB=15752
635.07/637.00	c [577.29] solve iteration 61, LB=15747, UB=15752
647.14/649.08	c [588.89] solve iteration 62, LB=15747, UB=15752
658.00/659.96	c [599.8] solve iteration 63, LB=15747, UB=15750
670.07/672.08	c [611.4] solve iteration 64, LB=15747, UB=15750
712.64/714.74	c [650.53] solve iteration 65, LB=15747, UB=15750
722.71/724.83	c [660.14] solve iteration 66, LB=15747, UB=15750
733.48/735.69	c [671.27] solve iteration 67, LB=15747, UB=15750
745.04/747.20	c [682.62] solve iteration 68, LB=15747, UB=15750
757.70/759.93	c [694.43] solve iteration 69, LB=15747, UB=15750
802.78/805.16	c [735.18] solve iteration 70, LB=15747, UB=15750
815.04/817.49	c [747.15] solve iteration 71, LB=15747, UB=15750
824.61/827.02	c [756.1] solve iteration 72, LB=15747, UB=15750
833.68/836.17	c [764.81] solve iteration 73, LB=15747, UB=15750
843.55/846.04	c [774.71] solve iteration 74, LB=15747, UB=15750
899.49/902.19	c [827.79] solve iteration 75, LB=15747, UB=15750
912.05/914.70	c [839.72] solve iteration 76, LB=15747, UB=15750
925.31/928.08	c [852.8] solve iteration 77, LB=15747, UB=15750
935.17/937.96	c [862.63] solve iteration 78, LB=15747, UB=15750
945.25/948.05	c [872.49] solve iteration 79, LB=15747, UB=15750
1013.15/1016.14	c [937.87] solve iteration 80, LB=15747, UB=15750
1023.51/1026.50	c [947.85] solve iteration 81, LB=15747, UB=15750
1036.37/1039.45	c [960.55] solve iteration 82, LB=15747, UB=15750
1050.52/1053.68	c [974.22] solve iteration 83, LB=15747, UB=15750
1063.78/1066.94	c [987.3] solve iteration 84, LB=15747, UB=15750
1140.26/1143.63	c [1060.61] solve iteration 85, LB=15747, UB=15750
1153.42/1156.84	c [1073.03] solve iteration 86, LB=15747, UB=15750
1163.70/1167.13	c [1082.86] solve iteration 87, LB=15747, UB=15750
1178.14/1181.60	c [1097.09] solve iteration 88, LB=15747, UB=15750
1188.02/1191.50	c [1106.36] solve iteration 89, LB=15747, UB=15750
1258.22/1261.92	c [1171.3] solve iteration 90, LB=15747, UB=15750
1268.09/1271.86	c [1181.43] solve iteration 91, LB=15747, UB=15750
1281.44/1285.29	c [1194.49] solve iteration 92, LB=15747, UB=15750
1295.70/1299.56	c [1208.32] solve iteration 93, LB=15747, UB=15750
1308.77/1312.66	c [1221.12] solve iteration 94, LB=15747, UB=15750
1393.82/1397.93	c [1301.89] solve iteration 95, LB=15747, UB=15750
1404.08/1408.21	c [1311.6] solve iteration 96, LB=15747, UB=15750
1414.55/1418.74	c [1322.07] solve iteration 97, LB=15747, UB=15750
1425.22/1429.40	c [1332.6] solve iteration 98, LB=15747, UB=15750
1438.38/1442.60	c [1345.46] solve iteration 99, LB=15747, UB=15750
1540.98/1545.58	c [1441.53] solve iteration 100, LB=15747, UB=15750
1554.64/1559.21	c [1455.17] solve iteration 101, LB=15747, UB=15750
1567.21/1571.86	c [1467.46] solve iteration 102, LB=15747, UB=15750
1578.47/1583.18	c [1478.53] solve iteration 103, LB=15747, UB=15750
1592.43/1597.14	c [1492.11] solve iteration 104, LB=15747, UB=15750
1708.00/1713.08	c [1599.16] solve iteration 105, LB=15747, UB=15750
1721.74/1726.81	c [1612.88] solve iteration 106, LB=15747, UB=15750
1736.40/1741.50	c [1626.94] solve iteration 107, LB=15747, UB=15750
1747.97/1753.16	c [1638.16] solve iteration 108, LB=15747, UB=15750
1760.92/1766.18	c [1651.29] solve iteration 109, LB=15747, UB=15750
1846.38/1851.82	c [1732.74] solve iteration 110, LB=15747, UB=15750
1856.35/1861.88	c [1742.8] solve iteration 111, LB=15747, UB=15750
1869.81/1875.33	c [1755.44] solve iteration 112, LB=15747, UB=15750
1881.17/1886.79	c [1766.6] solve iteration 113, LB=15747, UB=15750
1896.53/1902.18	c [1781.55] solve iteration 114, LB=15747, UB=15750
2008.22/2014.15	c [1884.63] solve iteration 115, LB=15747, UB=15750
2023.76/2029.77	c [1899.45] solve iteration 116, LB=15747, UB=15750
2035.92/2041.97	c [1911.47] solve iteration 117, LB=15747, UB=15750
2047.09/2053.19	c [1922.76] solve iteration 118, LB=15747, UB=15749
2057.16/2063.20	c [1932.54] solve iteration 119, LB=15747, UB=15749
2178.31/2184.73	c [2046.85] solve iteration 120, LB=15747, UB=15749
2191.06/2197.50	c [2059.47] solve iteration 121, LB=15747, UB=15749
2201.74/2208.21	c [2070.18] solve iteration 122, LB=15747, UB=15749
2214.00/2220.55	c [2081.68] solve iteration 123, LB=15747, UB=15749
2228.15/2234.71	c [2095.75] solve iteration 124, LB=15747, UB=15749
2373.32/2380.35	c [2233.68] solve iteration 125, LB=15747, UB=15749
2385.19/2392.20	c [2244.81] solve iteration 126, LB=15747, UB=15749
2399.85/2406.98	c [2259.85] solve iteration 127, LB=15747, UB=15749
2413.81/2420.94	c [2273.52] solve iteration 128, LB=15747, UB=15749
2426.06/2433.24	c [2285.47] solve iteration 129, LB=15747, UB=15749
2543.33/2550.88	c [2394.76] solve iteration 130, LB=15747, UB=15749
2554.90/2562.48	c [2406.26] solve iteration 131, LB=15747, UB=15749
2568.16/2575.79	c [2419.11] solve iteration 132, LB=15747, UB=15749
2582.32/2589.91	c [2432.78] solve iteration 133, LB=15747, UB=15749
2596.77/2604.47	c [2447.46] solve iteration 134, LB=15747, UB=15749
2735.28/2743.30	c [2577.26] solve iteration 135, LB=15747, UB=15749
2747.45/2755.57	c [2589.2] solve iteration 136, LB=15747, UB=15749
2757.92/2766.09	c [2599.27] solve iteration 137, LB=15747, UB=15749
2773.76/2781.91	c [2614.95] solve iteration 138, LB=15747, UB=15749
2787.13/2795.30	c [2628.5] solve iteration 139, LB=15747, UB=15749
2984.45/2993.21	c [2818.11] solve iteration 140, LB=15747, UB=15749
2999.11/3007.90	c [2832.8] solve iteration 141, LB=15747, UB=15748
3013.46/3022.33	c [2846.85] solve iteration 142, LB=15747, UB=15748
3025.24/3034.12	c [2858.71] solve iteration 143, LB=15747, UB=15748
3039.48/3048.47	c [2872.39] solve iteration 144, LB=15747, UB=15748
3207.38/3216.88	c [3026.84] solve iteration 145, LB=15747, UB=15748
3218.75/3228.23	c [3038.07] solve iteration 146, LB=15747, UB=15748
3230.91/3240.42	c [3049.98] solve iteration 147, LB=15747, UB=15748
3242.97/3252.58	c [3062.12] solve iteration 148, LB=15747, UB=15748
3254.83/3264.44	c [3073.26] solve iteration 149, LB=15747, UB=15748
3414.57/3424.66	c [3220.16] solve iteration 150, LB=15747, UB=15748
3425.34/3435.49	c [3230.25] solve iteration 151, LB=15747, UB=15748
3439.40/3449.52	c [3244.44] solve iteration 152, LB=15747, UB=15748
3450.56/3460.79	c [3255.5] solve iteration 153, LB=15747, UB=15748
3465.31/3475.56	c [3270.12] solve iteration 154, LB=15747, UB=15748

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: 63931 MiB (61901 MiB free)
  memory of node 1: 64510 MiB (62147 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432044-1721158815/watcher-4432044-1721158815 -o /tmp/evaluation-result-4432044-1721158815/solver-4432044-1721158815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721158828-866986 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432044-1721158815.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=867036, runsolver pid=867029
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 1.14 1.28 2.21 7/253 867041
/proc/meminfo: memFree=126992676/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=42704 memory=17996 CPUtime=0.09 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 4252 0 0 0 9 0 0 0 20 0 1 0 168045739 43728896 4499 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 10676 4499 1023 2900 0 7190 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42704 KiB
Current children cumulated memory: 17996 KiB

[startup+0.206024 s]*
/proc/loadavg: 1.14 1.28 2.21 6/253 867042
/proc/meminfo: memFree=126901480/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=55184 memory=30036 CPUtime=0.2 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 6973 0 0 0 19 1 0 0 20 0 1 0 168045739 56508416 7509 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 13796 7509 1023 2900 0 10310 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55184 KiB
Current children cumulated memory: 30036 KiB

[startup+0.305905 s]*
/proc/loadavg: 1.14 1.28 2.21 6/259 867052
/proc/meminfo: memFree=126860408/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=70372 memory=41360 CPUtime=0.3 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 9338 0 0 0 28 2 0 0 20 0 1 0 168045739 72060928 10340 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 17593 10340 1023 2900 0 14107 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70372 KiB
Current children cumulated memory: 41360 KiB

[startup+0.700176 s]
/proc/loadavg: 1.14 1.28 2.21 5/259 867052
/proc/meminfo: memFree=126764412/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=120652 memory=85076 CPUtime=0.69 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 16608 0 0 0 59 10 0 0 20 0 1 0 168045739 123547648 21269 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 30163 21269 1135 2900 0 26677 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120652 KiB
Current children cumulated memory: 85076 KiB

[startup+1.50022 s]
/proc/loadavg: 1.14 1.28 2.21 5/259 867052
/proc/meminfo: memFree=126522292/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=432072 memory=380512 CPUtime=1.49 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 87005 0 0 0 117 32 0 0 20 0 1 0 168045739 442441728 95128 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 108018 95128 2655 2900 0 104532 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 432072 KiB
Current children cumulated memory: 380512 KiB

[startup+3.10584 s]
/proc/loadavg: 1.14 1.28 2.21 5/259 867054
/proc/meminfo: memFree=125608812/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=436752 memory=385740 CPUtime=3.09 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 88329 0 0 0 258 51 0 0 20 0 1 0 168045739 447234048 96435 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 109188 96435 2655 2900 0 105702 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 436752 KiB
Current children cumulated memory: 385740 KiB

[startup+6.30016 s]
/proc/loadavg: 1.37 1.32 2.22 5/259 867054
/proc/meminfo: memFree=124873836/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=436752 memory=385740 CPUtime=6.27 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 88333 0 0 0 515 112 0 0 20 0 1 0 168045739 447234048 96435 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 109188 96435 2655 2900 0 105702 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 436752 KiB
Current children cumulated memory: 385740 KiB

[startup+12.7002 s]
/proc/loadavg: 1.58 1.37 2.23 5/259 867054
/proc/meminfo: memFree=124821632/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=436752 memory=386092 CPUtime=12.66 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 88340 0 0 0 1017 249 0 0 20 0 1 0 168045739 447234048 96523 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 109188 96523 2687 2900 0 105702 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 436752 KiB
Current children cumulated memory: 386092 KiB

[startup+25.5002 s]
/proc/loadavg: 2.19 1.51 2.27 5/259 867057
/proc/meminfo: memFree=124522760/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=436752 memory=386092 CPUtime=25.43 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 88349 0 0 0 2000 543 0 0 20 0 1 0 168045739 447234048 96523 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 109188 96523 2687 2900 0 105702 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 436752 KiB
Current children cumulated memory: 386092 KiB

[startup+51.1059 s]
/proc/loadavg: 2.94 1.75 2.32 5/259 867060
/proc/meminfo: memFree=123951692/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=517096 memory=481064 CPUtime=50.96 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 111929 0 0 0 4038 1058 0 0 20 0 1 0 168045739 529506304 120266 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 129274 120266 2911 2900 0 125788 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 517096 KiB
Current children cumulated memory: 481064 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 2.13 2.42 5/259 867068
/proc/meminfo: memFree=122814724/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=742408 memory=706460 CPUtime=102.02 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 168350 0 0 0 8227 1975 0 0 20 0 1 0 168045739 760225792 176615 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 185602 176615 2927 2900 0 182116 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 742408 KiB
Current children cumulated memory: 706460 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.47 2.53 5/259 867171
/proc/meminfo: memFree=123533020/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=1091404 memory=1055228 CPUtime=161.85 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 253775 0 0 0 13476 2709 0 0 20 0 1 0 168045739 1117597696 263807 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 272851 263807 2927 2900 0 269365 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1091404 KiB
Current children cumulated memory: 1055228 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.78 2.63 5/259 867182
/proc/meminfo: memFree=122617048/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=1313112 memory=1279132 CPUtime=221.68 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 307383 0 0 0 18970 3198 0 0 20 0 1 0 168045739 1344626688 319783 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 328278 319783 2943 2900 0 324792 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1313112 KiB
Current children cumulated memory: 1279132 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.02 2.72 5/259 867192
/proc/meminfo: memFree=121957176/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=1676660 memory=1610072 CPUtime=281.51 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 366092 0 0 0 24500 3651 0 0 20 0 1 0 168045739 1716899840 402518 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 419165 402518 2943 2900 0 415679 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1676660 KiB
Current children cumulated memory: 1610072 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.22 2.81 5/254 867203
/proc/meminfo: memFree=121501412/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=1760056 memory=1693540 CPUtime=341.33 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 384326 0 0 0 30168 3965 0 0 20 0 1 0 168045739 1802297344 423385 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 440014 423385 2943 2900 0 436528 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 1760056 KiB
Current children cumulated memory: 1693540 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.38 2.89 5/254 867213
/proc/meminfo: memFree=120667324/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=2038932 memory=1974928 CPUtime=401.16 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 429544 0 0 0 35777 4339 0 0 20 0 1 0 168045739 2087866368 493732 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 509733 493732 2943 2900 0 506247 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 2038932 KiB
Current children cumulated memory: 1974928 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.51 2.97 5/254 867223
/proc/meminfo: memFree=120261288/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=2122612 memory=2071240 CPUtime=460.99 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 451151 0 0 0 41429 4670 0 0 20 0 1 0 168045739 2173554688 517810 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 530653 517810 2943 2900 0 527167 0

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

/proc/867036/statm: 1212155 1088023 3263 2900 0 1208669 0
Current children cumulated CPU time: 2853.94 s
Current children cumulated vsize: 4848620 KiB
Current children cumulated memory: 4352092 KiB

[startup+2922.3 s]
/proc/loadavg: 4.26 4.21 4.09 5/256 868785
/proc/meminfo: memFree=114374084/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=4848620 memory=4352092 CPUtime=2913.76 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 821335 0 0 0 275898 15478 0 0 20 0 1 0 168045739 4964986880 1088023 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1212155 1088023 3263 2900 0 1208669 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 4848620 KiB
Current children cumulated memory: 4352092 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.18 4.09 5/256 868795
/proc/meminfo: memFree=114299480/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=4848620 memory=4352708 CPUtime=2973.59 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 821707 0 0 0 281446 15913 0 0 20 0 1 0 168045739 4964986880 1088177 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1212155 1088177 3263 2900 0 1208669 0
Current children cumulated CPU time: 2973.59 s
Current children cumulated vsize: 4848620 KiB
Current children cumulated memory: 4352708 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/255 868862
/proc/meminfo: memFree=113613964/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=4867948 memory=4375928 CPUtime=3033.4 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 827447 0 0 0 287340 16000 0 0 20 0 1 0 168045739 4984778752 1093982 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1216987 1093982 3263 2900 0 1213501 0
Current children cumulated CPU time: 3033.4 s
Current children cumulated vsize: 4867948 KiB
Current children cumulated memory: 4375928 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.16 4.09 6/255 868872
/proc/meminfo: memFree=113308076/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=4867948 memory=4503752 CPUtime=3093.23 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 837940 0 0 0 293186 16137 0 0 20 0 1 0 168045739 4984778752 1125938 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1216987 1125938 3263 2900 0 1213501 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 4867948 KiB
Current children cumulated memory: 4503752 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/255 868882
/proc/meminfo: memFree=112530280/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=6017520 memory=5232904 CPUtime=3153.04 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 995336 0 0 0 298574 16730 0 0 20 0 1 0 168045739 6161940480 1308226 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1504380 1308226 3263 2900 0 1500894 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 6017520 KiB
Current children cumulated memory: 5232904 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.12 4.08 5/255 868894
/proc/meminfo: memFree=112417428/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=6081424 memory=5343824 CPUtime=3212.86 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 1014399 0 0 0 303864 17422 0 0 20 0 1 0 168045739 6227378176 1335956 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1520356 1335956 3263 2900 0 1516870 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 6081424 KiB
Current children cumulated memory: 5343824 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 868904
/proc/meminfo: memFree=112221776/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=6119428 memory=5386324 CPUtime=3272.68 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 1025497 0 0 0 309701 17567 0 0 20 0 1 0 168045739 6266294272 1346581 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1529857 1346581 3263 2900 0 1526371 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 6119428 KiB
Current children cumulated memory: 5386324 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 868914
/proc/meminfo: memFree=112221484/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=6119428 memory=5386324 CPUtime=3332.51 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 1025967 0 0 0 315262 17989 0 0 20 0 1 0 168045739 6266294272 1346581 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1529857 1346581 3263 2900 0 1526371 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 6119428 KiB
Current children cumulated memory: 5386324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 868924
/proc/meminfo: memFree=112200432/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=6119428 memory=5386324 CPUtime=3392.34 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 1026628 0 0 0 320592 18642 0 0 20 0 1 0 168045739 6266294272 1346581 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1529857 1346581 3263 2900 0 1526371 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 6119428 KiB
Current children cumulated memory: 5386324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 868935
/proc/meminfo: memFree=112135824/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=6146232 memory=5412696 CPUtime=3452.16 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 1042094 0 0 0 326384 18832 0 0 20 0 1 0 168045739 6293741568 1353174 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1536558 1353174 3263 2900 0 1533072 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 6146232 KiB
Current children cumulated memory: 5412696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 868945
/proc/meminfo: memFree=112134192/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=6146232 memory=5412788 CPUtime=3511.99 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 1042816 0 0 0 332215 18984 0 0 20 0 1 0 168045739 6293741568 1353197 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1536558 1353197 3263 2900 0 1533072 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 6146232 KiB
Current children cumulated memory: 5412788 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/254 868955
/proc/meminfo: memFree=112133068/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=6146232 memory=5412788 CPUtime=3571.82 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 1043687 0 0 0 337872 19310 0 0 20 0 1 0 168045739 6293741568 1353197 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1536558 1353197 3263 2900 0 1533072 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 6146232 KiB
Current children cumulated memory: 5412788 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/250 869000
/proc/meminfo: memFree=117763108/131524600 swapFree=131071996/131071996
[pid=867036] ppid=867029 vsize=6146232 memory=5412788 CPUtime=3600.03 cores=0,2
/proc/867036/stat : 867036 (ipbhs_static_sc) R 867029 867036 866976 0 -1 4194304 1044068 0 0 0 340530 19473 0 0 20 0 1 0 168045739 6293741568 1353197 134679101440 4194304 16068861 140725724858336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 33460224 140725724861478 140725724861565 140725724861565 140725724868580 0
/proc/867036/statm: 1536558 1353197 3263 2900 0 1533072 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 6146232 KiB
Current children cumulated memory: 5412788 KiB

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

[startup+3610.76 s]
# the end of solver process 867036 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3405.3 s, system=194.891 s

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

[startup+3610.7 s]*
/proc/loadavg: 4.11 4.12 4.09 5/256 869010
/proc/meminfo: memFree=120874416/131524600 swapFree=131071996/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 15 (SIGTERM)

Real time (s): 3610.76
CPU time (s): 3600.2
CPU user time (s): 3405.3
CPU system time (s): 194.891
CPU usage (%): 99.7075
Max. virtual memory (cumulated for all children) (KiB): 6146232
Max. memory (cumulated for all children) (KiB): 5412788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3405.3
system time used= 194.891
maximum resident set size= 5412788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1044068
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= 67
involuntary context switches= 25263


# summary of solver processes directly reported to runsolver:
#   pid: 867036
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3405.3
#   total CPU system time (s): 194.891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35387 second user time and 17.9331 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-16 21:40:28
IDJOB=4432044
IDBENCH=158230
IDSOLVER=3057
FILE ID=nodeC022/4432044-1721158815
RUNJOBID= nodeC022-1721158828-866986
SLURM_JOB_ID= 7505771
Free space on /tmp= 890012 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.G.recomb10-0.01-1.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432044-1721158815/watcher-4432044-1721158815 -o /tmp/evaluation-result-4432044-1721158815/solver-4432044-1721158815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721158828-866986 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4432044-1721158815.opb

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

MD5SUM BENCH= 7e2c106ff094e7f384cacaf96c9fd4dc
RANDOM SEED=1399225773

nodeC022.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	: 0xb00002a
cpu MHz		: 3727.890
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.66
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	: 0xb00002a
cpu MHz		: 3695.402
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.96
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	: 0xb00002a
cpu MHz		: 3645.020
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.66
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	: 0xb00002a
cpu MHz		: 3834.084
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.96
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	: 0xb00002a
cpu MHz		: 3788.476
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.66
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	: 0xb00002a
cpu MHz		: 3790.726
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.96
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	: 0xb00002a
cpu MHz		: 3657.666
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.66
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	: 0xb00002a
cpu MHz		: 3636.666
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127029500 kB
MemAvailable:   129696908 kB
Buffers:          410480 kB
Cached:          3068828 kB
SwapCached:            0 kB
Active:           735308 kB
Inactive:        3112512 kB
Active(anon):       1452 kB
Inactive(anon):   404824 kB
Active(file):     733856 kB
Inactive(file):  2707688 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            272772 kB
Writeback:             0 kB
AnonPages:        367980 kB
Mapped:           103676 kB
Shmem:             37720 kB
KReclaimable:     131020 kB
Slab:             241068 kB
SReclaimable:     131020 kB
SUnreclaim:       110048 kB
KernelStack:        3856 kB
PageTables:         9444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     722900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      240340 kB
DirectMap2M:    26796032 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 889828 MiB
End job on nodeC022 at 2024-07-16 22:40:39