Trace number 3743942

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
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.09 1759.03

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_2_mh_ic.opb
MD5SUMae034981987dcf56811f1bb984859bc0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2217982
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45775
Total number of constraints102733
Number of constraints which are clauses71450
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints31250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 17425
Biggest coefficient in the objective function 112678587
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 14191811181
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 112678587
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 14191811181
Number of bits of the biggest sum of numbers34
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.19	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.19	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.19	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.19	c no version file found!!!
0.00/0.19	c sun.arch.data.model	64
0.00/0.19	c java.version	1.6.0_24
0.00/0.19	c os.name	Linux
0.00/0.19	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.19	c os.arch	amd64
0.00/0.19	c Free memory 1599470296
0.00/0.19	c Max memory 1607860224
0.00/0.19	c Total memory 1607860224
0.00/0.19	c Number of processors 8
0.07/0.21	--- Begin Solver configuration ---
0.07/0.21	c Stops conflict analysis at the first Unique Implication Point
0.07/0.21	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.21	c Learn all clauses as in MiniSAT
0.07/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.21	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.21	c No reason simplification
0.07/0.21	c --- End Solver configuration ---
0.07/0.21	c solving HOME/instance-3743942-1338790201.opb
0.07/0.21	c reading problem ... 
2.02/1.23	c ... done. Wall clock time 1.021s.
2.02/1.24	c CPU time (experimental) 1.09s.
2.02/1.24	c #vars     45775
2.02/1.24	c #constraints  104533
611.82/596.25	c cleaning 323982 clauses out of 648000 for limit 5.6500794866328286E-5
615.10/599.50	c cleaning 163239 clauses out of 326519 for limit 0.0013690996283035049
621.09/605.24	c cleaning 86102 clauses out of 172281 for limit 21.142026083557532
623.46/607.54	c cleaning 44579 clauses out of 89177 for limit 819.9689904596537
629.35/613.12	c cleaning 25009 clauses out of 50101 for limit 359188.3025420334
631.11/614.84	c cleaning 13256 clauses out of 26589 for limit 3026430.470537499
633.07/616.78	c cleaning 7365 clauses out of 14833 for limit 2.4331639269365843E7
634.93/618.57	c cleaning 4444 clauses out of 8969 for limit 1.8065854771307462E8
636.61/620.14	c cleaning 2987 clauses out of 6024 for limit 1.2051766944632988E9
640.40/623.81	c cleaning 3234 clauses out of 6537 for limit 3.6842442301249596E10
642.26/625.62	c cleaning 2358 clauses out of 4803 for limit 2.2489612441489807E11
643.84/627.19	c cleaning 1960 clauses out of 3946 for limit 1.2289653827043667E12
1023.43/1000.24	c cleaning 148490 clauses out of 296988 for limit 0.024819909173914266
1026.71/1003.40	c cleaning 74990 clauses out of 149996 for limit 0.21996726216953053
1031.68/1008.37	c cleaning 39224 clauses out of 78506 for limit 13.942032353017755
1042.43/1018.84	c cleaning 24108 clauses out of 48282 for limit 184522.63621590962
1044.80/1021.17	c cleaning 13070 clauses out of 26173 for limit 2515187.8903786624
1046.55/1022.83	c cleaning 7777 clauses out of 15603 for limit 5.146301962563681E7
1050.76/1026.90	c cleaning 5643 clauses out of 11326 for limit 2.3518955229693313E9
1068.86/1044.64	c cleaning 3575 clauses out of 7184 for limit 1.6646787351454569E10
1086.16/1061.55	c cleaning 3774 clauses out of 7608 for limit 8.590903403836968E11
1087.70/1063.07	c cleaning 3118 clauses out of 6336 for limit 1.2607896349572508E13
1089.25/1064.59	c cleaning 2822 clauses out of 5717 for limit 1.7026858599869422E14
1090.91/1066.19	c cleaning 2924 clauses out of 5894 for limit 3.3188941408437046E-5
1092.54/1067.78	c cleaning 2719 clauses out of 5471 for limit 4.365668588378968E-4
1094.09/1069.26	c cleaning 2854 clauses out of 5752 for limit 0.008352835401685877
1095.41/1070.56	c cleaning 2672 clauses out of 5398 for limit 0.10856737956706465
1096.87/1071.97	c cleaning 2845 clauses out of 5727 for limit 2.060510759048482
1098.63/1073.64	c cleaning 2923 clauses out of 5882 for limit 40.35639568604069
1100.25/1075.29	c cleaning 2689 clauses out of 5457 for limit 529.5339989964756
1102.09/1077.09	c cleaning 2852 clauses out of 5768 for limit 10077.617570708066
1103.73/1078.66	c cleaning 2923 clauses out of 5916 for limit 197647.02514038072
1105.48/1080.34	c cleaning 2981 clauses out of 5995 for limit 3931276.63752746
1106.90/1081.71	c cleaning 2756 clauses out of 5515 for limit 5.217845589367804E7
1107.10/1081.96	c cleaning 1619 clauses out of 3256 for limit 1.4531307571858633E8
1108.54/1083.34	c cleaning 2318 clauses out of 4639 for limit 2.0557441568388536E9
1108.75/1083.50	c cleaning 1386 clauses out of 2819 for limit 5.56782048636955E9
1110.07/1084.83	c cleaning 2215 clauses out of 4434 for limit 7.127782607418129E10
1111.71/1086.43	c cleaning 2607 clauses out of 5218 for limit 1.2171577531494211E12
1113.16/1087.86	c cleaning 3013 clauses out of 6112 for limit 3.450589686106359E13
1113.46/1088.11	c cleaning 1772 clauses out of 3600 for limit 9.670848134958388E13
1114.69/1089.35	c cleaning 2149 clauses out of 4326 for limit 9.796951557292455E-6
1114.89/1089.58	c cleaning 1318 clauses out of 2677 for limit 2.610868457939395E-5
1116.46/1091.04	c cleaning 2173 clauses out of 4361 for limit 3.2303651894577124E-4
1118.09/1092.67	c cleaning 2330 clauses out of 4687 for limit 0.0036625847102223627
1119.44/1094.00	c cleaning 2653 clauses out of 5358 for limit 0.06451337405832828
1119.74/1094.22	c cleaning 1575 clauses out of 3205 for limit 0.17786083160760438
1121.27/1095.71	c cleaning 1779 clauses out of 3628 for limit 1.159833366497474
1122.72/1097.15	c cleaning 2153 clauses out of 4350 for limit 11.811024402068156
1123.02/1097.46	c cleaning 1309 clauses out of 2696 for limit 31.3962884965847
1124.46/1098.82	c cleaning 1675 clauses out of 3389 for limit 185.10544828810168
1124.67/1099.05	c cleaning 1079 clauses out of 2212 for limit 466.7587965044685
1126.00/1100.32	c cleaning 1796 clauses out of 3633 for limit 3466.5037248560957
1126.20/1100.59	c cleaning 1153 clauses out of 2341 for limit 8907.371984893427
1127.67/1101.91	c cleaning 1558 clauses out of 3184 for limit 48246.23690538226
1129.53/1103.78	c cleaning 2023 clauses out of 4126 for limit 454136.8209803527
1689.55/1651.77	c cleaning 318528 clauses out of 637103 for limit 0.24181475126278246
1693.94/1656.00	c cleaning 160519 clauses out of 321075 for limit 5.852822915987449
1706.27/1668.02	c cleaning 87500 clauses out of 175057 for limit 2.1460885076894704E7
1717.03/1678.44	c cleaning 50004 clauses out of 100056 for limit 1.01285350913181E13
1721.57/1682.88	c cleaning 27510 clauses out of 55053 for limit 2.7415878443716586E-5
1723.38/1684.51	c cleaning 15017 clauses out of 30042 for limit 6.12208333889884E-4
1725.04/1686.17	c cleaning 9255 clauses out of 18525 for limit 0.032935258122443814
1727.89/1688.89	c cleaning 6367 clauses out of 12773 for limit 1.5893557605411879
1731.31/1692.14	c cleaning 5173 clauses out of 10403 for limit 106.43856107613443
1732.88/1693.70	c cleaning 3588 clauses out of 7230 for limit 1132.772882820817
1734.97/1695.61	c cleaning 3052 clauses out of 6142 for limit 16264.876283492567
1736.53/1697.17	c cleaning 2512 clauses out of 5090 for limit 145166.4786168798
1740.16/1700.60	c cleaning 3265 clauses out of 6578 for limit 6145218.811045536
1741.75/1702.14	c cleaning 2623 clauses out of 5314 for limit 5.63206593108811E7
1800.09/1759.02	c starts		: 23
1800.09/1759.02	c conflicts		: 1854415
1800.09/1759.02	c decisions		: 4331086
1800.09/1759.02	c propagations		: 589433461
1800.09/1759.02	c inspects		: 5532847380
1800.09/1759.02	c learnt literals	: 0
1800.09/1759.02	c learnt binary clauses	: 15
1800.09/1759.02	c learnt ternary clauses	: 12
1800.09/1759.02	c learnt clauses	: 1854415
1800.09/1759.02	c root simplifications	: 0
1800.09/1759.02	c removed literals (reason simplification)	: 0
1800.09/1759.02	c reason swapping (by a shorter reason)	: 0
1800.09/1759.02	c Calls to reduceDB	: 70
1800.09/1759.02	c speed (decisions/second)	: 2464.135635649873
1800.09/1759.02	c non guided choices	0
1800.09/1759.02	s UNKNOWN
1800.09/1759.02	c Total wall clock time (ms): 1758.803

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743942-1338790201/watcher-3743942-1338790201 -o /tmp/evaluation-result-3743942-1338790201/solver-3743942-1338790201 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3743942-1338790201.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.06 3/174 21794
/proc/meminfo: memFree=27717432/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21794/stat : 21794 (java) D 21792 21794 21172 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 345145758 9515008 182 33554432000 1073741824 1073778376 140734492896112 140734492887144 214369648309 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/21794/statm: 2323 182 140 9 0 71 0

[startup+0.0114869 s]
/proc/loadavg: 2.00 2.00 2.06 3/174 21794
/proc/meminfo: memFree=27717432/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21794 21172 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 345145758 24780800 867 33554432000 1073741824 1073778376 140737389388528 140737389379664 214373007421 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21794/statm: 6050 867 654 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24200

[startup+0.10021 s]
/proc/loadavg: 2.00 2.00 2.06 3/174 21794
/proc/meminfo: memFree=27717432/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21794 21172 0 -1 4202496 1371 0 0 0 0 0 0 0 20 0 2 0 345145758 103964672 1054 33554432000 1073741824 1073778376 140737389388528 140737389379664 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21794/statm: 25382 1054 807 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.300221 s]
/proc/loadavg: 2.00 2.00 2.06 3/174 21794
/proc/meminfo: memFree=27717432/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=2957856 CPUtime=0.28 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21794 21172 0 -1 4202496 5151 0 1 0 26 2 0 0 20 0 18 0 345145758 3028844544 8813 33554432000 1073741824 1073778376 140737389388528 140737389379664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21794/statm: 739464 8813 2223 9 0 729885 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 2957856

[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.06 3/174 21794
/proc/meminfo: memFree=27717432/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=2957856 CPUtime=1.14 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21794 21172 0 -1 4202496 8404 0 1 0 110 4 0 0 20 0 18 0 345145758 3028844544 31860 33554432000 1073741824 1073778376 140737389388528 140737389379664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21794/statm: 739464 31860 2258 9 0 729885 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 2957856

[startup+1.50076 s]
/proc/loadavg: 2.00 2.00 2.06 5/212 21839
/proc/meminfo: memFree=27252856/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=3024420 CPUtime=2.7 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21794 21172 0 -1 4202496 16610 0 1 0 260 10 0 0 20 0 19 0 345145758 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140737389379664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21794/statm: 756105 99568 2278 9 0 746526 0
[pid=21794/tid=21796] ppid=21792 vsize=3024420 CPUtime=1.35 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21792 21794 21172 0 -1 4202560 2689 0 1 0 128 7 0 0 20 0 19 0 345145759 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455603454408 140455446675850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21797] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145771 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455586888488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21798] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145771 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455585835688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21799] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145771 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455584783400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21800] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145771 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455583730600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21801] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145771 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455582677288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21802] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145771 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455581624488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21803] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145771 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455580572200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21804] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21794 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345145771 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455579519400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21805] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21794 21172 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345145772 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455567108840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21806] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21794 21172 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455566054904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21807] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21794 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455446570760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21808] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145775 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455445519248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21809] ppid=21792 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) R 21792 21794 21172 0 -1 4202560 5132 0 0 0 62 0 0 0 20 0 19 0 345145775 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455444465848 140455446577273 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21810] ppid=21792 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) R 21792 21794 21172 0 -1 4202560 7594 0 0 0 67 2 0 0 20 0 19 0 345145776 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455443413048 140455607068104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21811] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145776 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455442360952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21812] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145776 3097006080 99568 33554432000 1073741824 1073778376 140737389388528 140455441308360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 3024420

[startup+3.10078 s]
/proc/loadavg: 2.00 2.00 2.06 3/213 21840
/proc/meminfo: memFree=26742964/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=3024420 CPUtime=4.69 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21794 21172 0 -1 4202496 16771 0 1 0 454 15 0 0 20 0 19 0 345145758 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140737389379664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21794/statm: 756105 122679 2292 9 0 746526 0
[pid=21794/tid=21796] ppid=21792 vsize=3024420 CPUtime=2.89 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21792 21794 21172 0 -1 4202560 2722 0 1 0 281 8 0 0 20 0 19 0 345145759 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455603460696 140455447569846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21797] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21794 21172 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 345145771 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455586888488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21798] ppid=21792 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21794 21172 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 345145771 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455585835688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21799] ppid=21792 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21794 21172 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 345145771 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455584783400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21800] ppid=21792 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21794 21172 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 345145771 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455583730600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21801] ppid=21792 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21794 21172 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 345145771 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455582677288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21802] ppid=21792 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21794 21172 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 345145771 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455581624488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21803] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21794 21172 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345145771 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455580572200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21804] ppid=21792 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21794 21172 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 345145771 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455579519400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21805] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21794 21172 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345145772 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455567108840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21806] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21794 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455566054904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21807] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21794 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455446570760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21808] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145775 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455445519248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21809] ppid=21792 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21792 21794 21172 0 -1 4202560 5132 0 0 0 72 0 0 0 20 0 19 0 345145775 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455444465848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21810] ppid=21792 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21794 21172 0 -1 4202560 7638 0 0 0 79 2 0 0 20 0 19 0 345145776 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455443413048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21811] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145776 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455442360952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21812] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145776 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455441308360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21840] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21840/stat : 21840 (java) S 21792 21794 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345145896 3097006080 122679 33554432000 1073741824 1073778376 140737389388528 140455439177128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 3024420

[startup+6.30085 s]
/proc/loadavg: 2.00 2.00 2.06 3/214 21841
/proc/meminfo: memFree=26583964/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=3024420 CPUtime=8.25 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21794 21172 0 -1 4202496 16872 0 1 0 804 21 0 0 20 0 19 0 345145758 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140737389379664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21794/statm: 756105 131741 2292 9 0 746526 0
[pid=21794/tid=21796] ppid=21792 vsize=3024420 CPUtime=5.96 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21792 21794 21172 0 -1 4202560 2726 0 1 0 588 8 0 0 20 0 19 0 345145759 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455603461328 140455447569034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21797] ppid=21792 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21794 21172 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 19 0 345145771 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455586888488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21798] ppid=21792 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21794 21172 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 345145771 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455585835688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21799] ppid=21792 vsize=3024420 CPUtime=0.08 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21794 21172 0 -1 4202560 18 0 0 0 6 2 0 0 20 0 19 0 345145771 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455584783400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21800] ppid=21792 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21794 21172 0 -1 4202560 44 0 0 0 9 2 0 0 20 0 19 0 345145771 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455583730600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21801] ppid=21792 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21794 21172 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 19 0 345145771 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455582677288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21802] ppid=21792 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21794 21172 0 -1 4202560 25 0 0 0 5 1 0 0 20 0 19 0 345145771 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455581624488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21803] ppid=21792 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21794 21172 0 -1 4202560 11 0 0 0 5 0 0 0 20 0 19 0 345145771 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455580572200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21804] ppid=21792 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21794 21172 0 -1 4202560 36 0 0 0 11 3 0 0 20 0 19 0 345145771 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455579519400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21805] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21794 21172 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345145772 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455567108840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21806] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21794 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455566054904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21807] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21794 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455446570760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21808] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145775 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455445519248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21809] ppid=21792 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21792 21794 21172 0 -1 4202560 5132 0 0 0 72 0 0 0 20 0 19 0 345145775 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455444465848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21810] ppid=21792 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21794 21172 0 -1 4202560 7638 0 0 0 79 2 0 0 20 0 19 0 345145776 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455443413048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21811] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145776 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455442360952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21812] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145776 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455441308360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21840] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21840/stat : 21840 (java) S 21792 21794 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345145896 3097006080 131741 33554432000 1073741824 1073778376 140737389388528 140455439177128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 3024420

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 2.05 3/214 21841
/proc/meminfo: memFree=26417692/32873844 swapFree=7632/7632

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

[pid=21794/tid=21809] ppid=21792 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21792 21794 21172 0 -1 4202560 5141 0 0 0 80 0 0 0 20 0 19 0 345145775 3097006080 423646 33554432000 1073741824 1073778376 140737389388528 140455444465848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21810] ppid=21792 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21794 21172 0 -1 4202560 7643 0 0 0 84 2 0 0 20 0 19 0 345145776 3097006080 423646 33554432000 1073741824 1073778376 140737389388528 140455443413048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21811] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145776 3097006080 423646 33554432000 1073741824 1073778376 140737389388528 140455442360952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21812] ppid=21792 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21794 21172 0 -1 4202560 95 0 0 0 46 47 0 0 20 0 19 0 345145776 3097006080 423646 33554432000 1073741824 1073778376 140737389388528 140455441308360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21840] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21840/stat : 21840 (java) S 21792 21794 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345145896 3097006080 423646 33554432000 1073741824 1073778376 140737389388528 140455439177128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1700.5
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 1.96 2.04 2.01 3/213 21854
/proc/meminfo: memFree=24953828/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=3024420 CPUtime=1762.41 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21794 21172 0 -1 4202496 22036 0 1 0 176016 225 0 0 20 0 19 0 345145758 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140737389379664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21794/statm: 756105 423645 2308 9 0 746526 0
[pid=21794/tid=21796] ppid=21792 vsize=3024420 CPUtime=1700.95 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21792 21794 21172 0 -1 4202560 3546 0 1 0 170056 39 0 0 20 0 19 0 345145759 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455603461328 140455447654644 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21797] ppid=21792 vsize=3024420 CPUtime=6.74 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21794 21172 0 -1 4202560 465 0 0 0 655 19 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455586888488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21798] ppid=21792 vsize=3024420 CPUtime=6.8 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21794 21172 0 -1 4202560 463 0 0 0 660 20 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455585835688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21799] ppid=21792 vsize=3024420 CPUtime=7.05 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21794 21172 0 -1 4202560 501 0 0 0 683 22 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455584783400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21800] ppid=21792 vsize=3024420 CPUtime=6.82 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21794 21172 0 -1 4202560 498 0 0 0 661 21 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455583730600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21801] ppid=21792 vsize=3024420 CPUtime=6.65 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21794 21172 0 -1 4202560 473 0 0 0 647 18 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455582677288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21802] ppid=21792 vsize=3024420 CPUtime=6.55 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21794 21172 0 -1 4202560 468 0 0 0 636 19 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455581624488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21803] ppid=21792 vsize=3024420 CPUtime=6.57 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21794 21172 0 -1 4202560 441 0 0 0 641 16 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455580572200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21804] ppid=21792 vsize=3024420 CPUtime=6.71 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21794 21172 0 -1 4202560 493 0 0 0 649 22 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455579519400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21805] ppid=21792 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21794 21172 0 -1 4202560 624 0 0 0 86 6 0 0 20 0 19 0 345145772 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455567108840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21806] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21794 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455566054904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21807] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21794 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455446570760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21808] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145775 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455445519248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21809] ppid=21792 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21792 21794 21172 0 -1 4202560 5142 0 0 0 81 0 0 0 20 0 19 0 345145775 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455444465848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21810] ppid=21792 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21794 21172 0 -1 4202560 7643 0 0 0 84 2 0 0 20 0 19 0 345145776 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455443413048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21811] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145776 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455442360952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21812] ppid=21792 vsize=3024420 CPUtime=0.96 cores=1,3,5,7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21794 21172 0 -1 4202560 99 0 0 0 48 48 0 0 20 0 19 0 345145776 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455441308360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21840] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21840/stat : 21840 (java) S 21792 21794 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345145896 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455439177128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1762.41
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1759.01 s]
/proc/loadavg: 2.06 2.05 2.01 2/193 21857
/proc/meminfo: memFree=25992352/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21794 21172 0 -1 4202496 22061 0 1 0 179783 226 0 0 20 0 19 0 345145758 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140737389379664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21794/statm: 756105 423645 2308 9 0 746526 0
[pid=21794/tid=21796] ppid=21792 vsize=3024420 CPUtime=1737.2 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21792 21794 21172 0 -1 4202560 3567 0 1 0 173680 40 0 0 20 0 19 0 345145759 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455603461312 140455447629528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21797] ppid=21792 vsize=3024420 CPUtime=6.9 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21794 21172 0 -1 4202560 465 0 0 0 670 20 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455586888488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21798] ppid=21792 vsize=3024420 CPUtime=6.93 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21794 21172 0 -1 4202560 463 0 0 0 673 20 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455585835688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21799] ppid=21792 vsize=3024420 CPUtime=7.24 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21794 21172 0 -1 4202560 501 0 0 0 702 22 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455584783400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21800] ppid=21792 vsize=3024420 CPUtime=6.98 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21794 21172 0 -1 4202560 498 0 0 0 677 21 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455583730600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21801] ppid=21792 vsize=3024420 CPUtime=6.83 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21794 21172 0 -1 4202560 473 0 0 0 665 18 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455582677288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21802] ppid=21792 vsize=3024420 CPUtime=6.73 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21794 21172 0 -1 4202560 468 0 0 0 654 19 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455581624488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21803] ppid=21792 vsize=3024420 CPUtime=6.73 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21794 21172 0 -1 4202560 441 0 0 0 657 16 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455580572200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21804] ppid=21792 vsize=3024420 CPUtime=6.87 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21794 21172 0 -1 4202560 493 0 0 0 665 22 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455579519400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21805] ppid=21792 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21794 21172 0 -1 4202560 626 0 0 0 86 6 0 0 20 0 19 0 345145772 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455567108840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21806] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21794 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455566054904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21807] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21794 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455446570760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21808] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145775 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455445519248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21809] ppid=21792 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21792 21794 21172 0 -1 4202560 5142 0 0 0 81 0 0 0 20 0 19 0 345145775 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455444465848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21810] ppid=21792 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21794 21172 0 -1 4202560 7643 0 0 0 84 2 0 0 20 0 19 0 345145776 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455443413048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21811] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145776 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455442360952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21812] ppid=21792 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21794 21172 0 -1 4202560 101 0 0 0 49 50 0 0 20 0 19 0 345145776 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455441308360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21840] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21840/stat : 21840 (java) S 21792 21794 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345145896 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455439177128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420

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

Solver just ended. Dumping a history of the last processes samples

[startup+1759.01 s]
/proc/loadavg: 2.06 2.05 2.01 2/193 21857
/proc/meminfo: memFree=25992352/32873844 swapFree=7632/7632
[pid=21794] ppid=21792 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21794 21172 0 -1 4202496 22061 0 1 0 179783 226 0 0 20 0 19 0 345145758 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140737389379664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21794/statm: 756105 423645 2308 9 0 746526 0
[pid=21794/tid=21796] ppid=21792 vsize=3024420 CPUtime=1737.2 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21792 21794 21172 0 -1 4202560 3567 0 1 0 173680 40 0 0 20 0 19 0 345145759 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455603461312 140455447629528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21797] ppid=21792 vsize=3024420 CPUtime=6.9 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21794 21172 0 -1 4202560 465 0 0 0 670 20 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455586888488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21798] ppid=21792 vsize=3024420 CPUtime=6.93 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21794 21172 0 -1 4202560 463 0 0 0 673 20 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455585835688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21799] ppid=21792 vsize=3024420 CPUtime=7.24 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21794 21172 0 -1 4202560 501 0 0 0 702 22 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455584783400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21800] ppid=21792 vsize=3024420 CPUtime=6.98 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21794 21172 0 -1 4202560 498 0 0 0 677 21 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455583730600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21801] ppid=21792 vsize=3024420 CPUtime=6.83 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21794 21172 0 -1 4202560 473 0 0 0 665 18 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455582677288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21802] ppid=21792 vsize=3024420 CPUtime=6.73 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21794 21172 0 -1 4202560 468 0 0 0 654 19 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455581624488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21803] ppid=21792 vsize=3024420 CPUtime=6.73 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21794 21172 0 -1 4202560 441 0 0 0 657 16 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455580572200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21804] ppid=21792 vsize=3024420 CPUtime=6.87 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21794 21172 0 -1 4202560 493 0 0 0 665 22 0 0 20 0 19 0 345145771 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455579519400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21794/tid=21805] ppid=21792 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21794 21172 0 -1 4202560 626 0 0 0 86 6 0 0 20 0 19 0 345145772 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455567108840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21806] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21794 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455566054904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21807] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21794 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345145773 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455446570760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21808] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145775 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455445519248 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21809] ppid=21792 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21792 21794 21172 0 -1 4202560 5142 0 0 0 81 0 0 0 20 0 19 0 345145775 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455444465848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21794/tid=21810] ppid=21792 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21794 21172 0 -1 4202560 7643 0 0 0 84 2 0 0 20 0 19 0 345145776 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455443413048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21811] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21794 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345145776 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455442360952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21794/tid=21812] ppid=21792 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21794 21172 0 -1 4202560 101 0 0 0 49 50 0 0 20 0 19 0 345145776 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455441308360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21794/tid=21840] ppid=21792 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21840/stat : 21840 (java) S 21792 21794 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345145896 3097006080 423645 33554432000 1073741824 1073778376 140737389388528 140455439177128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21794 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=559337
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=693590
# CPU time returned by wait4() is 1796.25
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1759.03
CPU time (s): 1800.09
CPU user time (s): 1797.83
CPU system time (s): 2.26
CPU usage (%): 102.334
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.56
system time used= 2.69359
maximum resident set size= 1696180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22091
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63392
involuntary context switches= 103686

runsolver used 6.25505 second user time and 16.1995 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-04 08:10:01
IDJOB=3743942
IDBENCH=92653
IDSOLVER=2319
FILE ID=node130/3743942-1338790201
RUNJOBID= node130-1338783068-21189
PBS_JOBID= 14636838
Free space on /tmp= 70980 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_2_mh_ic.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743942-1338790201/watcher-3743942-1338790201 -o /tmp/evaluation-result-3743942-1338790201/solver-3743942-1338790201 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3743942-1338790201.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ae034981987dcf56811f1bb984859bc0
RANDOM SEED=409301717

node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27724500 kB
Buffers:         1701496 kB
Cached:          2558204 kB
SwapCached:         4312 kB
Active:          2419804 kB
Inactive:        1858268 kB
Active(anon):       6580 kB
Inactive(anon):     8188 kB
Active(file):    2413224 kB
Inactive(file):  1850080 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099292 kB
Dirty:              8604 kB
Writeback:             0 kB
AnonPages:         14452 kB
Mapped:             8760 kB
Shmem:                 4 kB
Slab:             730108 kB
SReclaimable:     171532 kB
SUnreclaim:       558576 kB
KernelStack:        1440 kB
PageTables:         4264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     110012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70972 MiB
End job on node130 at 2012-06-04 08:39:23