| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.0 2010-05-26 | ? (TO) | 1800.27 | 1795.92 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_4_15.opb |
| MD5SUM | 8b67f7a6443cbb8d169a20134c04d298 |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.040993 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 602 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 5048 |
| Sum of products size (including duplicates) | 10096 |
| Number of different products | 2524 |
| Sum of products size | 5048 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.14 c version 2.2.0.v20100526 0.09/0.14 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.14 c java.vm.name Java HotSpot(TM) Server VM 0.09/0.14 c java.vm.version 11.2-b01 0.09/0.14 c java.vm.vendor Sun Microsystems Inc. 0.09/0.14 c sun.arch.data.model 32 0.09/0.14 c java.version 1.6.0_12 0.09/0.14 c os.name Linux 0.09/0.14 c os.version 2.6.18-164.el5 0.09/0.14 c os.arch i386 0.09/0.15 c Free memory 1393557488 0.09/0.15 c Max memory 1395916800 0.09/0.15 c Total memory 1395916800 0.09/0.15 c Number of processors 2 0.24/0.20 c Pseudo Boolean Optimization 0.24/0.20 c --- Begin Solver configuration --- 0.24/0.20 c Stops conflict analysis at the first Unique Implication Point 0.24/0.20 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.24/0.20 c Learn all clauses as in MiniSAT 0.24/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.20 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.24/0.20 c Expensive reason simplification 0.24/0.20 c Armin Biere (Picosat) restarts strategy 0.24/0.20 c Glucose learned constraints deletion strategy 0.24/0.20 c timeout=2147483s 0.24/0.20 c DB Simplification allowed=false 0.24/0.20 c --- End Solver configuration --- 0.24/0.20 c solving HOME/instance-2658208-1276679221.opb 0.24/0.20 c reading problem ... 2.07/1.46 c ... done. Wall clock time 1.263s. 2.07/1.47 c #vars 2924 2.07/1.47 c #constraints 5651 2.07/1.47 c constraints type 2.07/1.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2524 2.07/1.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 403 2.07/1.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200 2.07/1.47 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2524 8.48/6.73 c cleaning 2521 clauses out of 5041 with flag 5041/5041 15.73/13.77 c cleaning 4245 clauses out of 8490 with flag 11011/11011 25.47/23.39 c cleaning 5618 clauses out of 11236 with flag 18002/18002 41.15/38.81 c cleaning 6833 clauses out of 13665 with flag 26049/26049 53.79/51.44 c cleaning 7891 clauses out of 15788 with flag 35005/35005 75.70/73.28 c cleaning 8948 clauses out of 17899 with flag 45007/45007 100.92/98.32 c cleaning 9477 clauses out of 18958 with flag 55014/55014 124.15/121.52 c cleaning 9738 clauses out of 19480 with flag 65013/65013 149.27/146.69 c cleaning 9865 clauses out of 19733 with flag 75004/75004 171.20/168.57 c cleaning 9930 clauses out of 19864 with flag 85000/85000 193.63/190.98 c cleaning 9970 clauses out of 19944 with flag 95010/95010 215.27/212.53 c cleaning 9980 clauses out of 19964 with flag 105000/105000 240.28/237.52 c cleaning 10010 clauses out of 20024 with flag 115040/115040 257.99/255.21 c cleaning 9987 clauses out of 19978 with flag 125004/125004 277.30/274.58 c cleaning 9996 clauses out of 19996 with flag 135009/135009 297.92/295.15 c cleaning 10003 clauses out of 20009 with flag 145018/145018 319.24/316.41 c cleaning 9996 clauses out of 19996 with flag 155008/155008 342.35/339.57 c cleaning 9994 clauses out of 19992 with flag 165000/165000 364.15/361.35 c cleaning 10000 clauses out of 20004 with flag 175006/175006 380.27/377.44 c cleaning 9999 clauses out of 20000 with flag 185002/185002 402.99/400.15 c cleaning 10005 clauses out of 20012 with flag 195013/195013 421.01/418.11 c cleaning 9995 clauses out of 19994 with flag 205000/205000 438.92/436.08 c cleaning 10005 clauses out of 20014 with flag 215015/215015 458.33/455.45 c cleaning 9995 clauses out of 19994 with flag 225000/225000 475.94/473.04 c cleaning 10001 clauses out of 20005 with flag 235006/235006 497.12/494.29 c cleaning 10006 clauses out of 20015 with flag 245017/245017 516.45/513.51 c cleaning 9994 clauses out of 19992 with flag 255000/255000 534.55/531.60 c cleaning 9998 clauses out of 19999 with flag 265001/265001 553.28/550.32 c cleaning 10002 clauses out of 20007 with flag 275007/275007 573.00/570.06 c cleaning 10002 clauses out of 20007 with flag 285009/285009 593.02/590.09 c cleaning 10005 clauses out of 20013 with flag 295017/295017 609.33/606.39 c cleaning 9994 clauses out of 19995 with flag 305004/305004 629.14/626.19 c cleaning 10004 clauses out of 20012 with flag 315015/315015 646.34/643.35 c cleaning 9998 clauses out of 20000 with flag 325007/325007 665.87/662.85 c cleaning 10004 clauses out of 20012 with flag 335017/335017 684.89/681.82 c cleaning 10013 clauses out of 20030 with flag 345039/345039 699.60/696.55 c cleaning 9998 clauses out of 19999 with flag 355021/355021 718.91/715.85 c cleaning 9988 clauses out of 19980 with flag 365000/365000 737.65/734.54 c cleaning 10000 clauses out of 20003 with flag 375011/375011 756.47/753.32 c cleaning 10006 clauses out of 20014 with flag 385022/385022 774.39/771.29 c cleaning 9995 clauses out of 19994 with flag 395008/395008 790.40/787.29 c cleaning 10007 clauses out of 20018 with flag 405027/405027 809.11/805.92 c cleaning 9995 clauses out of 19993 with flag 415009/415009 827.23/824.09 c cleaning 9994 clauses out of 19991 with flag 425002/425002 844.03/840.81 c cleaning 9996 clauses out of 19996 with flag 435001/435001 863.15/859.91 c cleaning 10002 clauses out of 20007 with flag 445008/445008 878.79/875.54 c cleaning 9997 clauses out of 19998 with flag 455001/455001 897.11/893.85 c cleaning 10015 clauses out of 20033 with flag 465033/465033 916.63/913.38 c cleaning 10012 clauses out of 20028 with flag 475043/475043 931.67/928.40 c cleaning 9990 clauses out of 19984 with flag 485011/485011 951.57/948.26 c cleaning 9994 clauses out of 19991 with flag 495008/495008 971.99/968.67 c cleaning 9993 clauses out of 19989 with flag 505000/505000 991.81/988.41 c cleaning 9997 clauses out of 19997 with flag 515001/515001 1007.24/1003.82 c cleaning 10001 clauses out of 20005 with flag 525006/525006 1026.65/1023.28 c cleaning 10008 clauses out of 20019 with flag 535021/535021 1045.77/1042.33 c cleaning 10010 clauses out of 20023 with flag 545033/545033 1062.19/1058.74 c cleaning 10001 clauses out of 20005 with flag 555025/555025 1080.50/1077.08 c cleaning 9998 clauses out of 19999 with flag 565020/565020 1094.72/1091.26 c cleaning 10002 clauses out of 20007 with flag 575026/575026 1113.34/1109.90 c cleaning 9993 clauses out of 19990 with flag 585011/585011 1129.46/1125.91 c cleaning 9999 clauses out of 20002 with flag 595016/595016 1141.97/1138.48 c cleaning 9997 clauses out of 19997 with flag 605010/605010 1155.28/1151.79 c cleaning 9994 clauses out of 19991 with flag 615001/615001 1171.20/1167.62 c cleaning 9998 clauses out of 20000 with flag 625004/625004 1186.51/1182.90 c cleaning 10013 clauses out of 20029 with flag 635031/635031 1205.54/1201.95 c cleaning 10005 clauses out of 20013 with flag 645028/645028 1216.56/1212.95 c cleaning 9989 clauses out of 19982 with flag 655002/655002 1234.57/1230.96 c cleaning 10002 clauses out of 20008 with flag 665017/665017 1253.89/1250.22 c cleaning 10000 clauses out of 20004 with flag 675015/675015 1269.20/1265.56 c cleaning 10003 clauses out of 20010 with flag 685021/685021 1287.53/1283.89 c cleaning 10000 clauses out of 20003 with flag 695017/695017 1306.84/1303.13 c cleaning 9993 clauses out of 19990 with flag 705004/705004 1326.46/1322.75 c cleaning 10006 clauses out of 20016 with flag 715023/715023 1340.38/1336.60 c cleaning 10001 clauses out of 20005 with flag 725018/725018 1356.29/1352.54 c cleaning 10001 clauses out of 20006 with flag 735020/735020 1375.25/1371.41 c cleaning 10002 clauses out of 20007 with flag 745022/745022 1392.17/1388.37 c cleaning 9990 clauses out of 19984 with flag 755001/755001 1409.48/1405.63 c cleaning 10004 clauses out of 20012 with flag 765019/765019 1426.30/1422.46 c cleaning 10010 clauses out of 20023 with flag 775034/775034 1445.41/1441.56 c cleaning 10006 clauses out of 20016 with flag 785037/785037 1459.33/1455.43 c cleaning 9989 clauses out of 19982 with flag 795009/795009 1477.75/1473.83 c cleaning 9991 clauses out of 19985 with flag 805001/805001 1494.97/1491.03 c cleaning 10006 clauses out of 20015 with flag 815022/815022 1513.79/1509.90 c cleaning 9998 clauses out of 20000 with flag 825013/825013 1532.60/1528.64 c cleaning 10004 clauses out of 20011 with flag 835022/835022 1550.21/1546.28 c cleaning 10006 clauses out of 20015 with flag 845030/845030 1569.13/1565.17 c cleaning 10018 clauses out of 20039 with flag 855060/855060 1586.05/1582.09 c cleaning 9979 clauses out of 19962 with flag 865001/865001 1604.18/1600.17 c cleaning 9989 clauses out of 19982 with flag 875000/875000 1619.81/1615.74 c cleaning 9995 clauses out of 19993 with flag 885000/885000 1636.32/1632.28 c cleaning 9999 clauses out of 20002 with flag 895004/895004 1651.13/1647.04 c cleaning 9998 clauses out of 20000 with flag 905001/905001 1664.94/1660.89 c cleaning 10000 clauses out of 20003 with flag 915002/915002 1681.75/1677.68 c cleaning 10005 clauses out of 20013 with flag 925012/925012 1700.27/1696.15 c cleaning 10006 clauses out of 20016 with flag 935020/935020 1716.67/1712.56 c cleaning 9997 clauses out of 19997 with flag 945007/945007 1733.58/1729.47 c cleaning 9997 clauses out of 19998 with flag 955005/955005 1748.41/1744.28 c cleaning 9996 clauses out of 19996 with flag 965000/965000 1766.44/1762.22 c cleaning 10009 clauses out of 20021 with flag 975021/975021 1782.76/1778.56 c cleaning 9998 clauses out of 20000 with flag 985009/985009 1800.09/1795.81 c starts : 187 1800.09/1795.81 c conflicts : 994732 1800.09/1795.81 c decisions : 2272687 1800.09/1795.81 c propagations : 21502157 1800.09/1795.81 c inspects : 1871520549 1800.09/1795.81 c learnt literals : 0 1800.09/1795.81 c learnt binary clauses : 0 1800.09/1795.81 c learnt ternary clauses : 2 1800.09/1795.81 c learnt clauses : 994732 1800.09/1795.81 c ignored clauses : 0 1800.09/1795.81 c root simplifications : 0 1800.09/1795.81 c removed literals (reason simplification) : 5138671 1800.09/1795.81 c reason swapping (by a shorter reason) : 0 1800.09/1795.81 c Calls to reduceDB : 100 1800.09/1795.81 c number of reductions to clauses (during analyze) : 0 1800.09/1795.81 c number of learned constraints concerned by reduction : 0 1800.09/1795.81 c number of learning phase by resolution : 0 1800.09/1795.81 c number of learning phase by cutting planes : 0 1800.09/1795.81 c speed (assignments/second) : 11983.270246351321 1800.09/1795.81 c non guided choices 2711 1800.09/1795.87 c learnt constraints type 1800.09/1795.87 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 19725 1800.09/1795.87 c constraints type 1800.09/1795.87 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2524 1800.09/1795.87 c org.sat4j.minisat.constraints.card.MinWatchCard => 403 1800.09/1795.87 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200 1800.09/1795.87 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2524 1800.09/1795.87 s UNKNOWN 1800.09/1795.87 c Total wall clock time (in seconds): 1795.666
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658208-1276679221/watcher-2658208-1276679221 -o /tmp/evaluation-result-2658208-1276679221/solver-2658208-1276679221 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658208-1276679221.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 15209 /proc/meminfo: memFree=1735584/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=248 CPUtime=0 /proc/15209/stat : 15209 (java) R 15207 15209 14407 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 9215891 253952 29 1992294400 134512640 134550932 4288061904 18446744073709551615 4993620 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15209/statm: 62 29 21 10 0 23 0 [startup+0.089849 s] /proc/loadavg: 1.00 1.00 1.00 3/105 15209 /proc/meminfo: memFree=1735584/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1521796 CPUtime=0.07 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 3864 0 1 0 5 2 0 0 18 0 7 0 9215891 1558319104 3304 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 380449 3304 1048 10 0 377759 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1521796 [startup+0.10377 s] /proc/loadavg: 1.00 1.00 1.00 3/105 15209 /proc/meminfo: memFree=1735584/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1525208 CPUtime=0.09 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 3996 0 1 0 7 2 0 0 18 0 12 0 9215891 1561812992 3434 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 381302 3436 1078 10 0 378604 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1525208 [startup+0.31861 s] /proc/loadavg: 1.00 1.00 1.00 3/105 15209 /proc/meminfo: memFree=1735584/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1526876 CPUtime=0.41 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 5503 0 1 0 38 3 0 0 18 0 12 0 9215891 1563521024 4939 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 381719 4939 1365 10 0 379021 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 1526876 [startup+0.700826 s] /proc/loadavg: 1.00 1.00 1.00 3/105 15209 /proc/meminfo: memFree=1735584/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1528032 CPUtime=1.03 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 7016 0 1 0 99 4 0 0 18 0 12 0 9215891 1564704768 6400 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 382008 6404 1396 10 0 379310 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 1528032 [startup+1.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/117 15221 /proc/meminfo: memFree=1710440/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1529404 CPUtime=2.21 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 9985 0 1 0 216 5 0 0 18 0 13 0 9215891 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 382351 9134 1414 10 0 379653 0 [pid=15209/tid=15211] ppid=15207 vsize=1529404 CPUtime=1.48 /proc/15209/task/15211/stat : 15211 (java) R 15207 15209 14407 0 -1 4202560 7264 0 1 0 145 3 0 0 24 0 13 0 9215892 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4108510499 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15209/tid=15212] ppid=15207 vsize=1529404 CPUtime=0 /proc/15209/task/15212/stat : 15212 (java) S 15207 15209 14407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 13 0 9215893 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15213] ppid=15207 vsize=1529404 CPUtime=0 /proc/15209/task/15213/stat : 15213 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 13 0 9215893 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15214] ppid=15207 vsize=1529404 CPUtime=0 /proc/15209/task/15214/stat : 15214 (java) S 15207 15209 14407 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 9215895 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15215] ppid=15207 vsize=1529404 CPUtime=0 /proc/15209/task/15215/stat : 15215 (java) S 15207 15209 14407 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 9215895 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15216] ppid=15207 vsize=1529404 CPUtime=0 /proc/15209/task/15216/stat : 15216 (java) S 15207 15209 14407 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 13 0 9215895 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15217] ppid=15207 vsize=1529404 CPUtime=0 /proc/15209/task/15217/stat : 15217 (java) S 15207 15209 14407 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9215900 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15218] ppid=15207 vsize=1529404 CPUtime=0.24 /proc/15209/task/15218/stat : 15218 (java) S 15207 15209 14407 0 -1 4202560 489 0 0 0 24 0 0 0 21 0 13 0 9215900 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15219] ppid=15207 vsize=1529404 CPUtime=0.46 /proc/15209/task/15219/stat : 15219 (java) S 15207 15209 14407 0 -1 4202560 1165 0 0 0 46 0 0 0 15 0 13 0 9215900 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15220] ppid=15207 vsize=1529404 CPUtime=0 /proc/15209/task/15220/stat : 15220 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 9215900 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15221] ppid=15207 vsize=1529404 CPUtime=0 /proc/15209/task/15221/stat : 15221 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 9215900 1566109696 9134 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.21 Current children cumulated vsize (KiB) 1529404 [startup+3.10206 s] /proc/loadavg: 1.00 1.00 1.00 6/118 15222 /proc/meminfo: memFree=1690964/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1532888 CPUtime=4.69 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 25242 0 1 0 458 11 0 0 18 0 13 0 9215891 1569677312 23617 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 383222 23617 1424 10 0 380524 0 [pid=15209/tid=15211] ppid=15207 vsize=1532888 CPUtime=3.03 /proc/15209/task/15211/stat : 15211 (java) R 15207 15209 14407 0 -1 4202560 20786 0 1 0 294 9 0 0 25 0 13 0 9215892 1569677312 23617 1992294400 134512640 134550932 4288061904 18446744073709551615 4109150804 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15209/tid=15212] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15212/stat : 15212 (java) S 15207 15209 14407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 13 0 9215893 1569677312 23617 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15213] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15213/stat : 15213 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 13 0 9215893 1569677312 23618 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15214] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15214/stat : 15214 (java) S 15207 15209 14407 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 13 0 9215895 1569677312 23618 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15215] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15215/stat : 15215 (java) S 15207 15209 14407 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 9215895 1569677312 23618 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15216] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15216/stat : 15216 (java) S 15207 15209 14407 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 13 0 9215895 1569677312 23618 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15217] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15217/stat : 15217 (java) S 15207 15209 14407 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9215900 1569677312 23618 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15218] ppid=15207 vsize=1532888 CPUtime=0.42 /proc/15209/task/15218/stat : 15218 (java) S 15207 15209 14407 0 -1 4202560 647 0 0 0 42 0 0 0 15 0 13 0 9215900 1569677312 23618 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15219] ppid=15207 vsize=1532888 CPUtime=1.23 /proc/15209/task/15219/stat : 15219 (java) S 15207 15209 14407 0 -1 4202560 2742 0 0 0 122 1 0 0 16 0 13 0 9215900 1569677312 23618 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15220] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15220/stat : 15220 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 9215900 1569677312 23618 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15221] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15221/stat : 15221 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 9215900 1569677312 23618 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15222] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15222/stat : 15222 (java) S 15207 15209 14407 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 9216039 1569677312 23618 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.69 Current children cumulated vsize (KiB) 1532888 [startup+6.30237 s] /proc/loadavg: 1.00 1.00 1.00 2/118 15222 /proc/meminfo: memFree=1593872/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1532888 CPUtime=8.01 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 41244 0 1 0 783 18 0 0 18 0 13 0 9215891 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 383222 39136 1437 10 0 380524 0 [pid=15209/tid=15211] ppid=15207 vsize=1532888 CPUtime=6.18 /proc/15209/task/15211/stat : 15211 (java) R 15207 15209 14407 0 -1 4202560 32065 0 1 0 605 13 0 0 25 0 13 0 9215892 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4109150288 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15209/tid=15212] ppid=15207 vsize=1532888 CPUtime=0.02 /proc/15209/task/15212/stat : 15212 (java) S 15207 15209 14407 0 -1 4202560 1734 0 0 0 2 0 0 0 18 0 13 0 9215893 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15213] ppid=15207 vsize=1532888 CPUtime=0.02 /proc/15209/task/15213/stat : 15213 (java) S 15207 15209 14407 0 -1 4202560 2538 0 0 0 2 0 0 0 18 0 13 0 9215893 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15214] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15214/stat : 15214 (java) S 15207 15209 14407 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 13 0 9215895 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15215] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15215/stat : 15215 (java) S 15207 15209 14407 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9215895 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15216] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15216/stat : 15216 (java) S 15207 15209 14407 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9215895 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15217] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15217/stat : 15217 (java) S 15207 15209 14407 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9215900 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15218] ppid=15207 vsize=1532888 CPUtime=0.49 /proc/15209/task/15218/stat : 15218 (java) S 15207 15209 14407 0 -1 4202560 1089 0 0 0 49 0 0 0 15 0 13 0 9215900 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15219] ppid=15207 vsize=1532888 CPUtime=1.23 /proc/15209/task/15219/stat : 15219 (java) S 15207 15209 14407 0 -1 4202560 2743 0 0 0 122 1 0 0 15 0 13 0 9215900 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15220] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15220/stat : 15220 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 9215900 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15221] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15221/stat : 15221 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 9215900 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15222] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15222/stat : 15222 (java) S 15207 15209 14407 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 9216039 1569677312 39136 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.01 Current children cumulated vsize (KiB) 1532888 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/118 15222 /proc/meminfo: memFree=1575892/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1532888 CPUtime=14.66 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 43149 0 1 0 1448 18 0 0 18 0 13 0 9215891 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 383222 41037 1442 10 0 380524 0 [pid=15209/tid=15211] ppid=15207 vsize=1532888 CPUtime=12.47 /proc/15209/task/15211/stat : 15211 (java) R 15207 15209 14407 0 -1 4202560 32070 0 1 0 1234 13 0 0 25 0 13 0 9215892 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4109151130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15209/tid=15212] ppid=15207 vsize=1532888 CPUtime=0.05 /proc/15209/task/15212/stat : 15212 (java) S 15207 15209 14407 0 -1 4202560 1781 0 0 0 5 0 0 0 16 0 13 0 9215893 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15213] ppid=15207 vsize=1532888 CPUtime=0.05 /proc/15209/task/15213/stat : 15213 (java) S 15207 15209 14407 0 -1 4202560 2556 0 0 0 5 0 0 0 16 0 13 0 9215893 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15214] ppid=15207 vsize=1532888 CPUtime=0.03 /proc/15209/task/15214/stat : 15214 (java) S 15207 15209 14407 0 -1 4202560 1702 0 0 0 3 0 0 0 16 0 13 0 9215895 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15215] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15215/stat : 15215 (java) S 15207 15209 14407 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9215895 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15216] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15216/stat : 15216 (java) S 15207 15209 14407 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9215895 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15217] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15217/stat : 15217 (java) S 15207 15209 14407 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9215900 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15218] ppid=15207 vsize=1532888 CPUtime=0.56 /proc/15209/task/15218/stat : 15218 (java) S 15207 15209 14407 0 -1 4202560 1176 0 0 0 56 0 0 0 16 0 13 0 9215900 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15219] ppid=15207 vsize=1532888 CPUtime=1.43 /proc/15209/task/15219/stat : 15219 (java) S 15207 15209 14407 0 -1 4202560 2798 0 0 0 142 1 0 0 16 0 13 0 9215900 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15220] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15220/stat : 15220 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 9215900 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15221] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15221/stat : 15221 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 9215900 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15222] ppid=15207 vsize=1532888 CPUtime=0 /proc/15209/task/15222/stat : 15222 (java) S 15207 15209 14407 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 9216039 1569677312 41037 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.66 Current children cumulated vsize (KiB) 1532888 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 3/118 15224 /proc/meminfo: memFree=1541048/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1532888 CPUtime=27.69 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 52488 0 1 0 2746 23 0 0 18 0 13 0 9215891 1569677312 49751 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 383222 49751 1442 10 0 380524 0 [pid=15209/tid=15211] ppid=15207 vsize=1532888 CPUtime=25.08 /proc/15209/task/15211/stat : 15211 (java) R 15207 15209 14407 0 -1 4202560 32267 0 1 0 2495 13 0 0 25 0 13 0 9215892 1569677312 49751 1992294400 134512640 134550932 4288061904 18446744073709551615 4109150293 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15209/tid=15212] ppid=15207 vsize=1532888 CPUtime=0.13 /proc/15209/task/15212/stat : 15212 (java) S 15207 15209 14407 0 -1 4202560 5170 0 0 0 11 2 0 0 16 0 13 0 9215893 1569677312 49751 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15213] ppid=15207 vsize=1532888 CPUtime=0.13 /proc/15209/task/15213/stat : 15213 (java) S 15207 15209 14407 0 -1 4202560 5999 0 0 0 11 2 0 0 15 0 13 0 9215893 1569677312 49751 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15214] ppid=15207 vsize=1532888 CPUtime=0.13 /proc/15209/task/15214/stat : 15214 (java) S 15207 15209 14407 0 -1 4202560 3989 0 0 0 12 1 0 0 15 0 13 0 9215895 1569677312 49751 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15215] ppid=15207 vsize=1532888 CPUtime=0 ################ # More data... # ################ [pid=15209/tid=15214] ppid=15207 vsize=1533912 CPUtime=4.42 /proc/15209/task/15214/stat : 15214 (java) S 15207 15209 14407 0 -1 4202560 4082 0 0 0 439 3 0 0 15 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15215] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15215/stat : 15215 (java) S 15207 15209 14407 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15216] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15216/stat : 15216 (java) S 15207 15209 14407 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15217] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15217/stat : 15217 (java) S 15207 15209 14407 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15218] ppid=15207 vsize=1533912 CPUtime=0.73 /proc/15209/task/15218/stat : 15218 (java) S 15207 15209 14407 0 -1 4202560 2027 0 0 0 73 0 0 0 16 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15219] ppid=15207 vsize=1533912 CPUtime=1.83 /proc/15209/task/15219/stat : 15219 (java) S 15207 15209 14407 0 -1 4202560 2831 0 0 0 182 1 0 0 15 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15220] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15220/stat : 15220 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15221] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15221/stat : 15221 (java) S 15207 15209 14407 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15222] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15222/stat : 15222 (java) S 15207 15209 14407 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 9216039 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1606.38 Current children cumulated vsize (KiB) 1533912 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/118 15269 /proc/meminfo: memFree=1505204/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1533912 CPUtime=1666.45 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 65378 0 1 0 166600 45 0 0 18 0 13 0 9215891 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 383478 57893 1442 10 0 380780 0 [pid=15209/tid=15211] ppid=15207 vsize=1533912 CPUtime=1653.97 /proc/15209/task/15211/stat : 15211 (java) R 15207 15209 14407 0 -1 4202560 32492 0 1 0 165379 18 0 0 25 0 13 0 9215892 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4109151130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15209/tid=15212] ppid=15207 vsize=1533912 CPUtime=2.62 /proc/15209/task/15212/stat : 15212 (java) S 15207 15209 14407 0 -1 4202560 10725 0 0 0 253 9 0 0 16 0 13 0 9215893 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15213] ppid=15207 vsize=1533912 CPUtime=2.63 /proc/15209/task/15213/stat : 15213 (java) S 15207 15209 14407 0 -1 4202560 12053 0 0 0 252 11 0 0 15 0 13 0 9215893 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15214] ppid=15207 vsize=1533912 CPUtime=4.62 /proc/15209/task/15214/stat : 15214 (java) S 15207 15209 14407 0 -1 4202560 4086 0 0 0 459 3 0 0 15 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15215] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15215/stat : 15215 (java) S 15207 15209 14407 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15216] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15216/stat : 15216 (java) S 15207 15209 14407 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15217] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15217/stat : 15217 (java) S 15207 15209 14407 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15218] ppid=15207 vsize=1533912 CPUtime=0.73 /proc/15209/task/15218/stat : 15218 (java) S 15207 15209 14407 0 -1 4202560 2027 0 0 0 73 0 0 0 16 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15219] ppid=15207 vsize=1533912 CPUtime=1.83 /proc/15209/task/15219/stat : 15219 (java) S 15207 15209 14407 0 -1 4202560 2831 0 0 0 182 1 0 0 15 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15220] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15220/stat : 15220 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15221] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15221/stat : 15221 (java) S 15207 15209 14407 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15222] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15222/stat : 15222 (java) S 15207 15209 14407 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 9216039 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1666.45 Current children cumulated vsize (KiB) 1533912 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/118 15271 /proc/meminfo: memFree=1505204/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1533912 CPUtime=1726.48 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 65391 0 1 0 172603 45 0 0 18 0 13 0 9215891 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 383478 57893 1442 10 0 380780 0 [pid=15209/tid=15211] ppid=15207 vsize=1533912 CPUtime=1713.71 /proc/15209/task/15211/stat : 15211 (java) R 15207 15209 14407 0 -1 4202560 32499 0 1 0 171353 18 0 0 25 0 13 0 9215892 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4109150181 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15209/tid=15212] ppid=15207 vsize=1533912 CPUtime=2.69 /proc/15209/task/15212/stat : 15212 (java) S 15207 15209 14407 0 -1 4202560 10725 0 0 0 260 9 0 0 16 0 13 0 9215893 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15213] ppid=15207 vsize=1533912 CPUtime=2.7 /proc/15209/task/15213/stat : 15213 (java) S 15207 15209 14407 0 -1 4202560 12053 0 0 0 259 11 0 0 16 0 13 0 9215893 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15214] ppid=15207 vsize=1533912 CPUtime=4.77 /proc/15209/task/15214/stat : 15214 (java) S 15207 15209 14407 0 -1 4202560 4088 0 0 0 474 3 0 0 15 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15215] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15215/stat : 15215 (java) S 15207 15209 14407 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15216] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15216/stat : 15216 (java) S 15207 15209 14407 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15217] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15217/stat : 15217 (java) S 15207 15209 14407 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15218] ppid=15207 vsize=1533912 CPUtime=0.73 /proc/15209/task/15218/stat : 15218 (java) S 15207 15209 14407 0 -1 4202560 2027 0 0 0 73 0 0 0 16 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15219] ppid=15207 vsize=1533912 CPUtime=1.83 /proc/15209/task/15219/stat : 15219 (java) S 15207 15209 14407 0 -1 4202560 2831 0 0 0 182 1 0 0 15 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15220] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15220/stat : 15220 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15221] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15221/stat : 15221 (java) S 15207 15209 14407 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15222] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15222/stat : 15222 (java) S 15207 15209 14407 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 9216039 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1726.48 Current children cumulated vsize (KiB) 1533912 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/118 15273 /proc/meminfo: memFree=1505204/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1533912 CPUtime=1786.56 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 65407 0 1 0 178610 46 0 0 18 0 13 0 9215891 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 383478 57893 1442 10 0 380780 0 [pid=15209/tid=15211] ppid=15207 vsize=1533912 CPUtime=1773.37 /proc/15209/task/15211/stat : 15211 (java) R 15207 15209 14407 0 -1 4202560 32509 0 1 0 177319 18 0 0 25 0 13 0 9215892 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4109150359 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15209/tid=15212] ppid=15207 vsize=1533912 CPUtime=2.79 /proc/15209/task/15212/stat : 15212 (java) S 15207 15209 14407 0 -1 4202560 10725 0 0 0 270 9 0 0 15 0 13 0 9215893 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15213] ppid=15207 vsize=1533912 CPUtime=2.8 /proc/15209/task/15213/stat : 15213 (java) S 15207 15209 14407 0 -1 4202560 12053 0 0 0 269 11 0 0 16 0 13 0 9215893 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15214] ppid=15207 vsize=1533912 CPUtime=4.97 /proc/15209/task/15214/stat : 15214 (java) S 15207 15209 14407 0 -1 4202560 4092 0 0 0 494 3 0 0 15 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15215] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15215/stat : 15215 (java) S 15207 15209 14407 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15216] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15216/stat : 15216 (java) S 15207 15209 14407 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15217] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15217/stat : 15217 (java) S 15207 15209 14407 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15218] ppid=15207 vsize=1533912 CPUtime=0.73 /proc/15209/task/15218/stat : 15218 (java) S 15207 15209 14407 0 -1 4202560 2027 0 0 0 73 0 0 0 16 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15219] ppid=15207 vsize=1533912 CPUtime=1.83 /proc/15209/task/15219/stat : 15219 (java) S 15207 15209 14407 0 -1 4202560 2831 0 0 0 182 1 0 0 15 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15220] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15220/stat : 15220 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15221] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15221/stat : 15221 (java) S 15207 15209 14407 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15222] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15222/stat : 15222 (java) S 15207 15209 14407 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 9216039 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (KiB) 1533912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.8 s] /proc/loadavg: 1.08 1.02 1.01 2/118 15273 /proc/meminfo: memFree=1505204/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=1533912 CPUtime=1800.09 /proc/15209/stat : 15209 (java) S 15207 15209 14407 0 -1 4202496 65413 0 1 0 179963 46 0 0 18 0 13 0 9215891 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 383478 57893 1442 10 0 380780 0 [pid=15209/tid=15211] ppid=15207 vsize=1533912 CPUtime=1786.85 /proc/15209/task/15211/stat : 15211 (java) R 15207 15209 14407 0 -1 4202560 32511 0 1 0 178667 18 0 0 25 0 13 0 9215892 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4109150154 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15209/tid=15212] ppid=15207 vsize=1533912 CPUtime=2.82 /proc/15209/task/15212/stat : 15212 (java) S 15207 15209 14407 0 -1 4202560 10725 0 0 0 273 9 0 0 15 0 13 0 9215893 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15213] ppid=15207 vsize=1533912 CPUtime=2.83 /proc/15209/task/15213/stat : 15213 (java) S 15207 15209 14407 0 -1 4202560 12053 0 0 0 272 11 0 0 16 0 13 0 9215893 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15214] ppid=15207 vsize=1533912 CPUtime=4.97 /proc/15209/task/15214/stat : 15214 (java) S 15207 15209 14407 0 -1 4202560 4094 0 0 0 494 3 0 0 15 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 0 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15215] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15215/stat : 15215 (java) S 15207 15209 14407 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15216] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15216/stat : 15216 (java) S 15207 15209 14407 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9215895 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15217] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15217/stat : 15217 (java) S 15207 15209 14407 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15218] ppid=15207 vsize=1533912 CPUtime=0.73 /proc/15209/task/15218/stat : 15218 (java) S 15207 15209 14407 0 -1 4202560 2027 0 0 0 73 0 0 0 16 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 0 0 0 0 [pid=15209/tid=15219] ppid=15207 vsize=1533912 CPUtime=1.83 /proc/15209/task/15219/stat : 15219 (java) S 15207 15209 14407 0 -1 4202560 2831 0 0 0 182 1 0 0 15 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15220] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15220/stat : 15220 (java) S 15207 15209 14407 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15221] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15221/stat : 15221 (java) S 15207 15209 14407 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 13 0 9215900 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 [pid=15209/tid=15222] ppid=15207 vsize=1533912 CPUtime=0 /proc/15209/task/15222/stat : 15222 (java) S 15207 15209 14407 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 9216039 1570725888 57893 1992294400 134512640 134550932 4288061904 18446744073709551615 4294960144 0 4 0 16800975 18446604437835802432 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1533912 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.91 s] /proc/loadavg: 1.08 1.02 1.01 2/118 15273 /proc/meminfo: memFree=1505204/2059040 swapFree=4164948/4192956 [pid=15209] ppid=15207 vsize=0 CPUtime=1800.26 /proc/15209/stat : 15209 (java) Z 15207 15209 14407 0 -1 4203548 65436 0 1 0 179978 48 0 0 17 0 2 0 9215891 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15209/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1795.92 CPU time (s): 1800.27 CPU user time (s): 1799.78 CPU system time (s): 0.489925 CPU usage (%): 100.242 Max. virtual memory (cumulated for all children) (KiB): 1534936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.489925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65436 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39536 involuntary context switches= 20899 runsolver used 3.63045 second user time and 9.51055 second system time The end
Begin job on node084 at 2010-06-16 11:07:01 IDJOB=2658208 IDBENCH=48327 IDSOLVER=1164 FILE ID=node084/2658208-1276679221 PBS_JOBID= 11172518 Free space on /tmp= 62512 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_4_15.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658208-1276679221/watcher-2658208-1276679221 -o /tmp/evaluation-result-2658208-1276679221/solver-2658208-1276679221 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658208-1276679221.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8b67f7a6443cbb8d169a20134c04d298 RANDOM SEED=601717192 node084.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.229 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.45 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.229 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1735856 kB Buffers: 100808 kB Cached: 122944 kB SwapCached: 1440 kB Active: 94820 kB Inactive: 162108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1735856 kB SwapTotal: 4192956 kB SwapFree: 4164948 kB Dirty: 508 kB Writeback: 0 kB AnonPages: 31764 kB Mapped: 15140 kB Slab: 44472 kB PageTables: 3904 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180624 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62512 MiB End job on node084 at 2010-06-16 11:36:58