Trace number 4510666

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 NameAnswerCPU timeWall clock time
SynLSCD 2025-06-01? (TO) 3600.06 3609.6

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb
MD5SUMe27638fbedede025521b1384f289f9e5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark201.671
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1001
Total number of constraints4002
Number of constraints which are clauses4002
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.02	c #vars 1001 #constraints 4002 3.998 1
0.00/0.05	c 4002 constraints
0.00/0.05	c Finish cloning data from SAT to LS
0.00/0.05	c restart_num_ls  -100000 0
20.43/20.53	c Use LS-small
20.43/20.53	restart_num  0 317
20.43/20.53	LS-restart 90 36
41.37/41.52	c Use LS-small
41.37/41.52	restart_num  317 627
41.37/41.52	LS-restart 80 92
61.83/62.09	c Use LS-small
61.83/62.09	restart_num  627 931
61.83/62.09	LS-restart 70 92
83.98/84.23	c Use LS-small
83.98/84.23	restart_num  931 1261
83.98/84.23	LS-restart 60 96
106.13/106.41	c Use LS-small
106.13/106.41	restart_num  1261 1579
106.13/106.41	LS-restart 50 62
127.29/127.63	c Use LS-small
127.29/127.63	restart_num  1579 1897
127.29/127.63	LS-restart 40 86
151.33/151.76	c Use LS-small
151.33/151.76	restart_num  1897 2209
151.33/151.76	LS-restart 30 30
172.09/172.55	c Use LS-small
172.09/172.55	restart_num  2209 2525
172.09/172.55	LS-restart 20 1
193.54/194.04	c Use LS-small
193.54/194.04	restart_num  2525 2833
193.54/194.04	LS-restart 10 99
215.40/215.96	c Use LS-small
215.40/215.96	restart_num  2833 3140
236.05/236.65	c Use LS-small
236.05/236.65	restart_num  3140 3460
257.10/257.72	c Use LS-small
257.10/257.72	restart_num  3460 3778
277.64/278.36	c Use LS-small
277.64/278.36	restart_num  3778 4089
305.86/306.67	c Use LS-small
305.86/306.67	restart_num  4089 4392
326.91/327.77	c Use LS-small
326.91/327.77	restart_num  4392 4701
347.56/348.44	c Use LS-small
347.56/348.44	restart_num  4701 5009
369.60/370.56	c Use LS-small
369.60/370.56	restart_num  5009 5321
389.95/390.94	c Use LS-small
389.95/390.94	restart_num  5321 5623
411.59/412.66	c Use LS-small
411.59/412.66	restart_num  5623 5927
435.62/436.78	c Use LS-small
435.62/436.78	restart_num  5927 6238
456.27/457.44	c Use LS-small
456.27/457.44	restart_num  6238 6552
477.22/478.43	c Use LS-small
477.22/478.43	restart_num  6552 6855
498.06/499.30	c Use LS-small
498.06/499.30	restart_num  6855 7162
520.10/521.41	c Use LS-small
520.10/521.41	restart_num  7162 7489
541.04/542.45	c Use LS-small
541.04/542.45	restart_num  7489 7799
561.59/563.07	c Use LS-small
561.59/563.07	restart_num  7799 8100
597.69/599.22	c Use LS-small
597.69/599.22	restart_num  8100 8401
619.04/620.65	c Use LS-small
619.04/620.65	restart_num  8401 8712
639.49/641.18	c Use LS-small
639.49/641.18	restart_num  8712 9015
661.83/663.54	c Use LS-small
661.83/663.54	restart_num  9015 9321
682.47/684.22	c Use LS-small
682.47/684.22	restart_num  9321 9624
703.42/705.20	c Use LS-small
703.42/705.20	restart_num  9624 9926
723.77/725.65	c Use LS-small
723.77/725.65	restart_num  9926 10228
748.00/749.98	c Use LS-small
748.00/749.98	restart_num  10228 10545
769.75/771.76	c Use LS-small
769.75/771.76	restart_num  10545 10857
790.59/792.62	c Use LS-small
790.59/792.62	restart_num  10857 11158
812.94/815.07	c Use LS-small
812.94/815.07	restart_num  11158 11467
834.39/836.53	c Use LS-small
834.39/836.53	restart_num  11467 11773
854.84/857.09	c Use LS-small
854.84/857.09	restart_num  11773 12087
883.66/886.00	c Use LS-small
883.66/886.00	restart_num  12087 12396
904.41/906.79	c Use LS-small
904.41/906.79	restart_num  12396 12700
925.66/928.05	c Use LS-small
925.66/928.05	restart_num  12700 13008
948.70/951.15	c Use LS-small
948.70/951.15	restart_num  13008 13314
969.84/972.39	c Use LS-small
969.84/972.39	restart_num  13314 13641
991.69/994.26	c Use LS-small
991.69/994.26	restart_num  13641 13943
1012.33/1014.91	c Use LS-small
1012.33/1014.91	restart_num  13943 14251
1036.07/1038.74	c Use LS-small
1036.07/1038.74	restart_num  14251 14561
1057.42/1060.11	c Use LS-small
1057.42/1060.11	restart_num  14561 14875
1077.86/1080.66	c Use LS-small
1077.86/1080.66	restart_num  14875 15176
1100.01/1102.87	c Use LS-small
1100.01/1102.87	restart_num  15176 15485
1120.44/1123.35	c Use LS-small
1120.44/1123.35	restart_num  15485 15789
1141.60/1144.53	c Use LS-small
1141.60/1144.53	restart_num  15789 16114
1194.54/1197.65	c Use LS-small
1194.54/1197.65	restart_num  16114 16437
1215.09/1218.23	c Use LS-small
1215.09/1218.23	restart_num  16437 16738
1236.24/1239.44	c Use LS-small
1236.24/1239.44	restart_num  16738 17045
1256.78/1260.09	c Use LS-small
1256.78/1260.09	restart_num  17045 17348
1278.92/1282.26	c Use LS-small
1278.92/1282.26	restart_num  17348 17649
1300.46/1303.80	c Use LS-small
1300.46/1303.80	restart_num  17649 17960
1321.11/1324.53	c Use LS-small
1321.11/1324.53	restart_num  17960 18266
1345.14/1348.69	c Use LS-small
1345.14/1348.69	restart_num  18266 18573
1365.79/1369.39	c Use LS-small
1365.79/1369.39	restart_num  18573 18879
1387.03/1390.62	c Use LS-small
1387.03/1390.62	restart_num  18879 19193
1409.38/1413.01	c Use LS-small
1409.38/1413.01	restart_num  19193 19497
1429.91/1433.69	c Use LS-small
1429.91/1433.69	restart_num  19497 19820
1451.26/1455.03	c Use LS-small
1451.26/1455.03	restart_num  19820 20131
1471.70/1475.59	c Use LS-small
1471.70/1475.59	restart_num  20131 20436
1500.22/1504.15	c Use LS-small
1500.22/1504.15	restart_num  20436 20740
1521.26/1525.22	c Use LS-small
1521.26/1525.22	restart_num  20740 21045
1541.91/1545.95	c Use LS-small
1541.91/1545.95	restart_num  21045 21350
1564.24/1568.34	c Use LS-small
1564.24/1568.34	restart_num  21350 21676
1584.90/1589.06	c Use LS-small
1584.90/1589.06	restart_num  21676 21984
1606.44/1610.60	c Use LS-small
1606.44/1610.60	restart_num  21984 22286
1630.37/1634.69	c Use LS-small
1630.37/1634.69	restart_num  22286 22591
1650.91/1655.21	c Use LS-small
1650.91/1655.21	restart_num  22591 22893
1672.15/1676.51	c Use LS-small
1672.15/1676.51	restart_num  22893 23196
1692.80/1697.25	c Use LS-small
1692.80/1697.25	restart_num  23196 23506
1715.34/1719.83	c Use LS-small
1715.34/1719.83	restart_num  23506 23833
1736.49/1741.02	c Use LS-small
1736.49/1741.02	restart_num  23833 24135
1757.13/1761.79	c Use LS-small
1757.13/1761.79	restart_num  24135 24453
1793.63/1798.35	c Use LS-small
1793.63/1798.35	restart_num  24453 24761
1814.37/1819.17	c Use LS-small
1814.37/1819.17	restart_num  24761 25080
1835.81/1840.68	c Use LS-small
1835.81/1840.68	restart_num  25080 25395
1857.95/1862.87	c Use LS-small
1857.95/1862.87	restart_num  25395 25697
1878.80/1883.78	c Use LS-small
1878.80/1883.78	restart_num  25697 26023
1900.15/1905.11	c Use LS-small
1900.15/1905.11	restart_num  26023 26344
1924.77/1929.87	c Use LS-small
1924.77/1929.87	restart_num  26344 26651
1945.32/1950.49	c Use LS-small
1945.32/1950.49	restart_num  26651 26952
1966.36/1971.53	c Use LS-small
1966.36/1971.53	restart_num  26952 27255
1987.10/1992.30	c Use LS-small
1987.10/1992.30	restart_num  27255 27567
2009.15/2014.42	c Use LS-small
2009.15/2014.42	restart_num  27567 27871
2030.69/2036.02	c Use LS-small
2030.69/2036.02	restart_num  27871 28183
2051.33/2056.71	c Use LS-small
2051.33/2056.71	restart_num  28183 28489
2079.35/2084.88	c Use LS-small
2079.35/2084.88	restart_num  28489 28793
2100.10/2105.68	c Use LS-small
2100.10/2105.68	restart_num  28793 29104
2121.24/2126.80	c Use LS-small
2121.24/2126.80	restart_num  29104 29416
2143.88/2149.54	c Use LS-small
2143.88/2149.54	restart_num  29416 29743
2164.72/2170.49	c Use LS-small
2164.72/2170.49	restart_num  29743 30047
2185.87/2191.65	c Use LS-small
2185.87/2191.65	restart_num  30047 30349
2206.42/2212.23	c Use LS-small
2206.42/2212.23	restart_num  30349 30651
2230.55/2236.41	c Use LS-small
2230.55/2236.41	restart_num  30651 30956
2252.10/2258.03	c Use LS-small
2252.10/2258.03	restart_num  30956 31262
2272.64/2278.66	c Use LS-small
2272.64/2278.66	restart_num  31262 31570
2294.98/2301.05	c Use LS-small
2294.98/2301.05	restart_num  31570 31875
2315.52/2321.61	c Use LS-small
2315.52/2321.61	restart_num  31875 32182
2336.57/2342.77	c Use LS-small
2336.57/2342.77	restart_num  32182 32492
2422.32/2428.76	c Use LS-small
2422.32/2428.76	restart_num  32492 32820
2442.96/2449.49	c Use LS-small
2442.96/2449.49	restart_num  32820 33130
2464.30/2470.86	c Use LS-small
2464.30/2470.86	restart_num  33130 33445
2485.04/2491.61	c Use LS-small
2485.04/2491.61	restart_num  33445 33753
2507.49/2514.15	c Use LS-small
2507.49/2514.15	restart_num  33753 34054
2528.62/2535.38	c Use LS-small
2528.62/2535.38	restart_num  34054 34370
2549.17/2555.98	c Use LS-small
2549.17/2555.98	restart_num  34370 34671
2573.50/2580.39	c Use LS-small
2573.50/2580.39	restart_num  34671 34995
2594.35/2601.21	c Use LS-small
2594.35/2601.21	restart_num  34995 35304
2615.99/2622.90	c Use LS-small
2615.99/2622.90	restart_num  35304 35624
2638.13/2645.13	c Use LS-small
2638.13/2645.13	restart_num  35624 35929
2658.78/2665.89	c Use LS-small
2658.78/2665.89	restart_num  35929 36238
2679.92/2687.05	c Use LS-small
2679.92/2687.05	restart_num  36238 36550
2700.46/2707.63	c Use LS-small
2700.46/2707.63	restart_num  36550 36854
2729.08/2736.39	c Use LS-small
2729.08/2736.39	restart_num  36854 37172
2750.33/2757.60	c Use LS-small
2750.33/2757.60	restart_num  37172 37487
2770.98/2778.38	c Use LS-small
2770.98/2778.38	restart_num  37487 37798
2793.01/2800.49	c Use LS-small
2793.01/2800.49	restart_num  37798 38104
2814.36/2821.89	c Use LS-small
2814.36/2821.89	restart_num  38104 38409
2834.90/2842.49	c Use LS-small
2834.90/2842.49	restart_num  38409 38710
2859.14/2866.72	c Use LS-small
2859.14/2866.72	restart_num  38710 39022
2879.78/2887.49	c Use LS-small
2879.78/2887.49	restart_num  39022 39325
2900.92/2908.69	c Use LS-small
2900.92/2908.69	restart_num  39325 39638
2923.47/2931.22	c Use LS-small
2923.47/2931.22	restart_num  39638 39950
2944.01/2951.80	c Use LS-small
2944.01/2951.80	restart_num  39950 40257
2964.95/2972.83	c Use LS-small
2964.95/2972.83	restart_num  40257 40558
2985.69/2993.65	c Use LS-small
2985.69/2993.65	restart_num  40558 40865
3022.10/3030.16	c Use LS-small
3022.10/3030.16	restart_num  40865 41166
3043.64/3051.77	c Use LS-small
3043.64/3051.77	restart_num  41166 41474
3064.19/3072.37	c Use LS-small
3064.19/3072.37	restart_num  41474 41779
3086.42/3094.60	c Use LS-small
3086.42/3094.60	restart_num  41779 42085
3107.27/3115.57	c Use LS-small
3107.27/3115.57	restart_num  42085 42394
3128.41/3136.71	c Use LS-small
3128.41/3136.71	restart_num  42394 42706
3152.94/3161.30	c Use LS-small
3152.94/3161.30	restart_num  42706 43038
3173.49/3181.93	c Use LS-small
3173.49/3181.93	restart_num  43038 43339
3194.64/3203.12	c Use LS-small
3194.64/3203.12	restart_num  43339 43640
3215.38/3223.92	c Use LS-small
3215.38/3223.92	restart_num  43640 43946
3237.53/3246.17	c Use LS-small
3237.53/3246.17	restart_num  43946 44248
3258.96/3267.62	c Use LS-small
3258.96/3267.62	restart_num  44248 44555
3279.51/3288.26	c Use LS-small
3279.51/3288.26	restart_num  44555 44861
3307.63/3316.47	c Use LS-small
3307.63/3316.47	restart_num  44861 45175
3328.38/3337.23	c Use LS-small
3328.38/3337.23	restart_num  45175 45479
3349.52/3358.43	c Use LS-small
3349.52/3358.43	restart_num  45479 45791
3371.96/3380.94	c Use LS-small
3371.96/3380.94	restart_num  45791 46100
3392.61/3401.69	c Use LS-small
3392.61/3401.69	restart_num  46100 46410
3413.85/3423.00	c Use LS-small
3413.85/3423.00	restart_num  46410 46728
3434.50/3443.65	c Use LS-small
3434.50/3443.65	restart_num  46728 47031
3458.73/3467.92	c Use LS-small
3458.73/3467.92	restart_num  47031 47351
3480.17/3489.48	c Use LS-small
3480.17/3489.48	restart_num  47351 47655
3500.82/3510.11	c Use LS-small
3500.82/3510.11	restart_num  47655 47956
3523.16/3532.54	c Use LS-small
3523.16/3532.54	restart_num  47956 48271
3543.71/3553.18	c Use LS-small
3543.71/3553.18	restart_num  48271 48576
3565.34/3574.81	c Use LS-small
3565.34/3574.81	restart_num  48576 48898
3600.05/3609.60	c Use LS-small
3600.05/3609.60	c Program interrupted by user.
3600.05/3609.60	s UNKNOWN

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: 63708 MiB (62302 MiB free)
  memory of node 1: 64465 MiB (63724 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510666-1751197437/watcher-4510666-1751197437 -o /tmp/evaluation-result-4510666-1751197437/solver-4510666-1751197437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751193826-31849 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510666-1751197437.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=32229, runsolver pid=32226
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.13 4.12 4.06 5/264 32230
/proc/meminfo: memFree=129036348/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=93124 memory=20356 CPUtime=0.09 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 3143 0 0 0 8 1 0 0 20 0 1 0 35422491 95358976 5089 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 23281 5089 2464 595 0 7948 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20356 KiB

[startup+0.205295 s]*
/proc/loadavg: 4.13 4.12 4.06 4/262 32230
/proc/meminfo: memFree=129044540/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=93124 memory=20356 CPUtime=0.19 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 3143 0 0 0 17 2 0 0 20 0 1 0 35422491 95358976 5089 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 23281 5089 2464 595 0 7948 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20356 KiB

[startup+0.30461 s]*
/proc/loadavg: 4.13 4.12 4.06 4/262 32234
/proc/meminfo: memFree=129044636/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=93124 memory=20356 CPUtime=0.29 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 3143 0 0 0 26 3 0 0 20 0 1 0 35422491 95358976 5089 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 23281 5089 2464 595 0 7948 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20356 KiB

[startup+0.700121 s]
/proc/loadavg: 4.13 4.12 4.06 4/260 32238
/proc/meminfo: memFree=129043344/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=93124 memory=20356 CPUtime=0.68 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 3143 0 0 0 63 5 0 0 20 0 1 0 35422491 95358976 5089 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 23281 5089 2464 595 0 7948 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20356 KiB

[startup+1.50014 s]
/proc/loadavg: 4.12 4.12 4.06 4/260 32266
/proc/meminfo: memFree=129062044/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=93124 memory=20356 CPUtime=1.48 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 3143 0 0 0 136 12 0 0 20 0 1 0 35422491 95358976 5089 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 23281 5089 2464 595 0 7948 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20356 KiB

[startup+3.10452 s]
/proc/loadavg: 4.12 4.12 4.06 5/264 32320
/proc/meminfo: memFree=129065212/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=93124 memory=20356 CPUtime=3.08 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 3143 0 0 0 283 25 0 0 20 0 1 0 35422491 95358976 5089 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 23281 5089 2464 595 0 7948 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20356 KiB

[startup+6.30012 s]
/proc/loadavg: 4.12 4.12 4.06 5/264 32320
/proc/meminfo: memFree=129065588/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=93124 memory=20356 CPUtime=6.27 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 3143 0 0 0 579 48 0 0 20 0 1 0 35422491 95358976 5089 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 23281 5089 2464 595 0 7948 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20356 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.06 5/264 32320
/proc/meminfo: memFree=129065856/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=93124 memory=20356 CPUtime=12.65 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 3143 0 0 0 1172 93 0 0 20 0 1 0 35422491 95358976 5089 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 23281 5089 2464 595 0 7948 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20356 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 4.11 4.06 6/264 32410
/proc/meminfo: memFree=129023120/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=95972 memory=25800 CPUtime=25.42 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 3977 0 0 0 2364 178 0 0 20 0 1 0 35422491 98275328 6450 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 23993 6450 2496 595 0 8660 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 95972 KiB
Current children cumulated memory: 25800 KiB

[startup+51.1048 s]
/proc/loadavg: 4.20 4.13 4.06 5/264 32411
/proc/meminfo: memFree=128954808/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=97164 memory=27208 CPUtime=50.95 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 4295 0 0 0 4744 351 0 0 20 0 1 0 35422491 99495936 6802 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 24291 6802 2496 595 0 8958 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 97164 KiB
Current children cumulated memory: 27208 KiB

[startup+102.3 s]
/proc/loadavg: 4.30 4.18 4.09 5/264 32460
/proc/meminfo: memFree=128918380/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=98980 memory=29000 CPUtime=102.04 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 4737 0 0 0 9496 708 0 0 20 0 1 0 35422491 101355520 7250 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 24745 7250 2496 595 0 9412 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 98980 KiB
Current children cumulated memory: 29000 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.18 4.09 5/267 32603
/proc/meminfo: memFree=128921924/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=101056 memory=31048 CPUtime=161.91 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 5268 0 0 0 15102 1089 0 0 20 0 1 0 35422491 103481344 7762 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 25264 7762 2496 595 0 9931 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 101056 KiB
Current children cumulated memory: 31048 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/266 32605
/proc/meminfo: memFree=128905456/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=102084 memory=32072 CPUtime=221.79 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 5531 0 0 0 20692 1487 0 0 20 0 1 0 35422491 104534016 8018 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 25521 8018 2496 595 0 10188 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 102084 KiB
Current children cumulated memory: 32072 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/266 32651
/proc/meminfo: memFree=128944152/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=102728 memory=32712 CPUtime=281.63 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 5692 0 0 0 26263 1900 0 0 20 0 1 0 35422491 105193472 8178 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 25682 8178 2496 595 0 10349 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 102728 KiB
Current children cumulated memory: 32712 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/266 32653
/proc/meminfo: memFree=128935904/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=104144 memory=34120 CPUtime=341.47 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 6055 0 0 0 31880 2267 0 0 20 0 1 0 35422491 106643456 8530 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 26036 8530 2496 595 0 10703 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 104144 KiB
Current children cumulated memory: 34120 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/265 32655
/proc/meminfo: memFree=128915872/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=104584 memory=34632 CPUtime=401.31 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 6165 0 0 0 37456 2675 0 0 20 0 1 0 35422491 107094016 8658 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 26146 8658 2496 595 0 10813 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 104584 KiB
Current children cumulated memory: 34632 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/262 32658
/proc/meminfo: memFree=128916680/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=105256 memory=35272 CPUtime=461.16 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 6333 0 0 0 43053 3063 0 0 20 0 1 0 35422491 107782144 8818 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 26314 8818 2496 595 0 10981 0
Current children cumulated CPU time: 461.16 s

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

Current children cumulated memory: 45896 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/263 33186
/proc/meminfo: memFree=128845192/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=115900 memory=45896 CPUtime=2854.75 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9074 0 0 0 267293 18182 0 0 20 0 1 0 35422491 118681600 11474 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 28975 11474 2496 595 0 13642 0
Current children cumulated CPU time: 2854.75 s
Current children cumulated vsize: 115900 KiB
Current children cumulated memory: 45896 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/262 33187
/proc/meminfo: memFree=128846156/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=115900 memory=46024 CPUtime=2914.59 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9082 0 0 0 272876 18583 0 0 20 0 1 0 35422491 118681600 11506 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 28975 11506 2496 595 0 13642 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 115900 KiB
Current children cumulated memory: 46024 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 33190
/proc/meminfo: memFree=128846284/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116044 memory=46152 CPUtime=2974.42 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9122 0 0 0 278466 18976 0 0 20 0 1 0 35422491 118829056 11538 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29011 11538 2496 595 0 13678 0
Current children cumulated CPU time: 2974.42 s
Current children cumulated vsize: 116044 KiB
Current children cumulated memory: 46152 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 33192
/proc/meminfo: memFree=128845144/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116332 memory=46408 CPUtime=3034.26 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9178 0 0 0 284127 19299 0 0 20 0 1 0 35422491 119123968 11602 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29083 11602 2496 595 0 13750 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 46408 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 33194
/proc/meminfo: memFree=128841708/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116332 memory=46408 CPUtime=3094.1 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9203 0 0 0 289708 19702 0 0 20 0 1 0 35422491 119123968 11602 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29083 11602 2496 595 0 13750 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 46408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 33196
/proc/meminfo: memFree=128845216/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116332 memory=46408 CPUtime=3153.94 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9215 0 0 0 295309 20085 0 0 20 0 1 0 35422491 119123968 11602 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29083 11602 2496 595 0 13750 0
Current children cumulated CPU time: 3153.94 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 46408 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/264 33201
/proc/meminfo: memFree=128841308/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116332 memory=46408 CPUtime=3213.78 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9215 0 0 0 300871 20507 0 0 20 0 1 0 35422491 119123968 11602 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29083 11602 2496 595 0 13750 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 46408 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 33207
/proc/meminfo: memFree=128845268/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116332 memory=46536 CPUtime=3273.62 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9223 0 0 0 306445 20917 0 0 20 0 1 0 35422491 119123968 11634 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29083 11634 2496 595 0 13750 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 46536 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 33210
/proc/meminfo: memFree=128841112/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116652 memory=46664 CPUtime=3333.46 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9271 0 0 0 312067 21279 0 0 20 0 1 0 35422491 119451648 11666 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29163 11666 2496 595 0 13830 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 46664 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 33212
/proc/meminfo: memFree=128842204/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116652 memory=46792 CPUtime=3393.31 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9300 0 0 0 317650 21681 0 0 20 0 1 0 35422491 119451648 11698 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29163 11698 2496 595 0 13830 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 46792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 33214
/proc/meminfo: memFree=128841060/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116652 memory=46792 CPUtime=3453.15 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9300 0 0 0 323192 22123 0 0 20 0 1 0 35422491 119451648 11698 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29163 11698 2496 595 0 13830 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 46792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 33216
/proc/meminfo: memFree=128838324/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116652 memory=46792 CPUtime=3512.99 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9300 0 0 0 328786 22513 0 0 20 0 1 0 35422491 119451648 11698 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29163 11698 2496 595 0 13830 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 46792 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 33218
/proc/meminfo: memFree=128839824/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=116896 memory=46920 CPUtime=3572.82 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9332 0 0 0 334374 22908 0 0 20 0 1 0 35422491 119701504 11730 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29224 11730 2496 595 0 13891 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 116896 KiB
Current children cumulated memory: 46920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 33219
/proc/meminfo: memFree=128839704/131249992 swapFree=33010684/33010684
[pid=32229] ppid=32226 vsize=117168 memory=47304 CPUtime=3600.05 cores=0,2
/proc/32229/stat : 32229 (SynLSCD) R 32226 32229 31839 0 -1 4194304 9420 0 0 0 337005 23000 0 0 20 0 1 0 35422491 119980032 11826 18446744073709551615 94658093596672 94658096030825 140721319638688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94658096512248 94658096545280 94658124619776 140721319647590 140721319647723 140721319647723 140721319653325 0
/proc/32229/statm: 29292 11826 2496 595 0 13959 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 117168 KiB
Current children cumulated memory: 47304 KiB

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

[startup+3609.6 s]
# the end of solver process 32229 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3370.05 s, system=230.007 s

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

Child status: 0

Real time (s): 3609.6
CPU time (s): 3600.06
CPU user time (s): 3370.05
CPU system time (s): 230.007
CPU usage (%): 99.7357
Max. virtual memory (cumulated for all children) (KiB): 117168
Max. memory (cumulated for all children) (KiB): 47304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3370.05
system time used= 230.007
maximum resident set size= 47688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9454
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= 142
involuntary context switches= 4624


# summary of solver processes directly reported to runsolver:
#   pid: 32229
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3370.05
#   total CPU system time (s): 230.007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48381 second user time and 14.7418 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-29 13:43:57
IDJOB=4510666
IDBENCH=160381
IDSOLVER=3369
FILE ID=nodeC025/4510666-1751197437
RUNJOBID= nodeC025-1751193826-31849
SLURM_JOB_ID= 9587592
Free space on /tmp= 433052 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510666-1751197437/watcher-4510666-1751197437 -o /tmp/evaluation-result-4510666-1751197437/solver-4510666-1751197437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751193826-31849 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510666-1751197437.opb

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

MD5SUM BENCH= e27638fbedede025521b1384f289f9e5
RANDOM SEED=957990741

nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.214
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3599.836
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3599.809
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3558.455
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3599.834
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3599.569
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3596.012
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3599.795
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129054000 kB
MemAvailable:   129749320 kB
Buffers:            3280 kB
Cached:          1496856 kB
SwapCached:            0 kB
Active:           419412 kB
Inactive:        1224176 kB
Active(anon):     161536 kB
Inactive(anon):        0 kB
Active(file):     257876 kB
Inactive(file):  1224176 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7328 kB
Writeback:             0 kB
AnonPages:        146596 kB
Mapped:           114288 kB
Shmem:             18084 kB
KReclaimable:     105012 kB
Slab:             192892 kB
SReclaimable:     105012 kB
SUnreclaim:        87880 kB
KernelStack:        4288 kB
PageTables:         3480 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     519336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC025 at 2025-06-29 14:44:07