Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.64 | 1761.83 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb |
MD5SUM | 74dac00a4979a8cd5d3f4292ad3ec004 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -1 |
Optimality of the best value was proved | NO |
Number of variables | 106951 |
Total number of constraints | 318781 |
Number of constraints which are clauses | 318780 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 106260 |
Number of terms in the objective function | 231 |
Biggest coefficient in the objective function | 1725436586697640946858688965569256363112777243042596638790631055949824 |
Number of bits for the biggest coefficient in the objective function | 231 |
Sum of the numbers in the objective function | 3450873173395281893717377931138512726225554486085193277581262111899647 |
Number of bits of the sum of numbers in the objective function | 231 |
Biggest number in a constraint | 2568425733177916751582514591250062824975751856847252861083144972201529372215371495172688738416791235950675277761805770367685269653410060480042878305982363696267199058168185838960773319279454451792623658074112 |
Number of bits of the biggest number in a constraint | 690 |
Biggest sum of numbers in a constraint | 10273702932711667006330058365000251299903007427389011444332579888806117119150450980598364387789362806715159761636352224959479775105866707576248572053899244884258622387609641105402680464792324232304944082188954 |
Number of bits of the biggest sum of numbers | 691 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node47/50931-1154117113/instance-50931-1154117113.opb 0.20 c reading problem ... 574.59 c ... done. Time 574.388 ms. 574.59 c #vars 106951 574.59 c #constraints 318782 1761.57 c starts : 1 1761.57 c conflicts : 1 1761.57 c decisions : 78519 1761.57 c propagations : 106944 1761.57 c inspects : 291604 1761.57 c learnt literals : 0 1761.57 c learnt binary clauses : 0 1761.57 c learnt ternary clauses : 0 1761.57 c learnt clauses : 0 1761.57 c root simplifications : 0 1761.57 c removed literals (reason simplification) : 0 1761.57 c reason swapping (by a shorter reason) : 0 1761.57 c Calls to reduceDB : 0 1761.57 c speed (decisions/second) : 66.15385263477165 1761.57 c non guided choices 78519 1761.57 s UNKNOWN 1761.57 c Total wall clock time (ms): 1761.368
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node47/watcher-50931-1154117113 -o ROOT/results/node47/solver-50931-1154117113 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node47/50931-1154117113/instance-50931-1154117113.opb 341169211 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 13549 /proc/meminfo: memFree=1172696/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1784 CPUtime=0 /proc/13549/stat : 13549 (java) D 13547 13549 13500 0 -1 0 167 0 0 0 0 0 0 0 18 0 1 0 158582265 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/13549/statm: 446 137 102 14 0 91 0 [startup+10.0025 s] /proc/loadavg: 1.00 1.00 1.00 2/75 13560 /proc/meminfo: memFree=1004432/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1709628 CPUtime=10.43 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 47357 0 1 0 1020 23 0 0 18 0 12 0 158582265 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071360593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427407 43827 1872 14 0 414154 0 [pid=13549/tid=13550] ppid=13547 vsize=1709628 CPUtime=0.06 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 1232 0 0 0 5 1 0 0 16 0 12 0 158582269 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1709628 CPUtime=0.07 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 2940 0 0 0 5 2 0 0 16 0 12 0 158582269 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 30 0 0 0 0 0 0 0 15 0 12 0 158582271 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158582272 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158582272 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158582275 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158582275 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1709628 CPUtime=0.28 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 405 0 0 0 28 0 0 0 16 0 12 0 158582275 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1709628 CPUtime=0.22 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 245 0 0 0 22 0 0 0 16 0 12 0 158582275 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158582275 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158582275 1750659072 43827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.43 Current children cumulated vsize (Kb) 1709628 [startup+20.0106 s] /proc/loadavg: 1.00 1.00 1.00 2/75 13560 /proc/meminfo: memFree=1020112/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1709628 CPUtime=20.52 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 47620 0 1 0 2028 24 0 0 22 0 12 0 158582265 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427407 39998 1872 14 0 414154 0 [pid=13549/tid=13550] ppid=13547 vsize=1709628 CPUtime=0.12 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 1347 0 0 0 11 1 0 0 16 0 12 0 158582269 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1709628 CPUtime=0.12 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 3048 0 0 0 10 2 0 0 16 0 12 0 158582269 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1709628 CPUtime=0.01 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 30 0 0 0 0 1 0 0 16 0 12 0 158582271 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158582272 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158582272 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158582275 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158582275 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1709628 CPUtime=0.31 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 408 0 0 0 31 0 0 0 17 0 12 0 158582275 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1709628 CPUtime=0.26 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 247 0 0 0 26 0 0 0 17 0 12 0 158582275 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158582275 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158582275 1750659072 39998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 20.52 Current children cumulated vsize (Kb) 1709628 [startup+30.0176 s] /proc/loadavg: 1.00 1.00 1.00 2/75 13560 /proc/meminfo: memFree=1020368/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1709628 CPUtime=30.59 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 47891 0 1 0 3033 26 0 0 19 0 12 0 158582265 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152709490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427407 39952 1872 14 0 414154 0 [pid=13549/tid=13550] ppid=13547 vsize=1709628 CPUtime=0.18 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 1460 0 0 0 16 2 0 0 16 0 12 0 158582269 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1709628 CPUtime=0.18 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 3163 0 0 0 15 3 0 0 15 0 12 0 158582269 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1709628 CPUtime=0.02 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 31 0 0 0 1 1 0 0 15 0 12 0 158582271 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158582272 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158582272 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158582275 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158582275 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1709628 CPUtime=0.32 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 408 0 0 0 32 0 0 0 16 0 12 0 158582275 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1709628 CPUtime=0.27 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 248 0 0 0 27 0 0 0 17 0 12 0 158582275 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158582275 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158582275 1750659072 39952 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 30.59 Current children cumulated vsize (Kb) 1709628 [startup+40.0247 s] /proc/loadavg: 1.00 1.00 1.00 2/75 13560 /proc/meminfo: memFree=1019600/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1709628 CPUtime=40.67 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 48158 0 1 0 4039 28 0 0 18 0 12 0 158582265 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152709490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427407 40172 1872 14 0 414154 0 [pid=13549/tid=13550] ppid=13547 vsize=1709628 CPUtime=0.26 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 1581 0 0 0 23 3 0 0 16 0 12 0 158582269 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1709628 CPUtime=0.25 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 3263 0 0 0 21 4 0 0 16 0 12 0 158582269 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1709628 CPUtime=0.02 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 31 0 0 0 1 1 0 0 15 0 12 0 158582271 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158582272 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158582272 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158582275 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158582275 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1709628 CPUtime=0.32 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 408 0 0 0 32 0 0 0 16 0 12 0 158582275 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1709628 CPUtime=0.27 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 248 0 0 0 27 0 0 0 17 0 12 0 158582275 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158582275 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158582275 1750659072 40172 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 40.67 Current children cumulated vsize (Kb) 1709628 [startup+50.0318 s] /proc/loadavg: 1.00 1.00 1.00 2/75 13560 /proc/meminfo: memFree=1018512/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1709628 CPUtime=50.74 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 48489 0 1 0 5043 31 0 0 25 0 12 0 158582265 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071357979 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427407 40455 1872 14 0 414154 0 [pid=13549/tid=13550] ppid=13547 vsize=1709628 CPUtime=0.34 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 1694 0 0 0 30 4 0 0 15 0 12 0 158582269 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1709628 CPUtime=0.33 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 3427 0 0 0 28 5 0 0 16 0 12 0 158582269 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1709628 CPUtime=0.03 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 37 0 0 0 2 1 0 0 16 0 12 0 158582271 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158582272 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158582272 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158582275 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158582275 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1709628 CPUtime=0.32 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 408 0 0 0 32 0 0 0 16 0 12 0 158582275 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1709628 CPUtime=0.27 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 248 0 0 0 27 0 0 0 17 0 12 0 158582275 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158582275 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158582275 1750659072 40455 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 50.74 Current children cumulated vsize (Kb) 1709628 [startup+60.0388 s] /proc/loadavg: 1.00 1.00 1.00 2/75 13560 /proc/meminfo: memFree=1017744/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1709628 CPUtime=60.8 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 48721 0 1 0 6048 32 0 0 18 0 12 0 158582265 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152709490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427407 40648 1872 14 0 414154 0 [pid=13549/tid=13550] ppid=13547 vsize=1709628 CPUtime=0.4 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 1791 0 0 0 35 5 0 0 16 0 12 0 158582269 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1709628 CPUtime=0.39 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 3523 0 0 0 34 5 0 0 16 0 12 0 158582269 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1709628 CPUtime=0.04 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 37 0 0 0 2 2 0 0 16 0 12 0 158582271 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158582272 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158582272 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158582275 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158582275 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1709628 CPUtime=0.32 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 408 0 0 0 32 0 0 0 16 0 12 0 158582275 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1709628 CPUtime=0.27 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 248 0 0 0 27 0 0 0 17 0 12 0 158582275 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1709628 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158582275 1750659072 40648 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1709628 CPUtime=0 ################ # More data... # ################ /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158582272 1752334336 385618 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158582272 1752334336 385618 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158582275 1752334336 385618 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 158582275 1752334336 385618 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1711264 CPUtime=1.06 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 3107 0 0 0 105 1 0 0 17 0 13 0 158582275 1752334336 385618 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1711264 CPUtime=0.82 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 607 0 0 0 82 0 0 0 17 0 13 0 158582275 1752334336 385618 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158582275 1752334336 385618 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158582275 1752334336 385618 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13561] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13561/stat : 13561 (java) S 13547 13549 13500 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 158639736 1752334336 385618 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.29 Current children cumulated vsize (Kb) 1711264 [startup+1758.54 s] /proc/loadavg: 1.01 1.03 1.00 2/76 13561 /proc/meminfo: memFree=18184/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1711264 CPUtime=1797.31 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 498174 0 3 0 179130 601 0 0 19 0 13 0 158582265 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071495151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427816 385682 1910 14 0 414563 0 [pid=13549/tid=13550] ppid=13547 vsize=1711264 CPUtime=38.4 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 196862 0 0 0 3578 262 0 0 16 0 13 0 158582269 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1711264 CPUtime=38.74 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 191959 0 0 0 3641 233 0 0 16 0 13 0 158582269 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1711264 CPUtime=2.79 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 1093 0 2 0 235 44 0 0 16 0 13 0 158582271 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158582272 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158582272 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158582275 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 158582275 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1711264 CPUtime=1.06 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 3107 0 0 0 105 1 0 0 17 0 13 0 158582275 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1711264 CPUtime=0.82 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 607 0 0 0 82 0 0 0 17 0 13 0 158582275 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158582275 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158582275 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13561] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13561/stat : 13561 (java) S 13547 13549 13500 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 158639736 1752334336 385682 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.31 Current children cumulated vsize (Kb) 1711264 [startup+1759.55 s] /proc/loadavg: 1.01 1.03 1.00 2/76 13561 /proc/meminfo: memFree=17800/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1711264 CPUtime=1798.34 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 498272 0 3 0 179232 602 0 0 19 0 13 0 158582265 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071494936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427816 385778 1910 14 0 414563 0 [pid=13549/tid=13550] ppid=13547 vsize=1711264 CPUtime=38.41 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 196866 0 0 0 3579 262 0 0 16 0 13 0 158582269 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1711264 CPUtime=38.75 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 191961 0 0 0 3642 233 0 0 16 0 13 0 158582269 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1711264 CPUtime=2.79 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 1093 0 2 0 235 44 0 0 15 0 13 0 158582271 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158582272 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158582272 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158582275 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 158582275 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1711264 CPUtime=1.06 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 3107 0 0 0 105 1 0 0 17 0 13 0 158582275 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1711264 CPUtime=0.82 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 607 0 0 0 82 0 0 0 17 0 13 0 158582275 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158582275 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158582275 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13561] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13561/stat : 13561 (java) S 13547 13549 13500 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 158639736 1752334336 385778 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.34 Current children cumulated vsize (Kb) 1711264 [startup+1760.55 s] /proc/loadavg: 1.01 1.03 1.00 2/76 13561 /proc/meminfo: memFree=17672/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1711264 CPUtime=1799.36 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 498303 0 3 0 179334 602 0 0 18 0 13 0 158582265 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071494967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427816 385807 1910 14 0 414563 0 [pid=13549/tid=13550] ppid=13547 vsize=1711264 CPUtime=38.43 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 196868 0 0 0 3581 262 0 0 16 0 13 0 158582269 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1711264 CPUtime=38.76 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 191962 0 0 0 3643 233 0 0 16 0 13 0 158582269 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1711264 CPUtime=2.79 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 1093 0 2 0 235 44 0 0 15 0 13 0 158582271 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158582272 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158582272 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158582275 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 158582275 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1711264 CPUtime=1.06 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 3107 0 0 0 105 1 0 0 17 0 13 0 158582275 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1711264 CPUtime=0.82 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 607 0 0 0 82 0 0 0 17 0 13 0 158582275 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158582275 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158582275 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13561] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13561/stat : 13561 (java) S 13547 13549 13500 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 158639736 1752334336 385807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.36 Current children cumulated vsize (Kb) 1711264 [startup+1761.56 s] /proc/loadavg: 1.01 1.03 1.00 2/76 13561 /proc/meminfo: memFree=17352/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1711264 CPUtime=1800.38 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 498369 0 3 0 179436 602 0 0 18 0 13 0 158582265 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071495143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427816 385871 1910 14 0 414563 0 [pid=13549/tid=13550] ppid=13547 vsize=1711264 CPUtime=38.44 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 196872 0 0 0 3582 262 0 0 16 0 13 0 158582269 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1711264 CPUtime=38.78 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 191964 0 0 0 3645 233 0 0 15 0 13 0 158582269 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1711264 CPUtime=2.79 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 1093 0 2 0 235 44 0 0 16 0 13 0 158582271 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158582272 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158582272 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1711264 CPUtime=1.06 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 3107 0 0 0 105 1 0 0 17 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1711264 CPUtime=0.82 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 607 0 0 0 82 0 0 0 17 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13561] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13561/stat : 13561 (java) S 13547 13549 13500 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 158639736 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (Kb) 1711264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1761.56 s] /proc/loadavg: 1.01 1.03 1.00 2/76 13561 /proc/meminfo: memFree=17352/2055920 swapFree=4183120/4192956 [pid=13549] ppid=13547 vsize=1711264 CPUtime=1800.38 /proc/13549/stat : 13549 (java) R 13547 13549 13500 0 -1 0 498369 0 3 0 179436 602 0 0 18 0 13 0 158582265 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071496284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13549/statm: 427816 385871 1910 14 0 414563 0 [pid=13549/tid=13550] ppid=13547 vsize=1711264 CPUtime=38.44 /proc/13549/task/13550/stat : 13550 (java) S 13547 13549 13500 0 -1 64 196872 0 0 0 3582 262 0 0 16 0 13 0 158582269 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13551] ppid=13547 vsize=1711264 CPUtime=38.78 /proc/13549/task/13551/stat : 13551 (java) S 13547 13549 13500 0 -1 64 191964 0 0 0 3645 233 0 0 15 0 13 0 158582269 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13552] ppid=13547 vsize=1711264 CPUtime=2.79 /proc/13549/task/13552/stat : 13552 (java) S 13547 13549 13500 0 -1 64 1093 0 2 0 235 44 0 0 16 0 13 0 158582271 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13553] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13553/stat : 13553 (java) S 13547 13549 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158582272 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13554] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13554/stat : 13554 (java) S 13547 13549 13500 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158582272 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13555] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13555/stat : 13555 (java) S 13547 13549 13500 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13556] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13556/stat : 13556 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13549/tid=13557] ppid=13547 vsize=1711264 CPUtime=1.06 /proc/13549/task/13557/stat : 13557 (java) S 13547 13549 13500 0 -1 64 3107 0 0 0 105 1 0 0 17 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13558] ppid=13547 vsize=1711264 CPUtime=0.82 /proc/13549/task/13558/stat : 13558 (java) S 13547 13549 13500 0 -1 64 607 0 0 0 82 0 0 0 17 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13559] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13559/stat : 13559 (java) S 13547 13549 13500 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13560] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13560/stat : 13560 (java) S 13547 13549 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158582275 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13549/tid=13561] ppid=13547 vsize=1711264 CPUtime=0 /proc/13549/task/13561/stat : 13561 (java) S 13547 13549 13500 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 158639736 1752334336 385871 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (Kb) 1711264 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1761.83 CPU time (s): 1800.64 CPU user time (s): 1794.4 CPU system time (s): 6.24705 CPU usage (%): 102.203 Max. virtual memory (cumulated for all children) (Kb): 1712988 The end
Begin job on node47 on Fri Jul 28 20:05:15 UTC 2006 FILE ID= 50931-1154117113 PBS_JOBID= 886771 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node47/50931-1154117113/instance-50931-1154117113.opb 341169211 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-50931-1154117113 -o ROOT/results/node47/solver-50931-1154117113 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node47/50931-1154117113/instance-50931-1154117113.opb 341169211 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 74dac00a4979a8cd5d3f4292ad3ec004 RANDOM SEED= 341169211 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1172904 kB Buffers: 28628 kB Cached: 793188 kB SwapCached: 3568 kB Active: 227940 kB Inactive: 602424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1172904 kB SwapTotal: 4192956 kB SwapFree: 4183120 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14532 kB Slab: 38580 kB Committed_AS: 685220 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node47 on Fri Jul 28 20:34:37 UTC 2006