Trace number 4506841

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 VeriPB 2025-06-06? (TO) 3510.83 3700.19

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
MD5SUM416ae2bcad94d751017f8086501bbe46
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 benchmark28.0032
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22372
Total number of constraints22750
Number of constraints which are clauses22562
Number of constraints which are cardinality constraints (but not clauses)188
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint188
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 189
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.14	c solving HOME/instance-4506841-1751165630.opb
0.13/0.14	c reading problem ... 
0.13/0.14	c using VERIPB proof format
0.13/0.14	c  no objective function found
0.70/0.44	c ... done. Wall clock time 0.301s.
0.70/0.44	c declared #vars     22372
0.70/0.44	c #constraints  22750
0.70/0.44	c constraints type 
0.70/0.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2431
0.70/0.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 188
0.70/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 20129
0.70/0.44	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.70/0.44	c 22750 constraints processed.
5.95/3.46	c cleaning 2461 clauses out of 4994 with flag 21957/5000
9.54/6.43	c cleaning 4260 clauses out of 8519 with flag 51064/11000
12.97/9.71	c cleaning 5621 clauses out of 11251 with flag 85727/18005
16.89/13.62	c cleaning 6795 clauses out of 13612 with flag 123198/26000
21.53/18.21	c cleaning 7669 clauses out of 15801 with flag 167627/35001
26.64/23.33	c cleaning 7916 clauses out of 18107 with flag 215063/45000
32.32/28.97	c cleaning 8820 clauses out of 21179 with flag 267804/56001
38.49/35.17	c cleaning 9562 clauses out of 24354 with flag 325624/68000
45.01/41.55	c cleaning 10307 clauses out of 27786 with flag 388303/81000
52.26/48.71	c cleaning 11495 clauses out of 31474 with flag 456549/95000
60.42/56.80	c cleaning 11943 clauses out of 34971 with flag 532207/110002
69.20/65.61	c cleaning 12680 clauses out of 39017 with flag 610515/126000
78.40/74.72	c cleaning 13786 clauses out of 43333 with flag 694692/143000
88.47/84.83	c cleaning 14332 clauses out of 47545 with flag 782561/161000
99.19/95.54	c cleaning 15118 clauses out of 52207 with flag 879957/180001
110.37/106.60	c cleaning 16347 clauses out of 57086 with flag 981180/200000
122.27/118.46	c cleaning 16707 clauses out of 61733 with flag 1088951/221000
134.99/131.12	c cleaning 17717 clauses out of 67020 with flag 1205828/243000
148.59/144.69	c cleaning 18470 clauses out of 72297 with flag 1323023/266000
162.76/158.97	c cleaning 19409 clauses out of 77824 with flag 1446735/290000
177.45/173.56	c cleaning 20274 clauses out of 83414 with flag 1574389/315000
192.57/188.62	c cleaning 21139 clauses out of 89138 with flag 1710756/341000
207.95/203.93	c cleaning 21862 clauses out of 94997 with flag 1855121/368000
225.28/221.12	c cleaning 23070 clauses out of 101134 with flag 2003475/396000
242.64/238.45	c cleaning 23630 clauses out of 107059 with flag 2156874/425000
261.53/257.08	c cleaning 24296 clauses out of 113426 with flag 2319892/455000
280.54/275.97	c cleaning 25251 clauses out of 120129 with flag 2486083/486002
301.10/296.52	c cleaning 25951 clauses out of 126877 with flag 2656556/518001
322.40/317.85	c cleaning 26693 clauses out of 133921 with flag 2833769/551000
343.88/339.29	c cleaning 27555 clauses out of 141228 with flag 3026290/585002
367.25/362.58	c cleaning 28581 clauses out of 148671 with flag 3221492/620001
390.12/385.36	c cleaning 29833 clauses out of 156088 with flag 3426529/656001
414.82/409.90	c cleaning 30287 clauses out of 163254 with flag 3634191/693000
439.91/435.02	c cleaning 30914 clauses out of 170965 with flag 3840468/731002
466.87/461.81	c cleaning 32052 clauses out of 179048 with flag 4060093/770000
494.94/489.88	c cleaning 32857 clauses out of 186995 with flag 4291017/810000
523.24/517.88	c cleaning 33555 clauses out of 195134 with flag 4524064/851001
553.67/548.13	c cleaning 34521 clauses out of 203574 with flag 4768304/893000
585.26/579.79	c cleaning 35361 clauses out of 212052 with flag 5022499/936000
617.68/612.05	c cleaning 36216 clauses out of 220690 with flag 5282959/980000
650.68/644.98	c cleaning 37928 clauses out of 229473 with flag 5545945/1025000
686.43/680.68	c cleaning 37938 clauses out of 237544 with flag 5825807/1071002
722.12/716.23	c cleaning 39236 clauses out of 246603 with flag 6100670/1118000
759.37/753.30	c cleaning 39953 clauses out of 255365 with flag 6384648/1166000
799.06/792.60	c cleaning 40578 clauses out of 264412 with flag 6681689/1215000
838.35/834.60	c cleaning 41612 clauses out of 273833 with flag 6981881/1265000
878.66/876.66	c cleaning 42587 clauses out of 283221 with flag 7288904/1316002
922.02/920.03	c cleaning 43114 clauses out of 292632 with flag 7612571/1368001
965.25/971.44	c cleaning 44089 clauses out of 302518 with flag 7939416/1421001
1010.49/1016.82	c cleaning 45097 clauses out of 312428 with flag 8274983/1475001
1057.38/1064.78	c cleaning 46196 clauses out of 322330 with flag 8617318/1530000
1106.48/1113.89	c cleaning 46867 clauses out of 332134 with flag 8980588/1586001
1154.18/1167.73	c cleaning 47536 clauses out of 342264 with flag 9347087/1643000
1206.74/1223.27	c cleaning 48562 clauses out of 352728 with flag 9733705/1701000
1259.55/1283.70	c cleaning 49742 clauses out of 363168 with flag 10126476/1760002
1312.32/1336.37	c cleaning 50843 clauses out of 373422 with flag 10506684/1820000
1368.72/1392.74	c cleaning 51716 clauses out of 383578 with flag 10908264/1881000
1427.03/1450.67	c cleaning 52356 clauses out of 393860 with flag 11313844/1943000
1486.68/1510.15	c cleaning 53493 clauses out of 404500 with flag 11734128/2006001
1545.38/1579.51	c cleaning 54416 clauses out of 415005 with flag 12143943/2070000
1611.09/1647.51	c cleaning 55334 clauses out of 425589 with flag 12575387/2135000
1678.35/1715.02	c cleaning 56254 clauses out of 436257 with flag 13031658/2201003
1744.13/1785.22	c cleaning 56967 clauses out of 446998 with flag 13467556/2268000
1811.82/1854.64	c cleaning 58384 clauses out of 458030 with flag 13916611/2336000
1881.29/1924.19	c cleaning 58935 clauses out of 468644 with flag 14380719/2405000
1954.09/1997.62	c cleaning 59792 clauses out of 479711 with flag 14872156/2475004
2026.54/2070.53	c cleaning 60900 clauses out of 490914 with flag 15355628/2546000
2103.43/2148.02	c cleaning 61581 clauses out of 502012 with flag 15857147/2618000
2181.49/2226.13	c cleaning 62615 clauses out of 513431 with flag 16355343/2691001
2258.75/2303.99	c cleaning 63915 clauses out of 524815 with flag 16868849/2765000
2340.07/2385.48	c cleaning 64862 clauses out of 535899 with flag 17393673/2840000
2424.85/2511.12	c cleaning 65600 clauses out of 547036 with flag 17927818/2916001
2511.53/2617.32	c cleaning 66299 clauses out of 558435 with flag 18478097/2993000
2598.91/2715.14	c cleaning 67407 clauses out of 570132 with flag 19024636/3071000
2691.36/2814.01	c cleaning 68238 clauses out of 581727 with flag 19593408/3150002
2787.22/2951.08	c cleaning 69226 clauses out of 593487 with flag 20162065/3230000
2883.25/3047.33	c cleaning 70072 clauses out of 605261 with flag 20748094/3311000
2983.77/3171.88	c cleaning 71366 clauses out of 617189 with flag 21343580/3393000
3080.79/3268.71	c cleaning 72616 clauses out of 628822 with flag 21928007/3476000
3186.55/3375.68	c cleaning 73209 clauses out of 640203 with flag 22528322/3560000
3291.11/3481.58	c cleaning 74399 clauses out of 651994 with flag 23141014/3645000
3399.54/3589.88	c cleaning 75117 clauses out of 663595 with flag 23763141/3731000
3510.63/3700.02	c starts		: 22330
3510.63/3700.02	c conflicts		: 3817826
3510.63/3700.02	c decisions		: 160393716
3510.63/3700.02	c propagations		: 4116300070
3510.63/3700.02	c inspects		: 16892401592
3510.63/3700.02	c shortcuts		: 0
3510.63/3700.02	c learnt literals	: 262
3510.63/3700.02	c learnt binary clauses	: 259722
3510.63/3700.02	c learnt ternary clauses	: 224244
3510.63/3700.02	c learnt constraints	: 3817564
3510.63/3700.02	c ignored constraints	: 0
3510.63/3700.02	c root simplifications	: 0
3510.63/3700.02	c removed literals (reason simplification)	: 35318422
3510.63/3700.03	c reason swapping (by a shorter reason)	: 0
3510.63/3700.03	c Calls to reduceDB	: 82
3510.63/3700.03	c Number of update (reduction) of LBD	: 2679314
3510.63/3700.03	c Imported unit clauses	: 0
3510.63/3700.03	c No decision after first conflict	: false
3510.63/3700.03	c number of reductions to clauses (during analyze)	: 0
3510.63/3700.03	c number of learned constraints concerned by reduction	: 0
3510.63/3700.03	c number of learning phase by resolution	: 0
3510.63/3700.03	c number of learning phase by cutting planes	: 0
3510.63/3700.03	c number of rounding to 1 operations	: 0
3510.63/3700.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3510.63/3700.03	c number of reductions of the coefficients by power 2 	: 0
3510.63/3700.03	c number of right shift for reduction by power 2 	: 0
3510.63/3700.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3510.63/3700.03	c number of ending skipping 	: 0
3510.63/3700.03	c number of internal skipping 	: 0
3510.63/3700.03	c number of derivation steps 	: 0
3510.63/3700.03	c number of skipped derivation steps 	: 0
3510.63/3700.03	c number of remaining unassigned 	: 0
3510.63/3700.03	c number of remaining assigned 	: 0
3510.63/3700.03	c number of falsified literals weakened from reason	: 0
3510.63/3700.03	c number of falsified literals weakened from conflict	: 0
3510.63/3700.03	c time for arithmetic operations	: 0
3510.63/3700.03	c minimum degree of deleted constraints	: null
3510.63/3700.03	c maximum degree of deleted constraints	: null
3510.63/3700.03	c number of deleted constraints	: 0
3510.63/3700.03	c speed (assignments/second)	: 1112641.9373262806
3510.63/3700.03	c non guided choices	: 66519
3510.63/3700.03	c timeout
3510.79/3700.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 415582
3510.79/3700.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 259722
3510.79/3700.12	s UNKNOWN
3510.79/3700.12	c Total wall clock time (in seconds): 3699.986

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: 63708 MiB (60399 MiB free)
  memory of node 1: 64465 MiB (55254 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506841-1751165630/watcher-4506841-1751165630 -o /tmp/evaluation-result-4506841-1751165630/solver-4506841-1751165630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751158366-20625 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4506841-1751165630 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4506841-1751165630.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23941, runsolver pid=23938

[startup+0.100052 s]*
/proc/loadavg: 4.20 4.15 4.11 6/344 23959
/proc/meminfo: memFree=118405140/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=18930384 memory=57788 CPUtime=0.13 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 6570 0 0 0 11 2 0 0 20 0 18 0 32242374 19384713216 14447 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4732596 14447 5365 1 0 547619 0
[pid=23941/tid=23943] ppid=23938 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 5073 0 0 0 7 1 0 0 20 0 18 0 32242375 19384713216 14447 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32242377 19384713216 14447 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=18930384 memory=60684515952020 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32242378 19384713216 14447 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57788 KiB

[startup+0.205848 s]*
/proc/loadavg: 4.20 4.15 4.11 6/344 23959
/proc/meminfo: memFree=118392600/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=18930384 memory=72196 CPUtime=0.32 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 7023 0 0 0 30 2 0 0 20 0 18 0 32242374 19384713216 18049 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4732596 18049 5429 1 0 547927 0
[pid=23941/tid=23943] ppid=23938 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 5274 0 0 0 16 2 0 0 20 0 18 0 32242375 19384713216 18049 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=18930384 memory=16898 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32242377 19384713216 18049 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32242378 19384713216 18049 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72196 KiB

[startup+0.305871 s]*
/proc/loadavg: 4.20 4.15 4.11 6/344 23959
/proc/meminfo: memFree=118356304/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=18930384 memory=103444 CPUtime=0.51 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 8633 0 0 0 48 3 0 0 20 0 18 0 32242374 19384713216 25861 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4732596 25861 5429 1 0 548997 0
[pid=23941/tid=23943] ppid=23938 vsize=18930384 memory=-6000919472739805549 CPUtime=0.26 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 5298 0 0 0 24 2 0 0 20 0 18 0 32242375 19384713216 25861 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32242377 19384713216 25861 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32242378 19384713216 25861 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103444 KiB

[startup+0.700214 s]
/proc/loadavg: 4.20 4.15 4.11 6/346 23961
/proc/meminfo: memFree=118303056/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=173756 CPUtime=1.27 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 12157 0 0 0 122 5 0 0 20 0 20 0 32242374 19521036288 43439 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 43439 5461 1 0 552102 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=17280 CPUtime=0.6 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 5394 0 0 0 57 3 0 0 20 0 20 0 32242375 19521036288 43439 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 43439 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 43439 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 43439 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173756 KiB

[startup+1.50024 s]
/proc/loadavg: 4.35 4.18 4.12 6/346 23961
/proc/meminfo: memFree=118293480/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=190384 CPUtime=2.86 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 24631 0 0 0 278 8 0 0 20 0 20 0 32242374 19521036288 47596 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 47596 5461 1 0 556232 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=0 CPUtime=1.34 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 5772 0 0 0 131 3 0 0 20 0 20 0 32242375 19521036288 47596 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 47596 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 47596 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 47596 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190384 KiB

[startup+3.10571 s]
/proc/loadavg: 4.35 4.18 4.12 5/346 23961
/proc/meminfo: memFree=118094104/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=202452 CPUtime=5.64 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 28038 0 0 0 555 9 0 0 20 0 20 0 32242374 19521036288 50613 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 50613 5461 1 0 556256 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=10752 CPUtime=2.91 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 6207 0 0 0 287 4 0 0 20 0 20 0 32242375 19521036288 50613 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=-6000919472739805549 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 50613 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 50613 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 50613 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202452 KiB

[startup+6.3002 s]
/proc/loadavg: 4.32 4.18 4.12 5/346 23961
/proc/meminfo: memFree=118037424/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=203772 CPUtime=9.44 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 29493 0 0 0 933 11 0 0 20 0 20 0 32242374 19521036288 50943 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 50943 5493 1 0 556422 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=0 CPUtime=6.06 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 6954 0 0 0 601 5 0 0 20 0 20 0 32242375 19521036288 50943 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 50943 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 50943 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=201812 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 50943 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 9.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 203772 KiB

[startup+12.7002 s]
/proc/loadavg: 4.29 4.17 4.12 5/346 23961
/proc/meminfo: memFree=117711584/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=328364 CPUtime=15.99 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 33416 0 0 0 1584 15 0 0 20 0 20 0 32242374 19521036288 82091 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 82091 5493 1 0 556422 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=201812 CPUtime=12.36 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 7881 0 0 0 1229 7 0 0 20 0 20 0 32242375 19521036288 82091 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=16380 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 82091 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=328364 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 82091 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 82091 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 15.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 328364 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.17 4.12 5/346 23961
/proc/meminfo: memFree=116930308/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=514796 CPUtime=28.84 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 36357 0 0 0 2863 21 0 0 20 0 20 0 32242374 19521036288 128699 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 128699 5493 1 0 556422 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=-6000919472739805549 CPUtime=25.02 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 8824 0 0 0 2491 11 0 0 20 0 20 0 32242375 19521036288 128699 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 128699 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 128699 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=16380 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 128699 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 28.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 514796 KiB

[startup+51.1057 s]
/proc/loadavg: 4.22 4.17 4.12 5/345 23962
/proc/meminfo: memFree=115981068/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=916420 CPUtime=54.66 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 41616 0 0 0 5431 35 0 0 20 0 20 0 32242374 19521036288 229105 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 229105 5493 1 0 556422 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=916420 CPUtime=50.27 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 9674 0 0 0 5008 19 0 0 20 0 20 0 32242375 19521036288 229105 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=777024 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 229105 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0

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

[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/348 24222
/proc/meminfo: memFree=99331024/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=2182092 CPUtime=3153.23 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 141524 0 0 0 314653 670 0 0 20 0 20 0 32242374 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 545523 5525 1 0 559168 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=2182092 CPUtime=3104.09 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 57540 0 0 0 309847 562 0 0 20 0 20 0 32242375 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=-6000919472739805549 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=16380 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=2182092 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/347 24226
/proc/meminfo: memFree=99019768/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=2182092 CPUtime=3212.57 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 141714 0 0 0 320579 678 0 0 20 0 20 0 32242374 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 545523 5525 1 0 559168 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=2182092 CPUtime=3162.63 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 57663 0 0 0 315694 569 0 0 20 0 20 0 32242375 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=16380 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=2182092 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/347 24229
/proc/meminfo: memFree=98684196/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=2182092 CPUtime=3271.79 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 142743 0 0 0 326492 687 0 0 20 0 20 0 32242374 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 545523 5525 1 0 559168 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=2182092 CPUtime=3221.24 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 58536 0 0 0 321547 577 0 0 20 0 20 0 32242375 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=2182092 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=2182092 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 545523 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 3271.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182092 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/344 24233
/proc/meminfo: memFree=98334736/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=2182220 CPUtime=3331.94 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 147258 0 0 0 332496 698 0 0 20 0 20 0 32242374 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 545555 5525 1 0 559168 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=5504 CPUtime=3280.19 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 60930 0 0 0 327433 586 0 0 20 0 20 0 32242375 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=2182220 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 1681 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=16380 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182220 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/343 24235
/proc/meminfo: memFree=98019660/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=2182220 CPUtime=3392.06 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 149538 0 0 0 338501 705 0 0 20 0 20 0 32242374 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 545555 5525 1 0 559168 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=2182220 CPUtime=3339.68 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 62021 0 0 0 333376 592 0 0 20 0 20 0 32242375 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=2182220 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=2182220 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 1749 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182220 KiB

[startup+3642.3 s]
/proc/loadavg: 3.61 3.99 4.05 4/317 24270
/proc/meminfo: memFree=105996320/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=2182220 CPUtime=3452.02 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 151593 0 0 0 344487 715 0 0 20 0 20 0 32242374 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 545555 5525 1 0 559168 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=2182220 CPUtime=3399.18 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 63226 0 0 0 339317 601 0 0 20 0 20 0 32242375 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=2182220 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=16380 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 1816 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=2182220 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182220 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 2.75 3.70 3.94 3/292 24306
/proc/meminfo: memFree=114105652/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19063512 memory=2182220 CPUtime=3510.63 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 154198 0 0 0 350338 725 0 0 20 0 20 0 32242374 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4765878 545555 5525 1 0 559168 0
[pid=23941/tid=23943] ppid=23938 vsize=19063512 memory=-6000919498543753325 CPUtime=3456.14 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) R 23938 23941 20613 0 -1 4194368 64479 0 0 0 345006 608 0 0 20 0 20 0 32242375 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19063512 memory=7222440776755617300 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32242377 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 1852 0 0 0 0 0 0 0 20 0 20 0 32242378 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23961] ppid=23938 vsize=19063512 memory=16380 CPUtime=0 cores=1,3
/proc/23941/task/23961/stat : 23961 (Timer-0) S 23938 23941 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32242420 19521036288 545555 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 3510.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182220 KiB

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

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

# cumulated CPU time of all completed processes:  user=3503.56 s, system=7.269 s

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

[startup+3700.11 s]
/proc/loadavg: 2.75 3.70 3.94 3/292 24306
/proc/meminfo: memFree=114105652/131250000 swapFree=33010684/33010684
[pid=23941] ppid=23938 vsize=19263204 memory=2182860 CPUtime=3510.79 cores=1,3
/proc/23941/stat : 23941 (java) S 23938 23941 20613 0 -1 4194304 156357 0 0 0 350354 725 0 0 20 0 21 0 32242374 19725520896 545715 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
/proc/23941/statm: 4815801 545715 5525 1 0 560115 0
[pid=23941/tid=23943] ppid=23938 vsize=19263204 memory=2182220 CPUtime=3456.16 cores=1,3
/proc/23941/task/23943/stat : 23943 (java) D 23938 23941 20613 0 -1 4194368 64644 0 0 0 345008 608 0 0 20 0 21 0 32242375 19725520896 545715 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23952] ppid=23938 vsize=19263204 memory=17280 CPUtime=0 cores=1,3
/proc/23941/task/23952/stat : 23952 (Finalizer) S 23938 23941 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 32242377 19725520896 545715 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
[pid=23941/tid=23959] ppid=23938 vsize=19263204 memory=4380 CPUtime=0 cores=1,3
/proc/23941/task/23959/stat : 23959 (Common-Cleaner) S 23938 23941 20613 0 -1 4194368 1852 0 0 0 0 0 0 0 20 0 21 0 32242378 19725520896 545715 18446744073709551615 94216583110656 94216583114352 140721546824784 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94216583122168 94216583122960 94216587440128 140721546828080 140721546828262 140721546828262 140721546833864 0
Current children cumulated CPU time: 3510.79 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2182860 KiB

Child status: 143

Real time (s): 3700.19
CPU time (s): 3510.83
CPU user time (s): 3503.56
CPU system time (s): 7.269
CPU usage (%): 94.8823
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2182860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3503.56
system time used= 7.269
maximum resident set size= 2182988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11839064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119768
involuntary context switches= 9680


# summary of solver processes directly reported to runsolver:
#   pid: 23941
#   total CPU time (s): 3510.83
#   total CPU user time (s): 3503.56
#   total CPU system time (s): 7.269

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.83781 second user time and 17.2664 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-29 04:53:50
IDJOB=4506841
IDBENCH=158284
IDSOLVER=3364
FILE ID=nodeC033/4506841-1751165630
RUNJOBID= nodeC033-1751158366-20625
SLURM_JOB_ID= 9587493
Free space on /tmp= 433040 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K188.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506841-1751165630/watcher-4506841-1751165630 -o /tmp/evaluation-result-4506841-1751165630/solver-4506841-1751165630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751158366-20625 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4506841-1751165630 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4506841-1751165630.opb

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

MD5SUM BENCH= 416ae2bcad94d751017f8086501bbe46
RANDOM SEED=878023255

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        118429664 kB
MemAvailable:   122500348 kB
Buffers:            3280 kB
Cached:          4876336 kB
SwapCached:            0 kB
Active:          7614792 kB
Inactive:        4618180 kB
Active(anon):    7371572 kB
Inactive(anon):        0 kB
Active(file):     243220 kB
Inactive(file):  4618180 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             66460 kB
Writeback:             0 kB
AnonPages:       7355512 kB
Mapped:           122792 kB
Shmem:             18120 kB
KReclaimable:      97048 kB
Slab:             185440 kB
SReclaimable:      97048 kB
SUnreclaim:        88392 kB
KernelStack:        5264 kB
PageTables:        18044 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   11589196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151512 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7124992 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC033 at 2025-06-29 05:55:30