Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | UNSAT | 705.377 | 702.824 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_1_15.opb |
MD5SUM | ebbe5bb724184b6646f7cf4470989c3e |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 12.3861 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 100 |
Total number of constraints | 152 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
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 | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2996 |
Sum of products size (including duplicates) | 5992 |
Number of different products | 1498 |
Sum of products size | 2996 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 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.15 c version 2.1.1.v20090612 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1342000320 0.09/0.15 c Max memory 1344274432 0.09/0.15 c Total memory 1344274432 0.09/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c MiniSAT restarts strategy 0.23/0.21 c Memory based learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c solving HOME/instance-1858165-1244971745.opb 0.23/0.21 c reading problem ... 1.13/0.82 c ... done. Wall clock time 0.611s. 1.13/0.82 c #vars 1598 1.13/0.82 c #constraints 3149 1.13/0.82 c constraints type 1.13/0.82 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1498 1.13/0.82 c org.sat4j.minisat.constraints.card.MinWatchCard => 103 1.13/0.82 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 1.13/0.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1498 705.13/702.60 c starts : 19 705.13/702.60 c conflicts : 428548 705.13/702.60 c decisions : 745367 705.13/702.60 c propagations : 21743834 705.13/702.60 c inspects : 1713970362 705.13/702.60 c learnt literals : 25 705.13/702.60 c learnt binary clauses : 356 705.13/702.60 c learnt ternary clauses : 20412 705.13/702.60 c learnt clauses : 428522 705.13/702.60 c ignored clauses : 0 705.13/702.60 c root simplifications : 0 705.13/702.60 c removed literals (reason simplification) : 9923487 705.13/702.60 c reason swapping (by a shorter reason) : 0 705.13/702.60 c Calls to reduceDB : 0 705.13/702.60 c speed (assignments/second) : 30983.788389825317 705.13/702.60 c non guided choices 1515 705.28/702.74 c learnt constraints type 705.28/702.74 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 428166 705.28/702.74 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 356 705.28/702.74 c constraints type 705.28/702.74 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1498 705.28/702.74 c org.sat4j.minisat.constraints.card.MinWatchCard => 103 705.28/702.74 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 705.28/702.74 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1498 705.28/702.74 s UNSATISFIABLE 705.28/702.74 c Total wall clock time (in seconds): 702.526
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-1858165-1244971745/watcher-1858165-1244971745 -o /tmp/evaluation-result-1858165-1244971745/solver-1858165-1244971745 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1858165-1244971745.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/64 16065 /proc/meminfo: memFree=1287424/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1612 CPUtime=0 /proc/16065/stat : 16065 (java6) R 16063 16065 15745 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 164774963 1650688 147 1992294400 134512640 134550932 4294956176 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0 /proc/16065/statm: 403 147 111 9 0 45 0 [startup+0.0761691 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16065 /proc/meminfo: memFree=1287424/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1470220 CPUtime=0.07 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 3425 0 1 0 5 2 0 0 18 0 7 0 164774963 1505505280 3170 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 367555 3170 1036 9 0 364906 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1470220 [startup+0.10116 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16065 /proc/meminfo: memFree=1287424/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1472584 CPUtime=0.09 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 3631 0 1 0 7 2 0 0 18 0 12 0 164774963 1507926016 3374 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 368146 3375 1068 9 0 365494 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1472584 [startup+0.301112 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16065 /proc/meminfo: memFree=1287424/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1475004 CPUtime=0.35 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 4985 0 1 0 32 3 0 0 18 0 12 0 164774963 1510404096 4723 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 368751 4723 1357 9 0 366094 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1475004 [startup+0.700999 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16065 /proc/meminfo: memFree=1287424/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1478580 CPUtime=1.01 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 7347 0 1 0 97 4 0 0 18 0 12 0 164774963 1514065920 6398 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 369645 6398 1402 9 0 366988 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 1478580 [startup+1.50176 s] /proc/loadavg: 1.00 1.00 1.00 4/77 16078 /proc/meminfo: memFree=1262232/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1479928 CPUtime=2.33 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 15625 0 1 0 225 8 0 0 18 0 13 0 164774963 1515446272 12647 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 369982 12649 1417 9 0 367325 0 [pid=16065/tid=16067] ppid=16063 vsize=1479928 CPUtime=1.12 /proc/16065/task/16067/stat : 16067 (java) R 16063 16065 15745 0 -1 64 10148 0 1 0 107 5 0 0 18 0 13 0 164774964 1515446272 12651 1992294400 134512640 134550932 4294956016 18446744073709551615 4109591183 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16068] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16068/stat : 16068 (java) S 16063 16065 15745 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 164774966 1515446272 12652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16069] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16069/stat : 16069 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 164774966 1515446272 12652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16070] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16070/stat : 16070 (java) S 16063 16065 15745 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 164774967 1515446272 12653 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16071] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16071/stat : 16071 (java) S 16063 16065 15745 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 164774968 1515446272 12656 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16072] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16072/stat : 16072 (java) S 16063 16065 15745 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 164774968 1515446272 12659 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16073] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16073/stat : 16073 (java) S 16063 16065 15745 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164774972 1515446272 12662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16074] ppid=16063 vsize=1479928 CPUtime=0.62 /proc/16065/task/16074/stat : 16074 (java) S 16063 16065 15745 0 -1 64 1399 0 0 0 62 0 0 0 16 0 13 0 164774972 1515446272 12664 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16075] ppid=16063 vsize=1479928 CPUtime=0.55 /proc/16065/task/16075/stat : 16075 (java) S 16063 16065 15745 0 -1 64 3336 0 0 0 54 1 0 0 17 0 13 0 164774972 1515446272 12666 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16076] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16076/stat : 16076 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 164774972 1515446272 12668 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16077] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16077/stat : 16077 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 164774972 1515446272 12669 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16078] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16078/stat : 16078 (java) S 16063 16065 15745 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 164775047 1515446272 12670 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 1479928 [startup+3.10231 s] /proc/loadavg: 1.00 1.00 1.00 2/77 16078 /proc/meminfo: memFree=1179736/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1479928 CPUtime=4.06 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 37088 0 1 0 388 18 0 0 18 0 13 0 164774963 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 369982 34038 1430 9 0 367325 0 [pid=16065/tid=16067] ppid=16063 vsize=1479928 CPUtime=2.69 /proc/16065/task/16067/stat : 16067 (java) R 16063 16065 15745 0 -1 64 30971 0 1 0 255 14 0 0 23 0 13 0 164774964 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4109588884 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16068] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16068/stat : 16068 (java) S 16063 16065 15745 0 -1 64 266 0 0 0 0 0 0 0 16 0 13 0 164774966 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16069] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16069/stat : 16069 (java) S 16063 16065 15745 0 -1 64 279 0 0 0 0 0 0 0 16 0 13 0 164774966 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16070] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16070/stat : 16070 (java) S 16063 16065 15745 0 -1 64 8 0 0 0 0 0 0 0 15 0 13 0 164774967 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16071] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16071/stat : 16071 (java) S 16063 16065 15745 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 164774968 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16072] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16072/stat : 16072 (java) S 16063 16065 15745 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 164774968 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16073] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16073/stat : 16073 (java) S 16063 16065 15745 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164774972 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16074] ppid=16063 vsize=1479928 CPUtime=0.69 /proc/16065/task/16074/stat : 16074 (java) S 16063 16065 15745 0 -1 64 1479 0 0 0 69 0 0 0 17 0 13 0 164774972 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16075] ppid=16063 vsize=1479928 CPUtime=0.62 /proc/16065/task/16075/stat : 16075 (java) S 16063 16065 15745 0 -1 64 3340 0 0 0 61 1 0 0 15 0 13 0 164774972 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16076] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16076/stat : 16076 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 164774972 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16077] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16077/stat : 16077 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 164774972 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16078] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16078/stat : 16078 (java) S 16063 16065 15745 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 164775047 1515446272 34038 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.06 Current children cumulated vsize (KiB) 1479928 [startup+6.30238 s] /proc/loadavg: 1.00 1.00 1.00 2/77 16078 /proc/meminfo: memFree=1149800/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1479928 CPUtime=7.34 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 39408 0 1 0 715 19 0 0 18 0 13 0 164774963 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 369982 36279 1430 9 0 367325 0 [pid=16065/tid=16067] ppid=16063 vsize=1479928 CPUtime=5.81 /proc/16065/task/16067/stat : 16067 (java) R 16063 16065 15745 0 -1 64 30976 0 1 0 567 14 0 0 25 0 13 0 164774964 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4109645659 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16068] ppid=16063 vsize=1479928 CPUtime=0.04 /proc/16065/task/16068/stat : 16068 (java) S 16063 16065 15745 0 -1 64 1482 0 0 0 4 0 0 0 17 0 13 0 164774966 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16069] ppid=16063 vsize=1479928 CPUtime=0.04 /proc/16065/task/16069/stat : 16069 (java) S 16063 16065 15745 0 -1 64 1363 0 0 0 4 0 0 0 17 0 13 0 164774966 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16070] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16070/stat : 16070 (java) S 16063 16065 15745 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 164774967 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16071] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16071/stat : 16071 (java) S 16063 16065 15745 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 164774968 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16072] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16072/stat : 16072 (java) S 16063 16065 15745 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 164774968 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16073] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16073/stat : 16073 (java) S 16063 16065 15745 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164774972 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16074] ppid=16063 vsize=1479928 CPUtime=0.74 /proc/16065/task/16074/stat : 16074 (java) S 16063 16065 15745 0 -1 64 1483 0 0 0 74 0 0 0 16 0 13 0 164774972 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16075] ppid=16063 vsize=1479928 CPUtime=0.64 /proc/16065/task/16075/stat : 16075 (java) S 16063 16065 15745 0 -1 64 3343 0 0 0 63 1 0 0 17 0 13 0 164774972 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16076] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16076/stat : 16076 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 164774972 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16077] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16077/stat : 16077 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 164774972 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16078] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16078/stat : 16078 (java) S 16063 16065 15745 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 164775047 1515446272 36279 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.34 Current children cumulated vsize (KiB) 1479928 [startup+12.7025 s] /proc/loadavg: 1.00 1.00 1.00 2/77 16078 /proc/meminfo: memFree=1122024/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1479928 CPUtime=13.83 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 45844 0 1 0 1361 22 0 0 18 0 13 0 164774963 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 369982 42515 1430 9 0 367325 0 [pid=16065/tid=16067] ppid=16063 vsize=1479928 CPUtime=12.14 /proc/16065/task/16067/stat : 16067 (java) R 16063 16065 15745 0 -1 64 33132 0 1 0 1199 15 0 0 25 0 13 0 164774964 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4109626623 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16068] ppid=16063 vsize=1479928 CPUtime=0.11 /proc/16065/task/16068/stat : 16068 (java) S 16063 16065 15745 0 -1 64 3745 0 0 0 10 1 0 0 16 0 13 0 164774966 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16069] ppid=16063 vsize=1479928 CPUtime=0.11 /proc/16065/task/16069/stat : 16069 (java) S 16063 16065 15745 0 -1 64 3375 0 0 0 10 1 0 0 17 0 13 0 164774966 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16070] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16070/stat : 16070 (java) S 16063 16065 15745 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 164774967 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16071] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16071/stat : 16071 (java) S 16063 16065 15745 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 164774968 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16072] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16072/stat : 16072 (java) S 16063 16065 15745 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 164774968 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16073] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16073/stat : 16073 (java) S 16063 16065 15745 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164774972 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16074] ppid=16063 vsize=1479928 CPUtime=0.75 /proc/16065/task/16074/stat : 16074 (java) S 16063 16065 15745 0 -1 64 1483 0 0 0 75 0 0 0 16 0 13 0 164774972 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16075] ppid=16063 vsize=1479928 CPUtime=0.64 /proc/16065/task/16075/stat : 16075 (java) S 16063 16065 15745 0 -1 64 3343 0 0 0 63 1 0 0 17 0 13 0 164774972 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16076] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16076/stat : 16076 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 164774972 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16077] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16077/stat : 16077 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 164774972 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16078] ppid=16063 vsize=1479928 CPUtime=0 /proc/16065/task/16078/stat : 16078 (java) S 16063 16065 15745 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 164775047 1515446272 42515 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.83 Current children cumulated vsize (KiB) 1479928 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/77 16078 /proc/meminfo: memFree=1106408/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1478904 CPUtime=26.78 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 50154 0 1 0 2654 24 0 0 18 0 13 0 164774963 1514397696 46409 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 369726 46409 1430 9 0 367069 0 [pid=16065/tid=16067] ppid=16063 vsize=1478904 CPUtime=24.83 /proc/16065/task/16067/stat : 16067 (java) R 16063 16065 15745 0 -1 64 33139 0 1 0 2468 15 0 0 25 0 13 0 164774964 1514397696 46409 1992294400 134512640 134550932 4294956016 18446744073709551615 4109626666 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16068] ppid=16063 vsize=1478904 CPUtime=0.2 /proc/16065/task/16068/stat : 16068 (java) S 16063 16065 15745 0 -1 64 6063 0 0 0 18 2 0 0 16 0 13 0 164774966 1514397696 46409 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16069] ppid=16063 vsize=1478904 CPUtime=0.21 /proc/16065/task/16069/stat : 16069 (java) S 16063 16065 15745 0 -1 64 5356 0 0 0 19 2 0 0 16 0 13 0 164774966 1514397696 46409 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16070] ppid=16063 vsize=1478904 CPUtime=0 ################ # More data... # ################ /proc/16065/statm: 369726 69345 1430 9 0 367069 0 [pid=16065/tid=16067] ppid=16063 vsize=1478904 CPUtime=520.43 /proc/16065/task/16067/stat : 16067 (java) R 16063 16065 15745 0 -1 64 33193 0 1 0 52028 15 0 0 25 0 13 0 164774964 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4109626623 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16068] ppid=16063 vsize=1478904 CPUtime=1.19 /proc/16065/task/16068/stat : 16068 (java) S 16063 16065 15745 0 -1 64 17661 0 0 0 108 11 0 0 16 0 13 0 164774966 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16069] ppid=16063 vsize=1478904 CPUtime=1.33 /proc/16065/task/16069/stat : 16069 (java) S 16063 16065 15745 0 -1 64 17581 0 0 0 125 8 0 0 17 0 13 0 164774966 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16070] ppid=16063 vsize=1478904 CPUtime=0.01 /proc/16065/task/16070/stat : 16070 (java) S 16063 16065 15745 0 -1 64 21 0 0 0 1 0 0 0 16 0 13 0 164774967 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16071] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16071/stat : 16071 (java) S 16063 16065 15745 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 164774968 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16072] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16072/stat : 16072 (java) S 16063 16065 15745 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 164774968 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16073] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16073/stat : 16073 (java) S 16063 16065 15745 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164774972 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16074] ppid=16063 vsize=1478904 CPUtime=0.83 /proc/16065/task/16074/stat : 16074 (java) S 16063 16065 15745 0 -1 64 1488 0 0 0 82 1 0 0 16 0 13 0 164774972 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16075] ppid=16063 vsize=1478904 CPUtime=0.67 /proc/16065/task/16075/stat : 16075 (java) S 16063 16065 15745 0 -1 64 3343 0 0 0 66 1 0 0 16 0 13 0 164774972 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16076] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16076/stat : 16076 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 164774972 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16077] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16077/stat : 16077 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 164774972 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16078] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16078/stat : 16078 (java) S 16063 16065 15745 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 164775047 1514397696 69345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 524.52 Current children cumulated vsize (KiB) 1478904 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/77 16078 /proc/meminfo: memFree=1006632/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1478904 CPUtime=584.62 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 75996 0 1 0 58422 40 0 0 18 0 13 0 164774963 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 369726 71259 1430 9 0 367069 0 [pid=16065/tid=16067] ppid=16063 vsize=1478904 CPUtime=580.3 /proc/16065/task/16067/stat : 16067 (java) R 16063 16065 15745 0 -1 64 33197 0 1 0 58015 15 0 0 25 0 13 0 164774964 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4109626623 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16068] ppid=16063 vsize=1478904 CPUtime=1.29 /proc/16065/task/16068/stat : 16068 (java) S 16063 16065 15745 0 -1 64 18989 0 0 0 118 11 0 0 16 0 13 0 164774966 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16069] ppid=16063 vsize=1478904 CPUtime=1.45 /proc/16065/task/16069/stat : 16069 (java) S 16063 16065 15745 0 -1 64 18213 0 0 0 137 8 0 0 17 0 13 0 164774966 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16070] ppid=16063 vsize=1478904 CPUtime=0.01 /proc/16065/task/16070/stat : 16070 (java) S 16063 16065 15745 0 -1 64 21 0 0 0 1 0 0 0 16 0 13 0 164774967 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16071] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16071/stat : 16071 (java) S 16063 16065 15745 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 164774968 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16072] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16072/stat : 16072 (java) S 16063 16065 15745 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 164774968 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16073] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16073/stat : 16073 (java) S 16063 16065 15745 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164774972 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16074] ppid=16063 vsize=1478904 CPUtime=0.83 /proc/16065/task/16074/stat : 16074 (java) S 16063 16065 15745 0 -1 64 1488 0 0 0 82 1 0 0 16 0 13 0 164774972 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16075] ppid=16063 vsize=1478904 CPUtime=0.67 /proc/16065/task/16075/stat : 16075 (java) S 16063 16065 15745 0 -1 64 3343 0 0 0 66 1 0 0 16 0 13 0 164774972 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16076] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16076/stat : 16076 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 164774972 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16077] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16077/stat : 16077 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 164774972 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16078] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16078/stat : 16078 (java) S 16063 16065 15745 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 164775047 1514397696 71259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 584.62 Current children cumulated vsize (KiB) 1478904 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/77 16078 /proc/meminfo: memFree=997352/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1478904 CPUtime=644.7 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 78318 0 1 0 64429 41 0 0 18 0 13 0 164774963 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 369726 73563 1430 9 0 367069 0 [pid=16065/tid=16067] ppid=16063 vsize=1478904 CPUtime=640.17 /proc/16065/task/16067/stat : 16067 (java) R 16063 16065 15745 0 -1 64 33200 0 1 0 64002 15 0 0 25 0 13 0 164774964 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4109613909 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16068] ppid=16063 vsize=1478904 CPUtime=1.39 /proc/16065/task/16068/stat : 16068 (java) S 16063 16065 15745 0 -1 64 19649 0 0 0 127 12 0 0 16 0 13 0 164774966 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16069] ppid=16063 vsize=1478904 CPUtime=1.58 /proc/16065/task/16069/stat : 16069 (java) S 16063 16065 15745 0 -1 64 19872 0 0 0 149 9 0 0 16 0 13 0 164774966 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16070] ppid=16063 vsize=1478904 CPUtime=0.01 /proc/16065/task/16070/stat : 16070 (java) S 16063 16065 15745 0 -1 64 21 0 0 0 1 0 0 0 16 0 13 0 164774967 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16071] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16071/stat : 16071 (java) S 16063 16065 15745 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 164774968 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16072] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16072/stat : 16072 (java) S 16063 16065 15745 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 164774968 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16073] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16073/stat : 16073 (java) S 16063 16065 15745 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164774972 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16074] ppid=16063 vsize=1478904 CPUtime=0.83 /proc/16065/task/16074/stat : 16074 (java) S 16063 16065 15745 0 -1 64 1488 0 0 0 82 1 0 0 16 0 13 0 164774972 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16075] ppid=16063 vsize=1478904 CPUtime=0.67 /proc/16065/task/16075/stat : 16075 (java) S 16063 16065 15745 0 -1 64 3343 0 0 0 66 1 0 0 16 0 13 0 164774972 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16076] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16076/stat : 16076 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 164774972 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16077] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16077/stat : 16077 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 164774972 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16078] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16078/stat : 16078 (java) S 16063 16065 15745 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 164775047 1514397696 73563 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 644.7 Current children cumulated vsize (KiB) 1478904 [startup+702.302 s] /proc/loadavg: 1.07 1.02 1.00 2/77 16078 /proc/meminfo: memFree=990312/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1478904 CPUtime=704.83 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 80100 0 1 0 70440 43 0 0 18 0 13 0 164774963 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 369726 75328 1430 9 0 367069 0 [pid=16065/tid=16067] ppid=16063 vsize=1478904 CPUtime=700.02 /proc/16065/task/16067/stat : 16067 (java) R 16063 16065 15745 0 -1 64 33204 0 1 0 69986 16 0 0 25 0 13 0 164774964 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4109626623 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16068] ppid=16063 vsize=1478904 CPUtime=1.51 /proc/16065/task/16068/stat : 16068 (java) S 16063 16065 15745 0 -1 64 20541 0 0 0 138 13 0 0 16 0 13 0 164774966 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16069] ppid=16063 vsize=1478904 CPUtime=1.72 /proc/16065/task/16069/stat : 16069 (java) S 16063 16065 15745 0 -1 64 20758 0 0 0 163 9 0 0 17 0 13 0 164774966 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16070] ppid=16063 vsize=1478904 CPUtime=0.01 /proc/16065/task/16070/stat : 16070 (java) S 16063 16065 15745 0 -1 64 21 0 0 0 1 0 0 0 16 0 13 0 164774967 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16071] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16071/stat : 16071 (java) S 16063 16065 15745 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 164774968 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16072] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16072/stat : 16072 (java) S 16063 16065 15745 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 164774968 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16073] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16073/stat : 16073 (java) S 16063 16065 15745 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 164774972 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16074] ppid=16063 vsize=1478904 CPUtime=0.84 /proc/16065/task/16074/stat : 16074 (java) S 16063 16065 15745 0 -1 64 1488 0 0 0 83 1 0 0 16 0 13 0 164774972 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16075] ppid=16063 vsize=1478904 CPUtime=0.67 /proc/16065/task/16075/stat : 16075 (java) S 16063 16065 15745 0 -1 64 3343 0 0 0 66 1 0 0 16 0 13 0 164774972 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16076] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16076/stat : 16076 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 164774972 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16077] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16077/stat : 16077 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 164774972 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16078] ppid=16063 vsize=1478904 CPUtime=0 /proc/16065/task/16078/stat : 16078 (java) S 16063 16065 15745 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 164775047 1514397696 75328 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 704.83 Current children cumulated vsize (KiB) 1478904 Solver just ended. Dumping a history of the last processes samples [startup+702.702 s] /proc/loadavg: 1.07 1.02 1.00 2/77 16078 /proc/meminfo: memFree=990312/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=1479228 CPUtime=705.28 /proc/16065/stat : 16065 (java) S 16063 16065 15745 0 -1 0 80110 0 1 0 70485 43 0 0 18 0 14 0 164774963 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 369807 75338 1432 9 0 367150 0 [pid=16065/tid=16067] ppid=16063 vsize=1479228 CPUtime=700.33 /proc/16065/task/16067/stat : 16067 (java) S 16063 16065 15745 0 -1 64 33207 0 1 0 70017 16 0 0 25 0 14 0 164774964 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16068] ppid=16063 vsize=1479228 CPUtime=1.51 /proc/16065/task/16068/stat : 16068 (java) S 16063 16065 15745 0 -1 64 20541 0 0 0 138 13 0 0 16 0 14 0 164774966 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16069] ppid=16063 vsize=1479228 CPUtime=1.72 /proc/16065/task/16069/stat : 16069 (java) S 16063 16065 15745 0 -1 64 20758 0 0 0 163 9 0 0 17 0 14 0 164774966 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16070] ppid=16063 vsize=1479228 CPUtime=0.01 /proc/16065/task/16070/stat : 16070 (java) S 16063 16065 15745 0 -1 64 21 0 0 0 1 0 0 0 16 0 14 0 164774967 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16071] ppid=16063 vsize=1479228 CPUtime=0 /proc/16065/task/16071/stat : 16071 (java) S 16063 16065 15745 0 -1 64 11 0 0 0 0 0 0 0 16 0 14 0 164774968 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16072] ppid=16063 vsize=1479228 CPUtime=0 /proc/16065/task/16072/stat : 16072 (java) S 16063 16065 15745 0 -1 64 7 0 0 0 0 0 0 0 16 0 14 0 164774968 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16073] ppid=16063 vsize=1479228 CPUtime=0 /proc/16065/task/16073/stat : 16073 (java) S 16063 16065 15745 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 164774972 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16074] ppid=16063 vsize=1479228 CPUtime=0.9 /proc/16065/task/16074/stat : 16074 (java) S 16063 16065 15745 0 -1 64 1488 0 0 0 89 1 0 0 17 0 14 0 164774972 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16075] ppid=16063 vsize=1479228 CPUtime=0.67 /proc/16065/task/16075/stat : 16075 (java) S 16063 16065 15745 0 -1 64 3345 0 0 0 66 1 0 0 16 0 14 0 164774972 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16076] ppid=16063 vsize=1479228 CPUtime=0 /proc/16065/task/16076/stat : 16076 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 25 0 14 0 164774972 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16065/tid=16077] ppid=16063 vsize=1479228 CPUtime=0 /proc/16065/task/16077/stat : 16077 (java) S 16063 16065 15745 0 -1 64 0 0 0 0 0 0 0 0 15 0 14 0 164774972 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16065/tid=16078] ppid=16063 vsize=1479228 CPUtime=0 /proc/16065/task/16078/stat : 16078 (java) S 16063 16065 15745 0 -1 64 5 0 0 0 0 0 0 0 20 0 14 0 164775047 1514729472 75338 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 705.28 Current children cumulated vsize (KiB) 1479228 [startup+702.803 s] /proc/loadavg: 1.07 1.02 1.00 2/66 16079 /proc/meminfo: memFree=1155496/2055920 swapFree=4191900/4192956 [pid=16065] ppid=16063 vsize=0 CPUtime=705.35 /proc/16065/stat : 16065 (java) Z 16063 16065 15745 0 -1 1036 80117 0 1 0 70489 46 0 0 16 0 2 0 164774963 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16065/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 705.35 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 702.824 CPU time (s): 705.377 CPU user time (s): 704.899 CPU system time (s): 0.477927 CPU usage (%): 100.363 Max. virtual memory (cumulated for all children) (KiB): 1480904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 704.899 system time used= 0.477927 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80117 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= 15712 involuntary context switches= 4444 runsolver used 0.834873 second user time and 1.84572 second system time The end
Begin job on node16 at 2009-06-14 11:29:05 IDJOB=1858165 IDBENCH=48380 IDSOLVER=682 FILE ID=node16/1858165-1244971745 PBS_JOBID= 9355005 Free space on /tmp= 66360 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_25_1_15.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1858165-1244971745/watcher-1858165-1244971745 -o /tmp/evaluation-result-1858165-1244971745/solver-1858165-1244971745 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1858165-1244971745.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ebbe5bb724184b6646f7cf4470989c3e RANDOM SEED=269742103 node16.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.214 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.214 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: 1287904 kB Buffers: 77432 kB Cached: 605312 kB SwapCached: 384 kB Active: 126664 kB Inactive: 568908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1287904 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 328 kB Writeback: 0 kB Mapped: 21272 kB Slab: 58456 kB Committed_AS: 131552 kB PageTables: 1440 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66360 MiB End job on node16 at 2009-06-14 11:40:48