Trace number 4505492

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (MO) 1091.53 1096.28

General information on the benchmark

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

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
12.34/12.48	c #variables 2000400 #constraints 4940611
12.34/12.48	c objective is ce32 
17.04/17.18	c initial watched  CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
17.04/17.18	c initial counting CF 32, 64, 128, Arb: 985151 , 0 , 0 , 0
17.04/17.18	c GLOBAL bounds - >= -100 @ 11.9145
19.42/19.55	c GLOBAL bounds - >= -100 @ 13.0315
21.62/21.74	c GLOBAL bounds - >= -100 @ 14.529
23.92/24.08	c GLOBAL bounds - >= -100 @ 16.2127
26.61/26.74	c GLOBAL bounds - >= -100 @ 18.2043
28.61/28.77	c GLOBAL bounds - >= -100 @ 19.6058
31.20/31.38	c GLOBAL bounds - >= -100 @ 21.5953
35.69/35.81	c GLOBAL bounds - >= -100 @ 25.3557
38.17/38.30	c GLOBAL bounds - >= -100 @ 27.1962
40.27/40.44	c GLOBAL bounds - >= -100 @ 28.6961
42.47/42.60	c GLOBAL bounds - >= -100 @ 30.2361
44.56/44.75	c GLOBAL bounds - >= -100 @ 31.7393
56.33/56.57	c GLOBAL bounds - >= -100 @ 42.8813
58.52/58.77	c GLOBAL bounds - >= -100 @ 44.4254
60.41/60.69	c GLOBAL bounds - >= -100 @ 45.6861
62.41/62.65	c GLOBAL bounds - >= -100 @ 46.993
64.70/64.93	c GLOBAL bounds - >= -100 @ 48.6282
66.91/67.19	c GLOBAL bounds - >= -100 @ 50.2058
69.90/70.12	c GLOBAL bounds - >= -100 @ 52.4625
71.89/72.11	c GLOBAL bounds - >= -100 @ 53.7855
75.08/75.35	c GLOBAL bounds - >= -100 @ 56.3514
78.07/78.34	c GLOBAL bounds - >= -100 @ 58.6797
80.07/80.32	c GLOBAL bounds - >= -100 @ 60.007
82.76/83.09	c GLOBAL bounds - >= -100 @ 62.1148
85.25/85.57	c GLOBAL bounds - >= -100 @ 63.9669
87.44/87.79	c GLOBAL bounds - >= -100 @ 65.5088
90.23/90.50	c GLOBAL bounds - >= -100 @ 67.5488
92.43/92.79	c GLOBAL bounds - >= -100 @ 69.1884
94.92/95.25	c GLOBAL bounds - >= -100 @ 71.0052
101.70/102.00	c GLOBAL bounds - >= -100 @ 76.9607
108.08/108.41	c GLOBAL bounds - >= -100 @ 82.694
110.08/110.46	c GLOBAL bounds - >= -100 @ 84.1213
170.79/171.32	c GLOBAL bounds - >= -100 @ 144.007
172.88/173.42	c GLOBAL bounds - >= -100 @ 145.486
174.98/175.52	c GLOBAL bounds - >= -100 @ 146.926
177.07/177.63	c GLOBAL bounds - >= -100 @ 148.372
179.16/179.78	c GLOBAL bounds - >= -100 @ 149.895
181.86/182.41	c GLOBAL bounds - >= -100 @ 151.9
184.94/185.52	c GLOBAL bounds - >= -100 @ 154.381
187.04/187.68	c GLOBAL bounds - >= -100 @ 155.926
189.34/189.92	c GLOBAL bounds - >= -100 @ 157.5
191.53/192.17	c GLOBAL bounds - >= -100 @ 159.122
193.62/194.22	c GLOBAL bounds - >= -100 @ 160.509
269.19/270.06	c GLOBAL bounds - >= -100 @ 235.317
271.28/272.17	c GLOBAL bounds - >= -100 @ 236.794
273.37/274.21	c GLOBAL bounds - >= -100 @ 238.207
275.96/276.84	c GLOBAL bounds - >= -100 @ 240.169
278.17/279.10	c GLOBAL bounds - >= -100 @ 241.715
281.54/282.43	c GLOBAL bounds - >= -100 @ 244.266
284.24/285.16	c GLOBAL bounds - >= -100 @ 246.305
286.83/287.79	c GLOBAL bounds - >= -100 @ 248.26
289.13/290.09	c GLOBAL bounds - >= -100 @ 249.875
292.91/293.84	c GLOBAL bounds - >= -100 @ 252.979
295.22/296.13	c GLOBAL bounds - >= -100 @ 254.639
297.21/298.19	c GLOBAL bounds - >= -100 @ 256.083
300.00/300.99	c GLOBAL bounds - >= -100 @ 258.26
302.59/303.57	c GLOBAL bounds - >= -100 @ 260.188
306.47/307.44	c GLOBAL bounds - >= -100 @ 263.425
318.53/319.50	c GLOBAL bounds - >= -100 @ 274.785
322.03/323.04	c GLOBAL bounds - >= -100 @ 277.642
332.40/333.47	c GLOBAL bounds - >= -100 @ 287.363
370.77/371.97	c GLOBAL bounds - >= -100 @ 324.25
385.03/386.29	c GLOBAL bounds - >= -100 @ 337.865
458.49/459.92	c GLOBAL bounds - >= -100 @ 409.132
467.57/469.00	c GLOBAL bounds - >= -100 @ 417.514
486.20/487.78	c GLOBAL bounds - >= -100 @ 435.462
493.28/494.81	c GLOBAL bounds - >= -100 @ 441.818
501.95/503.52	c GLOBAL bounds - >= -100 @ 449.794
508.23/509.82	c GLOBAL bounds - >= -100 @ 455.411
517.00/518.61	c GLOBAL bounds - >= -100 @ 463.512
523.98/525.65	c GLOBAL bounds - >= -100 @ 469.835
554.18/555.90	c GLOBAL bounds - >= -100 @ 499.3
556.47/558.24	c GLOBAL bounds - >= -100 @ 500.979
561.75/563.59	c GLOBAL bounds - >= -100 @ 505.663
565.15/566.97	c GLOBAL bounds - >= -100 @ 508.34
575.01/576.82	c GLOBAL bounds - >= -100 @ 517.476
592.26/594.19	c GLOBAL bounds - >= -100 @ 534.068
599.33/601.20	c GLOBAL bounds - >= -100 @ 540.407
606.80/608.72	c GLOBAL bounds - >= -100 @ 547.242
617.47/619.45	c GLOBAL bounds - >= -100 @ 557.247
624.54/626.53	c GLOBAL bounds - >= -100 @ 563.627
626.94/629.00	c GLOBAL bounds - >= -100 @ 565.465
640.10/642.18	c GLOBAL bounds - >= -100 @ 577.726
646.47/648.54	c GLOBAL bounds - >= -100 @ 582.665
649.07/651.13	c GLOBAL bounds - >= -100 @ 584.535
681.55/683.79	c GLOBAL bounds - >= -100 @ 615.754
795.95/798.54	c #Conflicts:       1000 | #Constraints:    2005047
795.95/798.54	c GLOBAL bounds - >= -100 @ 728.506
804.72/807.38	c GLOBAL bounds - >= -100 @ 736.52
813.50/816.16	c GLOBAL bounds - >= -100 @ 744.256
819.28/821.92	c GLOBAL bounds - >= -100 @ 749.3
927.11/930.18	c GLOBAL bounds - >= -100 @ 855.991
988.94/992.14	c GLOBAL bounds - >= -100 @ 916.724
991.43/994.64	c GLOBAL bounds - >= -100 @ 918.487
1004.50/1007.71	c GLOBAL bounds - >= -100 @ 930.764
1006.50/1009.70	c GLOBAL bounds - >= -100 @ 932.105
1008.39/1011.69	c GLOBAL bounds - >= -100 @ 933.411
1011.89/1015.11	c GLOBAL bounds - >= -100 @ 936.149
1015.88/1019.11	c GLOBAL bounds - >= -100 @ 939.521
1019.06/1022.35	c GLOBAL bounds - >= -100 @ 942.095
1029.34/1032.67	c GLOBAL bounds - >= -100 @ 951.66
1031.33/1034.69	c GLOBAL bounds - >= -100 @ 953.039
1033.83/1037.17	c GLOBAL bounds - >= -100 @ 954.893
1036.42/1039.71	c GLOBAL bounds - >= -100 @ 956.743
1039.11/1042.40	c GLOBAL bounds - >= -100 @ 958.747
1041.31/1044.69	c GLOBAL bounds - >= -100 @ 960.35
1043.31/1046.68	c GLOBAL bounds - >= -100 @ 961.659
1045.70/1049.08	c GLOBAL bounds - >= -100 @ 963.383
1054.37/1057.79	c GLOBAL bounds - >= -100 @ 971.367
1061.55/1064.94	c GLOBAL bounds - >= -100 @ 977.804
1065.05/1068.47	c GLOBAL bounds - >= -100 @ 980.675
1067.34/1070.70	c GLOBAL bounds - >= -100 @ 982.249
1072.22/1075.66	c GLOBAL bounds - >= -100 @ 986.497
1074.42/1077.89	c GLOBAL bounds - >= -100 @ 988.055
1080.61/1084.04	c GLOBAL bounds - >= -100 @ 993.5
1088.78/1092.23	c GLOBAL bounds - >= -100 @ 1001
1090.18/1093.60	terminate called after throwing an instance of 'std::bad_alloc'
1090.18/1093.60	  what():  std::bad_alloc

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 (60403 MiB free)
  memory of node 1: 64507 MiB (62095 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505492-1751488380/watcher-4505492-1751488380 -o /tmp/evaluation-result-4505492-1751488380/solver-4505492-1751488380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69376 --watchdog 3760 run-opt.sh HOME/instance-4505492-1751488380.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=69434, runsolver pid=69425

[startup+0.100066 s]*
/proc/loadavg: 1.31 2.84 3.55 5/268 69436
/proc/meminfo: memFree=124796216/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=287200 memory=233324 CPUtime=0.07 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 4022 0 0 0 3 4 0 0 20 0 1 0 64515849 294092800 58331 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 71800 58331 1856 1147 0 59227 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 291392 KiB
Current children cumulated memory: 236268 KiB

[startup+0.20578 s]*
/proc/loadavg: 1.31 2.84 3.55 5/268 69436
/proc/meminfo: memFree=124340696/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=462920 memory=390948 CPUtime=0.19 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 11879 0 0 0 10 9 0 0 20 0 1 0 64515849 474030080 97737 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 115730 97737 1856 1147 0 103157 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 467112 KiB
Current children cumulated memory: 393892 KiB

[startup+0.305681 s]*
/proc/loadavg: 1.31 2.84 3.55 5/268 69436
/proc/meminfo: memFree=124221920/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=479300 memory=431908 CPUtime=0.29 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 12436 0 0 0 18 11 0 0 20 0 1 0 64515849 490803200 107977 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 119825 107977 1856 1147 0 107252 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 483492 KiB
Current children cumulated memory: 434852 KiB

[startup+0.700202 s]
/proc/loadavg: 1.31 2.84 3.55 5/268 69436
/proc/meminfo: memFree=124264356/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=421392 memory=377904 CPUtime=0.67 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 18107 0 0 0 55 12 0 0 20 0 1 0 64515849 431505408 94476 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 105348 94476 1888 1147 0 92775 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 425584 KiB
Current children cumulated memory: 380848 KiB

[startup+1.50015 s]
/proc/loadavg: 1.53 2.86 3.55 5/268 69436
/proc/meminfo: memFree=124145508/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=474572 memory=418500 CPUtime=1.47 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 25552 0 0 0 112 35 0 0 20 0 1 0 64515849 485961728 104625 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 118643 104625 1920 1147 0 106070 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 478764 KiB
Current children cumulated memory: 421444 KiB

[startup+3.10515 s]
/proc/loadavg: 1.53 2.86 3.55 5/268 69436
/proc/meminfo: memFree=123841804/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=551644 memory=504132 CPUtime=3.07 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 37812 0 0 0 219 88 0 0 20 0 1 0 64515849 564883456 126033 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 137911 126033 1920 1147 0 125338 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 555836 KiB
Current children cumulated memory: 507076 KiB

[startup+6.30015 s]
/proc/loadavg: 1.72 2.88 3.55 5/268 69436
/proc/meminfo: memFree=123254540/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=728768 memory=639808 CPUtime=6.25 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 57741 0 0 0 443 182 0 0 20 0 1 0 64515849 746258432 159952 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 182192 159952 1920 1147 0 169619 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 732960 KiB
Current children cumulated memory: 642752 KiB

[startup+12.7002 s]
/proc/loadavg: 1.91 2.90 3.55 5/268 69436
/proc/meminfo: memFree=122312176/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=1371264 memory=1175840 CPUtime=12.64 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 101508 0 0 0 919 345 0 0 20 0 1 0 64515849 1404174336 293960 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 342816 293960 2016 1147 0 330243 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1375456 KiB
Current children cumulated memory: 1178784 KiB

[startup+25.5002 s]
/proc/loadavg: 2.31 2.95 3.56 5/267 69436
/proc/meminfo: memFree=117177984/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=2802292 memory=2604344 CPUtime=25.41 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 402556 0 0 0 1753 788 0 0 20 0 1 0 64515849 2869547008 651086 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 700573 651086 2112 1147 0 688000 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2806484 KiB
Current children cumulated memory: 2607288 KiB

[startup+51.1054 s]
/proc/loadavg: 3.10 3.09 3.59 5/267 69438
/proc/meminfo: memFree=116704044/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=2883680 memory=2622892 CPUtime=50.94 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 403163 0 0 0 3806 1288 0 0 20 0 1 0 64515849 2952888320 655723 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 720920 655723 2112 1147 0 708347 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2887872 KiB
Current children cumulated memory: 2625836 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 3.24 3.62 5/269 69445
/proc/meminfo: memFree=112565324/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=3645416 memory=3381524 CPUtime=102 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 536338 0 0 0 7724 2476 0 0 20 0 1 0 64515849 3732905984 845381 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 911354 845381 2112 1147 0 898781 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 3649608 KiB
Current children cumulated memory: 3384468 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.41 3.66 5/269 69447
/proc/meminfo: memFree=108988208/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=3761604 memory=3539860 CPUtime=161.81 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 551075 0 0 0 13570 2611 0 0 20 0 1 0 64515849 3851882496 884965 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 940401 884965 2112 1147 0 927828 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 3765796 KiB
Current children cumulated memory: 3542804 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.54 3.68 5/269 69449
/proc/meminfo: memFree=103758036/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=4202616 memory=3932312 CPUtime=221.63 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 571770 0 0 0 18844 3319 0 0 20 0 1 0 64515849 4303478784 983078 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 1050654 983078 2112 1147 0 1038081 0
Current children cumulated CPU time: 221.63 s

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

/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=22383632 memory=21045484 CPUtime=700.08 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 3521272 0 0 0 63400 6608 0 0 20 0 1 0 64515849 22920839168 5261371 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 5595908 5261371 2112 1147 0 5583335 0
Current children cumulated CPU time: 700.08 s
Current children cumulated vsize: 22387824 KiB
Current children cumulated memory: 21048428 KiB

[startup+762.3 s]
/proc/loadavg: 4.14 4.03 3.90 5/270 69478
/proc/meminfo: memFree=50261676/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=25430072 memory=22489908 CPUtime=759.88 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 3715233 0 0 0 69326 6662 0 0 20 0 1 0 64515849 26040393728 5622477 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 6357518 5622477 2112 1147 0 6344945 0
Current children cumulated CPU time: 759.88 s
Current children cumulated vsize: 25434264 KiB
Current children cumulated memory: 22492852 KiB

[startup+822.3 s]
/proc/loadavg: 4.10 4.04 3.91 5/270 69480
/proc/meminfo: memFree=47727404/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=25823252 memory=23586948 CPUtime=819.68 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 3856930 0 0 0 74966 7002 0 0 20 0 1 0 64515849 26443010048 5896737 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 6455813 5896737 2112 1147 0 6443240 0
Current children cumulated CPU time: 819.68 s
Current children cumulated vsize: 25827444 KiB
Current children cumulated memory: 23589892 KiB

[startup+882.3 s]
/proc/loadavg: 4.15 4.06 3.93 5/269 69483
/proc/meminfo: memFree=45690812/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=25936056 memory=24588612 CPUtime=879.47 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 3963823 0 0 0 80910 7037 0 0 20 0 1 0 64515849 26558521344 6147153 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 6484014 6147153 2112 1147 0 6471441 0
Current children cumulated CPU time: 879.47 s
Current children cumulated vsize: 25940248 KiB
Current children cumulated memory: 24591556 KiB

[startup+942.3 s]
/proc/loadavg: 4.20 4.08 3.95 4/266 69502
/proc/meminfo: memFree=69586592/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=26109036 memory=25227472 CPUtime=939.27 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 3998762 0 0 0 86798 7129 0 0 20 0 1 0 64515849 26735652864 6306868 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 6527259 6306868 2112 1147 0 6514686 0
Current children cumulated CPU time: 939.27 s
Current children cumulated vsize: 26113228 KiB
Current children cumulated memory: 25230416 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.08 3.96 5/269 69541
/proc/meminfo: memFree=67790572/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=30728128 memory=26374984 CPUtime=999.11 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 4097729 0 0 0 92601 7310 0 0 20 0 1 0 64515849 31465603072 6593746 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 7682032 6593746 2112 1147 0 7669459 0
Current children cumulated CPU time: 999.11 s
Current children cumulated vsize: 30732320 KiB
Current children cumulated memory: 26377928 KiB

[startup+1062.3 s]
/proc/loadavg: 4.14 4.09 3.97 5/272 69550
/proc/meminfo: memFree=65892140/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=31292196 memory=27035876 CPUtime=1058.96 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 4154030 0 0 0 97585 8311 0 0 20 0 1 0 64515849 32043208704 6758969 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 7823049 6758969 2112 1147 0 7810476 0
Current children cumulated CPU time: 1058.96 s
Current children cumulated vsize: 31296388 KiB
Current children cumulated memory: 27038820 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1093.6 s]
/proc/loadavg: 4.08 4.08 3.98 5/272 69552
/proc/meminfo: memFree=65380180/131249996 swapFree=33010160/33010684
[pid=69434] ppid=69425 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69434/stat : 69434 (run-opt.sh) S 69425 69434 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64515847 4292608 736 18446744073709551615 93999838633984 93999839528517 140730439882272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999839767568 93999839815312 93999865012224 140730439891309 140730439891432 140730439891432 140730439897034 0
/proc/69434/statm: 1048 736 672 219 0 110 0
[pid=69436] ppid=69434 vsize=31792392 memory=27514408 CPUtime=1090.18 cores=5,7
/proc/69436/stat : 69436 (roundingsat) R 69434 69434 69363 0 -1 4194304 4220380 0 0 0 100230 8788 0 0 20 0 1 0 64515849 32555409408 6878602 18446744073709551615 4227072 8923433 140726708488672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 0
/proc/69436/statm: 7948098 6878602 2112 1147 0 7935525 0
Current children cumulated CPU time: 1090.18 s
Current children cumulated vsize: 31796584 KiB
Current children cumulated memory: 27517352 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.002719 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+1096.28 s]
# the end of solver process 69436 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=1002.31 s, system=89.2208 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+1094.4 s]
/proc/loadavg: 4.08 4.08 3.98 6/273 69555
/proc/meminfo: memFree=64691552/131249996 swapFree=33010160/33010684
[pid=69436] ppid=69425 vsize=31795084 memory=27516712 CPUtime=1090.84 cores=5,7
/proc/69436/stat : 69436 (roundingsat) S 69425 69434 69363 0 -1 4195840 4220826 0 0 0 100230 8854 0 0 20 0 1 0 64515849 32558166016 6879178 18446744073709551615 4227072 8923433 140726708488672 140726708484400 139906389686892 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 6
/proc/69436/statm: 7948771 6879178 2272 1147 0 7936198 0
Current cumulated CPU time of completed processes: 0.002719 s
Current children cumulated CPU time: 1090.84 s
Current children cumulated vsize: 31795084 KiB
Current children cumulated memory: 27516712 KiB

[startup+1095.2 s]
/proc/loadavg: 4.08 4.08 3.98 5/273 69555
/proc/meminfo: memFree=64115548/131249996 swapFree=33010160/33010684
[pid=69436] ppid=69425 vsize=31795084 memory=27516712 CPUtime=1090.84 cores=5,7
/proc/69436/stat : 69436 (roundingsat) S 69425 69434 69363 0 -1 4195840 4220826 0 0 0 100230 8854 0 0 20 0 1 0 64515849 32558166016 6879178 18446744073709551615 4227072 8923433 140726708488672 140726708484400 139906389686892 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 6
/proc/69436/statm: 7948771 6879178 2272 1147 0 7936198 0
Current cumulated CPU time of completed processes: 0.002719 s
Current children cumulated CPU time: 1090.84 s
Current children cumulated vsize: 31795084 KiB
Current children cumulated memory: 27516712 KiB

[startup+1095.6 s]
/proc/loadavg: 4.08 4.08 3.98 5/273 69555
/proc/meminfo: memFree=64115548/131249996 swapFree=33010160/33010684
[pid=69436] ppid=69425 vsize=31795084 memory=27516712 CPUtime=1090.84 cores=5,7
/proc/69436/stat : 69436 (roundingsat) S 69425 69434 69363 0 -1 4195840 4220826 0 0 0 100230 8854 0 0 20 0 1 0 64515849 32558166016 6879178 18446744073709551615 4227072 8923433 140726708488672 140726708484400 139906389686892 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 17780736 140726708496802 140726708496936 140726708496936 140726708502506 6
/proc/69436/statm: 7948771 6879178 2272 1147 0 7936198 0
Current cumulated CPU time of completed processes: 0.002719 s
Current children cumulated CPU time: 1090.84 s
Current children cumulated vsize: 31795084 KiB
Current children cumulated memory: 27516712 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1096.28
CPU time (s): 1091.53
CPU user time (s): 1002.31
CPU system time (s): 89.2208
CPU usage (%): 99.5666
Max. virtual memory (cumulated for all children) (KiB): 31796584
Max. memory (cumulated for all children) (KiB): 27517352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1002.31
system time used= 89.2208
maximum resident set size= 27516712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4221031
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= 391
involuntary context switches= 6598


# summary of solver processes directly reported to runsolver:
#   pid: 69434,69436
#   total CPU time (s): 1091.53
#   total CPU user time (s): 1002.31
#   total CPU system time (s): 89.2208

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.09749 second user time and 5.17643 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-02 22:33:02
IDJOB=4505492
IDBENCH=155759
IDSOLVER=3350
FILE ID=nodeC021/4505492-1751488380
RUNJOBID= nodeC021-1751488380-69376
SLURM_JOB_ID= 9598545
Free space on /tmp= 430756 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_6_mh.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505492-1751488380/watcher-4505492-1751488380 -o /tmp/evaluation-result-4505492-1751488380/solver-4505492-1751488380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69376 --watchdog 3760  run-opt.sh HOME/instance-4505492-1751488380.opb

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

MD5SUM BENCH= ae4404ba779864fb11c76f88911c57d7
RANDOM SEED=877234906

nodeC021 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.750
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.56
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.777
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.56
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		: 3600.182
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.56
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		: 3599.830
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.56
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		: 3600.028
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.56
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		: 3598.852
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.56
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		: 3600.675
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.56
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.792
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125492764 kB
MemAvailable:   129463672 kB
Buffers:            2128 kB
Cached:          4709292 kB
SwapCached:           20 kB
Active:           762264 kB
Inactive:        4230544 kB
Active(anon):     288528 kB
Inactive(anon):    10924 kB
Active(file):     473736 kB
Inactive(file):  4219620 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            794928 kB
Writeback:             0 kB
AnonPages:        284568 kB
Mapped:           107964 kB
Shmem:             18040 kB
KReclaimable:     233184 kB
Slab:             325456 kB
SReclaimable:     233184 kB
SUnreclaim:        92272 kB
KernelStack:        4224 kB
PageTables:         3444 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     579504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 428532 MiB
End job on nodeC021 at 2025-07-02 22:51:18