Trace number 4545822

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-07-23? (TO) 3600.06 3609.01

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.02	c intsize: 3
0.00/0.06	c 4002 constraints
0.00/0.06	c Finish cloning data from SAT to LS
0.00/0.06	c restart_num_ls  -100000 0
20.52/20.63	c Use LS-small
20.52/20.63	restart_num  0 317
20.52/20.63	c LS-restart 90 36
41.57/41.70	c Use LS-small
41.57/41.70	restart_num  317 627
41.57/41.70	c LS-restart 80 92
62.33/62.54	c Use LS-small
62.33/62.54	restart_num  627 931
62.33/62.54	c LS-restart 70 92
84.47/84.78	c Use LS-small
84.47/84.78	restart_num  931 1261
84.47/84.78	c LS-restart 60 96
106.02/106.36	c Use LS-small
106.02/106.36	restart_num  1261 1579
106.02/106.36	c LS-restart 50 62
126.87/127.20	c Use LS-small
126.87/127.20	restart_num  1579 1897
126.87/127.20	c LS-restart 40 86
151.12/151.59	c Use LS-small
151.12/151.59	restart_num  1897 2209
151.12/151.59	c LS-restart 30 30
171.96/172.45	c Use LS-small
171.96/172.45	restart_num  2209 2525
171.96/172.45	c LS-restart 20 1
193.62/194.16	c Use LS-small
193.62/194.16	restart_num  2525 2833
193.62/194.16	c LS-restart 10 99
215.86/216.42	c Use LS-small
215.86/216.42	restart_num  2833 3140
236.71/237.32	c Use LS-small
236.71/237.32	restart_num  3140 3460
258.06/258.71	c Use LS-small
258.06/258.71	restart_num  3460 3778
278.91/279.64	c Use LS-small
278.91/279.64	restart_num  3778 4089
307.44/308.24	c Use LS-small
307.44/308.24	restart_num  4089 4392
328.80/329.61	c Use LS-small
328.80/329.61	restart_num  4392 4701
349.65/350.57	c Use LS-small
349.65/350.57	restart_num  4701 5009
371.80/372.76	c Use LS-small
371.80/372.76	restart_num  5009 5321
392.45/393.46	c Use LS-small
392.45/393.46	restart_num  5321 5623
414.11/415.15	c Use LS-small
414.11/415.15	restart_num  5623 5927
438.55/439.63	c Use LS-small
438.55/439.63	restart_num  5927 6238
459.50/460.61	c Use LS-small
459.50/460.61	restart_num  6238 6552
480.75/481.92	c Use LS-small
480.75/481.92	restart_num  6552 6855
501.80/503.09	c Use LS-small
501.80/503.09	restart_num  6855 7162
524.25/525.54	c Use LS-small
524.25/525.54	restart_num  7162 7489
545.49/546.80	c Use LS-small
545.49/546.80	restart_num  7489 7799
566.34/567.72	c Use LS-small
566.34/567.72	restart_num  7799 8100
602.66/604.14	c Use LS-small
602.66/604.14	restart_num  8100 8401
624.30/625.81	c Use LS-small
624.30/625.81	restart_num  8401 8712
644.75/646.39	c Use LS-small
644.75/646.39	restart_num  8712 9015
666.89/668.55	c Use LS-small
666.89/668.55	restart_num  9015 9321
687.65/689.38	c Use LS-small
687.65/689.38	restart_num  9321 9624
708.70/710.44	c Use LS-small
708.70/710.44	restart_num  9624 9926
729.25/731.04	c Use LS-small
729.25/731.04	restart_num  9926 10228
753.69/755.52	c Use LS-small
753.69/755.52	restart_num  10228 10545
774.84/776.70	c Use LS-small
774.84/776.70	restart_num  10545 10857
795.59/797.56	c Use LS-small
795.59/797.56	restart_num  10857 11158
817.73/819.73	c Use LS-small
817.73/819.73	restart_num  11158 11467
839.28/841.32	c Use LS-small
839.28/841.32	restart_num  11467 11773
859.83/861.94	c Use LS-small
859.83/861.94	restart_num  11773 12087
888.07/890.25	c Use LS-small
888.07/890.25	restart_num  12087 12396
909.02/911.20	c Use LS-small
909.02/911.20	restart_num  12396 12700
930.07/932.39	c Use LS-small
930.07/932.39	restart_num  12700 13008
952.72/955.05	c Use LS-small
952.72/955.05	restart_num  13008 13314
973.47/975.88	c Use LS-small
973.47/975.88	restart_num  13314 13641
994.52/996.99	c Use LS-small
994.52/996.99	restart_num  13641 13943
1015.36/1017.86	c Use LS-small
1015.36/1017.86	restart_num  13943 14251
1039.41/1041.90	c Use LS-small
1039.41/1041.90	restart_num  14251 14561
1060.86/1063.48	c Use LS-small
1060.86/1063.48	restart_num  14561 14875
1081.61/1084.22	c Use LS-small
1081.61/1084.22	restart_num  14875 15176
1104.05/1106.71	c Use LS-small
1104.05/1106.71	restart_num  15176 15485
1124.70/1127.46	c Use LS-small
1124.70/1127.46	restart_num  15485 15789
1146.16/1148.91	c Use LS-small
1146.16/1148.91	restart_num  15789 16114
1199.52/1202.45	c Use LS-small
1199.52/1202.45	restart_num  16114 16437
1220.17/1223.14	c Use LS-small
1220.17/1223.14	restart_num  16437 16738
1241.43/1244.49	c Use LS-small
1241.43/1244.49	restart_num  16738 17045
1262.17/1265.24	c Use LS-small
1262.17/1265.24	restart_num  17045 17348
1284.32/1287.49	c Use LS-small
1284.32/1287.49	restart_num  17348 17649
1305.87/1309.06	c Use LS-small
1305.87/1309.06	restart_num  17649 17960
1326.62/1329.84	c Use LS-small
1326.62/1329.84	restart_num  17960 18266
1350.87/1354.18	c Use LS-small
1350.87/1354.18	restart_num  18266 18573
1371.61/1374.93	c Use LS-small
1371.61/1374.93	restart_num  18573 18879
1392.86/1396.21	c Use LS-small
1392.86/1396.21	restart_num  18879 19193
1415.21/1418.68	c Use LS-small
1415.21/1418.68	restart_num  19193 19497
1435.96/1439.43	c Use LS-small
1435.96/1439.43	restart_num  19497 19820
1457.31/1460.86	c Use LS-small
1457.31/1460.86	restart_num  19820 20131
1477.96/1481.50	c Use LS-small
1477.96/1481.50	restart_num  20131 20436
1506.50/1510.18	c Use LS-small
1506.50/1510.18	restart_num  20436 20740
1527.64/1531.37	c Use LS-small
1527.64/1531.37	restart_num  20740 21045
1548.39/1552.13	c Use LS-small
1548.39/1552.13	restart_num  21045 21350
1570.74/1574.57	c Use LS-small
1570.74/1574.57	restart_num  21350 21676
1591.50/1595.33	c Use LS-small
1591.50/1595.33	restart_num  21676 21984
1613.04/1616.96	c Use LS-small
1613.04/1616.96	restart_num  21984 22286
1637.19/1641.13	c Use LS-small
1637.19/1641.13	restart_num  22286 22591
1657.73/1661.75	c Use LS-small
1657.73/1661.75	restart_num  22591 22893
1679.09/1683.13	c Use LS-small
1679.09/1683.13	restart_num  22893 23196
1699.95/1704.05	c Use LS-small
1699.95/1704.05	restart_num  23196 23506
1722.58/1726.72	c Use LS-small
1722.58/1726.72	restart_num  23506 23833
1743.73/1747.99	c Use LS-small
1743.73/1747.99	restart_num  23833 24135
1764.59/1768.86	c Use LS-small
1764.59/1768.86	restart_num  24135 24453
1801.19/1805.56	c Use LS-small
1801.19/1805.56	restart_num  24453 24761
1822.04/1826.48	c Use LS-small
1822.04/1826.48	restart_num  24761 25080
1843.60/1848.08	c Use LS-small
1843.60/1848.08	restart_num  25080 25395
1865.84/1870.32	c Use LS-small
1865.84/1870.32	restart_num  25395 25697
1886.78/1891.33	c Use LS-small
1886.78/1891.33	restart_num  25697 26023
1908.14/1912.75	c Use LS-small
1908.14/1912.75	restart_num  26023 26344
1932.98/1937.60	c Use LS-small
1932.98/1937.60	restart_num  26344 26651
1953.63/1958.31	c Use LS-small
1953.63/1958.31	restart_num  26651 26952
1974.68/1979.44	c Use LS-small
1974.68/1979.44	restart_num  26952 27255
1995.43/2000.27	c Use LS-small
1995.43/2000.27	restart_num  27255 27567
2017.58/2022.45	c Use LS-small
2017.58/2022.45	restart_num  27567 27871
2039.24/2044.15	c Use LS-small
2039.24/2044.15	restart_num  27871 28183
2059.97/2064.93	c Use LS-small
2059.97/2064.93	restart_num  28183 28489
2088.12/2093.17	c Use LS-small
2088.12/2093.17	restart_num  28489 28793
2108.98/2114.02	c Use LS-small
2108.98/2114.02	restart_num  28793 29104
2130.12/2135.20	c Use LS-small
2130.12/2135.20	restart_num  29104 29416
2152.77/2157.95	c Use LS-small
2152.77/2157.95	restart_num  29416 29743
2173.42/2178.61	c Use LS-small
2173.42/2178.61	restart_num  29743 30047
2194.57/2199.86	c Use LS-small
2194.57/2199.86	restart_num  30047 30349
2215.22/2220.53	c Use LS-small
2215.22/2220.53	restart_num  30349 30651
2239.46/2244.83	c Use LS-small
2239.46/2244.83	restart_num  30651 30956
2261.11/2266.53	c Use LS-small
2261.11/2266.53	restart_num  30956 31262
2281.76/2287.25	c Use LS-small
2281.76/2287.25	restart_num  31262 31570
2304.21/2309.75	c Use LS-small
2304.21/2309.75	restart_num  31570 31875
2324.76/2330.39	c Use LS-small
2324.76/2330.39	restart_num  31875 32182
2346.01/2351.65	c Use LS-small
2346.01/2351.65	restart_num  32182 32492
2432.29/2438.11	c Use LS-small
2432.29/2438.11	restart_num  32492 32820
2453.04/2458.90	c Use LS-small
2453.04/2458.90	restart_num  32820 33130
2474.39/2480.37	c Use LS-small
2474.39/2480.37	restart_num  33130 33445
2495.14/2501.18	c Use LS-small
2495.14/2501.18	restart_num  33445 33753
2517.78/2523.82	c Use LS-small
2517.78/2523.82	restart_num  33753 34054
2539.04/2545.14	c Use LS-small
2539.04/2545.14	restart_num  34054 34370
2559.69/2565.84	c Use LS-small
2559.69/2565.84	restart_num  34370 34671
2584.13/2590.35	c Use LS-small
2584.13/2590.35	restart_num  34671 34995
2604.98/2611.26	c Use LS-small
2604.98/2611.26	restart_num  34995 35304
2626.73/2633.03	c Use LS-small
2626.73/2633.03	restart_num  35304 35624
2649.07/2655.43	c Use LS-small
2649.07/2655.43	restart_num  35624 35929
2669.72/2676.17	c Use LS-small
2669.72/2676.17	restart_num  35929 36238
2690.78/2697.26	c Use LS-small
2690.78/2697.26	restart_num  36238 36550
2711.33/2717.82	c Use LS-small
2711.33/2717.82	restart_num  36550 36854
2740.06/2746.61	c Use LS-small
2740.06/2746.61	restart_num  36854 37172
2761.11/2767.78	c Use LS-small
2761.11/2767.78	restart_num  37172 37487
2781.86/2788.52	c Use LS-small
2781.86/2788.52	restart_num  37487 37798
2803.81/2810.59	c Use LS-small
2803.81/2810.59	restart_num  37798 38104
2825.27/2832.07	c Use LS-small
2825.27/2832.07	restart_num  38104 38409
2845.91/2852.70	c Use LS-small
2845.91/2852.70	restart_num  38409 38710
2870.05/2876.90	c Use LS-small
2870.05/2876.90	restart_num  38710 39022
2890.70/2897.67	c Use LS-small
2890.70/2897.67	restart_num  39022 39325
2911.96/2918.93	c Use LS-small
2911.96/2918.93	restart_num  39325 39638
2934.51/2941.50	c Use LS-small
2934.51/2941.50	restart_num  39638 39950
2954.96/2962.06	c Use LS-small
2954.96/2962.06	restart_num  39950 40257
2975.91/2983.07	c Use LS-small
2975.91/2983.07	restart_num  40257 40558
2996.73/3003.99	c Use LS-small
2996.73/3003.99	restart_num  40558 40865
3033.21/3040.59	c Use LS-small
3033.21/3040.59	restart_num  40865 41166
3054.85/3062.22	c Use LS-small
3054.85/3062.22	restart_num  41166 41474
3075.38/3082.82	c Use LS-small
3075.38/3082.82	restart_num  41474 41779
3097.52/3105.05	c Use LS-small
3097.52/3105.05	restart_num  41779 42085
3118.46/3126.04	c Use LS-small
3118.46/3126.04	restart_num  42085 42394
3139.58/3147.22	c Use LS-small
3139.58/3147.22	restart_num  42394 42706
3164.11/3171.84	c Use LS-small
3164.11/3171.84	restart_num  42706 43038
3184.64/3192.47	c Use LS-small
3184.64/3192.47	restart_num  43038 43339
3205.78/3213.66	c Use LS-small
3205.78/3213.66	restart_num  43339 43640
3226.53/3234.46	c Use LS-small
3226.53/3234.46	restart_num  43640 43946
3248.75/3256.76	c Use LS-small
3248.75/3256.76	restart_num  43946 44248
3270.19/3278.23	c Use LS-small
3270.19/3278.23	restart_num  44248 44555
3290.83/3298.90	c Use LS-small
3290.83/3298.90	restart_num  44555 44861
3318.95/3327.15	c Use LS-small
3318.95/3327.15	restart_num  44861 45175
3339.68/3347.95	c Use LS-small
3339.68/3347.95	restart_num  45175 45479
3360.82/3369.19	c Use LS-small
3360.82/3369.19	restart_num  45479 45791
3383.35/3391.79	c Use LS-small
3383.35/3391.79	restart_num  45791 46100
3404.09/3412.57	c Use LS-small
3404.09/3412.57	restart_num  46100 46410
3425.34/3433.85	c Use LS-small
3425.34/3433.85	restart_num  46410 46728
3445.87/3454.50	c Use LS-small
3445.87/3454.50	restart_num  46728 47031
3470.20/3478.80	c Use LS-small
3470.20/3478.80	restart_num  47031 47351
3491.63/3500.38	c Use LS-small
3491.63/3500.38	restart_num  47351 47655
3512.28/3521.05	c Use LS-small
3512.28/3521.05	restart_num  47655 47956
3534.71/3543.50	c Use LS-small
3534.71/3543.50	restart_num  47956 48271
3555.25/3564.19	c Use LS-small
3555.25/3564.19	restart_num  48271 48576
3576.90/3585.82	c Use LS-small
3576.90/3585.82	restart_num  48576 48898
3600.05/3609.00	c Use LS-small
3600.05/3609.00	c Program interrupted by user.
3600.05/3609.00	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: 63665 MiB (60957 MiB free)
  memory of node 1: 64507 MiB (62822 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545822-1753260673/watcher-4545822-1753260673 -o /tmp/evaluation-result-4545822-1753260673/solver-4545822-1753260673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753259701-172182 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545822-1753260673.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=172772, runsolver pid=172769
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.17 4.02 2.75 5/263 172773
/proc/meminfo: memFree=126749536/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=93124 memory=20444 CPUtime=0.09 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 3138 0 0 0 8 1 0 0 20 0 1 0 241746178 95358976 5111 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 23281 5111 2496 595 0 7948 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20444 KiB

[startup+0.205437 s]*
/proc/loadavg: 4.17 4.02 2.75 5/263 172773
/proc/meminfo: memFree=126749536/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=93124 memory=20444 CPUtime=0.19 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 3138 0 0 0 17 2 0 0 20 0 1 0 241746178 95358976 5111 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 23281 5111 2496 595 0 7948 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20444 KiB

[startup+0.305405 s]*
/proc/loadavg: 4.17 4.02 2.75 5/263 172773
/proc/meminfo: memFree=126749536/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=93124 memory=20444 CPUtime=0.28 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 3138 0 0 0 26 2 0 0 20 0 1 0 241746178 95358976 5111 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 23281 5111 2496 595 0 7948 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20444 KiB

[startup+0.700175 s]
/proc/loadavg: 4.17 4.02 2.75 5/263 172773
/proc/meminfo: memFree=126749536/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=93124 memory=20444 CPUtime=0.67 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 3138 0 0 0 62 5 0 0 20 0 1 0 241746178 95358976 5111 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 23281 5111 2496 595 0 7948 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20444 KiB

[startup+1.50016 s]
/proc/loadavg: 4.17 4.02 2.75 5/263 172773
/proc/meminfo: memFree=126749536/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=93124 memory=20444 CPUtime=1.47 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 3138 0 0 0 136 11 0 0 20 0 1 0 241746178 95358976 5111 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 23281 5111 2496 595 0 7948 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20444 KiB

[startup+3.10525 s]
/proc/loadavg: 4.15 4.02 2.76 5/263 172773
/proc/meminfo: memFree=126749788/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=93124 memory=20444 CPUtime=3.07 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 3138 0 0 0 285 22 0 0 20 0 1 0 241746178 95358976 5111 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 23281 5111 2496 595 0 7948 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20444 KiB

[startup+6.30013 s]
/proc/loadavg: 4.15 4.02 2.76 5/263 172773
/proc/meminfo: memFree=126750048/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=93124 memory=20444 CPUtime=6.26 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 3138 0 0 0 581 45 0 0 20 0 1 0 241746178 95358976 5111 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 23281 5111 2496 595 0 7948 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20444 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.02 2.77 5/263 172773
/proc/meminfo: memFree=126750048/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=93124 memory=20444 CPUtime=12.64 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 3138 0 0 0 1168 96 0 0 20 0 1 0 241746178 95358976 5111 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 23281 5111 2496 595 0 7948 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 20444 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.02 2.79 5/263 172773
/proc/meminfo: memFree=126742488/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=95972 memory=25928 CPUtime=25.42 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 3972 0 0 0 2368 174 0 0 20 0 1 0 241746178 98275328 6482 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 23993 6482 2528 595 0 8660 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 95972 KiB
Current children cumulated memory: 25928 KiB

[startup+51.1052 s]
/proc/loadavg: 4.14 4.03 2.83 5/262 172774
/proc/meminfo: memFree=126736692/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=97164 memory=27208 CPUtime=50.96 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 4286 0 0 0 4741 355 0 0 20 0 1 0 241746178 99495936 6802 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 24291 6802 2528 595 0 8958 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 97164 KiB
Current children cumulated memory: 27208 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.04 2.90 5/263 172777
/proc/meminfo: memFree=126724452/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=98980 memory=29000 CPUtime=102.03 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 4728 0 0 0 9486 717 0 0 20 0 1 0 241746178 101355520 7250 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 24745 7250 2528 595 0 9412 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 98980 KiB
Current children cumulated memory: 29000 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.06 2.98 5/263 172778
/proc/meminfo: memFree=126733476/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=101056 memory=31048 CPUtime=161.89 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 5254 0 0 0 15091 1098 0 0 20 0 1 0 241746178 103481344 7762 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 25264 7762 2528 595 0 9931 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 101056 KiB
Current children cumulated memory: 31048 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.08 3.06 5/263 172780
/proc/meminfo: memFree=126715204/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=102084 memory=32072 CPUtime=221.75 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 5512 0 0 0 20677 1498 0 0 20 0 1 0 241746178 104534016 8018 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 25521 8018 2528 595 0 10188 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 102084 KiB
Current children cumulated memory: 32072 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.08 3.13 5/263 172782
/proc/meminfo: memFree=126706960/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=102728 memory=32712 CPUtime=281.61 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 5673 0 0 0 26250 1911 0 0 20 0 1 0 241746178 105193472 8178 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 25682 8178 2528 595 0 10349 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 102728 KiB
Current children cumulated memory: 32712 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.09 3.20 5/264 172787
/proc/meminfo: memFree=126682860/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=104144 memory=34120 CPUtime=341.47 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 6028 0 0 0 31864 2283 0 0 20 0 1 0 241746178 106643456 8530 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 26036 8530 2528 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.11 4.09 3.25 5/264 172793
/proc/meminfo: memFree=126659816/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=104584 memory=34632 CPUtime=401.33 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 6138 0 0 0 37455 2678 0 0 20 0 1 0 241746178 107094016 8658 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 26146 8658 2528 595 0 10813 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 104584 KiB
Current children cumulated memory: 34632 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 3.31 5/263 172795
/proc/meminfo: memFree=126630444/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=105256 memory=35272 CPUtime=461.19 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 6306 0 0 0 43055 3064 0 0 20 0 1 0 241746178 107782144 8818 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 26314 8818 2528 595 0 10981 0

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

Current children cumulated memory: 46024 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/266 173114
/proc/meminfo: memFree=127737248/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=115900 memory=46024 CPUtime=2855.48 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9020 0 0 0 267288 18260 0 0 20 0 1 0 241746178 118681600 11506 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 28975 11506 2528 595 0 13642 0
Current children cumulated CPU time: 2855.48 s
Current children cumulated vsize: 115900 KiB
Current children cumulated memory: 46024 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/265 173116
/proc/meminfo: memFree=127642064/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=115900 memory=46152 CPUtime=2915.35 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9028 0 0 0 272896 18639 0 0 20 0 1 0 241746178 118681600 11538 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 28975 11538 2528 595 0 13642 0
Current children cumulated CPU time: 2915.35 s
Current children cumulated vsize: 115900 KiB
Current children cumulated memory: 46152 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/265 173118
/proc/meminfo: memFree=127640316/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116044 memory=46280 CPUtime=2975.2 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9068 0 0 0 278474 19046 0 0 20 0 1 0 241746178 118829056 11570 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29011 11570 2528 595 0 13678 0
Current children cumulated CPU time: 2975.2 s
Current children cumulated vsize: 116044 KiB
Current children cumulated memory: 46280 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/265 173120
/proc/meminfo: memFree=127629160/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116332 memory=46536 CPUtime=3035.01 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9140 0 0 0 284137 19364 0 0 20 0 1 0 241746178 119123968 11634 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29083 11634 2528 595 0 13750 0
Current children cumulated CPU time: 3035.01 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 46536 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/264 173122
/proc/meminfo: memFree=127619020/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116332 memory=46536 CPUtime=3094.82 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9140 0 0 0 289700 19782 0 0 20 0 1 0 241746178 119123968 11634 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29083 11634 2528 595 0 13750 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 46536 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/264 173124
/proc/meminfo: memFree=127618880/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116332 memory=46536 CPUtime=3154.65 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9156 0 0 0 295280 20185 0 0 20 0 1 0 241746178 119123968 11634 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29083 11634 2528 595 0 13750 0
Current children cumulated CPU time: 3154.65 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 46536 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/264 173127
/proc/meminfo: memFree=127618108/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116332 memory=46536 CPUtime=3214.46 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9160 0 0 0 300877 20569 0 0 20 0 1 0 241746178 119123968 11634 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29083 11634 2528 595 0 13750 0
Current children cumulated CPU time: 3214.46 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 46536 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/264 173263
/proc/meminfo: memFree=127610368/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116332 memory=46664 CPUtime=3274.28 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9168 0 0 0 306461 20967 0 0 20 0 1 0 241746178 119123968 11666 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29083 11666 2528 595 0 13750 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 116332 KiB
Current children cumulated memory: 46664 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/266 173358
/proc/meminfo: memFree=127573100/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116652 memory=46792 CPUtime=3334.1 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9216 0 0 0 312072 21338 0 0 20 0 1 0 241746178 119451648 11698 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29163 11698 2528 595 0 13830 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 46792 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/264 173449
/proc/meminfo: memFree=127485940/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116652 memory=46920 CPUtime=3393.92 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9236 0 0 0 317659 21733 0 0 20 0 1 0 241746178 119451648 11730 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29163 11730 2528 595 0 13830 0
Current children cumulated CPU time: 3393.92 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 46920 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/265 173546
/proc/meminfo: memFree=127604316/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116652 memory=46920 CPUtime=3453.75 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9245 0 0 0 323244 22131 0 0 20 0 1 0 241746178 119451648 11730 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29163 11730 2528 595 0 13830 0
Current children cumulated CPU time: 3453.75 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 46920 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.19 4.09 5/265 173773
/proc/meminfo: memFree=127621192/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116652 memory=46920 CPUtime=3513.57 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9245 0 0 0 328839 22518 0 0 20 0 1 0 241746178 119451648 11730 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29163 11730 2528 595 0 13830 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 46920 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.18 4.09 5/265 173820
/proc/meminfo: memFree=127180944/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116896 memory=47048 CPUtime=3573.41 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9278 0 0 0 334398 22943 0 0 20 0 1 0 241746178 119701504 11762 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29224 11762 2528 595 0 13891 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 116896 KiB
Current children cumulated memory: 47048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.21 4.18 4.09 5/264 173821
/proc/meminfo: memFree=125010816/131249988 swapFree=33010160/33010684
[pid=172772] ppid=172769 vsize=116896 memory=47176 CPUtime=3600.05 cores=0,2
/proc/172772/stat : 172772 (SynLSCD) R 172769 172772 172165 0 -1 4194304 9302 0 0 0 336916 23089 0 0 20 0 1 0 241746178 119701504 11794 18446744073709551615 94874404048896 94874406483497 140729956779856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94874406964472 94874406997504 94874430472192 140729956784515 140729956784650 140729956784650 140729956790254 0
/proc/172772/statm: 29224 11794 2528 595 0 13891 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 116896 KiB
Current children cumulated memory: 47176 KiB

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

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

# cumulated CPU time of all completed processes:  user=3369.17 s, system=230.892 s

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

Child status: 0

Real time (s): 3609.01
CPU time (s): 3600.06
CPU user time (s): 3369.17
CPU system time (s): 230.892
CPU usage (%): 99.7522
Max. virtual memory (cumulated for all children) (KiB): 116896
Max. memory (cumulated for all children) (KiB): 47176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3369.17
system time used= 230.892
maximum resident set size= 47560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9335
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= 8048


# summary of solver processes directly reported to runsolver:
#   pid: 172772
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3369.17
#   total CPU system time (s): 230.892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54936 second user time and 14.8683 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-23 10:51:13
IDJOB=4545822
IDBENCH=160381
IDSOLVER=3421
FILE ID=nodeC034/4545822-1753260673
RUNJOBID= nodeC034-1753259701-172182
SLURM_JOB_ID= 9689189
Free space on /tmp= 433020 MiB

SOLVER NAME= SynLSCD 2025-07-23
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-4545822-1753260673/watcher-4545822-1753260673 -o /tmp/evaluation-result-4545822-1753260673/solver-4545822-1753260673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753259701-172182 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545822-1753260673.opb

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

MD5SUM BENCH= e27638fbedede025521b1384f289f9e5
RANDOM SEED=651885292

nodeC034 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		: 3597.549
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.53
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.763
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.53
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.761
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.53
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		: 3609.122
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.53
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.756
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.53
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.749
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.53
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		: 3602.800
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.53
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		: 3600.129
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        126750904 kB
MemAvailable:   128533916 kB
Buffers:            2128 kB
Cached:          2520048 kB
SwapCached:           32 kB
Active:          2276712 kB
Inactive:        1399408 kB
Active(anon):    1178056 kB
Inactive(anon):     2152 kB
Active(file):    1098656 kB
Inactive(file):  1397256 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3636 kB
Writeback:             0 kB
AnonPages:       1156940 kB
Mapped:           120204 kB
Shmem:             26264 kB
KReclaimable:     252280 kB
Slab:             351236 kB
SReclaimable:     252280 kB
SUnreclaim:        98956 kB
KernelStack:        4300 kB
PageTables:         5636 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1609984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    995328 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC034 at 2025-07-23 11:51:22