Trace number 4492228

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 2025-06-06? (TO) 3600.2 3586.01

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
MD5SUM2ef810527ffcd806c891780de1e04313
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.016603
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4492228-1751145710.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.057s.
0.13/0.18	c declared #vars     4000
0.13/0.18	c #constraints  180
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 80
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.13/0.18	c 180 constraints processed.
2.44/1.85	c cleaning 2498 clauses out of 5001 with flag 33396/5001
4.10/3.30	c cleaning 4247 clauses out of 8508 with flag 75632/11006
5.31/4.56	c cleaning 5612 clauses out of 11255 with flag 122635/18000
7.74/6.91	c cleaning 6807 clauses out of 13646 with flag 175375/26003
9.80/8.81	c cleaning 7905 clauses out of 15837 with flag 245020/35001
12.54/11.57	c cleaning 8963 clauses out of 17939 with flag 314933/45008
15.95/14.97	c cleaning 9978 clauses out of 19969 with flag 386585/56001
19.54/18.38	c cleaning 10958 clauses out of 21992 with flag 459968/68002
25.29/24.02	c cleaning 11978 clauses out of 24032 with flag 554669/81000
28.47/27.22	c cleaning 13013 clauses out of 26056 with flag 651018/95002
31.83/30.55	c cleaning 14003 clauses out of 28044 with flag 746109/110003
37.39/36.01	c cleaning 15009 clauses out of 30039 with flag 864369/126001
42.97/41.55	c cleaning 16007 clauses out of 32032 with flag 994857/143003
47.95/46.41	c cleaning 16996 clauses out of 34022 with flag 1119190/161000
53.98/52.49	c cleaning 18000 clauses out of 36028 with flag 1250057/180002
63.10/61.41	c cleaning 19007 clauses out of 38026 with flag 1390658/200000
69.55/67.80	c cleaning 19996 clauses out of 40019 with flag 1542963/221000
76.11/74.31	c cleaning 20990 clauses out of 42023 with flag 1699723/243000
86.48/84.40	c cleaning 21996 clauses out of 44035 with flag 1860847/266002
98.21/96.10	c cleaning 22995 clauses out of 46037 with flag 2045180/290000
106.92/104.76	c cleaning 24010 clauses out of 48043 with flag 2228124/315001
125.85/123.61	c cleaning 25003 clauses out of 50033 with flag 2458596/341001
147.83/145.53	c cleaning 26003 clauses out of 52032 with flag 2712611/368003
176.72/174.34	c cleaning 26996 clauses out of 54029 with flag 2991220/396003
189.09/186.18	c cleaning 28000 clauses out of 56032 with flag 3202062/425002
199.49/196.51	c cleaning 28999 clauses out of 58032 with flag 3405211/455002
211.97/209.09	c cleaning 30003 clauses out of 60031 with flag 3594654/486000
223.89/220.87	c cleaning 31004 clauses out of 62028 with flag 3808536/518000
236.53/233.36	c cleaning 32000 clauses out of 64025 with flag 4017066/551001
251.27/247.94	c cleaning 33001 clauses out of 66025 with flag 4260465/585001
267.04/263.71	c cleaning 33995 clauses out of 68023 with flag 4479227/620000
282.18/278.70	c cleaning 35012 clauses out of 70028 with flag 4717509/656000
298.59/294.58	c cleaning 35994 clauses out of 72016 with flag 4950826/693000
315.43/311.36	c cleaning 36991 clauses out of 74023 with flag 5225218/731001
336.05/331.87	c cleaning 38014 clauses out of 76033 with flag 5505154/770002
355.86/351.55	c cleaning 38993 clauses out of 78019 with flag 5747168/810002
376.26/371.86	c cleaning 40001 clauses out of 80025 with flag 5996883/851001
404.78/400.26	c cleaning 41005 clauses out of 82023 with flag 6300686/893000
435.34/430.45	c cleaning 41998 clauses out of 84019 with flag 6641851/936001
482.66/477.65	c cleaning 43006 clauses out of 86024 with flag 7034068/980004
512.53/506.96	c cleaning 44000 clauses out of 88015 with flag 7419329/1025001
533.98/528.25	c cleaning 45000 clauses out of 90015 with flag 7754425/1071001
560.91/555.04	c cleaning 45996 clauses out of 92014 with flag 8068602/1118000
586.61/580.62	c cleaning 46995 clauses out of 94018 with flag 8372152/1166000
614.39/608.30	c cleaning 48012 clauses out of 96024 with flag 8675900/1215001
639.38/633.26	c cleaning 48997 clauses out of 98013 with flag 9013888/1265002
686.65/680.21	c cleaning 49991 clauses out of 100014 with flag 9456209/1316000
744.70/738.13	c cleaning 51000 clauses out of 102025 with flag 9908096/1368002
781.74/774.94	c cleaning 52000 clauses out of 104023 with flag 10351285/1421000
818.73/811.32	c cleaning 53004 clauses out of 106023 with flag 10662911/1475000
855.84/848.43	c cleaning 53984 clauses out of 108019 with flag 10988861/1530000
890.18/882.79	c cleaning 55008 clauses out of 110035 with flag 11332337/1586000
927.63/920.11	c cleaning 56005 clauses out of 112030 with flag 11676617/1643003
967.19/959.62	c cleaning 56987 clauses out of 114022 with flag 12045467/1701000
1008.26/1000.60	c cleaning 58006 clauses out of 116035 with flag 12421536/1760000
1044.74/1037.07	c cleaning 59006 clauses out of 118029 with flag 12808289/1820000
1084.61/1076.85	c cleaning 60008 clauses out of 120023 with flag 13187795/1881000
1126.16/1118.33	c cleaning 61008 clauses out of 122017 with flag 13584506/1943002
1173.09/1165.21	c cleaning 61999 clauses out of 124008 with flag 13964062/2006001
1223.48/1215.67	c cleaning 62996 clauses out of 126009 with flag 14347984/2070001
1268.81/1260.98	c cleaning 64002 clauses out of 128013 with flag 14751348/2135001
1315.76/1307.83	c cleaning 65000 clauses out of 130012 with flag 15164396/2201002
1364.21/1356.29	c cleaning 65997 clauses out of 132010 with flag 15580409/2268000
1413.07/1405.05	c cleaning 66993 clauses out of 134013 with flag 16009188/2336000
1461.92/1453.86	c cleaning 67999 clauses out of 136020 with flag 16451347/2405000
1507.10/1498.97	c cleaning 69004 clauses out of 138022 with flag 16900576/2475001
1558.26/1550.08	c cleaning 69996 clauses out of 140018 with flag 17343507/2546001
1604.41/1596.13	c cleaning 71003 clauses out of 142022 with flag 17814979/2618001
1660.10/1650.74	c cleaning 71998 clauses out of 144018 with flag 18289255/2691000
1714.35/1704.94	c cleaning 72992 clauses out of 146021 with flag 18769369/2765001
1769.02/1759.37	c cleaning 74014 clauses out of 148029 with flag 19256271/2840001
1822.79/1813.03	c cleaning 75000 clauses out of 150014 with flag 19757225/2916000
1880.60/1870.66	c cleaning 76001 clauses out of 152016 with flag 20252454/2993002
1943.82/1933.89	c cleaning 76991 clauses out of 154014 with flag 20750455/3071001
2009.91/1999.78	c cleaning 78004 clauses out of 156022 with flag 21263833/3150000
2070.54/2060.15	c cleaning 79003 clauses out of 158018 with flag 21788495/3230000
2139.05/2128.66	c cleaning 79994 clauses out of 160015 with flag 22302409/3311000
2203.94/2193.35	c cleaning 81005 clauses out of 162022 with flag 22829406/3393001
2266.05/2255.27	c cleaning 82003 clauses out of 164017 with flag 23376499/3476001
2335.00/2323.92	c cleaning 83002 clauses out of 166013 with flag 23914203/3560000
2421.46/2410.19	c cleaning 83996 clauses out of 168011 with flag 24553920/3645000
2497.29/2484.82	c cleaning 85002 clauses out of 170015 with flag 25117488/3731000
2570.05/2557.59	c cleaning 86006 clauses out of 172014 with flag 25678533/3818001
2652.37/2639.87	c cleaning 86990 clauses out of 174007 with flag 26232736/3906000
2735.48/2722.61	c cleaning 88007 clauses out of 176017 with flag 26804843/3995000
2817.68/2804.77	c cleaning 88997 clauses out of 178010 with flag 27389569/4085000
2903.52/2890.58	c cleaning 90005 clauses out of 180014 with flag 27987646/4176001
2986.05/2973.06	c cleaning 90991 clauses out of 182009 with flag 28586055/4268001
3068.28/3054.93	c cleaning 91997 clauses out of 184017 with flag 29200930/4361000
3156.71/3143.33	c cleaning 93000 clauses out of 186021 with flag 29828128/4455001
3242.04/3228.32	c cleaning 93994 clauses out of 188022 with flag 30454550/4550002
3331.12/3317.33	c cleaning 95011 clauses out of 190029 with flag 31091625/4646003
3425.41/3411.64	c cleaning 96000 clauses out of 192015 with flag 31730349/4743000
3526.96/3512.92	c cleaning 96992 clauses out of 194016 with flag 32364702/4841001
3600.05/3585.91	c timeout
3600.05/3585.91	c starts		: 32452
3600.05/3585.91	c conflicts		: 4916914
3600.05/3585.91	c decisions		: 42448884
3600.05/3585.91	c propagations		: 233005980
3600.05/3585.91	c inspects		: 20781078234
3600.05/3585.91	c shortcuts		: 0
3600.05/3585.91	c learnt literals	: 0
3600.05/3585.92	c learnt binary clauses	: 0
3600.05/3585.92	c learnt ternary clauses	: 0
3600.05/3585.92	c learnt constraints	: 4916914
3600.05/3585.92	c ignored constraints	: 0
3600.05/3585.92	c root simplifications	: 0
3600.05/3585.92	c removed literals (reason simplification)	: 48990889
3600.05/3585.92	c reason swapping (by a shorter reason)	: 0
3600.05/3585.92	c Calls to reduceDB	: 94
3600.05/3585.92	c Number of update (reduction) of LBD	: 2490037
3600.05/3585.92	c Imported unit clauses	: 0
3600.05/3585.92	c No decision after first conflict	: false
3600.05/3585.92	c number of reductions to clauses (during analyze)	: 0
3600.05/3585.92	c number of learned constraints concerned by reduction	: 0
3600.05/3585.92	c number of learning phase by resolution	: 0
3600.05/3585.92	c number of learning phase by cutting planes	: 0
3600.05/3585.92	c number of rounding to 1 operations	: 0
3600.05/3585.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3585.92	c number of reductions of the coefficients by power 2 	: 0
3600.05/3585.92	c number of right shift for reduction by power 2 	: 0
3600.05/3585.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3585.92	c number of ending skipping 	: 0
3600.05/3585.92	c number of internal skipping 	: 0
3600.05/3585.92	c number of derivation steps 	: 0
3600.05/3585.92	c number of skipped derivation steps 	: 0
3600.05/3585.92	c number of remaining unassigned 	: 0
3600.05/3585.92	c number of remaining assigned 	: 0
3600.05/3585.92	c number of falsified literals weakened from reason	: 0
3600.05/3585.92	c number of falsified literals weakened from conflict	: 0
3600.05/3585.92	c time for arithmetic operations	: 0
3600.05/3585.92	c minimum degree of deleted constraints	: null
3600.05/3585.92	c maximum degree of deleted constraints	: null
3600.05/3585.92	c number of deleted constraints	: 0
3600.05/3585.92	c speed (assignments/second)	: 64981.39014215778
3600.05/3585.92	c non guided choices	: 80258
3600.05/3585.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 172937
3600.05/3585.98	s UNKNOWN
3600.05/3585.98	c Total wall clock time (in seconds): 3585.855

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62825 MiB free)
  memory of node 1: 64507 MiB (63910 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492228-1751145710/watcher-4492228-1751145710 -o /tmp/evaluation-result-4492228-1751145710/solver-4492228-1751145710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751145706-14503 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4492228-1751145710.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=14750, runsolver pid=14747

[startup+0.10006 s]*
/proc/loadavg: 1.54 1.26 1.92 5/342 14770
/proc/meminfo: memFree=129753144/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=18930384 memory=59572 CPUtime=0.13 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 6509 0 0 0 11 2 0 0 20 0 18 0 30250932 19384713216 14893 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4732596 14893 5341 1 0 547639 0
[pid=14750/tid=14752] ppid=14747 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 5091 0 0 0 6 1 0 0 20 0 18 0 30250933 19384713216 14893 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30250935 19384713216 14893 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=18930384 memory=61784027586760 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 18 0 30250936 19384713216 14893 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59572 KiB

[startup+0.205787 s]*
/proc/loadavg: 1.54 1.26 1.92 6/320 14772
/proc/meminfo: memFree=129873944/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=18996948 memory=69740 CPUtime=0.33 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 6927 0 0 0 31 2 0 0 20 0 19 0 30250932 19452874752 17435 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4749237 17435 5437 1 0 548274 0
[pid=14750/tid=14752] ppid=14747 vsize=18996948 memory=4026597495 CPUtime=0.18 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 5294 0 0 0 17 1 0 0 20 0 19 0 30250933 19452874752 17435 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=18996948 memory=224227772642 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30250935 19452874752 17435 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=18996948 memory=31878 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 19 0 30250936 19452874752 17435 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30250951 19452874752 17435 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69740 KiB

[startup+0.305677 s]*
/proc/loadavg: 1.54 1.26 1.92 5/320 14779
/proc/meminfo: memFree=129865816/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=18996948 memory=72620 CPUtime=0.52 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 8652 0 0 0 49 3 0 0 20 0 19 0 30250932 19452874752 18155 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4749237 18155 5437 1 0 548999 0
[pid=14750/tid=14752] ppid=14747 vsize=18996948 memory=-6000919502855170158 CPUtime=0.27 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 5317 0 0 0 26 1 0 0 20 0 19 0 30250933 19452874752 18155 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30250935 19452874752 18155 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 19 0 30250936 19452874752 18155 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30250951 19452874752 18155 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72620 KiB

[startup+0.700197 s]
/proc/loadavg: 1.54 1.26 1.92 6/320 14779
/proc/meminfo: memFree=129856644/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=18996948 memory=84340 CPUtime=1.25 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 10983 0 0 0 122 3 0 0 20 0 19 0 30250932 19452874752 21085 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4749237 21085 5437 1 0 550343 0
[pid=14750/tid=14752] ppid=14747 vsize=18996948 memory=17280 CPUtime=0.67 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 5335 0 0 0 65 2 0 0 20 0 19 0 30250933 19452874752 21085 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30250935 19452874752 21085 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 19 0 30250936 19452874752 21085 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30250951 19452874752 21085 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84340 KiB

[startup+1.50023 s]
/proc/loadavg: 1.54 1.26 1.92 5/321 14803
/proc/meminfo: memFree=129814124/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=18996948 memory=94708 CPUtime=2.07 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 11298 0 0 0 204 3 0 0 20 0 19 0 30250932 19452874752 23677 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4749237 23677 5437 1 0 550345 0
[pid=14750/tid=14752] ppid=14747 vsize=18996948 memory=0 CPUtime=1.47 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 5457 0 0 0 145 2 0 0 20 0 19 0 30250933 19452874752 23677 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30250935 19452874752 23677 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 19 0 30250936 19452874752 23677 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30250951 19452874752 23677 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 2.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94708 KiB

[startup+3.10557 s]
/proc/loadavg: 2.06 1.37 1.95 5/343 14835
/proc/meminfo: memFree=129724404/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=18996948 memory=120936 CPUtime=3.91 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 16164 0 0 0 387 4 0 0 20 0 19 0 30250932 19452874752 30234 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4749237 30234 5437 1 0 550711 0
[pid=14750/tid=14752] ppid=14747 vsize=18996948 memory=10880 CPUtime=3.06 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 6612 0 0 0 304 2 0 0 20 0 19 0 30250933 19452874752 30234 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=18996948 memory=-6000919477018126446 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30250935 19452874752 30234 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 19 0 30250936 19452874752 30234 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30250951 19452874752 30234 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 3.91 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120936 KiB

[startup+6.30021 s]
/proc/loadavg: 2.06 1.37 1.95 5/344 14836
/proc/meminfo: memFree=129536152/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=190900 CPUtime=7.14 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 18712 0 0 0 708 6 0 0 20 0 20 0 30250932 19521036288 47725 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 47725 5469 1 0 551000 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=0 CPUtime=6.22 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 7203 0 0 0 619 3 0 0 20 0 20 0 30250933 19521036288 47725 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 47725 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 47725 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=96756 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 47725 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 7.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190900 KiB

[startup+12.7002 s]
/proc/loadavg: 2.36 1.45 1.98 7/343 15031
/proc/meminfo: memFree=129581400/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=244984 CPUtime=13.75 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 24165 0 0 0 1368 7 0 0 20 0 20 0 30250932 19521036288 61246 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 61246 5501 1 0 551698 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=10880 CPUtime=12.56 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 7670 0 0 0 1253 3 0 0 20 0 20 0 30250933 19521036288 61246 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=19063512 memory=96756 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 61246 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 61246 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 61246 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 13.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 244984 KiB

[startup+25.5002 s]
/proc/loadavg: 2.61 1.54 2.00 5/345 15098
/proc/meminfo: memFree=128855188/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=396036 CPUtime=26.78 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 30229 0 0 0 2667 11 0 0 20 0 20 0 30250932 19521036288 99009 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 99009 5501 1 0 552022 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=0 CPUtime=25.17 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 8419 0 0 0 2514 3 0 0 20 0 20 0 30250933 19521036288 99009 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=19063512 memory=396036 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 99009 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=-6000919477018126446 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 99009 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 99009 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 396036 KiB

[startup+51.1057 s]
/proc/loadavg: 3.24 1.77 2.06 5/345 15099
/proc/meminfo: memFree=127496076/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=781176 CPUtime=52.69 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 30737 0 0 0 5251 18 0 0 20 0 20 0 30250932 19521036288 195294 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 195294 5501 1 0 552022 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=0 CPUtime=50.35 cores=5,7

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

/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=6835724 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 1832 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=6835724 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 3236.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6835724 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/339 15291
/proc/meminfo: memFree=109380628/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=6835724 CPUtime=3296.19 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 176139 0 0 0 329368 251 0 0 20 0 20 0 30250932 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 1708931 5533 1 0 2389290 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=10880 CPUtime=3256.71 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 83821 0 0 0 325626 45 0 0 20 0 20 0 30250933 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 1913 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 3296.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6835724 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/339 15295
/proc/meminfo: memFree=109282000/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=6835724 CPUtime=3356.1 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 177788 0 0 0 335358 252 0 0 20 0 20 0 30250932 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 1708931 5533 1 0 2389290 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=10880 CPUtime=3316.5 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) S 14747 14750 14490 0 -1 4194368 84661 0 0 0 331605 45 0 0 20 0 20 0 30250933 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 1941 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=9125796 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 3356.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6835724 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/339 15297
/proc/meminfo: memFree=108385004/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=6835724 CPUtime=3416.13 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 180584 0 0 0 341359 254 0 0 20 0 20 0 30250932 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 1708931 5533 1 0 2389290 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=10880 CPUtime=3376.17 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 87159 0 0 0 337572 45 0 0 20 0 20 0 30250933 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=19063512 memory=280132263321552 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 1941 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 3416.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6835724 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/339 15299
/proc/meminfo: memFree=108073900/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=6835724 CPUtime=3476.17 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 184584 0 0 0 347361 256 0 0 20 0 20 0 30250932 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 1708931 5533 1 0 2389290 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=6835724 CPUtime=3435.83 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 89938 0 0 0 343537 46 0 0 20 0 20 0 30250933 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=19063512 memory=6835724 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=6835724 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 1979 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=6835724 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 1708931 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 3476.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6835724 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/339 15301
/proc/meminfo: memFree=107749940/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=6840016 CPUtime=3536.34 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 187439 0 0 0 353376 258 0 0 20 0 20 0 30250932 19521036288 1710004 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 1710004 5533 1 0 2389290 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=6835724 CPUtime=3495.36 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 91445 0 0 0 349490 46 0 0 20 0 20 0 30250933 19521036288 1710004 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=19063512 memory=6840016 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 1710004 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=6840016 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 2085 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 1710004 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=6840016 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 1710004 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 3536.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6840016 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/339 15303
/proc/meminfo: memFree=107687064/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=6844120 CPUtime=3596.45 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 191237 0 0 0 359385 260 0 0 20 0 20 0 30250932 19521036288 1711030 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 1711030 5533 1 0 2389290 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=6840016 CPUtime=3554.94 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 93908 0 0 0 355448 46 0 0 20 0 20 0 30250933 19521036288 1711030 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=19063512 memory=5044 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 1711030 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 2086 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 1711030 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=6844120 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 1711030 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 3596.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6844120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3585.9 s]
/proc/loadavg: 4.20 4.13 4.10 5/339 15303
/proc/meminfo: memFree=107683080/131250000 swapFree=33010684/33010684
[pid=14750] ppid=14747 vsize=19063512 memory=6844120 CPUtime=3600.05 cores=5,7
/proc/14750/stat : 14750 (java) S 14747 14750 14490 0 -1 4194304 191445 0 0 0 359745 260 0 0 20 0 20 0 30250932 19521036288 1711030 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
/proc/14750/statm: 4765878 1711030 5533 1 0 2389290 0
[pid=14750/tid=14752] ppid=14747 vsize=19063512 memory=6844120 CPUtime=3558.53 cores=5,7
/proc/14750/task/14752/stat : 14752 (java) R 14747 14750 14490 0 -1 4194368 94114 0 0 0 355807 46 0 0 20 0 20 0 30250933 19521036288 1711030 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14761] ppid=14747 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/14750/task/14761/stat : 14761 (Finalizer) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250935 19521036288 1711030 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14768] ppid=14747 vsize=19063512 memory=-6000919477018126446 CPUtime=0 cores=5,7
/proc/14750/task/14768/stat : 14768 (Common-Cleaner) S 14747 14750 14490 0 -1 4194368 2086 0 0 0 0 0 0 0 20 0 20 0 30250936 19521036288 1711030 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
[pid=14750/tid=14771] ppid=14747 vsize=19063512 memory=6844120 CPUtime=0 cores=5,7
/proc/14750/task/14771/stat : 14771 (Timer-0) S 14747 14750 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30250951 19521036288 1711030 18446744073709551615 94342061531136 94342061534832 140726198155168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94342061542648 94342061543440 94342092693504 140726198163841 140726198163942 140726198163942 140726198169544 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6844120 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.58 s, system=2.62402 s

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

[startup+3586 s]*
/proc/loadavg: 4.20 4.13 4.10 5/321 15306
/proc/meminfo: memFree=114498856/131250000 swapFree=33010684/33010684
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): 3586.01
CPU time (s): 3600.2
CPU user time (s): 3597.58
CPU system time (s): 2.62402
CPU usage (%): 100.396
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 6844120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.58
system time used= 2.62402
maximum resident set size= 6845144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193802
page faults= 0
swaps= 0
block input operations= 8
block output operations= 17144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109441
involuntary context switches= 6396


# summary of solver processes directly reported to runsolver:
#   pid: 14750
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3597.58
#   total CPU system time (s): 2.62402

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27821 second user time and 17.1766 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-06-28 23:21:51
IDJOB=4492228
IDBENCH=147770
IDSOLVER=3363
FILE ID=nodeC027/4492228-1751145710
RUNJOBID= nodeC027-1751145706-14503
SLURM_JOB_ID= 9587449
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492228-1751145710/watcher-4492228-1751145710 -o /tmp/evaluation-result-4492228-1751145710/solver-4492228-1751145710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751145706-14503 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4492228-1751145710.opb

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

MD5SUM BENCH= 2ef810527ffcd806c891780de1e04313
RANDOM SEED=529196164

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129778608 kB
MemAvailable:   129387468 kB
Buffers:            3280 kB
Cached:           382620 kB
SwapCached:            0 kB
Active:           761228 kB
Inactive:         141764 kB
Active(anon):     535184 kB
Inactive(anon):        0 kB
Active(file):     226044 kB
Inactive(file):   141764 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6388 kB
Writeback:             0 kB
AnonPages:        519200 kB
Mapped:           122456 kB
Shmem:             18068 kB
KReclaimable:      84872 kB
Slab:             168136 kB
SReclaimable:      84872 kB
SUnreclaim:        83264 kB
KernelStack:        5248 kB
PageTables:         4548 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7052496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC027 at 2025-06-29 00:21:37