Trace number 4425009

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-07MSAT (TO) 3600.42 3585.94

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/spot5/
normalized-spot5-408_wcsp.wbo
MD5SUM1d7d50b59898632446aa2d9216819715
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6228
Best CPU time to get the best result obtained on this benchmark1.5692
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables528
Total number of constraints3349
Number of soft constraints3149
Number of constraints which are clauses3149
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 9311
Min constraint cost 1
Max constraint cost 9311
Sum of constraints costs 27467449
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.11	c See www.sat4j.org for details.
0.00/0.11	c version CUSTOM.v20240707
0.12/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.12	c java.vm.version	22.0.1+8-16
0.12/0.12	c java.vm.vendor	Oracle Corporation
0.12/0.12	c sun.arch.data.model	64
0.12/0.12	c java.version		22.0.1
0.12/0.12	c os.name		Linux
0.12/0.12	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.12	c os.arch		amd64
0.12/0.13	c Free memory 		2115194816
0.12/0.13	c Max memory 		16282288128
0.12/0.13	c Total memory 		2122317824
0.12/0.14	c Number of processors 	2
0.12/0.21	--- Begin Solver configuration ---
0.12/0.21	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.21	Learn all clauses as in MiniSAT
0.12/0.21	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.21	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.21	No reason simplification
0.12/0.21	Glucose 2.1 dynamic restart strategy
0.12/0.21	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.12/0.21	timeout=2147483s
0.12/0.21	DB Simplification allowed=false
0.12/0.21	Listener: none
0.12/0.21	--- End Solver configuration ---
0.12/0.21	c Pseudo Boolean Optimization by upper bound
0.12/0.21	c --- Begin Solver configuration ---
0.12/0.21	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.21	c Learn all clauses as in MiniSAT
0.12/0.21	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.21	c No reason simplification
0.12/0.21	c Glucose 2.1 dynamic restart strategy
0.12/0.21	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.12/0.21	c timeout=2147483s
0.12/0.21	c DB Simplification allowed=false
0.12/0.21	c Listener: none
0.12/0.21	c --- End Solver configuration ---
0.12/0.21	c solving HOME/instance-4425009-1720890795.wbo
0.12/0.21	c reading problem ... 
0.44/0.39	c ... done. Wall clock time 0.172s.
0.44/0.39	c declared #vars     528
0.44/0.39	c internal #vars     3677
0.44/0.39	c #constraints  3550
0.44/0.39	c constraints type 
0.44/0.39	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 472
0.44/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 64
0.44/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.44/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3013
0.44/0.39	c 3550 constraints processed.
0.63/0.42	c objective function length is 3149 literals
0.63/0.48	c SATISFIABLE
0.63/0.49	c OPTIMIZING...
0.63/0.49	c Got one! Elapsed wall clock time (in seconds):0.273
0.63/0.49	o 6247
0.80/0.54	c Got one! Elapsed wall clock time (in seconds):0.329
0.80/0.54	o 6246
0.80/0.58	c Got one! Elapsed wall clock time (in seconds):0.365
0.80/0.58	o 6245
0.97/0.67	c Got one! Elapsed wall clock time (in seconds):0.463
0.97/0.67	o 6244
1.15/0.72	c Got one! Elapsed wall clock time (in seconds):0.503
1.15/0.72	o 6243
1.55/0.97	c Got one! Elapsed wall clock time (in seconds):0.753
1.55/0.97	o 6242
2.61/1.67	c cleaning 2627 clauses out of 5254 with flag 10843/5254
3.54/2.45	c cleaning 4312 clauses out of 8626 with flag 24938/11253
4.16/3.08	c cleaning 5655 clauses out of 11315 with flag 41213/18254
5.13/3.76	c cleaning 6829 clauses out of 13660 with flag 60447/26254
5.85/4.48	c cleaning 7912 clauses out of 15830 with flag 81314/35253
6.84/5.43	c cleaning 8958 clauses out of 17919 with flag 104517/45254
7.84/6.41	c cleaning 9974 clauses out of 19960 with flag 129707/56253
8.85/7.42	c cleaning 10990 clauses out of 21986 with flag 158645/68253
9.94/8.54	c cleaning 11997 clauses out of 23997 with flag 190571/81254
11.35/9.91	c cleaning 12996 clauses out of 26000 with flag 227862/95254
13.64/12.23	c cleaning 14002 clauses out of 28004 with flag 260407/110254
15.14/13.74	c cleaning 14999 clauses out of 30002 with flag 295122/126254
16.93/15.46	c cleaning 15999 clauses out of 32003 with flag 331967/143254
18.70/17.16	c cleaning 16995 clauses out of 34003 with flag 370951/161253
20.39/18.87	c cleaning 18002 clauses out of 36008 with flag 412025/180253
22.53/20.92	c cleaning 19000 clauses out of 38007 with flag 455475/200254
24.44/22.89	c cleaning 20001 clauses out of 40007 with flag 500969/221254
26.74/25.09	c cleaning 21004 clauses out of 42007 with flag 548559/243255
29.23/27.54	c cleaning 22002 clauses out of 44003 with flag 598410/266255
31.62/29.96	c cleaning 22997 clauses out of 46000 with flag 653871/290254
34.15/32.49	c cleaning 24001 clauses out of 48003 with flag 713538/315254
36.68/34.95	c cleaning 24997 clauses out of 50002 with flag 785207/341254
38.98/37.28	c cleaning 26001 clauses out of 52004 with flag 855072/368253
42.08/40.34	c cleaning 27002 clauses out of 54004 with flag 922245/396254
44.89/43.17	c cleaning 27993 clauses out of 56002 with flag 990670/425254
47.90/46.18	c cleaning 29004 clauses out of 58008 with flag 1063063/455253
51.28/49.53	c cleaning 29996 clauses out of 60005 with flag 1142275/486254
54.59/52.84	c cleaning 31002 clauses out of 62008 with flag 1213616/518253
57.69/55.90	c cleaning 31996 clauses out of 64006 with flag 1284586/551253
61.30/59.55	c cleaning 33005 clauses out of 66010 with flag 1358251/585253
64.60/62.86	c cleaning 33997 clauses out of 68005 with flag 1434491/620253
68.43/66.61	c cleaning 34999 clauses out of 70008 with flag 1515380/656253
72.02/70.29	c cleaning 36005 clauses out of 72009 with flag 1595659/693253
76.22/74.41	c cleaning 37002 clauses out of 74004 with flag 1677227/731253
80.24/78.47	c cleaning 37995 clauses out of 76002 with flag 1769769/770253
84.53/82.77	c cleaning 38999 clauses out of 78009 with flag 1872263/810255
88.87/87.04	c cleaning 40003 clauses out of 80009 with flag 1974350/851254
93.18/91.30	c cleaning 40998 clauses out of 82005 with flag 2084428/893253
97.72/95.71	c cleaning 41998 clauses out of 84007 with flag 2221890/936253
102.42/100.47	c cleaning 43005 clauses out of 86009 with flag 2339679/980253
107.71/105.70	c cleaning 44002 clauses out of 88005 with flag 2444376/1025254
112.71/110.76	c cleaning 45001 clauses out of 90002 with flag 2555679/1071253
117.73/115.73	c cleaning 46001 clauses out of 92002 with flag 2678730/1118254
123.06/121.02	c cleaning 47000 clauses out of 94000 with flag 2795012/1166253
128.45/126.44	c cleaning 47999 clauses out of 96001 with flag 2915542/1215254
133.94/131.91	c cleaning 48998 clauses out of 98002 with flag 3053916/1265254
140.56/138.57	c cleaning 49997 clauses out of 100003 with flag 3183738/1316253
148.22/145.46	c cleaning 51001 clauses out of 102007 with flag 3312718/1368254
155.32/152.52	c cleaning 52000 clauses out of 104006 with flag 3443004/1421254
162.85/160.08	c cleaning 53000 clauses out of 106005 with flag 3578713/1475253
170.25/167.47	c cleaning 54002 clauses out of 108005 with flag 3721815/1530253
178.20/175.37	c cleaning 54998 clauses out of 110003 with flag 3879583/1586253
185.89/183.03	c cleaning 55997 clauses out of 112005 with flag 4060270/1643253
195.69/192.82	c cleaning 57001 clauses out of 114008 with flag 4187535/1701253
204.07/201.28	c cleaning 58002 clauses out of 116007 with flag 4323868/1760253
211.90/209.18	c cleaning 58999 clauses out of 118006 with flag 4466997/1820254
220.58/217.73	c cleaning 60001 clauses out of 120006 with flag 4611263/1881253
229.45/226.52	c cleaning 61003 clauses out of 122007 with flag 4779869/1943255
237.34/234.45	c cleaning 62001 clauses out of 124003 with flag 4935430/2006254
245.56/242.68	c cleaning 62996 clauses out of 126002 with flag 5098796/2070254
254.15/251.24	c cleaning 63996 clauses out of 128006 with flag 5246091/2135254
263.09/260.11	c cleaning 65003 clauses out of 130010 with flag 5392595/2201254
271.16/268.21	c cleaning 66000 clauses out of 132006 with flag 5537189/2268253
280.67/277.74	c cleaning 67000 clauses out of 134007 with flag 5684571/2336254
290.01/287.04	c cleaning 67996 clauses out of 136006 with flag 5834739/2405253
300.10/297.17	c cleaning 69002 clauses out of 138010 with flag 5986849/2475253
309.58/306.62	c cleaning 70000 clauses out of 140009 with flag 6141266/2546254
319.14/316.17	c cleaning 71001 clauses out of 142008 with flag 6296855/2618253
329.62/325.91	c cleaning 71999 clauses out of 144007 with flag 6454050/2691253
339.51/335.89	c cleaning 73004 clauses out of 146008 with flag 6615171/2765253
349.75/346.04	c cleaning 74001 clauses out of 148005 with flag 6780696/2840254
360.89/357.12	c cleaning 74999 clauses out of 150006 with flag 6946852/2916256
371.07/367.36	c cleaning 75998 clauses out of 152005 with flag 7114773/2993254
382.31/378.52	c cleaning 77000 clauses out of 154006 with flag 7284445/3071253
393.40/389.65	c cleaning 78005 clauses out of 156009 with flag 7455785/3150256
404.00/400.14	c cleaning 78998 clauses out of 158002 with flag 7633888/3230254
417.26/413.49	c cleaning 79995 clauses out of 160003 with flag 7836177/3311253
429.06/425.18	c cleaning 81001 clauses out of 162008 with flag 8038729/3393253
442.73/438.86	c cleaning 82000 clauses out of 164007 with flag 8257986/3476253
455.79/451.85	c cleaning 83000 clauses out of 166010 with flag 8507252/3560256
467.41/463.39	c cleaning 84001 clauses out of 168007 with flag 8774673/3645253
479.33/475.21	c cleaning 85000 clauses out of 170006 with flag 9026370/3731253
491.00/486.81	c cleaning 85999 clauses out of 172006 with flag 9255020/3818253
503.28/499.03	c cleaning 86996 clauses out of 174007 with flag 9467166/3906253
515.76/511.52	c cleaning 88002 clauses out of 176012 with flag 9713744/3995254
528.80/524.56	c cleaning 89000 clauses out of 178010 with flag 9963213/4085254
543.02/537.92	c cleaning 90002 clauses out of 180010 with flag 10200179/4176254
557.89/552.86	c cleaning 91000 clauses out of 182007 with flag 10400582/4268253
570.97/566.07	c cleaning 92001 clauses out of 184007 with flag 10634971/4361253
587.23/582.42	c cleaning 92999 clauses out of 186006 with flag 10881036/4455253
604.04/599.25	c cleaning 93999 clauses out of 188007 with flag 11134034/4550253
619.32/614.55	c cleaning 95001 clauses out of 190008 with flag 11445644/4646253
633.76/628.91	c cleaning 95999 clauses out of 192009 with flag 11759532/4743255
648.74/643.95	c cleaning 97002 clauses out of 194011 with flag 12014349/4841256
664.28/659.49	c cleaning 97997 clauses out of 196006 with flag 12289475/4940253
681.15/676.38	c cleaning 99001 clauses out of 198010 with flag 12566473/5040254
697.03/692.28	c cleaning 100003 clauses out of 200008 with flag 12867388/5141253
714.75/709.84	c cleaning 101002 clauses out of 202005 with flag 13131264/5243253
736.13/731.04	c cleaning 102001 clauses out of 204004 with flag 13383529/5346254
755.49/750.45	c cleaning 102997 clauses out of 206002 with flag 13660846/5450253
775.95/770.88	c cleaning 103999 clauses out of 208005 with flag 13889896/5555253
796.26/791.26	c cleaning 105004 clauses out of 210007 with flag 14120223/5661254
816.52/811.49	c cleaning 106002 clauses out of 212004 with flag 14371545/5768255
836.70/831.50	c cleaning 106998 clauses out of 214002 with flag 14617294/5876255
856.97/851.81	c cleaning 108001 clauses out of 216002 with flag 14866721/5985253
877.86/872.66	c cleaning 109001 clauses out of 218001 with flag 15110630/6095253
898.52/893.15	c cleaning 110000 clauses out of 220000 with flag 15359653/6206253
922.58/917.18	c cleaning 111000 clauses out of 222001 with flag 15608136/6318254
946.75/940.38	c cleaning 111990 clauses out of 224001 with flag 15855698/6431254
972.68/966.46	c cleaning 112999 clauses out of 226010 with flag 16104522/6545253
993.90/987.87	c cleaning 114000 clauses out of 228011 with flag 16357584/6660253
1013.70/1007.66	c cleaning 115000 clauses out of 230011 with flag 16612406/6776253
1032.86/1026.83	c cleaning 116002 clauses out of 232013 with flag 16864504/6893255
1050.15/1044.05	c cleaning 116997 clauses out of 234010 with flag 17117237/7011254
1066.42/1060.29	c cleaning 117997 clauses out of 236012 with flag 17371831/7130253
1083.72/1077.50	c cleaning 119007 clauses out of 238016 with flag 17627314/7250254
1099.78/1093.54	c cleaning 120000 clauses out of 240010 with flag 17886260/7371255
1114.45/1108.26	c cleaning 120999 clauses out of 242008 with flag 18149838/7493253
1129.73/1123.50	c cleaning 122001 clauses out of 244010 with flag 18415009/7616254
1147.51/1141.37	c cleaning 123002 clauses out of 246008 with flag 18680567/7740253
1163.57/1157.39	c cleaning 123997 clauses out of 248006 with flag 18950434/7865253
1184.14/1177.97	c cleaning 125000 clauses out of 250009 with flag 19229728/7991253
1206.07/1199.71	c cleaning 126000 clauses out of 252010 with flag 19525407/8118254
1226.58/1220.11	c cleaning 126995 clauses out of 254009 with flag 19812795/8246253
1248.47/1241.92	c cleaning 128003 clauses out of 256017 with flag 20115114/8375256
1275.23/1268.66	c cleaning 129001 clauses out of 258012 with flag 20409684/8505254
1298.00/1291.36	c cleaning 130001 clauses out of 260010 with flag 20724528/8636253
1322.95/1316.12	c cleaning 131000 clauses out of 262009 with flag 21043551/8768253
1346.11/1339.38	c cleaning 131996 clauses out of 264010 with flag 21356179/8901254
1367.04/1360.28	c cleaning 133000 clauses out of 266014 with flag 21657084/9035254
1388.65/1381.74	c cleaning 134001 clauses out of 268013 with flag 21963606/9170253
1419.23/1411.60	c cleaning 135001 clauses out of 270012 with flag 22280694/9306253
1440.63/1433.01	c cleaning 136003 clauses out of 272011 with flag 22583779/9443253
1460.70/1453.15	c cleaning 136997 clauses out of 274009 with flag 22922995/9581254
1483.81/1476.05	c cleaning 138005 clauses out of 276011 with flag 23239052/9720253
1506.47/1498.80	c cleaning 139002 clauses out of 278006 with flag 23560325/9860253
1531.04/1523.29	c cleaning 139994 clauses out of 280004 with flag 23910537/10001253
1554.51/1546.75	c cleaning 141002 clauses out of 282011 with flag 24265220/10143254
1577.61/1569.78	c cleaning 142001 clauses out of 284008 with flag 24574778/10286253
1601.97/1594.15	c cleaning 142996 clauses out of 286007 with flag 24911478/10430253
1631.63/1623.73	c cleaning 144000 clauses out of 288012 with flag 25227768/10575254
1656.50/1648.61	c cleaning 145001 clauses out of 290011 with flag 25543152/10721253
1679.57/1671.61	c cleaning 146000 clauses out of 292010 with flag 25864454/10868253
1711.11/1703.20	c cleaning 147003 clauses out of 294010 with flag 26221913/11016253
1735.92/1727.90	c cleaning 148004 clauses out of 296007 with flag 26554280/11165253
1776.86/1768.95	c cleaning 148993 clauses out of 298004 with flag 26924718/11315254
1820.13/1812.12	c cleaning 149999 clauses out of 300011 with flag 27306518/11466254
1850.76/1842.84	c cleaning 151000 clauses out of 302011 with flag 27677799/11618253
1884.47/1876.35	c cleaning 152000 clauses out of 304011 with flag 28008723/11771253
1911.82/1903.74	c cleaning 153003 clauses out of 306012 with flag 28387064/11925254
1942.27/1934.16	c cleaning 154003 clauses out of 308009 with flag 28765186/12080254
1971.50/1963.48	c cleaning 155003 clauses out of 310006 with flag 29103471/12236254
1997.52/1989.40	c cleaning 155998 clauses out of 312002 with flag 29449496/12393253
2035.47/2027.34	c cleaning 156995 clauses out of 314004 with flag 29855635/12551253
2063.67/2055.33	c cleaning 158003 clauses out of 316012 with flag 30218683/12710256
2101.53/2091.55	c cleaning 158996 clauses out of 318007 with flag 30586047/12870254
2129.88/2119.85	c cleaning 159999 clauses out of 320010 with flag 30937886/13031253
2157.74/2147.71	c cleaning 161001 clauses out of 322012 with flag 31289746/13193254
2185.13/2175.07	c cleaning 162000 clauses out of 324010 with flag 31644765/13356253
2214.83/2204.60	c cleaning 162996 clauses out of 326010 with flag 32002143/13520253
2244.10/2233.87	c cleaning 164003 clauses out of 328014 with flag 32361318/13685253
2275.88/2265.67	c cleaning 165002 clauses out of 330013 with flag 32721096/13851255
2304.52/2294.25	c cleaning 166002 clauses out of 332009 with flag 33084099/14018253
2331.68/2321.45	c cleaning 166998 clauses out of 334008 with flag 33449073/14186254
2360.27/2350.05	c cleaning 168003 clauses out of 336009 with flag 33816982/14355253
2390.51/2380.40	c cleaning 168997 clauses out of 338006 with flag 34186791/14525253
2428.05/2417.74	c cleaning 169999 clauses out of 340009 with flag 34558646/14696253
2462.49/2452.23	c cleaning 170999 clauses out of 342010 with flag 34932619/14868253
2492.34/2482.09	c cleaning 172002 clauses out of 344011 with flag 35308877/15041253
2519.17/2508.99	c cleaning 172999 clauses out of 346009 with flag 35684943/15215253
2551.77/2541.56	c cleaning 174003 clauses out of 348011 with flag 36065218/15390254
2586.52/2576.34	c cleaning 174999 clauses out of 350007 with flag 36445387/15566253
2630.52/2620.33	c cleaning 176002 clauses out of 352008 with flag 36828155/15743253
2662.18/2651.98	c cleaning 177001 clauses out of 354008 with flag 37214076/15921255
2700.43/2690.28	c cleaning 177999 clauses out of 356006 with flag 37602330/16100254
2734.43/2724.26	c cleaning 178997 clauses out of 358007 with flag 37989729/16280254
2769.39/2759.25	c cleaning 180006 clauses out of 360012 with flag 38379429/16461256
2806.69/2796.47	c cleaning 180999 clauses out of 362003 with flag 38775405/16643253
2848.73/2838.54	c cleaning 181995 clauses out of 364004 with flag 39169617/16826253
2887.48/2875.67	c cleaning 183003 clauses out of 366009 with flag 39570644/17010253
2924.25/2912.47	c cleaning 184000 clauses out of 368007 with flag 39972363/17195254
2963.27/2951.22	c cleaning 185002 clauses out of 370008 with flag 40373196/17381255
3011.25/2999.16	c cleaning 185993 clauses out of 372005 with flag 40832956/17568254
3053.45/3041.28	c cleaning 187003 clauses out of 374011 with flag 41327219/17756253
3105.87/3093.67	c cleaning 187996 clauses out of 376008 with flag 41912454/17945253
3140.34/3127.94	c cleaning 189003 clauses out of 378012 with flag 42415762/18135253
3174.70/3162.16	c cleaning 190002 clauses out of 380011 with flag 42862595/18326255
3218.00/3205.32	c cleaning 191000 clauses out of 382010 with flag 43330510/18518256
3250.77/3237.93	c cleaning 192000 clauses out of 384008 with flag 43910218/18711254
3296.22/3283.38	c cleaning 193001 clauses out of 386007 with flag 44487659/18905253
3332.61/3319.57	c cleaning 194001 clauses out of 388006 with flag 44925588/19100253
3375.09/3360.61	c cleaning 194999 clauses out of 390006 with flag 45376313/19296254
3417.24/3403.16	c cleaning 195999 clauses out of 392007 with flag 45897269/19493254
3449.28/3435.49	c cleaning 197001 clauses out of 394010 with flag 46322038/19691256
3485.47/3471.58	c cleaning 197996 clauses out of 396006 with flag 46748358/19890253
3520.05/3505.99	c cleaning 198999 clauses out of 398010 with flag 47292901/20090253
3560.94/3546.70	c cleaning 200005 clauses out of 400012 with flag 47814370/20291254
3599.91/3585.62	c cleaning 200998 clauses out of 402006 with flag 48284924/20493253
3600.01/3585.72	c starts		: 161
3600.01/3585.72	c conflicts		: 20494605
3600.01/3585.72	c decisions		: 29867802
3600.01/3585.72	c propagations		: 2625594102
3600.01/3585.72	c inspects		: 21877785453
3600.01/3585.72	c shortcuts		: 0
3600.01/3585.72	c learnt literals	: 0
3600.01/3585.72	c learnt binary clauses	: 0
3600.01/3585.72	c learnt ternary clauses	: 152
3600.01/3585.72	c learnt constraints	: 20494605
3600.01/3585.72	c ignored constraints	: 0
3600.01/3585.72	c root simplifications	: 0
3600.01/3585.72	c removed literals (reason simplification)	: 0
3600.01/3585.72	c reason swapping (by a shorter reason)	: 0
3600.01/3585.72	c Calls to reduceDB	: 198
3600.01/3585.72	c Number of update (reduction) of LBD	: 1542267
3600.01/3585.72	c Imported unit clauses	: 0
3600.01/3585.72	c No decision after first conflict	: false
3600.01/3585.72	c number of reductions to clauses (during analyze)	: 0
3600.01/3585.72	c number of learned constraints concerned by reduction	: 0
3600.01/3585.72	c number of learning phase by resolution	: 0
3600.01/3585.72	c number of learning phase by cutting planes	: 0
3600.01/3585.72	c number of rounding to 1 operations	: 0
3600.01/3585.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3585.72	c number of reductions of the coefficients by power 2 	: 0
3600.01/3585.72	c number of right shift for reduction by power 2 	: 0
3600.01/3585.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3585.72	c number of ending skipping 	: 0
3600.01/3585.72	c number of internal skipping 	: 0
3600.01/3585.72	c number of derivation steps 	: 0
3600.01/3585.72	c number of skipped derivation steps 	: 0
3600.01/3585.72	c number of remaining unassigned 	: 0
3600.01/3585.72	c number of remaining assigned 	: 0
3600.01/3585.72	c number of falsified literals weakened from reason	: 0
3600.01/3585.72	c number of falsified literals weakened from conflict	: 0
3600.01/3585.72	c time for arithmetic operations	: 0
3600.01/3585.72	c minimum degree of deleted constraints	: null
3600.01/3585.72	c maximum degree of deleted constraints	: null
3600.01/3585.72	c number of deleted constraints	: 0
3600.01/3585.72	c speed (assignments/second)	: 732325.0737389078
3600.01/3585.72	c non guided choices	: 136
3600.20/3585.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 202360
3600.20/3585.89	s SATISFIABLE
3600.20/3585.89	c Found 6 solution(s)
3600.20/3585.89	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 x232 -x233 x234 -x235 x236 -x237 x238 -x239 -x240 -x241 x242 x243 -x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 -x259 x260 -x261 x262 -x263 x264 -x265 -x266 -x267 x268 x269 -x270 -x271 x272 -x273 -x274 -x275 x276 -x277 x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 x288 -x289 x290 -x291 x292 -x293 -x294 -x295 x296 -x297 x298 -x299 x300 -x301 x302 -x303 x304 -x305 -x306 -x307 x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316 x317 -x318 -x319 x320 -x321 x322 x323 -x324 -x325 -x326 -x327 x328 -x329 x330 -x331 -x332 -x333 x334 -x335 x336 x337 -x338 -x339 x340 -x341 -x342 -x343 x344 -x345 x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 x362 -x363 x364 -x365 -x366 -x367 x368 -x369 x370 -x371 -x372 -x373 x374 x375 -x376 -x377 x378 -x379 -x380 -x381 x382 -x383 x384 x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 x402 x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 -x430 -x431 x432 -x433 x434 -x435 -x436 -x437 x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 -x449 -x450 -x451 x452 -x453 x454 -x455 x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 x464 -x465 x466 -x467 x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 x484 -x485 -x486 -x487 x488 -x489 x490 -x491 x492 -x493 x494 -x495 x496 -x497 x498 -x499 x500 -x501 x502 -x503 x504 -x505 x506 x507 -x508 -x509 x510 -x511 x512 -x513 -x514 -x515 x516 -x517 x518 -x519 -x520 -x521 x522 -x523 x524 -x525 x526 x527 -x528 
3600.20/3585.89	c objective function=6242
3600.20/3585.89	c Total wall clock time (in seconds): 3585.675

Verifier Data 

OK	6242

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425009-1720890795/watcher-4425009-1720890795 -o /tmp/evaluation-result-4425009-1720890795/solver-4425009-1720890795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720890801-716011 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425009-1720890795.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=716460, runsolver pid=716457

[startup+0.105537 s]*
/proc/loadavg: 0.93 0.27 0.16 7/317 716478
/proc/meminfo: memFree=129661640/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=18975048 memory=58468 CPUtime=0.12 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 6579 0 0 0 11 1 0 0 20 0 18 0 141237583 19430449152 14617 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4743762 14617 5626 1 0 550998 0
[pid=716460/tid=716462] ppid=716457 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 5515 0 0 0 8 1 0 0 20 0 18 0 141237583 19430449152 14617 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141237586 19430449152 14617 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=18975048 memory=14135562894496790 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 141237587 19430449152 14617 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58468 KiB

[startup+0.219218 s]*
/proc/loadavg: 0.93 0.27 0.16 8/317 716478
/proc/meminfo: memFree=129652276/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=18975048 memory=65948 CPUtime=0.28 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 7276 0 0 0 26 2 0 0 20 0 18 0 141237583 19430449152 16487 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4743762 16487 5806 1 0 551557 0
[pid=716460/tid=716462] ppid=716457 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 1077936192 5757 0 0 0 18 1 0 0 20 0 18 0 141237583 19430449152 16487 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=18975048 memory=694 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141237586 19430449152 16487 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=18975048 memory=15536340708104212 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 141237587 19430449152 16487 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65948 KiB

[startup+0.313025 s]*
/proc/loadavg: 0.93 0.27 0.16 6/317 716478
/proc/meminfo: memFree=129642908/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=18975048 memory=70860 CPUtime=0.44 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 7487 0 0 0 42 2 0 0 20 0 18 0 141237583 19430449152 17715 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4743762 17715 5806 1 0 551680 0
[pid=716460/tid=716462] ppid=716457 vsize=18975048 memory=-8671793672608981692 CPUtime=0.27 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 1077936192 5812 0 0 0 26 1 0 0 20 0 18 0 141237583 19430449152 17715 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141237586 19430449152 17715 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 141237587 19430449152 17715 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70860 KiB

[startup+0.700507 s]
/proc/loadavg: 0.93 0.27 0.16 7/318 716479
/proc/meminfo: memFree=129627792/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19041612 memory=83632 CPUtime=1.15 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 9780 0 0 0 112 3 0 0 20 0 19 0 141237583 19498610688 20908 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4760403 20908 5844 1 0 552897 0
[pid=716460/tid=716462] ppid=716457 vsize=19041612 memory=5576 CPUtime=0.61 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 5952 0 0 0 59 2 0 0 20 0 19 0 141237583 19498610688 20908 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19041612 memory=12676 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141237586 19498610688 20908 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19041612 memory=280554511852200 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141237587 19498610688 20908 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141237627 19498610688 20908 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83632 KiB

[startup+1.50053 s]
/proc/loadavg: 0.93 0.27 0.16 8/318 716479
/proc/meminfo: memFree=129597648/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19041612 memory=101084 CPUtime=2.43 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 14724 0 0 0 238 5 0 0 20 0 19 0 141237583 19498610688 25271 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4760403 25271 5876 1 0 554546 0
[pid=716460/tid=716462] ppid=716457 vsize=19041612 memory=12676 CPUtime=1.38 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 6056 0 0 0 136 2 0 0 20 0 19 0 141237583 19498610688 25271 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141237586 19498610688 25271 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141237587 19498610688 25271 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19041612 memory=280554511705360 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141237627 19498610688 25271 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101084 KiB

[startup+3.10653 s]
/proc/loadavg: 1.33 0.36 0.19 4/296 716495
/proc/meminfo: memFree=129684196/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19041612 memory=128724 CPUtime=4.28 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 17985 0 0 0 422 6 0 0 20 0 19 0 141237583 19498610688 32181 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4760403 32181 5876 1 0 554741 0
[pid=716460/tid=716462] ppid=716457 vsize=19041612 memory=0 CPUtime=2.97 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 7248 0 0 0 294 3 0 0 20 0 19 0 141237583 19498610688 32181 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19041612 memory=12676 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141237586 19498610688 32181 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141237587 19498610688 32181 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19041612 memory=12440 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141237627 19498610688 32181 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 128724 KiB

[startup+6.30053 s]
/proc/loadavg: 1.33 0.36 0.19 7/321 716615
/proc/meminfo: memFree=129132396/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19108176 memory=194816 CPUtime=7.74 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 19187 0 0 0 767 7 0 0 20 0 20 0 141237583 19566772224 48704 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4777044 48704 5876 1 0 555030 0
[pid=716460/tid=716462] ppid=716457 vsize=19108176 memory=12676 CPUtime=6.05 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 7290 0 0 0 601 4 0 0 20 0 20 0 141237583 19566772224 48704 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 48704 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 141237587 19566772224 48704 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19108176 memory=103148 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141237627 19566772224 48704 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194816 KiB

[startup+12.7004 s]
/proc/loadavg: 2.20 0.58 0.27 6/320 716683
/proc/meminfo: memFree=126781376/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19108176 memory=240148 CPUtime=14.14 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 20270 0 0 0 1405 9 0 0 20 0 20 0 141237583 19566772224 60037 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4777044 60037 5883 1 0 555030 0
[pid=716460/tid=716462] ppid=716457 vsize=19108176 memory=12676 CPUtime=12.26 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 7600 0 0 0 1222 4 0 0 20 0 20 0 141237583 19566772224 60037 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=12440 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 60037 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=2216 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 141237587 19566772224 60037 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19108176 memory=240148 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141237627 19566772224 60037 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 14.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 240148 KiB

[startup+25.5005 s]
/proc/loadavg: 2.63 0.73 0.32 7/320 716684
/proc/meminfo: memFree=122169708/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19108176 memory=408964 CPUtime=27.23 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 26685 0 0 0 2709 14 0 0 20 0 20 0 141237583 19566772224 102241 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4777044 102241 5899 1 0 555030 0
[pid=716460/tid=716462] ppid=716457 vsize=19108176 memory=240148 CPUtime=24.74 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 8990 0 0 0 2470 4 0 0 20 0 20 0 141237583 19566772224 102241 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=12676 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 102241 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=12676 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 141237587 19566772224 102241 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19108176 memory=289736 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141237627 19566772224 102241 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 27.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 408964 KiB

[startup+51.1132 s]
/proc/loadavg: 3.34 1.05 0.44 5/322 716691
/proc/meminfo: memFree=118235484/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19108176 memory=711276 CPUtime=52.89 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 30545 0 0 0 5267 22 0 0 20 0 20 0 141237583 19566772224 177819 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4777044 177819 5899 1 0 661540 0
[pid=716460/tid=716462] ppid=716457 vsize=19108176 memory=289736 CPUtime=49.78 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 10427 0 0 0 4971 7 0 0 20 0 20 0 141237583 19566772224 177819 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=37152 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 177819 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=558828 CPUtime=0 cores=1,3

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

/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 63990 0 0 0 325587 36 0 0 20 0 20 0 141237583 19566772224 894252 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=3577008 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 894252 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=3577008 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 1021 0 0 0 0 0 0 0 20 0 20 0 141237587 19566772224 894252 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19108176 memory=3577008 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141237627 19566772224 894252 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 3295.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3577008 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/318 718486
/proc/meminfo: memFree=111969344/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19108176 memory=3578096 CPUtime=3355.54 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 179118 0 0 0 335300 254 0 0 20 0 20 0 141237583 19566772224 894524 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4777044 894524 5899 1 0 906885 0
[pid=716460/tid=716462] ppid=716457 vsize=19108176 memory=3577232 CPUtime=3315.63 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 64715 0 0 0 331527 36 0 0 20 0 20 0 141237583 19566772224 894524 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=5576 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 894524 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=3577720 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 1021 0 0 0 0 0 0 0 20 0 20 0 141237587 19566772224 894524 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19108176 memory=5608 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141237627 19566772224 894524 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 3355.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3578096 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/318 718497
/proc/meminfo: memFree=111665120/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19108176 memory=3880416 CPUtime=3416.44 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 195665 0 0 0 341380 264 0 0 20 0 20 0 141237583 19566772224 970104 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4777044 970104 5899 1 0 1011374 0
[pid=716460/tid=716462] ppid=716457 vsize=19108176 memory=5576 CPUtime=3374.95 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 72149 0 0 0 337454 41 0 0 20 0 20 0 141237583 19566772224 970104 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=3577720 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 970104 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=2216 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 1039 0 0 0 0 0 0 0 20 0 20 0 141237587 19566772224 970104 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19108176 memory=3880416 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141237627 19566772224 970104 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 3416.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3880416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/320 718511
/proc/meminfo: memFree=111551492/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19108176 memory=3993312 CPUtime=3476.34 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 196643 0 0 0 347365 269 0 0 20 0 20 0 141237583 19566772224 998328 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4777044 998328 5899 1 0 1011374 0
[pid=716460/tid=716462] ppid=716457 vsize=19108176 memory=5576 CPUtime=3433.84 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 72393 0 0 0 343342 42 0 0 20 0 20 0 141237583 19566772224 998328 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=3577720 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 998328 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=3913212 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 1040 0 0 0 0 0 0 0 20 0 20 0 141237587 19566772224 998328 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19108176 memory=3993312 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141237627 19566772224 998328 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 3476.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3993312 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/320 718522
/proc/meminfo: memFree=111550572/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19108176 memory=3993392 CPUtime=3536.57 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 197068 0 0 0 353385 272 0 0 20 0 20 0 141237583 19566772224 998348 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4777044 998348 5899 1 0 1011380 0
[pid=716460/tid=716462] ppid=716457 vsize=19108176 memory=3993312 CPUtime=3493.07 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 72528 0 0 0 349265 42 0 0 20 0 20 0 141237583 19566772224 998348 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=3993316 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 998348 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=3993340 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 1040 0 0 0 0 0 0 0 20 0 20 0 141237587 19566772224 998348 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19108176 memory=3993392 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141237627 19566772224 998348 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 3536.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3993392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/320 718533
/proc/meminfo: memFree=111550036/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19108176 memory=3993396 CPUtime=3596.62 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 197131 0 0 0 359387 275 0 0 20 0 20 0 141237583 19566772224 998349 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4777044 998349 5899 1 0 1011380 0
[pid=716460/tid=716462] ppid=716457 vsize=19108176 memory=104 CPUtime=3552.81 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 72569 0 0 0 355239 42 0 0 20 0 20 0 141237583 19566772224 998349 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=12676 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 998349 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=3993396 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 1040 0 0 0 0 0 0 0 20 0 20 0 141237587 19566772224 998349 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19108176 memory=12676 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141237627 19566772224 998349 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 3596.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3993396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3585.7 s]
/proc/loadavg: 4.19 4.18 4.17 5/320 718533
/proc/meminfo: memFree=111550040/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19108176 memory=3993396 CPUtime=3600.01 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 197131 0 0 0 359726 275 0 0 20 0 20 0 141237583 19566772224 998349 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4777044 998349 5899 1 0 1011380 0
[pid=716460/tid=716462] ppid=716457 vsize=19108176 memory=3993392 CPUtime=3556.2 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 72569 0 0 0 355578 42 0 0 20 0 20 0 141237583 19566772224 998349 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19108176 memory=37152 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141237586 19566772224 998349 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19108176 memory=-8671793672608981692 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 1040 0 0 0 0 0 0 0 20 0 20 0 141237587 19566772224 998349 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716479] ppid=716457 vsize=19108176 memory=3993396 CPUtime=0 cores=1,3
/proc/716460/task/716479/stat : 716479 (Timer-0) S 716457 716460 715999 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141237627 19566772224 998349 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3993396 KiB

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

[startup+3585.94 s]
# the end of solver process 716460 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3597.64 s, system=2.78059 s

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

[startup+3585.8 s]
/proc/loadavg: 4.19 4.18 4.17 5/320 718533
/proc/meminfo: memFree=111550040/131655788 swapFree=131071996/131071996
[pid=716460] ppid=716457 vsize=19307868 memory=3994236 CPUtime=3600.2 cores=1,3
/proc/716460/stat : 716460 (java) S 716457 716460 715999 0 -1 1077936128 198689 0 0 0 359745 275 0 0 20 0 21 0 141237583 19771256832 998559 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
/proc/716460/statm: 4826967 998559 5914 1 0 1012302 0
[pid=716460/tid=716462] ppid=716457 vsize=19307868 memory=19312 CPUtime=3556.27 cores=1,3
/proc/716460/task/716462/stat : 716462 (java) R 716457 716460 715999 0 -1 4194368 72717 0 0 0 355585 42 0 0 20 0 21 0 141237583 19771256832 998559 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716471] ppid=716457 vsize=19307868 memory=-8671793672608981692 CPUtime=0 cores=1,3
/proc/716460/task/716471/stat : 716471 (Finalizer) S 716457 716460 715999 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 141237586 19771256832 998559 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
[pid=716460/tid=716478] ppid=716457 vsize=19307868 memory=37152 CPUtime=0 cores=1,3
/proc/716460/task/716478/stat : 716478 (Common-Cleaner) S 716457 716460 715999 0 -1 1077936192 1040 0 0 0 0 0 0 0 20 0 21 0 141237587 19771256832 998559 134679101440 94841305153536 94841305157232 140732690338944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841305165048 94841305165840 94841319964672 140732690342949 140732690343039 140732690343039 140732690350024 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3994236 KiB

[startup+3585.92 s]*
/proc/loadavg: 4.19 4.18 4.17 5/302 718536
/proc/meminfo: memFree=115401244/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3585.94
CPU time (s): 3600.42
CPU user time (s): 3597.64
CPU system time (s): 2.78059
CPU usage (%): 100.404
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3994236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.64
system time used= 2.78059
maximum resident set size= 3995224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111143
involuntary context switches= 7005


# summary of solver processes directly reported to runsolver:
#   pid: 716460
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3597.64
#   total CPU system time (s): 2.78059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6525 second user time and 34.1951 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-13 19:13:28
IDJOB=4425009
IDBENCH=144047
IDSOLVER=3037
FILE ID=nodeC002/4425009-1720890795
RUNJOBID= nodeC002-1720890801-716011
SLURM_JOB_ID= 7485799
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/spot5/normalized-spot5-408_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425009-1720890795/watcher-4425009-1720890795 -o /tmp/evaluation-result-4425009-1720890795/solver-4425009-1720890795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720890801-716011 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4425009-1720890795.wbo

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

MD5SUM BENCH= 1d7d50b59898632446aa2d9216819715
RANDOM SEED=1187577518

nodeC002.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		: 3591.455
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.38
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		: 3491.726
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.31
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.151
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.38
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		: 1396.685
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.31
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		: 3591.455
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.38
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		: 2992.880
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.31
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		: 1197.453
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.38
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		: 3491.692
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129704620 kB
MemAvailable:   129607252 kB
Buffers:          333568 kB
Cached:           416980 kB
SwapCached:            0 kB
Active:           490740 kB
Inactive:         956540 kB
Active(anon):       2708 kB
Inactive(anon):   731396 kB
Active(file):     488032 kB
Inactive(file):   225144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5784 kB
Writeback:             0 kB
AnonPages:        696528 kB
Mapped:           121776 kB
Shmem:             37704 kB
KReclaimable:      58972 kB
Slab:             149624 kB
SReclaimable:      58972 kB
SUnreclaim:        90652 kB
KernelStack:        4848 kB
PageTables:        11408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7337992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            47616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    432128 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:      160584 kB
DirectMap2M:     7084032 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 723524 MiB
End job on nodeC002 at 2024-07-13 20:13:14