Trace number 4446512

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 2024 2024-07-07? (TO) 3600.24 3604.38

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K185.opb
MD5SUM8e923d8a993edfc65d984f909d6bfa9e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark43.2702
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22015
Total number of constraints22387
Number of constraints which are clauses22202
Number of constraints which are cardinality constraints (but not clauses)185
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint185
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 186
Number of bits of the biggest sum of numbers8
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.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.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4446512-1721824319.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.72/0.44	c ... done. Wall clock time 0.318s.
0.72/0.44	c declared #vars     22015
0.72/0.44	c #constraints  22387
0.72/0.44	c constraints type 
0.72/0.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2392
0.72/0.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 185
0.72/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 19808
0.72/0.44	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.72/0.44	c 22387 constraints processed.
6.21/3.32	c cleaning 2486 clauses out of 4993 with flag 22324/5000
9.48/5.90	c cleaning 4251 clauses out of 8505 with flag 53196/11002
12.66/8.98	c cleaning 5590 clauses out of 11241 with flag 90423/18001
16.30/12.51	c cleaning 6821 clauses out of 13645 with flag 132739/26000
20.34/16.52	c cleaning 7818 clauses out of 15824 with flag 177576/35000
24.67/20.87	c cleaning 8138 clauses out of 18004 with flag 227820/45001
29.85/25.86	c cleaning 8824 clauses out of 20858 with flag 281617/56000
35.30/31.45	c cleaning 9778 clauses out of 24028 with flag 340208/68001
41.23/37.36	c cleaning 10329 clauses out of 27249 with flag 409377/81001
47.90/43.93	c cleaning 11140 clauses out of 30919 with flag 479500/95002
54.99/51.03	c cleaning 12070 clauses out of 34778 with flag 554233/110001
62.60/58.52	c cleaning 12879 clauses out of 38706 with flag 638386/126000
71.14/67.06	c cleaning 13681 clauses out of 42823 with flag 723418/143000
80.31/76.16	c cleaning 14474 clauses out of 47134 with flag 815855/161000
90.29/86.04	c cleaning 15232 clauses out of 51659 with flag 914992/180000
100.51/96.54	c cleaning 16112 clauses out of 56426 with flag 1015577/200000
111.30/107.23	c cleaning 17229 clauses out of 61307 with flag 1126123/221000
123.20/119.05	c cleaning 17865 clauses out of 66077 with flag 1238696/243000
135.34/131.23	c cleaning 18880 clauses out of 71209 with flag 1362222/266000
148.24/144.11	c cleaning 19212 clauses out of 76325 with flag 1484671/290001
162.12/158.10	c cleaning 20332 clauses out of 82108 with flag 1620394/315000
176.86/172.71	c cleaning 20578 clauses out of 87775 with flag 1757496/341001
192.06/189.12	c cleaning 21809 clauses out of 94196 with flag 1899887/368000
208.04/205.02	c cleaning 22505 clauses out of 100383 with flag 2049906/396000
224.68/221.73	c cleaning 23591 clauses out of 106878 with flag 2205384/425000
242.85/239.77	c cleaning 24493 clauses out of 113279 with flag 2371536/455001
260.88/257.54	c cleaning 25347 clauses out of 119784 with flag 2544410/486000
279.90/276.58	c cleaning 26061 clauses out of 126436 with flag 2724457/518000
299.88/297.97	c cleaning 26980 clauses out of 133375 with flag 2912490/551000
320.91/319.24	c cleaning 27866 clauses out of 140392 with flag 3105176/585001
342.17/340.45	c cleaning 28480 clauses out of 147524 with flag 3295465/620000
364.92/363.28	c cleaning 29625 clauses out of 155040 with flag 3494943/656000
388.05/386.47	c cleaning 30052 clauses out of 162413 with flag 3700849/693000
412.97/411.47	c cleaning 31202 clauses out of 170358 with flag 3913042/731001
438.14/437.08	c cleaning 31925 clauses out of 178155 with flag 4135513/770001
464.08/462.89	c cleaning 32547 clauses out of 186228 with flag 4361579/810000
490.81/489.68	c cleaning 33754 clauses out of 194672 with flag 4601408/851000
519.33/518.16	c cleaning 34186 clauses out of 202919 with flag 4843738/893002
547.98/547.05	c cleaning 35363 clauses out of 211730 with flag 5097291/936001
579.75/578.87	c cleaning 36635 clauses out of 220366 with flag 5359632/980001
611.28/610.41	c cleaning 37153 clauses out of 228730 with flag 5626658/1025001
643.86/642.91	c cleaning 38474 clauses out of 237573 with flag 5903116/1071000
677.64/676.60	c cleaning 39002 clauses out of 246095 with flag 6180230/1118001
712.65/711.77	c cleaning 40190 clauses out of 255092 with flag 6472165/1166000
749.06/748.33	c cleaning 40892 clauses out of 263903 with flag 6771453/1215001
786.60/785.69	c cleaning 41589 clauses out of 273008 with flag 7079199/1265000
825.44/824.38	c cleaning 42566 clauses out of 282417 with flag 7385600/1316001
865.20/864.00	c cleaning 42936 clauses out of 291849 with flag 7705601/1368002
906.98/905.82	c cleaning 44171 clauses out of 301909 with flag 8037416/1421000
949.04/948.27	c cleaning 45408 clauses out of 311736 with flag 8376155/1475000
994.06/993.24	c cleaning 45951 clauses out of 321326 with flag 8725441/1530000
1039.81/1039.15	c cleaning 46712 clauses out of 331381 with flag 9079912/1586007
1087.06/1086.74	c cleaning 47855 clauses out of 341665 with flag 9448654/1643003
1135.08/1135.17	c cleaning 49084 clauses out of 351807 with flag 9814956/1701000
1186.15/1188.71	c cleaning 49878 clauses out of 361722 with flag 10201271/1760000
1236.20/1238.81	c cleaning 50785 clauses out of 371843 with flag 10580598/1820000
1290.84/1293.46	c cleaning 51556 clauses out of 382057 with flag 10982726/1881000
1346.47/1348.96	c cleaning 52635 clauses out of 392502 with flag 11393153/1943002
1402.52/1404.63	c cleaning 53303 clauses out of 402865 with flag 11820588/2006001
1460.85/1462.90	c cleaning 54398 clauses out of 413559 with flag 12246858/2070000
1525.27/1527.23	c cleaning 55405 clauses out of 424161 with flag 12682751/2135001
1585.74/1587.65	c cleaning 56123 clauses out of 434755 with flag 13125605/2201000
1648.77/1650.85	c cleaning 57078 clauses out of 445632 with flag 13585534/2268000
1715.01/1717.32	c cleaning 58004 clauses out of 456552 with flag 14063438/2336000
1782.00/1784.72	c cleaning 59258 clauses out of 467548 with flag 14524901/2405000
1848.51/1851.11	c cleaning 60172 clauses out of 478294 with flag 14994255/2475004
1916.63/1919.42	c cleaning 60936 clauses out of 489117 with flag 15475545/2546000
1988.13/1990.83	c cleaning 61976 clauses out of 500180 with flag 15980856/2618001
2063.41/2065.94	c cleaning 62846 clauses out of 511207 with flag 16481023/2691005
2138.31/2140.74	c cleaning 63941 clauses out of 522355 with flag 16996409/2765000
2215.43/2217.50	c cleaning 64634 clauses out of 533413 with flag 17511770/2840001
2295.04/2296.52	c cleaning 65724 clauses out of 544778 with flag 18045972/2916000
2375.45/2377.08	c cleaning 66566 clauses out of 556053 with flag 18595671/2993000
2459.30/2461.12	c cleaning 67800 clauses out of 567485 with flag 19160798/3071000
2546.11/2547.54	c cleaning 68762 clauses out of 578687 with flag 19727043/3150004
2633.81/2635.59	c cleaning 69286 clauses out of 589920 with flag 20308471/3230000
2725.00/2726.43	c cleaning 70295 clauses out of 601634 with flag 20887716/3311000
2817.08/2818.40	c cleaning 71098 clauses out of 613339 with flag 21480272/3393000
2910.81/2911.97	c cleaning 72110 clauses out of 625241 with flag 22073717/3476001
3005.73/3006.99	c cleaning 73111 clauses out of 637131 with flag 22671694/3560002
3106.57/3108.02	c cleaning 73965 clauses out of 649017 with flag 23296105/3645000
3205.36/3208.48	c cleaning 74818 clauses out of 661053 with flag 23923472/3731001
3308.69/3312.23	c cleaning 76087 clauses out of 673234 with flag 24577286/3818000
3416.19/3420.22	c cleaning 76423 clauses out of 685146 with flag 25232228/3906000
3520.95/3525.54	c cleaning 78208 clauses out of 697722 with flag 25891369/3995000
3600.05/3604.22	c starts		: 24127
3600.05/3604.22	c conflicts		: 4067293
3600.05/3604.22	c decisions		: 165971466
3600.05/3604.22	c propagations		: 4322864743
3600.05/3604.22	c inspects		: 18483289589
3600.05/3604.22	c shortcuts		: 0
3600.05/3604.22	c learnt literals	: 183
3600.05/3604.22	c learnt binary clauses	: 267411
3600.05/3604.22	c learnt ternary clauses	: 233342
3600.05/3604.22	c learnt constraints	: 4067110
3600.05/3604.22	c ignored constraints	: 0
3600.05/3604.22	c root simplifications	: 0
3600.05/3604.22	c removed literals (reason simplification)	: 39079727
3600.05/3604.22	c reason swapping (by a shorter reason)	: 0
3600.05/3604.22	c Calls to reduceDB	: 85
3600.05/3604.22	c Number of update (reduction) of LBD	: 2894678
3600.05/3604.22	c Imported unit clauses	: 0
3600.05/3604.22	c No decision after first conflict	: false
3600.05/3604.22	c number of reductions to clauses (during analyze)	: 0
3600.05/3604.22	c number of learned constraints concerned by reduction	: 0
3600.05/3604.22	c number of learning phase by resolution	: 0
3600.05/3604.22	c number of learning phase by cutting planes	: 0
3600.05/3604.22	c number of rounding to 1 operations	: 0
3600.05/3604.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3604.22	c number of reductions of the coefficients by power 2 	: 0
3600.05/3604.22	c number of right shift for reduction by power 2 	: 0
3600.05/3604.23	c timeout
3600.05/3604.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3604.23	c number of ending skipping 	: 0
3600.05/3604.23	c number of internal skipping 	: 0
3600.05/3604.23	c number of derivation steps 	: 0
3600.05/3604.23	c number of skipped derivation steps 	: 0
3600.05/3604.23	c number of remaining unassigned 	: 0
3600.05/3604.23	c number of remaining assigned 	: 0
3600.05/3604.23	c number of falsified literals weakened from reason	: 0
3600.05/3604.23	c number of falsified literals weakened from conflict	: 0
3600.05/3604.23	c time for arithmetic operations	: 0
3600.05/3604.23	c minimum degree of deleted constraints	: null
3600.05/3604.24	c maximum degree of deleted constraints	: null
3600.05/3604.24	c number of deleted constraints	: 0
3600.05/3604.24	c speed (assignments/second)	: 1199536.9145935182
3600.05/3604.24	c non guided choices	: 59881
3600.20/3604.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 424395
3600.20/3604.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 267411
3600.20/3604.33	s UNKNOWN
3600.20/3604.33	c Total wall clock time (in seconds): 3604.202

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: 63968 MiB (31426 MiB free)
  memory of node 1: 64473 MiB (59501 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446512-1721824319/watcher-4446512-1721824319 -o /tmp/evaluation-result-4446512-1721824319/solver-4446512-1721824319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721817186-193374 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4446512-1721824319 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446512-1721824319.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=197986, runsolver pid=197983
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.47 4.36 4.33 6/335 198004
/proc/meminfo: memFree=93065288/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=18993908 memory=66844 CPUtime=0.14 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 7295 0 0 0 12 2 0 0 20 0 18 0 18960282 19449761792 16711 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4748477 16711 6006 1 0 549380 0
[pid=197986/tid=197988] ppid=197983 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) D 197983 197986 193361 0 -1 1078198336 5845 0 0 0 7 1 0 0 20 0 18 0 18960282 19449761792 16711 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18960285 19449761792 16711 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=18993908 memory=15534145914087927 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18960286 19449761792 16711 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66844 KiB

[startup+0.207886 s]*
/proc/loadavg: 4.47 4.36 4.33 6/335 198004
/proc/meminfo: memFree=93043544/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=18994972 memory=87944 CPUtime=0.34 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 8658 0 0 0 31 3 0 0 20 0 18 0 18960282 19450851328 21986 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4748743 21986 6107 1 0 550460 0
[pid=197986/tid=197988] ppid=197983 vsize=18994972 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 6009 0 0 0 18 1 0 0 20 0 18 0 18960282 19450851328 21986 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=18994972 memory=1402783 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18960285 19450851328 21986 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=18994972 memory=14979970577467533 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18960286 19450851328 21986 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18994972 KiB
Current children cumulated memory: 87944 KiB

[startup+0.311059 s]*
/proc/loadavg: 4.47 4.36 4.33 6/335 198004
/proc/meminfo: memFree=93014064/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=18993908 memory=117860 CPUtime=0.53 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 9236 0 0 0 50 3 0 0 20 0 18 0 18960282 19449761792 29465 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4748477 29465 6107 1 0 550595 0
[pid=197986/tid=197988] ppid=197983 vsize=18993908 memory=-8959174121843630780 CPUtime=0.29 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 6040 0 0 0 27 2 0 0 20 0 18 0 18960282 19449761792 29465 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18960285 19449761792 29465 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18960286 19449761792 29465 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 117860 KiB

[startup+0.700222 s]
/proc/loadavg: 4.47 4.36 4.33 7/337 198008
/proc/meminfo: memFree=92955928/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=180940 CPUtime=1.28 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 12898 0 0 0 123 5 0 0 20 0 20 0 18960282 19586084864 45235 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 45235 6123 1 0 553397 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=5640 CPUtime=0.65 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 6135 0 0 0 62 3 0 0 20 0 20 0 18960282 19586084864 45235 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=12248 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 45235 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=4917 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 45235 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=2244 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 45235 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 180940 KiB

[startup+1.50787 s]
/proc/loadavg: 4.47 4.36 4.33 6/337 198008
/proc/meminfo: memFree=92942944/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=192380 CPUtime=2.87 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 19499 0 0 0 281 6 0 0 20 0 20 0 18960282 19586084864 48095 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 48095 6131 1 0 553999 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=12248 CPUtime=1.42 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 6566 0 0 0 139 3 0 0 20 0 20 0 18960282 19586084864 48095 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 48095 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=1386977 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 48095 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 48095 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 192380 KiB

[startup+3.10616 s]
/proc/loadavg: 4.47 4.36 4.33 6/337 198008
/proc/meminfo: memFree=92899260/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=199652 CPUtime=5.98 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 23603 0 0 0 591 7 0 0 20 0 20 0 18960282 19586084864 49913 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 49913 6131 1 0 555598 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=0 CPUtime=2.99 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 6945 0 0 0 296 3 0 0 20 0 20 0 18960282 19586084864 49913 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 49913 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=12248 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 49913 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 49913 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 199652 KiB

[startup+6.30024 s]
/proc/loadavg: 4.67 4.40 4.34 5/337 198008
/proc/meminfo: memFree=92850316/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=216456 CPUtime=10.04 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 29628 0 0 0 994 10 0 0 20 0 20 0 18960282 19586084864 54114 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 54114 6162 1 0 555971 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=12248 CPUtime=6.13 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 7793 0 0 0 609 4 0 0 20 0 20 0 18960282 19586084864 54114 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=205368 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 54114 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 54114 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=-8959174121843630780 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 54114 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 10.04 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 216456 KiB

[startup+12.7003 s]
/proc/loadavg: 4.62 4.39 4.34 5/337 198009
/proc/meminfo: memFree=92700640/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=331600 CPUtime=16.5 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 32754 0 0 0 1635 15 0 0 20 0 20 0 18960282 19586084864 82900 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 82900 6162 1 0 555971 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=-8959174121843630780 CPUtime=12.42 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 9089 0 0 0 1234 8 0 0 20 0 20 0 18960282 19586084864 82900 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 82900 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=331600 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 82900 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=-8959174121843630780 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 82900 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 16.5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 331600 KiB

[startup+25.5003 s]
/proc/loadavg: 4.52 4.38 4.34 5/337 198011
/proc/meminfo: memFree=92267344/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=626692 CPUtime=29.55 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 39209 0 0 0 2932 23 0 0 20 0 20 0 18960282 19586084864 156673 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 156673 6162 1 0 555971 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=548784 CPUtime=25.05 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 10179 0 0 0 2492 13 0 0 20 0 20 0 18960282 19586084864 156673 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=-8959174121843630780 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 156673 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=12248 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 156673 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 156673 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 29.55 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 626692 KiB

[startup+51.106 s]
/proc/loadavg: 4.38 4.36 4.33 5/337 198017
/proc/meminfo: memFree=91660724/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=985444 CPUtime=55.14 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 46264 0 0 0 5477 37 0 0 20 0 20 0 18960282 19586084864 246361 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 246361 6162 1 0 555971 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=11496 CPUtime=50.19 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 11995 0 0 0 4997 22 0 0 20 0 20 0 18960282 19586084864 246361 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=983376 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 246361 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0

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

[startup+3282.3 s]
/proc/loadavg: 4.27 4.18 4.18 5/331 199753
/proc/meminfo: memFree=96269608/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=2189360 CPUtime=3278.63 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 252261 0 0 0 327090 773 0 0 20 0 20 0 18960282 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 547340 6175 1 0 558264 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=2189360 CPUtime=3225.91 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 85657 0 0 0 321942 649 0 0 20 0 20 0 18960282 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2131 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=2189360 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=2189360 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 2177 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=18720 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 3278.63 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/331 199764
/proc/meminfo: memFree=95998688/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=2189360 CPUtime=3338.63 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 253434 0 0 0 333080 783 0 0 20 0 20 0 18960282 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 547340 6175 1 0 558264 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=2189360 CPUtime=3284.88 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 86109 0 0 0 327831 657 0 0 20 0 20 0 18960282 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2164 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=2189360 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=2164 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 2178 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=2189360 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 3338.63 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189360 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/334 199945
/proc/meminfo: memFree=95637444/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=2189360 CPUtime=3398.18 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 256075 0 0 0 339023 795 0 0 20 0 20 0 18960282 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 547340 6175 1 0 558264 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=2189360 CPUtime=3343.85 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 87453 0 0 0 333718 667 0 0 20 0 20 0 18960282 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2224 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=12248 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 2281 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=-7087960643124552567 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 547340 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 3398.18 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189360 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/334 199955
/proc/meminfo: memFree=95321444/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=2189372 CPUtime=3458.17 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 263885 0 0 0 345010 807 0 0 20 0 20 0 18960282 19586084864 547343 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 547343 6175 1 0 558264 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=2189360 CPUtime=3402.71 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 89947 0 0 0 339593 678 0 0 20 0 20 0 18960282 19586084864 547343 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2280 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=2189360 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 547343 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=2189372 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 2281 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 547343 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=-7087960643124552567 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 547343 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 3458.17 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189372 KiB

[startup+3522.3 s]
/proc/loadavg: 3.58 4.01 4.12 4/311 200059
/proc/meminfo: memFree=100514172/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=2189384 CPUtime=3517.77 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 265582 0 0 0 350961 816 0 0 20 0 20 0 18960282 19586084864 547346 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 547346 6175 1 0 558264 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=11496 CPUtime=3461.45 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 91128 0 0 0 345459 686 0 0 20 0 20 0 18960282 19586084864 547346 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 2310 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=-8959174121843630780 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 547346 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=26812 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 2281 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 547346 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 547346 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 3517.77 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189384 KiB

[startup+3582.3 s]
/proc/loadavg: 3.30 3.86 4.06 4/311 200071
/proc/meminfo: memFree=100195012/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=2189384 CPUtime=3577.52 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 267586 0 0 0 356923 829 0 0 20 0 20 0 18960282 19586084864 547346 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 547346 6175 1 0 558264 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=18720 CPUtime=3520.49 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 91841 0 0 0 351352 697 0 0 20 0 20 0 18960282 19586084864 547346 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2347 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=2189384 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 547346 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=2189384 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 2327 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 547346 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=1948 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 547346 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 3577.52 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.2 s]
/proc/loadavg: 3.21 3.80 4.04 4/311 200075
/proc/meminfo: memFree=100081060/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19127036 memory=2190584 CPUtime=3600.05 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 275626 0 0 0 359170 835 0 0 20 0 20 0 18960282 19586084864 547646 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4781759 547646 6175 1 0 558630 0
[pid=197986/tid=197988] ppid=197983 vsize=19127036 memory=1404943 CPUtime=3542.13 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) R 197983 197986 193361 0 -1 4194368 95006 0 0 0 353512 701 0 0 20 0 20 0 18960282 19586084864 547646 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 2347 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19127036 memory=1387730 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18960285 19586084864 547646 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19127036 memory=1413062 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 2330 0 0 0 0 0 0 0 20 0 20 0 18960286 19586084864 547646 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198008] ppid=197983 vsize=19127036 memory=28016 CPUtime=0 cores=5,7
/proc/197986/task/198008/stat : 198008 (Timer-0) S 197983 197986 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18960328 19586084864 547646 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2190584 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.86 s, system=8.37706 s

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

[startup+3604.31 s]
/proc/loadavg: 3.21 3.80 4.04 4/311 200075
/proc/meminfo: memFree=100081060/131524600 swapFree=131070960/131071996
[pid=197986] ppid=197983 vsize=19326728 memory=2191356 CPUtime=3600.2 cores=5,7
/proc/197986/stat : 197986 (java) S 197983 197986 193361 0 -1 1077936128 277604 0 0 0 359184 836 0 0 20 0 21 0 18960282 19790569472 547839 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
/proc/197986/statm: 4831682 547839 6190 1 0 559554 0
[pid=197986/tid=197988] ppid=197983 vsize=19326728 memory=2189384 CPUtime=3542.16 cores=5,7
/proc/197986/task/197988/stat : 197988 (java) D 197983 197986 193361 0 -1 4194368 95173 0 0 0 353514 702 0 0 20 0 21 0 18960282 19790569472 547839 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 2357 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=197997] ppid=197983 vsize=19326728 memory=5640 CPUtime=0 cores=5,7
/proc/197986/task/197997/stat : 197997 (Finalizer) S 197983 197986 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18960285 19790569472 547839 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
[pid=197986/tid=198004] ppid=197983 vsize=19326728 memory=11496 CPUtime=0 cores=5,7
/proc/197986/task/198004/stat : 198004 (Common-Cleaner) S 197983 197986 193361 0 -1 1077936192 2330 0 0 0 0 0 0 0 20 0 21 0 18960286 19790569472 547839 134679101440 94042923892736 94042923896432 140722312131872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042923904248 94042923905040 94042946457600 140722312139695 140722312139877 140722312139877 140722312146888 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 2191356 KiB

Child status: 143

Real time (s): 3604.38
CPU time (s): 3600.24
CPU user time (s): 3591.86
CPU system time (s): 8.37706
CPU usage (%): 99.8851
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2191356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.86
system time used= 8.37706
maximum resident set size= 2192336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12649872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116499
involuntary context switches= 14400


# summary of solver processes directly reported to runsolver:
#   pid: 197986
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3591.86
#   total CPU system time (s): 8.37706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.44314 second user time and 17.9221 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 14:31:59
IDJOB=4446512
IDBENCH=158267
IDSOLVER=3079
FILE ID=nodeC020/4446512-1721824319
RUNJOBID= nodeC020-1721817186-193374
SLURM_JOB_ID= 7816874
Free space on /tmp= 890056 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K185.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446512-1721824319/watcher-4446512-1721824319 -o /tmp/evaluation-result-4446512-1721824319/solver-4446512-1721824319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721817186-193374 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4446512-1721824319 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446512-1721824319.opb

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

MD5SUM BENCH= 8e923d8a993edfc65d984f909d6bfa9e
RANDOM SEED=363426714

nodeC020.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	: 0xb00002a
cpu MHz		: 3599.908
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.31
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		: 3683.678
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.25
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		: 3676.394
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.31
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		: 3647.215
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.25
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		: 3676.407
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.31
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		: 3651.684
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.25
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		: 3599.783
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.31
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		: 3658.037
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        93110652 kB
MemAvailable:   123014696 kB
Buffers:          247592 kB
Cached:         30419548 kB
SwapCached:           68 kB
Active:          2600472 kB
Inactive:       35055960 kB
Active(anon):       1552 kB
Inactive(anon):  7041816 kB
Active(file):    2598920 kB
Inactive(file): 28014144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070960 kB
Dirty:            139184 kB
Writeback:             0 kB
AnonPages:       6988388 kB
Mapped:           131380 kB
Shmem:             53952 kB
KReclaimable:     261604 kB
Slab:             382136 kB
SReclaimable:     261604 kB
SUnreclaim:       120532 kB
KernelStack:        5120 kB
PageTables:        24240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8862612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22592 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6602752 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:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC020 at 2024-07-24 15:32:04