Trace number 4424833

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
Sat4j Resolution Default 2024-07-07OPTIMUM 68.9412 64.0797

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
MD5SUMdddb0d744d834e2d5f9db141b6c49ab7
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark28.0548
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints899
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46330
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46329
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.11/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.13	c See www.sat4j.org for details.
0.11/0.15	c version CUSTOM.v20240707
0.11/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.17	c java.vm.version	22.0.1+8-16
0.11/0.17	c java.vm.vendor	Oracle Corporation
0.11/0.17	c sun.arch.data.model	64
0.11/0.17	c java.version		22.0.1
0.11/0.17	c os.name		Linux
0.11/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.17	c os.arch		amd64
0.11/0.18	c Free memory 		2113181440
0.11/0.18	c Max memory 		16282288128
0.11/0.18	c Total memory 		2122317824
0.11/0.19	c Number of processors 	2
0.25/0.28	--- Begin Solver configuration ---
0.25/0.28	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.25/0.28	Learn all clauses as in MiniSAT
0.25/0.28	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.28	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.28	No reason simplification
0.25/0.28	Glucose 2.1 dynamic restart strategy
0.25/0.28	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.25/0.28	timeout=2147483s
0.25/0.28	DB Simplification allowed=false
0.25/0.28	Listener: none
0.25/0.28	--- End Solver configuration ---
0.25/0.28	c Pseudo Boolean Optimization by upper bound
0.25/0.28	c --- Begin Solver configuration ---
0.25/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.25/0.28	c Learn all clauses as in MiniSAT
0.25/0.28	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.28	c No reason simplification
0.25/0.28	c Glucose 2.1 dynamic restart strategy
0.25/0.28	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.25/0.28	c timeout=2147483s
0.25/0.28	c DB Simplification allowed=false
0.25/0.28	c Listener: none
0.25/0.28	c --- End Solver configuration ---
0.25/0.28	c solving HOME/instance-4424833-1720881409.wbo
0.25/0.28	c reading problem ... 
0.59/0.46	c ... done. Wall clock time 0.175s.
0.59/0.46	c declared #vars     231
0.59/0.46	c internal #vars     1130
0.59/0.46	c #constraints  2708
0.59/0.46	c constraints type 
0.59/0.46	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 161
0.59/0.46	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11
0.59/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.59/0.47	c org.sat4j.specs.Constr$1 => 1
0.59/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2523
0.59/0.47	c 2708 constraints processed.
0.59/0.49	c objective function length is 899 literals
0.77/0.56	c SATISFIABLE
0.77/0.56	c OPTIMIZING...
0.77/0.56	c Got one! Elapsed wall clock time (in seconds):0.283
0.77/0.57	o 490
0.77/0.59	c Got one! Elapsed wall clock time (in seconds):0.308
0.77/0.59	o 486
0.94/0.62	c Got one! Elapsed wall clock time (in seconds):0.335
0.94/0.62	o 478
0.94/0.64	c Got one! Elapsed wall clock time (in seconds):0.363
0.94/0.65	o 439
0.94/0.69	c Got one! Elapsed wall clock time (in seconds):0.399
0.94/0.69	o 437
1.12/0.72	c Got one! Elapsed wall clock time (in seconds):0.432
1.12/0.72	o 404
1.12/0.74	c Got one! Elapsed wall clock time (in seconds):0.458
1.12/0.74	o 378
1.12/0.78	c Got one! Elapsed wall clock time (in seconds):0.491
1.12/0.78	o 362
1.31/0.80	c Got one! Elapsed wall clock time (in seconds):0.509
1.31/0.80	o 299
1.31/0.84	c Got one! Elapsed wall clock time (in seconds):0.56
1.31/0.84	o 298
1.31/0.86	c Got one! Elapsed wall clock time (in seconds):0.575
1.31/0.86	o 275
1.51/0.96	c Got one! Elapsed wall clock time (in seconds):0.676
1.51/0.96	o 274
1.51/0.97	c Got one! Elapsed wall clock time (in seconds):0.692
1.51/0.97	o 271
1.51/0.99	c Got one! Elapsed wall clock time (in seconds):0.71
1.51/0.99	o 268
1.74/1.03	c Got one! Elapsed wall clock time (in seconds):0.744
1.74/1.03	o 238
1.74/1.04	c Got one! Elapsed wall clock time (in seconds):0.755
1.74/1.04	o 199
1.74/1.08	c Got one! Elapsed wall clock time (in seconds):0.802
1.74/1.08	o 187
1.93/1.13	c Got one! Elapsed wall clock time (in seconds):0.845
1.93/1.13	o 183
1.93/1.15	c Got one! Elapsed wall clock time (in seconds):0.862
1.93/1.15	o 180
1.93/1.16	c Got one! Elapsed wall clock time (in seconds):0.881
1.93/1.16	o 122
2.46/1.41	c Got one! Elapsed wall clock time (in seconds):1.124
2.46/1.41	o 106
2.46/1.49	c Got one! Elapsed wall clock time (in seconds):1.207
2.46/1.49	o 98
2.62/1.56	c Got one! Elapsed wall clock time (in seconds):1.269
2.62/1.56	o 87
2.62/1.57	c Got one! Elapsed wall clock time (in seconds):1.282
2.62/1.57	o 86
3.02/1.77	c cleaning 4713 clauses out of 9436 with flag 12700/9436
3.50/2.00	c Got one! Elapsed wall clock time (in seconds):1.722
3.50/2.00	o 80
3.60/2.12	c cleaning 4922 clauses out of 9862 with flag 11319/14575
3.82/2.40	c Got one! Elapsed wall clock time (in seconds):2.116
3.82/2.40	o 78
3.93/2.47	c cleaning 5425 clauses out of 10871 with flag 9124/20506
4.05/2.57	c Got one! Elapsed wall clock time (in seconds):2.291
4.05/2.57	o 76
4.27/2.74	c cleaning 5403 clauses out of 10817 with flag 18061/25877
4.59/2.99	c Got one! Elapsed wall clock time (in seconds):2.713
4.59/2.99	o 74
5.12/3.31	c cleaning 7881 clauses out of 15774 with flag 40763/36237
5.22/3.44	c Got one! Elapsed wall clock time (in seconds):3.162
5.22/3.44	o 67
5.48/3.62	c cleaning 6675 clauses out of 13359 with flag 23541/41703
5.58/3.71	c Got one! Elapsed wall clock time (in seconds):3.429
5.58/3.71	o 66
5.58/3.74	c Got one! Elapsed wall clock time (in seconds):3.456
5.58/3.74	o 65
5.58/3.79	c Got one! Elapsed wall clock time (in seconds):3.508
5.58/3.79	o 64
5.69/3.85	c Got one! Elapsed wall clock time (in seconds):3.572
5.69/3.85	o 55
6.07/4.15	c cleaning 7362 clauses out of 14744 with flag 33372/49763
6.47/4.56	c cleaning 6686 clauses out of 13380 with flag 89355/55761
6.67/4.78	c Got one! Elapsed wall clock time (in seconds):4.498
6.67/4.78	o 50
6.77/4.90	c cleaning 6269 clauses out of 12540 with flag 13667/61607
7.16/5.25	c cleaning 6135 clauses out of 12272 with flag 58236/67608
8.09/5.82	c cleaning 6557 clauses out of 13134 with flag 120096/74605
8.95/6.43	c cleaning 7286 clauses out of 14578 with flag 191486/82606
10.16/7.12	c cleaning 8144 clauses out of 16291 with flag 271858/91605
11.60/8.00	c cleaning 9072 clauses out of 18147 with flag 366705/101605
11.79/8.10	c Got one! Elapsed wall clock time (in seconds):7.823
11.79/8.11	o 49
11.79/8.18	c Got one! Elapsed wall clock time (in seconds):7.895
11.79/8.18	o 45
12.13/8.44	c cleaning 7772 clauses out of 15561 with flag 27997/108091
12.53/8.89	c cleaning 6870 clauses out of 13788 with flag 76472/114090
13.09/9.37	c cleaning 6954 clauses out of 13918 with flag 132778/121090
13.46/9.65	c Got one! Elapsed wall clock time (in seconds):9.367
13.46/9.65	o 44
13.56/9.73	c cleaning 6027 clauses out of 12064 with flag 7781/126190
13.95/10.12	c Got one! Elapsed wall clock time (in seconds):9.833
13.95/10.12	o 43
13.95/10.19	c cleaning 5901 clauses out of 11825 with flag 7565/131978
14.48/10.67	c cleaning 5953 clauses out of 11924 with flag 56300/137978
14.99/11.15	c cleaning 6478 clauses out of 12973 with flag 110090/144980
15.28/11.45	c Got one! Elapsed wall clock time (in seconds):11.168
15.28/11.45	o 41
15.38/11.51	c cleaning 5938 clauses out of 11887 with flag 5578/150372
15.86/11.99	c cleaning 5965 clauses out of 11950 with flag 53394/156373
16.62/12.51	c cleaning 6486 clauses out of 12984 with flag 106873/163372
17.23/13.15	c cleaning 7243 clauses out of 14498 with flag 170734/171372
18.11/13.93	c cleaning 8125 clauses out of 16254 with flag 244751/180371
19.14/14.81	c cleaning 9059 clauses out of 18131 with flag 325105/190373
19.83/15.55	c Got one! Elapsed wall clock time (in seconds):15.267
19.83/15.55	o 40
20.03/15.79	c cleaning 7491 clauses out of 14994 with flag 8360/196295
20.92/16.61	c cleaning 6750 clauses out of 13506 with flag 54317/202298
21.62/17.32	c cleaning 6867 clauses out of 13752 with flag 104917/209294
21.92/17.64	c Got one! Elapsed wall clock time (in seconds):17.361
21.92/17.64	o 39
22.02/17.74	c cleaning 6251 clauses out of 12512 with flag 6327/214921
22.52/18.30	c cleaning 6100 clauses out of 12261 with flag 53998/220921
23.12/18.84	c cleaning 6576 clauses out of 13163 with flag 100690/227923
23.22/18.93	c Got one! Elapsed wall clock time (in seconds):18.653
23.22/18.94	o 37
23.53/19.27	c cleaning 5944 clauses out of 11894 with flag 26568/233230
24.13/19.81	c cleaning 5971 clauses out of 11949 with flag 70658/239229
24.53/20.20	c Got one! Elapsed wall clock time (in seconds):19.919
24.53/20.20	o 36
24.93/20.65	c cleaning 8083 clauses out of 16170 with flag 32570/249421
25.44/21.18	c cleaning 7043 clauses out of 14092 with flag 76151/255426
26.13/21.82	c cleaning 7012 clauses out of 14045 with flag 130214/262422
26.83/22.60	c cleaning 7517 clauses out of 15035 with flag 191268/270424
27.53/23.28	c Got one! Elapsed wall clock time (in seconds):23.0
27.53/23.28	o 35
28.13/23.83	c cleaning 10012 clauses out of 20026 with flag 34128/282932
28.63/24.39	c cleaning 8006 clauses out of 16014 with flag 74481/288932
28.93/24.68	c Got one! Elapsed wall clock time (in seconds):24.396
28.93/24.68	o 31
29.13/24.88	c cleaning 6561 clauses out of 13149 with flag 13446/294073
29.73/25.43	c cleaning 6286 clauses out of 12586 with flag 53908/300071
30.34/26.06	c cleaning 6639 clauses out of 13301 with flag 99472/307072
31.12/26.83	c cleaning 7328 clauses out of 14661 with flag 153407/315071
31.82/27.53	c Got one! Elapsed wall clock time (in seconds):27.251
31.82/27.53	o 30
32.33/28.02	c cleaning 10192 clauses out of 20384 with flag 32556/328122
32.92/28.64	c cleaning 8092 clauses out of 16193 with flag 72439/334123
33.62/29.31	c cleaning 7544 clauses out of 15100 with flag 117906/341122
34.33/30.09	c cleaning 7769 clauses out of 15556 with flag 169250/349122
35.21/30.96	c cleaning 8392 clauses out of 16788 with flag 229553/358123
35.61/31.30	c Got one! Elapsed wall clock time (in seconds):31.016
35.61/31.30	o 28
35.81/31.50	c cleaning 7100 clauses out of 14225 with flag 12155/363952
36.32/32.06	c cleaning 6546 clauses out of 13124 with flag 48232/369951
36.91/32.69	c cleaning 6784 clauses out of 13580 with flag 88508/376953
37.71/33.44	c cleaning 7391 clauses out of 14796 with flag 137216/384953
38.51/34.29	c cleaning 8201 clauses out of 16403 with flag 192569/393951
39.51/35.27	c cleaning 9090 clauses out of 18203 with flag 246843/403952
40.70/36.42	c cleaning 10044 clauses out of 20112 with flag 310075/414951
41.90/37.66	c cleaning 11026 clauses out of 22068 with flag 375578/426951
43.31/39.06	c cleaning 12014 clauses out of 24042 with flag 450125/439951
45.21/40.72	c cleaning 13003 clauses out of 26028 with flag 539096/453952
46.91/42.46	c cleaning 13999 clauses out of 28022 with flag 625380/468951
49.28/44.65	c cleaning 15008 clauses out of 30024 with flag 721937/484952
50.56/45.84	c Got one! Elapsed wall clock time (in seconds):45.559
50.56/45.84	o 25
50.78/46.11	c Got one! Elapsed wall clock time (in seconds):45.826
50.78/46.11	o 24
51.07/46.37	c Got one! Elapsed wall clock time (in seconds):46.089
51.07/46.37	o 23
51.37/46.69	c cleaning 14817 clauses out of 29638 with flag 11551/499574
52.06/47.36	c cleaning 10396 clauses out of 20819 with flag 45058/505572
52.77/48.06	c cleaning 8698 clauses out of 17425 with flag 82194/512574
53.06/48.36	c Got one! Elapsed wall clock time (in seconds):48.076
53.06/48.36	o 20
53.28/48.55	c cleaning 7174 clauses out of 14372 with flag 8629/518219
53.79/49.08	c cleaning 6584 clauses out of 13196 with flag 32099/524217
54.28/49.59	c cleaning 6788 clauses out of 13613 with flag 55808/531218
55.08/50.35	c cleaning 7402 clauses out of 14824 with flag 86348/539217
56.07/51.31	c cleaning 8207 clauses out of 16422 with flag 124530/548217
57.17/52.49	c cleaning 9107 clauses out of 18215 with flag 172569/558217
58.50/53.73	c cleaning 10047 clauses out of 20108 with flag 223988/569218
59.05/54.22	c Got one! Elapsed wall clock time (in seconds):53.94
59.05/54.22	o 17
59.15/54.32	c cleaning 7854 clauses out of 15743 with flag 3622/574900
59.75/54.91	c cleaning 6930 clauses out of 13889 with flag 28793/580900
60.34/55.58	c cleaning 6957 clauses out of 13958 with flag 53826/587899
61.04/56.21	c Got one! Elapsed wall clock time (in seconds):55.924
61.04/56.21	o 16
61.64/56.82	c cleaning 9310 clauses out of 18632 with flag 20405/599530
62.24/57.49	c cleaning 7650 clauses out of 15321 with flag 49040/605530
62.95/58.18	c cleaning 7328 clauses out of 14671 with flag 77358/612532
63.74/58.98	c cleaning 7669 clauses out of 15341 with flag 106739/620530
64.74/59.90	c cleaning 8330 clauses out of 16671 with flag 141600/629530
65.73/60.98	c cleaning 9171 clauses out of 18341 with flag 182813/639531
67.03/62.27	c cleaning 10080 clauses out of 20166 with flag 229823/650530
68.62/63.86	c cleaning 11032 clauses out of 22079 with flag 288133/662530
68.84/64.02	c starts		: 1080
68.84/64.06	c conflicts		: 663954
68.84/64.06	c decisions		: 1071756
68.84/64.06	c propagations		: 51150789
68.84/64.06	c inspects		: 841051541
68.84/64.06	c shortcuts		: 0
68.84/64.06	c learnt literals	: 23
68.84/64.06	c learnt binary clauses	: 64
68.84/64.06	c learnt ternary clauses	: 518
68.84/64.06	c learnt constraints	: 663930
68.84/64.06	c ignored constraints	: 0
68.84/64.06	c root simplifications	: 0
68.84/64.06	c removed literals (reason simplification)	: 0
68.84/64.06	c reason swapping (by a shorter reason)	: 0
68.84/64.06	c Calls to reduceDB	: 83
68.84/64.06	c Number of update (reduction) of LBD	: 268412
68.84/64.06	c Imported unit clauses	: 0
68.84/64.06	c No decision after first conflict	: false
68.84/64.06	c number of reductions to clauses (during analyze)	: 0
68.84/64.06	c number of learned constraints concerned by reduction	: 0
68.84/64.06	c number of learning phase by resolution	: 0
68.84/64.06	c number of learning phase by cutting planes	: 0
68.84/64.06	c number of rounding to 1 operations	: 0
68.84/64.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
68.84/64.06	c number of reductions of the coefficients by power 2 	: 0
68.84/64.06	c number of right shift for reduction by power 2 	: 0
68.84/64.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
68.84/64.06	c number of ending skipping 	: 0
68.84/64.06	c number of internal skipping 	: 0
68.84/64.06	c number of derivation steps 	: 0
68.84/64.06	c number of skipped derivation steps 	: 0
68.84/64.06	c number of remaining unassigned 	: 0
68.84/64.06	c number of remaining assigned 	: 0
68.84/64.06	c number of falsified literals weakened from reason	: 0
68.84/64.06	c number of falsified literals weakened from conflict	: 0
68.84/64.06	c time for arithmetic operations	: 0
68.84/64.06	c minimum degree of deleted constraints	: null
68.84/64.06	c maximum degree of deleted constraints	: null
68.84/64.06	c number of deleted constraints	: 0
68.84/64.06	c speed (assignments/second)	: 804738.5072842265
68.84/64.06	c non guided choices	: 6297
68.84/64.06	s OPTIMUM FOUND
68.84/64.06	c Found 53 solution(s)
68.84/64.06	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 
68.84/64.06	c objective function=16
68.84/64.06	c Total wall clock time (in seconds): 63.777

Verifier Data 

OK	16

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: 64059 MiB (54911 MiB free)
  memory of node 1: 64510 MiB (54686 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424833-1720881409/watcher-4424833-1720881409 -o /tmp/evaluation-result-4424833-1720881409/solver-4424833-1720881409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699779 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424833-1720881409.wbo 

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=703409, runsolver pid=703406

[startup+0.100382 s]*
/proc/loadavg: 4.26 4.30 4.26 6/316 703427
/proc/meminfo: memFree=112193328/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=18975048 memory=56156 CPUtime=0.11 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 6562 0 0 0 9 2 0 0 20 0 18 0 140297632 19430449152 14039 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4743762 14039 5599 1 0 550876 0
[pid=703409/tid=703411] ppid=703406 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 5477 0 0 0 7 1 0 0 20 0 18 0 140297633 19430449152 14039 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140297635 19430449152 14039 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=18975048 memory=13563812552942208 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140297636 19430449152 14039 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56156 KiB

[startup+0.214384 s]*
/proc/loadavg: 4.26 4.30 4.26 5/316 703427
/proc/meminfo: memFree=112186460/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=18975048 memory=62704 CPUtime=0.25 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 7204 0 0 0 22 3 0 0 20 0 18 0 140297632 19430449152 15676 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4743762 15676 5607 1 0 551412 0
[pid=703409/tid=703411] ppid=703406 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 5715 0 0 0 16 2 0 0 20 0 18 0 140297633 19430449152 15676 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=18975048 memory=5822 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140297635 19430449152 15676 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=18975048 memory=13849655494580062 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140297636 19430449152 15676 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62704 KiB

[startup+0.332397 s]*
/proc/loadavg: 4.26 4.30 4.26 8/316 703427
/proc/meminfo: memFree=112183068/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=18975048 memory=66500 CPUtime=0.44 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 7500 0 0 0 41 3 0 0 20 0 18 0 140297632 19430449152 16625 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4743762 16625 5702 1 0 551603 0
[pid=703409/tid=703411] ppid=703406 vsize=18975048 memory=-8745258654432142012 CPUtime=0.28 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 5875 0 0 0 26 2 0 0 20 0 18 0 140297633 19430449152 16625 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140297635 19430449152 16625 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140297636 19430449152 16625 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66500 KiB

[startup+0.702571 s]
/proc/loadavg: 4.26 4.30 4.26 6/317 703428
/proc/meminfo: memFree=112173516/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19041612 memory=83244 CPUtime=1.12 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 9765 0 0 0 108 4 0 0 20 0 19 0 140297632 19498610688 20811 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4760403 20811 5862 1 0 553259 0
[pid=703409/tid=703411] ppid=703406 vsize=19041612 memory=5620 CPUtime=0.6 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 6038 0 0 0 58 2 0 0 20 0 19 0 140297633 19498610688 20811 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19041612 memory=12724 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140297635 19498610688 20811 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19041612 memory=280412777931432 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140297636 19498610688 20811 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140297682 19498610688 20811 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83244 KiB

[startup+1.50038 s]
/proc/loadavg: 4.26 4.30 4.26 6/317 703428
/proc/meminfo: memFree=112153096/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19041612 memory=101160 CPUtime=2.62 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 14704 0 0 0 257 5 0 0 20 0 19 0 140297632 19498610688 25290 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4760403 25290 5894 1 0 554917 0
[pid=703409/tid=703411] ppid=703406 vsize=19041612 memory=12724 CPUtime=1.37 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 6607 0 0 0 134 3 0 0 20 0 19 0 140297633 19498610688 25290 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140297635 19498610688 25290 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140297636 19498610688 25290 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19041612 memory=831 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140297682 19498610688 25290 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101160 KiB

[startup+3.10638 s]
/proc/loadavg: 4.26 4.30 4.26 6/317 703429
/proc/meminfo: memFree=112132972/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19041612 memory=118852 CPUtime=4.92 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 17771 0 0 0 486 6 0 0 20 0 19 0 140297632 19498610688 29713 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4760403 29713 5894 1 0 555147 0
[pid=703409/tid=703411] ppid=703406 vsize=19041612 memory=0 CPUtime=2.95 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 7604 0 0 0 292 3 0 0 20 0 19 0 140297633 19498610688 29713 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140297635 19498610688 29713 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19041612 memory=12724 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140297636 19498610688 29713 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19041612 memory=11408 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140297682 19498610688 29713 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 118852 KiB

[startup+6.30037 s]
/proc/loadavg: 4.24 4.30 4.25 6/317 703429
/proc/meminfo: memFree=112107588/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19041612 memory=145476 CPUtime=8.85 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 22301 0 0 0 877 8 0 0 20 0 19 0 140297632 19498610688 36369 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4760403 36369 5894 1 0 555598 0
[pid=703409/tid=703411] ppid=703406 vsize=19041612 memory=12724 CPUtime=6.11 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 8307 0 0 0 607 4 0 0 20 0 19 0 140297633 19498610688 36369 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140297635 19498610688 36369 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140297636 19498610688 36369 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19041612 memory=2308 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140297682 19498610688 36369 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 8.85 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 145476 KiB

[startup+12.7004 s]
/proc/loadavg: 4.38 4.33 4.26 6/318 703430
/proc/meminfo: memFree=112067708/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19108176 memory=178284 CPUtime=16.83 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 37307 0 0 0 1671 12 0 0 20 0 20 0 140297632 19566772224 44571 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4777044 44571 5947 1 0 559744 0
[pid=703409/tid=703411] ppid=703406 vsize=19108176 memory=0 CPUtime=12.42 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 10160 0 0 0 1237 5 0 0 20 0 20 0 140297633 19566772224 44571 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19108176 memory=177872 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140297635 19566772224 44571 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19108176 memory=2288 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 140297636 19566772224 44571 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140297682 19566772224 44571 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 16.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178284 KiB

[startup+25.5005 s]
/proc/loadavg: 4.30 4.31 4.26 5/318 703433
/proc/meminfo: memFree=111896616/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19108176 memory=178568 CPUtime=29.83 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 41454 0 0 0 2969 14 0 0 20 0 20 0 140297632 19566772224 44642 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4777044 44642 5953 1 0 559744 0
[pid=703409/tid=703411] ppid=703406 vsize=19108176 memory=177872 CPUtime=25.16 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 12694 0 0 0 2511 5 0 0 20 0 20 0 140297633 19566772224 44642 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140297635 19566772224 44642 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19108176 memory=178560 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 140297636 19566772224 44642 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19108176 memory=-8745258654432142012 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140297682 19566772224 44642 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 29.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178568 KiB

[startup+51.1132 s]
/proc/loadavg: 4.27 4.30 4.26 5/318 703436
/proc/meminfo: memFree=111885592/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19108176 memory=185196 CPUtime=55.89 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 53144 0 0 0 5572 17 0 0 20 0 20 0 140297632 19566772224 46299 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4777044 46299 5953 1 0 559824 0
[pid=703409/tid=703411] ppid=703406 vsize=19108176 memory=178900 CPUtime=50.63 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 15928 0 0 0 5057 6 0 0 20 0 20 0 140297633 19566772224 46299 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140297635 19566772224 46299 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19108176 memory=12724 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 140297636 19566772224 46299 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19108176 memory=178284 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140297682 19566772224 46299 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 55.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185196 KiB

[startup+64.0796 s]
# the end of solver process 703409 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=68.7386 s, system=0.202574 s

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

[startup+51.2006 s]
/proc/loadavg: 4.27 4.30 4.26 5/318 703436
/proc/meminfo: memFree=111885592/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19108176 memory=185196 CPUtime=55.97 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 53144 0 0 0 5580 17 0 0 20 0 20 0 140297632 19566772224 46299 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4777044 46299 5953 1 0 559824 0
[pid=703409/tid=703411] ppid=703406 vsize=19108176 memory=185176 CPUtime=50.72 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 15928 0 0 0 5066 6 0 0 20 0 20 0 140297633 19566772224 46299 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140297635 19566772224 46299 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 140297636 19566772224 46299 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19108176 memory=-8745258654432142012 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140297682 19566772224 46299 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 55.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185196 KiB

[startup+57.6004 s]
/proc/loadavg: 4.33 4.31 4.26 5/318 703438
/proc/meminfo: memFree=111879252/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19108176 memory=185240 CPUtime=62.44 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 55904 0 0 0 6226 18 0 0 20 0 20 0 140297632 19566772224 46310 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4777044 46310 5953 1 0 559824 0
[pid=703409/tid=703411] ppid=703406 vsize=19108176 memory=0 CPUtime=57.1 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 16940 0 0 0 5704 6 0 0 20 0 20 0 140297633 19566772224 46310 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19108176 memory=185224 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140297635 19566772224 46310 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19108176 memory=1904 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 140297636 19566772224 46310 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19108176 memory=1828 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140297682 19566772224 46310 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 62.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185240 KiB

[startup+60.8004 s]
/proc/loadavg: 4.31 4.31 4.26 7/319 703439
/proc/meminfo: memFree=111878236/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19108176 memory=185300 CPUtime=65.63 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 55989 0 0 0 6545 18 0 0 20 0 20 0 140297632 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4777044 46325 5968 1 0 559824 0
[pid=703409/tid=703411] ppid=703406 vsize=19108176 memory=35284 CPUtime=60.29 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 17000 0 0 0 6023 6 0 0 20 0 20 0 140297633 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19108176 memory=19496 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140297635 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19108176 memory=7060 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 140297636 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19108176 memory=4026 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140297682 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 65.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185300 KiB

[startup+62.4004 s]
/proc/loadavg: 4.31 4.31 4.26 5/318 703439
/proc/meminfo: memFree=111879112/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19108176 memory=185300 CPUtime=67.23 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 56006 0 0 0 6705 18 0 0 20 0 20 0 140297632 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4777044 46325 5968 1 0 559824 0
[pid=703409/tid=703411] ppid=703406 vsize=19108176 memory=35284 CPUtime=61.88 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 17015 0 0 0 6182 6 0 0 20 0 20 0 140297633 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19108176 memory=12724 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140297635 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19108176 memory=-8745258654432142012 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 140297636 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19108176 memory=26396 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140297682 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 67.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185300 KiB

[startup+63.2005 s]
/proc/loadavg: 4.31 4.31 4.26 5/318 703440
/proc/meminfo: memFree=111879144/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19108176 memory=185300 CPUtime=68.03 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 56013 0 0 0 6785 18 0 0 20 0 20 0 140297632 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4777044 46325 5968 1 0 559824 0
[pid=703409/tid=703411] ppid=703406 vsize=19108176 memory=5620 CPUtime=62.68 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 17020 0 0 0 6262 6 0 0 20 0 20 0 140297633 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19108176 memory=1828 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140297635 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19108176 memory=32072 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 140297636 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19108176 memory=-8745258654432142012 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140297682 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 68.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185300 KiB

[startup+63.6004 s]
/proc/loadavg: 4.31 4.31 4.26 5/318 703440
/proc/meminfo: memFree=111879144/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19108176 memory=185300 CPUtime=68.43 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 56014 0 0 0 6825 18 0 0 20 0 20 0 140297632 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4777044 46325 5968 1 0 559824 0
[pid=703409/tid=703411] ppid=703406 vsize=19108176 memory=12724 CPUtime=63.08 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 17021 0 0 0 6302 6 0 0 20 0 20 0 140297633 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19108176 memory=5620 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140297635 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19108176 memory=2560 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 140297636 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19108176 memory=-8745258654432142012 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140297682 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 68.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185300 KiB

[startup+64.0004 s]*
/proc/loadavg: 4.31 4.31 4.26 5/318 703440
/proc/meminfo: memFree=111879112/131655788 swapFree=131071996/131071996
[pid=703409] ppid=703406 vsize=19108176 memory=185300 CPUtime=68.84 cores=0,2
/proc/703409/stat : 703409 (java) S 703406 703409 697515 0 -1 1077936128 56033 0 0 0 6866 18 0 0 20 0 20 0 140297632 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
/proc/703409/statm: 4777044 46325 5968 1 0 559824 0
[pid=703409/tid=703411] ppid=703406 vsize=19108176 memory=-8745258654432142012 CPUtime=63.49 cores=0,2
/proc/703409/task/703411/stat : 703411 (java) R 703406 703409 697515 0 -1 4194368 17042 0 0 0 6343 6 0 0 20 0 20 0 140297633 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703420] ppid=703406 vsize=19108176 memory=31704 CPUtime=0 cores=0,2
/proc/703409/task/703420/stat : 703420 (Finalizer) S 703406 703409 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140297635 19566772224 46325 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703427] ppid=703406 vsize=19108176 memory=32488 CPUtime=0 cores=0,2
/proc/703409/task/703427/stat : 703427 (Common-Cleaner) S 703406 703409 697515 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 140297636 19566772224 46332 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
[pid=703409/tid=703428] ppid=703406 vsize=19108176 memory=7500 CPUtime=0 cores=0,2
/proc/703409/task/703428/stat : 703428 (Timer-0) S 703406 703409 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140297682 19566772224 46332 134679101440 94700296282112 94700296285808 140726238385024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94700296293624 94700296294416 94700316286976 140726238389229 140726238389319 140726238389319 140726238396360 0
Current children cumulated CPU time: 68.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185300 KiB

Child status: 30

Real time (s): 64.0797
CPU time (s): 68.9412
CPU user time (s): 68.7386
CPU system time (s): 0.202574
CPU usage (%): 107.587
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 185388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.7386
system time used= 0.202574
maximum resident set size= 190800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2734
involuntary context switches= 868


# summary of solver processes directly reported to runsolver:
#   pid: 703409
#   total CPU time (s): 68.9412
#   total CPU user time (s): 68.7386
#   total CPU system time (s): 0.202574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.323576 second user time and 0.655841 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-13 16:37:02
IDJOB=4424833
IDBENCH=143599
IDSOLVER=3037
FILE ID=nodeC007/4424833-1720881409
RUNJOBID= nodeC007-1720877762-699779
SLURM_JOB_ID= 7483755
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424833-1720881409/watcher-4424833-1720881409 -o /tmp/evaluation-result-4424833-1720881409/solver-4424833-1720881409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699779 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424833-1720881409.wbo

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

MD5SUM BENCH= dddb0d744d834e2d5f9db141b6c49ab7
RANDOM SEED=1462139764

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        112228764 kB
MemAvailable:   112131144 kB
Buffers:          322844 kB
Cached:           428484 kB
SwapCached:            0 kB
Active:           477032 kB
Inactive:       18417096 kB
Active(anon):       1484 kB
Inactive(anon): 18178692 kB
Active(file):     475548 kB
Inactive(file):   238404 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1096 kB
Writeback:             0 kB
AnonPages:      18142184 kB
Mapped:           121960 kB
Shmem:             37704 kB
KReclaimable:      56920 kB
Slab:             146500 kB
SReclaimable:      56920 kB
SUnreclaim:        89580 kB
KernelStack:        4780 kB
PageTables:        45748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   22154052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45696 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17831936 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC007 at 2024-07-13 16:38:06