Trace number 4507020

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.38 3583.1

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K174.opb
MD5SUMc4faa5671d3144bef53831284f041277
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 benchmark278.497
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20706
Total number of constraints21056
Number of constraints which are clauses20882
Number of constraints which are cardinality constraints (but not clauses)174
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint174
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 175
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.10/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.19	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.28/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.28/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.28/0.23	c java.vm.version	22.0.1+8-16
0.28/0.23	c java.vm.vendor	Oracle Corporation
0.28/0.23	c sun.arch.data.model	64
0.28/0.23	c java.version		22.0.1
0.28/0.23	c os.name		Linux
0.28/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.28/0.23	c os.arch		amd64
0.28/0.25	c Free memory 		2104792832
0.28/0.25	c Max memory 		16282288128
0.28/0.25	c Total memory 		2113929216
0.28/0.26	c Number of processors 	2
0.42/0.37	c Pseudo Boolean Optimization by upper bound
0.42/0.37	c --- Begin Solver configuration ---
0.42/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.37	c Learn all clauses as in MiniSAT
0.42/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.37	c Expensive reason simplification
0.42/0.37	c Glucose 2.1 dynamic restart strategy
0.42/0.37	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.42/0.37	c timeout=2147483s
0.42/0.37	c DB Simplification allowed=false
0.42/0.37	c Listener: none
0.42/0.37	c --- End Solver configuration ---
0.42/0.37	c solving HOME/instance-4507020-1751182786.opb
0.42/0.37	c reading problem ... 
0.42/0.37	c  no objective function found
1.72/1.03	c ... done. Wall clock time 0.648s.
1.72/1.03	c declared #vars     20706
1.72/1.03	c #constraints  21056
1.72/1.03	c constraints type 
1.72/1.03	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2249
1.72/1.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 174
1.72/1.03	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18631
1.72/1.03	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.72/1.03	c 21056 constraints processed.
5.33/3.59	c cleaning 2493 clauses out of 4993 with flag 20716/5000
7.79/5.77	c cleaning 4224 clauses out of 8494 with flag 51809/11000
11.29/8.74	c cleaning 5626 clauses out of 11265 with flag 86995/18000
14.93/11.91	c cleaning 6792 clauses out of 13640 with flag 128653/26004
18.78/15.33	c cleaning 7894 clauses out of 15839 with flag 173163/35001
23.01/19.09	c cleaning 8293 clauses out of 17944 with flag 222569/45000
27.11/23.16	c cleaning 8815 clauses out of 20648 with flag 276834/56000
32.23/28.29	c cleaning 9619 clauses out of 23829 with flag 335670/68000
37.43/33.48	c cleaning 10584 clauses out of 27205 with flag 400885/81000
43.33/39.36	c cleaning 11278 clauses out of 30620 with flag 472473/95000
50.38/46.30	c cleaning 12156 clauses out of 34336 with flag 547248/110000
56.94/52.80	c cleaning 13146 clauses out of 38186 with flag 628929/126006
64.31/60.08	c cleaning 13659 clauses out of 42034 with flag 714708/143000
72.39/68.17	c cleaning 14476 clauses out of 46371 with flag 809390/161000
81.66/77.39	c cleaning 15540 clauses out of 50894 with flag 911496/180000
91.36/87.03	c cleaning 15849 clauses out of 55350 with flag 1016047/200001
102.43/98.01	c cleaning 16565 clauses out of 60495 with flag 1123285/221000
113.21/108.75	c cleaning 17926 clauses out of 65921 with flag 1237461/243000
123.89/119.45	c cleaning 18609 clauses out of 70993 with flag 1356364/266001
136.16/131.64	c cleaning 19336 clauses out of 76380 with flag 1485820/290000
148.35/143.71	c cleaning 20370 clauses out of 82040 with flag 1615137/315000
162.81/158.14	c cleaning 21051 clauses out of 87666 with flag 1749054/341000
176.48/171.82	c cleaning 21904 clauses out of 93612 with flag 1894119/368000
191.75/187.05	c cleaning 22817 clauses out of 99704 with flag 2045541/396000
208.22/203.47	c cleaning 23739 clauses out of 105885 with flag 2203559/425000
224.29/219.47	c cleaning 24673 clauses out of 112143 with flag 2365321/455000
241.48/236.09	c cleaning 25118 clauses out of 118469 with flag 2542304/486000
260.09/254.60	c cleaning 26147 clauses out of 125349 with flag 2716727/518000
279.45/273.90	c cleaning 26972 clauses out of 132202 with flag 2898260/551001
299.90/294.35	c cleaning 27921 clauses out of 139228 with flag 3094560/585000
321.34/315.77	c cleaning 28895 clauses out of 146305 with flag 3294809/620000
342.90/337.20	c cleaning 29841 clauses out of 153409 with flag 3496823/656000
365.49/359.79	c cleaning 30411 clauses out of 160567 with flag 3705815/693003
388.76/383.10	c cleaning 31350 clauses out of 168152 with flag 3927097/731002
414.45/408.58	c cleaning 32294 clauses out of 175800 with flag 4154762/770001
440.30/434.39	c cleaning 33036 clauses out of 183501 with flag 4388840/810000
468.80/462.45	c cleaning 33817 clauses out of 191465 with flag 4626326/851001
495.40/489.06	c cleaning 34670 clauses out of 199650 with flag 4871169/893004
524.22/517.72	c cleaning 35382 clauses out of 207977 with flag 5124681/936001
553.22/546.67	c cleaning 36515 clauses out of 216591 with flag 5380808/980000
583.74/577.03	c cleaning 37375 clauses out of 225074 with flag 5654330/1025000
614.85/608.02	c cleaning 38501 clauses out of 233699 with flag 5934451/1071000
647.76/640.82	c cleaning 39618 clauses out of 242197 with flag 6221179/1118000
683.00/675.71	c cleaning 40356 clauses out of 250579 with flag 6516820/1166001
717.84/710.66	c cleaning 40956 clauses out of 259220 with flag 6815274/1215000
754.61/747.39	c cleaning 41783 clauses out of 268266 with flag 7141040/1265005
791.10/783.73	c cleaning 43083 clauses out of 277478 with flag 7454021/1316000
830.36/822.99	c cleaning 43918 clauses out of 286393 with flag 7774930/1368000
869.85/862.31	c cleaning 45029 clauses out of 295471 with flag 8101044/1421000
910.26/902.60	c cleaning 45332 clauses out of 304444 with flag 8447131/1475003
952.96/945.21	c cleaning 46450 clauses out of 314106 with flag 8795671/1530001
996.30/988.45	c cleaning 47448 clauses out of 323653 with flag 9150657/1586000
1040.77/1032.80	c cleaning 48619 clauses out of 333202 with flag 9513274/1643000
1086.53/1078.49	c cleaning 49517 clauses out of 342585 with flag 9895093/1701003
1135.85/1127.71	c cleaning 49713 clauses out of 352065 with flag 10280517/1760000
1185.91/1176.96	c cleaning 50742 clauses out of 362351 with flag 10674931/1820001
1237.48/1228.40	c cleaning 52152 clauses out of 372608 with flag 11084154/1881000
1291.65/1282.36	c cleaning 53075 clauses out of 382456 with flag 11496691/1943000
1346.85/1337.48	c cleaning 53863 clauses out of 392375 with flag 11914468/2006001
1405.85/1396.01	c cleaning 54655 clauses out of 402510 with flag 12350523/2070002
1463.98/1454.02	c cleaning 55666 clauses out of 412852 with flag 12798096/2135000
1523.07/1512.97	c cleaning 56501 clauses out of 423185 with flag 13260852/2201000
1585.75/1575.42	c cleaning 57862 clauses out of 433683 with flag 13725867/2268000
1647.89/1637.54	c cleaning 58419 clauses out of 443817 with flag 14187802/2336000
1714.36/1703.87	c cleaning 59610 clauses out of 454398 with flag 14666746/2405000
1782.65/1772.05	c cleaning 59976 clauses out of 464791 with flag 15162705/2475004
1852.54/1841.71	c cleaning 61695 clauses out of 475814 with flag 15670089/2546003
1923.67/1911.44	c cleaning 62546 clauses out of 486113 with flag 16173713/2618000
1998.63/1986.22	c cleaning 63255 clauses out of 496567 with flag 16702822/2691000
2074.08/2061.59	c cleaning 64444 clauses out of 507313 with flag 17223779/2765001
2153.08/2140.11	c cleaning 65347 clauses out of 517868 with flag 17753599/2840000
2232.17/2218.91	c cleaning 66146 clauses out of 528523 with flag 18307778/2916002
2312.51/2298.70	c cleaning 66940 clauses out of 539373 with flag 18866758/2993000
2397.76/2383.89	c cleaning 68170 clauses out of 550433 with flag 19432201/3071000
2481.10/2467.10	c cleaning 69007 clauses out of 561262 with flag 20007058/3150000
2569.34/2555.08	c cleaning 70001 clauses out of 572254 with flag 20604729/3230000
2659.25/2644.98	c cleaning 70883 clauses out of 583252 with flag 21224723/3311001
2751.47/2736.99	c cleaning 71698 clauses out of 594368 with flag 21827592/3393000
2845.20/2830.67	c cleaning 72649 clauses out of 605670 with flag 22448166/3476000
2941.24/2926.42	c cleaning 73665 clauses out of 617021 with flag 23071544/3560000
3043.77/3028.62	c cleaning 75061 clauses out of 628355 with flag 23729283/3645000
3146.72/3131.52	c cleaning 76046 clauses out of 639297 with flag 24398333/3731004
3250.86/3235.44	c cleaning 76901 clauses out of 650247 with flag 25062656/3818000
3358.10/3341.79	c cleaning 77991 clauses out of 661348 with flag 25735715/3906002
3469.00/3452.51	c cleaning 79012 clauses out of 672354 with flag 26421319/3995000
3587.04/3569.87	c cleaning 79448 clauses out of 683344 with flag 27150823/4085003
3600.02/3582.82	c timeout
3600.02/3582.83	c starts		: 24959
3600.02/3582.85	c conflicts		: 4099038
3600.02/3582.85	c decisions		: 149675450
3600.02/3582.85	c propagations		: 4095846442
3600.02/3582.85	c inspects		: 18220725663
3600.02/3582.85	c shortcuts		: 0
3600.02/3582.85	c learnt literals	: 180
3600.02/3582.85	c learnt binary clauses	: 248933
3600.02/3582.85	c learnt ternary clauses	: 224379
3600.02/3582.85	c learnt constraints	: 4098858
3600.02/3582.85	c ignored constraints	: 0
3600.02/3582.85	c root simplifications	: 0
3600.02/3582.85	c removed literals (reason simplification)	: 40847452
3600.02/3582.85	c reason swapping (by a shorter reason)	: 0
3600.02/3582.85	c Calls to reduceDB	: 86
3600.02/3582.85	c Number of update (reduction) of LBD	: 3004172
3600.02/3582.85	c Imported unit clauses	: 0
3600.02/3582.85	c No decision after first conflict	: false
3600.02/3582.85	c number of reductions to clauses (during analyze)	: 0
3600.02/3582.85	c number of learned constraints concerned by reduction	: 0
3600.02/3582.85	c number of learning phase by resolution	: 0
3600.02/3582.85	c number of learning phase by cutting planes	: 0
3600.02/3582.85	c number of rounding to 1 operations	: 0
3600.02/3582.85	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3582.86	c number of reductions of the coefficients by power 2 	: 0
3600.02/3582.86	c number of right shift for reduction by power 2 	: 0
3600.02/3582.86	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3582.86	c number of ending skipping 	: 0
3600.02/3582.86	c number of internal skipping 	: 0
3600.02/3582.86	c number of derivation steps 	: 0
3600.02/3582.86	c number of skipped derivation steps 	: 0
3600.02/3582.86	c number of remaining unassigned 	: 0
3600.02/3582.86	c number of remaining assigned 	: 0
3600.02/3582.86	c number of falsified literals weakened from reason	: 0
3600.02/3582.86	c number of falsified literals weakened from conflict	: 0
3600.02/3582.86	c time for arithmetic operations	: 0
3600.02/3582.86	c minimum degree of deleted constraints	: null
3600.02/3582.86	c maximum degree of deleted constraints	: null
3600.02/3582.86	c number of deleted constraints	: 0
3600.02/3582.87	c speed (assignments/second)	: 1143510.8052700628
3600.02/3582.87	c non guided choices	: 51205
3600.28/3583.06	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 368998
3600.28/3583.06	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 248933
3600.28/3583.06	s UNKNOWN
3600.28/3583.06	c Total wall clock time (in seconds): 3582.689

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507020-1751182786/watcher-4507020-1751182786 -o /tmp/evaluation-result-4507020-1751182786/solver-4507020-1751182786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751182786-24219 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4507020-1751182786.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100511 s]*
/proc/loadavg: 0.61 1.01 1.53 8/318 24344
/proc/meminfo: memFree=129865968/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=18930344 memory=46140 CPUtime=0.1 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 5593 0 8 0 6 4 0 0 20 0 18 0 33958429 19384672256 11535 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4732586 11535 4928 1 0 546829 0
[pid=24272/tid=24280] ppid=24260 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 4579 0 8 0 4 2 0 0 20 0 18 0 33958432 19384672256 11567 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=18930344 memory=16142 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33958437 19384672256 11567 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=18930344 memory=58494082614266 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 33958438 19384672256 11567 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46140 KiB

[startup+0.214983 s]*
/proc/loadavg: 0.61 1.01 1.53 9/319 24345
/proc/meminfo: memFree=129852492/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=18930384 memory=51828 CPUtime=0.28 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 6139 0 8 0 23 5 0 0 20 0 18 0 33958429 19384713216 12957 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4732596 12957 5344 1 0 547234 0
[pid=24272/tid=24280] ppid=24260 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 4979 0 8 0 14 3 0 0 20 0 18 0 33958432 19384713216 12957 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=18930384 memory=16142 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33958437 19384713216 12957 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=18930384 memory=58494082614266 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 33958438 19384713216 12957 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51828 KiB

[startup+0.314783 s]*
/proc/loadavg: 0.61 1.01 1.53 8/319 24345
/proc/meminfo: memFree=129836424/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=18930384 memory=58260 CPUtime=0.42 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 6699 0 8 0 37 5 0 0 20 0 18 0 33958429 19384713216 14565 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4732596 14565 5376 1 0 547732 0
[pid=24272/tid=24280] ppid=24260 vsize=18930384 memory=-6000919502754703469 CPUtime=0.26 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 5138 0 8 0 22 4 0 0 20 0 18 0 33958432 19384713216 14629 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33958437 19384713216 14629 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 33958438 19384713216 14629 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58260 KiB

[startup+0.700376 s]
/proc/loadavg: 0.61 1.01 1.53 10/319 24345
/proc/meminfo: memFree=129805736/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=18930384 memory=93320 CPUtime=1.13 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 8663 0 8 0 105 8 0 0 20 0 18 0 33958429 19384713216 23330 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4732596 23330 5440 1 0 549054 0
[pid=24272/tid=24280] ppid=24260 vsize=18930384 memory=17024 CPUtime=0.57 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 5290 0 8 0 52 5 0 0 20 0 18 0 33958432 19384713216 23330 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=18930384 memory=10624 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33958437 19384713216 23330 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 33958438 19384713216 23330 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 93320 KiB

[startup+1.50027 s]
/proc/loadavg: 0.61 1.01 1.53 11/325 24351
/proc/meminfo: memFree=129468732/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=182828 CPUtime=2.7 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 19828 0 8 0 256 14 0 0 20 0 20 0 33958429 19521036288 45707 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 45707 5440 1 0 554370 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=3200 CPUtime=1.26 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 5562 0 8 0 119 7 0 0 20 0 20 0 33958432 19521036288 45707 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 45707 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 45707 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182828 KiB

[startup+3.11377 s]
/proc/loadavg: 0.61 1.01 1.53 8/327 24353
/proc/meminfo: memFree=129405384/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=183340 CPUtime=4.93 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 20911 0 8 0 478 15 0 0 20 0 20 0 33958429 19521036288 45835 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 45835 5440 1 0 554377 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=10624 CPUtime=2.86 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 5761 0 8 0 278 8 0 0 20 0 20 0 33958432 19521036288 45835 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 45835 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 45835 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 45835 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183340 KiB

[startup+6.30045 s]
/proc/loadavg: 0.88 1.06 1.55 8/327 24353
/proc/meminfo: memFree=129350704/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=183512 CPUtime=8.83 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 26936 0 8 0 867 16 0 0 20 0 20 0 33958429 19521036288 45878 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 45878 5472 1 0 554441 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=0 CPUtime=6.04 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 6948 0 8 0 596 8 0 0 20 0 20 0 33958432 19521036288 45878 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=-6000919507049670765 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 45878 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 45878 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 45878 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183512 KiB

[startup+12.7004 s]
/proc/loadavg: 1.13 1.11 1.56 8/327 24353
/proc/meminfo: memFree=129338472/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=198568 CPUtime=16.19 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 38195 0 8 0 1600 19 0 0 20 0 20 0 33958429 19521036288 49642 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 49642 5472 1 0 554953 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=190120 CPUtime=12.29 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 8133 0 8 0 1221 8 0 0 20 0 20 0 33958432 19521036288 49642 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=183512 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 49642 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 49642 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 49642 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 16.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198568 KiB

[startup+25.5005 s]
/proc/loadavg: 1.84 1.27 1.60 7/327 24353
/proc/meminfo: memFree=129225392/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=267576 CPUtime=29.54 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 40073 0 8 0 2932 22 0 0 20 0 20 0 33958429 19521036288 66894 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 66894 5472 1 0 555633 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=201384 CPUtime=24.87 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 8553 0 8 0 2479 8 0 0 20 0 20 0 33958432 19521036288 66894 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=195720 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 66894 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 66894 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=17024 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 66894 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 29.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 267576 KiB

[startup+51.1136 s]
/proc/loadavg: 2.58 1.49 1.67 7/327 24354
/proc/meminfo: memFree=128787348/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=343492 CPUtime=55.26 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 41426 0 8 0 5500 26 0 0 20 0 20 0 33958429 19521036288 85873 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 85873 5472 1 0 555637 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=343492 CPUtime=50.22 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 8695 0 8 0 5013 9 0 0 20 0 20 0 33958432 19521036288 85873 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=267576 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 85873 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 85873 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=267576 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 85873 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 55.26 s

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

/proc/meminfo: memFree=113286236/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=4425512 CPUtime=3298.83 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 133404 0 8 0 329556 327 0 0 20 0 20 0 33958429 19521036288 1106378 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 1106378 5472 1 0 1701284 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=4376360 CPUtime=3258.35 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 58848 0 8 0 325786 49 0 0 20 0 20 0 33958432 19521036288 1106378 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=4366120 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1106378 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 887 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1106378 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=4417320 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 1106378 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 3298.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4425512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.16 4.10 7/326 24523
/proc/meminfo: memFree=112740408/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=4583216 CPUtime=3358.7 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 135201 0 8 0 335536 334 0 0 20 0 20 0 33958429 19521036288 1145804 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 1145804 5472 1 0 1701284 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=4468520 CPUtime=3318.17 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 60535 0 8 0 331764 53 0 0 20 0 20 0 33958432 19521036288 1145804 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1145804 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 888 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1145804 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=-6000919507049670765 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 1145804 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 3358.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4583216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 7/326 24525
/proc/meminfo: memFree=112199660/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=4804648 CPUtime=3418.9 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 136336 0 8 0 341547 343 0 0 20 0 20 0 33958429 19521036288 1201162 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 1201162 5472 1 0 1701284 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=7686721470264483783 CPUtime=3377.66 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 60961 0 8 0 337711 55 0 0 20 0 20 0 33958432 19521036288 1201162 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=4513584 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1201162 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 901 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1201162 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 1201162 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 3418.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4804648 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 7/326 24527
/proc/meminfo: memFree=111859588/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=4874364 CPUtime=3479.21 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 139584 0 8 0 347572 349 0 0 20 0 20 0 33958429 19521036288 1218591 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 1218591 5472 1 0 1701284 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=7686721470264483783 CPUtime=3437.23 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 63245 0 8 0 343668 55 0 0 20 0 20 0 33958432 19521036288 1218591 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1218591 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=4605080 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 901 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1218591 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=4874364 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 1218591 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 3479.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4874364 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 7/327 24530
/proc/meminfo: memFree=111760568/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=4874364 CPUtime=3539.1 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 140273 0 8 0 353558 352 0 0 20 0 20 0 33958429 19521036288 1218591 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 1218591 5472 1 0 1701284 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=2764 CPUtime=3497.07 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 63916 0 8 0 349651 56 0 0 20 0 20 0 33958432 19521036288 1218591 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=4282809563642228385 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1218591 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=4874364 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 913 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1218591 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=4874364 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 1218591 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 3539.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4874364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 7/326 24532
/proc/meminfo: memFree=111747268/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=4874492 CPUtime=3599.52 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 142775 0 8 0 359595 357 0 0 20 0 20 0 33958429 19521036288 1218623 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 1218623 5472 1 0 1701356 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=14560 CPUtime=3556.56 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 65949 0 8 0 355599 57 0 0 20 0 20 0 33958432 19521036288 1218623 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1218623 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=22004 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 913 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1218623 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=4874492 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 1218623 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 3599.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4874492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3582.8 s]
/proc/loadavg: 4.13 4.12 4.09 7/326 24532
/proc/meminfo: memFree=111747268/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19063512 memory=4874492 CPUtime=3600.02 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 142879 0 8 0 359645 357 0 0 20 0 20 0 33958429 19521036288 1218623 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4765878 1218623 5472 1 0 1701356 0
[pid=24272/tid=24280] ppid=24260 vsize=19063512 memory=4764 CPUtime=3557.06 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) R 24260 24272 24204 0 -1 4194368 66054 0 8 0 355649 57 0 0 20 0 20 0 33958432 19521036288 1218623 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1218623 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 913 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1218623 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24352] ppid=24260 vsize=19063512 memory=4282809563642228385 CPUtime=0 cores=1,3
/proc/24272/task/24352/stat : 24352 (Timer-0) S 24260 24272 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958534 19521036288 1218623 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4874492 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.76 s, system=3.61645 s

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

[startup+3583 s]*
/proc/loadavg: 4.13 4.12 4.09 7/327 24535
/proc/meminfo: memFree=111747016/131382112 swapFree=33010684/33010684
[pid=24272] ppid=24260 vsize=19263204 memory=4875516 CPUtime=3600.28 cores=1,3
/proc/24272/stat : 24272 (java) S 24260 24272 24204 0 -1 4194304 144725 0 8 0 359670 358 0 0 20 0 21 0 33958429 19725520896 1218879 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
/proc/24272/statm: 4815801 1218879 5504 1 0 1702299 0
[pid=24272/tid=24280] ppid=24260 vsize=19263204 memory=-6000919502754703469 CPUtime=3557.08 cores=1,3
/proc/24272/task/24280/stat : 24280 (java) S 24260 24272 24204 0 -1 4194368 66351 0 8 0 355651 57 0 0 20 0 21 0 33958432 19725520896 1218879 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24321] ppid=24260 vsize=19263204 memory=4282809563642228385 CPUtime=0 cores=1,3
/proc/24272/task/24321/stat : 24321 (Finalizer) S 24260 24272 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 33958437 19725520896 1218879 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24341] ppid=24260 vsize=19263204 memory=4874492 CPUtime=0 cores=1,3
/proc/24272/task/24341/stat : 24341 (Common-Cleaner) S 24260 24272 24204 0 -1 4194368 913 0 0 0 0 0 0 0 20 0 21 0 33958438 19725520896 1218879 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
[pid=24272/tid=24535] ppid=24260 vsize=19263204 memory=4696384 CPUtime=0.16 cores=1,3
/proc/24272/task/24535/stat : 24535 (Thread-0) R 24260 24272 24204 0 -1 4194368 216 0 0 0 16 0 0 0 20 0 21 0 34316711 19725520896 1218879 18446744073709551615 94165632851968 94165632855664 140724355028368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94165632863480 94165632864272 94165665034240 140724355033473 140724355033574 140724355033574 140724355039176 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4875516 KiB

Child status: 143

Real time (s): 3583.1
CPU time (s): 3600.38
CPU user time (s): 3596.76
CPU system time (s): 3.61645
CPU usage (%): 100.482
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4875516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.76
system time used= 3.61645
maximum resident set size= 4875772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144869
page faults= 8
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109989
involuntary context switches= 4791


# summary of solver processes directly reported to runsolver:
#   pid: 24272
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3596.76
#   total CPU system time (s): 3.61645

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.2536 second user time and 36.016 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-06-29 09:39:46
IDJOB=4507020
IDBENCH=158316
IDSOLVER=3363
FILE ID=nodeC009/4507020-1751182786
RUNJOBID= nodeC009-1751182786-24219
SLURM_JOB_ID= 9587563
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K174.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507020-1751182786/watcher-4507020-1751182786 -o /tmp/evaluation-result-4507020-1751182786/solver-4507020-1751182786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751182786-24219 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4507020-1751182786.opb

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

MD5SUM BENCH= c4faa5671d3144bef53831284f041277
RANDOM SEED=472328659

nodeC009 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	: 0xb00001f
cpu MHz		: 1197.202
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.235
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1198.457
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1196.684
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.661
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.199
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.204
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.229
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129923976 kB
MemAvailable:   129918400 kB
Buffers:            3280 kB
Cached:           804208 kB
SwapCached:            0 kB
Active:           314348 kB
Inactive:         559048 kB
Active(anon):      83872 kB
Inactive(anon):        0 kB
Active(file):     230476 kB
Inactive(file):   559048 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7852 kB
Writeback:             0 kB
AnonPages:         69048 kB
Mapped:           102296 kB
Shmem:             17960 kB
KReclaimable:      88668 kB
Slab:             169832 kB
SReclaimable:      88668 kB
SUnreclaim:        81164 kB
KernelStack:        3936 kB
PageTables:         2864 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     331076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149224 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC009 at 2025-06-29 10:39:30