Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | Wrong UNSAT | 131.343 | 103.624 |
Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub3_wcsp.wbo |
MD5SUM | d6c23c2e453f33e41c20e3f242d7394d |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 424353 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 776 |
Total number of constraints | 326836 |
Number of soft constraints | 326818 |
Number of constraints which are clauses | 326818 |
Number of constraints which are cardinality constraints (but not clauses) | 18 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 44 |
Top cost | 45857915 |
Min constraint cost | 1 |
Max constraint cost | 1000000 |
Sum of constraints costs | 23120752168 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 45 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100526 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.00/0.10 c Pseudo Boolean Optimization 0.00/0.10 c --- Begin Solver configuration --- 0.00/0.10 c Stops conflict analysis at the first Unique Implication Point 0.00/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1764be1 0.00/0.10 c Learn all clauses as in MiniSAT 0.00/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.00/0.10 c Expensive reason simplification 0.00/0.10 c Armin Biere (Picosat) restarts strategy 0.00/0.10 c Glucose learned constraints deletion strategy 0.00/0.10 c timeout=2147483s 0.00/0.10 c DB Simplification allowed=false 0.00/0.10 c --- End Solver configuration --- 0.00/0.10 c solving HOME/instance-2701276-1278538848.wbo 0.00/0.10 c reading problem ... 129.30/102.31 c ... done. Wall clock time 102.21s. 129.30/102.31 c #vars 327594 129.30/102.31 c #constraints 326855 129.30/102.31 c constraints type 129.30/102.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18 129.30/102.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 326836 129.30/102.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 131.25/103.55 c starts : 2 131.25/103.55 c conflicts : 536 131.25/103.55 c decisions : 710015 131.25/103.55 c propagations : 812393 131.25/103.55 c inspects : 711323 131.25/103.55 c learnt literals : 15 131.25/103.55 c learnt binary clauses : 3 131.25/103.55 c learnt ternary clauses : 4 131.25/103.55 c learnt clauses : 520 131.25/103.55 c ignored clauses : 0 131.25/103.55 c root simplifications : 0 131.25/103.55 c removed literals (reason simplification) : 1603 131.25/103.55 c reason swapping (by a shorter reason) : 0 131.25/103.55 c Calls to reduceDB : 0 131.25/103.55 c number of reductions to clauses (during analyze) : 0 131.25/103.55 c number of learned constraints concerned by reduction : 0 131.25/103.55 c number of learning phase by resolution : 0 131.25/103.55 c number of learning phase by cutting planes : 0 131.25/103.55 c speed (assignments/second) : 652524.4979919678 131.25/103.55 c non guided choices 685 131.25/103.55 c learnt constraints type 131.25/103.55 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 517 131.25/103.55 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3 131.25/103.55 c constraints type 131.25/103.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18 131.25/103.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 326836 131.25/103.55 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 131.25/103.55 s UNSATISFIABLE 131.25/103.55 c Total wall clock time (in seconds): 103.458
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-2701276-1278538848/watcher-2701276-1278538848 -o /tmp/evaluation-result-2701276-1278538848/solver-2701276-1278538848 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701276-1278538848.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/178 18853 /proc/meminfo: memFree=26627528/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=13164 CPUtime=0 /proc/18853/stat : 18853 (java) R 18851 18853 17746 0 -1 4194304 520 0 0 0 0 0 0 0 21 0 1 0 22099655 13479936 217 4089446400 134512640 134550932 4287525664 18446744073709551615 5490309 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/18853/statm: 3291 224 140 10 0 1121 0 [startup+0.016893 s] /proc/loadavg: 1.92 1.98 1.99 3/178 18853 /proc/meminfo: memFree=26627528/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1524328 CPUtime=0 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 3121 0 1 0 0 0 0 0 21 0 10 0 22099655 1560911872 2565 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 381082 2574 795 10 0 378392 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1524328 [startup+0.100891 s] /proc/loadavg: 1.92 1.98 1.99 3/178 18853 /proc/meminfo: memFree=26627528/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1530196 CPUtime=0.11 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 5246 0 1 0 10 1 0 0 21 0 18 0 22099655 1566920704 4684 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 382549 4684 1348 10 0 379851 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530196 [startup+0.300841 s] /proc/loadavg: 1.92 1.98 1.99 3/178 18853 /proc/meminfo: memFree=26627528/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1532776 CPUtime=0.53 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 17886 0 1 0 51 2 0 0 21 0 18 0 22099655 1569562624 17196 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 383194 17203 1403 10 0 380496 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 1532776 [startup+0.700766 s] /proc/loadavg: 1.92 1.98 1.99 3/178 18853 /proc/meminfo: memFree=26627528/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1532728 CPUtime=1.28 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 45363 0 1 0 121 7 0 0 21 0 18 0 22099655 1569513472 44392 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 383182 44392 1425 10 0 380484 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 1532728 [startup+1.50162 s] /proc/loadavg: 1.92 1.98 1.99 3/196 18871 /proc/meminfo: memFree=26451996/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1532728 CPUtime=2.24 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 47708 0 1 0 214 10 0 0 21 0 18 0 22099655 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 383182 46646 1425 10 0 380484 0 [pid=18853/tid=18855] ppid=18851 vsize=1532728 CPUtime=1.39 /proc/18853/task/18855/stat : 18855 (java) R 18851 18853 17746 0 -1 4202560 37748 0 1 0 134 5 0 0 18 0 18 0 22099656 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 106834540 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=18853/tid=18856] ppid=18851 vsize=1532728 CPUtime=0.03 /proc/18853/task/18856/stat : 18856 (java) S 18851 18853 17746 0 -1 4202560 1021 0 0 0 3 0 0 0 15 0 18 0 22099656 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18857] ppid=18851 vsize=1532728 CPUtime=0.03 /proc/18853/task/18857/stat : 18857 (java) S 18851 18853 17746 0 -1 4202560 993 0 0 0 3 0 0 0 15 0 18 0 22099656 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18858] ppid=18851 vsize=1532728 CPUtime=0.04 /proc/18853/task/18858/stat : 18858 (java) S 18851 18853 17746 0 -1 4202560 993 0 0 0 4 0 0 0 16 0 18 0 22099656 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18859] ppid=18851 vsize=1532728 CPUtime=0.03 /proc/18853/task/18859/stat : 18859 (java) S 18851 18853 17746 0 -1 4202560 1135 0 0 0 3 0 0 0 15 0 18 0 22099656 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18860] ppid=18851 vsize=1532728 CPUtime=0.03 /proc/18853/task/18860/stat : 18860 (java) S 18851 18853 17746 0 -1 4202560 755 0 0 0 3 0 0 0 15 0 18 0 22099656 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 7 0 0 0 [pid=18853/tid=18861] ppid=18851 vsize=1532728 CPUtime=0.03 /proc/18853/task/18861/stat : 18861 (java) S 18851 18853 17746 0 -1 4202560 439 0 0 0 3 0 0 0 15 0 18 0 22099656 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18862] ppid=18851 vsize=1532728 CPUtime=0.03 /proc/18853/task/18862/stat : 18862 (java) S 18851 18853 17746 0 -1 4202560 1008 0 0 0 3 0 0 0 15 0 18 0 22099656 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 3 0 0 0 [pid=18853/tid=18863] ppid=18851 vsize=1532728 CPUtime=0.04 /proc/18853/task/18863/stat : 18863 (java) S 18851 18853 17746 0 -1 4202560 782 0 0 0 4 0 0 0 15 0 18 0 22099656 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 [pid=18853/tid=18864] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18864/stat : 18864 (java) S 18851 18853 17746 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 18 0 22099657 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18865] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18865/stat : 18865 (java) S 18851 18853 17746 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22099657 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18866] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18866/stat : 18866 (java) S 18851 18853 17746 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 22099657 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18867] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18867/stat : 18867 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22099660 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18868] ppid=18851 vsize=1532728 CPUtime=0.23 /proc/18853/task/18868/stat : 18868 (java) S 18851 18853 17746 0 -1 4202560 566 0 0 0 23 0 0 0 16 0 18 0 22099660 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18869] ppid=18851 vsize=1532728 CPUtime=0.25 /proc/18853/task/18869/stat : 18869 (java) S 18851 18853 17746 0 -1 4202560 1182 0 0 0 25 0 0 0 25 0 18 0 22099660 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18870] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18870/stat : 18870 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22099660 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18871] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18871/stat : 18871 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22099660 1569513472 46646 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 1532728 [startup+3.10133 s] /proc/loadavg: 1.92 1.98 1.99 3/196 18871 /proc/meminfo: memFree=26444588/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1532728 CPUtime=4.01 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 50209 0 1 0 388 13 0 0 21 0 18 0 22099655 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 383182 49031 1425 10 0 380484 0 [pid=18853/tid=18855] ppid=18851 vsize=1532728 CPUtime=2.9 /proc/18853/task/18855/stat : 18855 (java) R 18851 18853 17746 0 -1 4202560 37795 0 1 0 285 5 0 0 20 0 18 0 22099656 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 106834528 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18853/tid=18856] ppid=18851 vsize=1532728 CPUtime=0.06 /proc/18853/task/18856/stat : 18856 (java) S 18851 18853 17746 0 -1 4202560 1231 0 0 0 6 0 0 0 15 0 18 0 22099656 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18857] ppid=18851 vsize=1532728 CPUtime=0.06 /proc/18853/task/18857/stat : 18857 (java) S 18851 18853 17746 0 -1 4202560 1345 0 0 0 6 0 0 0 15 0 18 0 22099656 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18858] ppid=18851 vsize=1532728 CPUtime=0.06 /proc/18853/task/18858/stat : 18858 (java) S 18851 18853 17746 0 -1 4202560 1362 0 0 0 6 0 0 0 15 0 18 0 22099656 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18859] ppid=18851 vsize=1532728 CPUtime=0.05 /proc/18853/task/18859/stat : 18859 (java) S 18851 18853 17746 0 -1 4202560 1261 0 0 0 5 0 0 0 15 0 18 0 22099656 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18860] ppid=18851 vsize=1532728 CPUtime=0.06 /proc/18853/task/18860/stat : 18860 (java) S 18851 18853 17746 0 -1 4202560 1031 0 0 0 6 0 0 0 15 0 18 0 22099656 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18861] ppid=18851 vsize=1532728 CPUtime=0.06 /proc/18853/task/18861/stat : 18861 (java) S 18851 18853 17746 0 -1 4202560 825 0 0 0 6 0 0 0 15 0 18 0 22099656 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18862] ppid=18851 vsize=1532728 CPUtime=0.08 /proc/18853/task/18862/stat : 18862 (java) S 18851 18853 17746 0 -1 4202560 1439 0 0 0 7 1 0 0 15 0 18 0 22099656 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 3 0 0 0 [pid=18853/tid=18863] ppid=18851 vsize=1532728 CPUtime=0.08 /proc/18853/task/18863/stat : 18863 (java) S 18851 18853 17746 0 -1 4202560 1086 0 0 0 8 0 0 0 15 0 18 0 22099656 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 7 0 0 0 [pid=18853/tid=18864] ppid=18851 vsize=1532728 CPUtime=0.01 /proc/18853/task/18864/stat : 18864 (java) S 18851 18853 17746 0 -1 4202560 23 0 0 0 0 1 0 0 15 0 18 0 22099657 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18865] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18865/stat : 18865 (java) S 18851 18853 17746 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22099657 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18866] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18866/stat : 18866 (java) S 18851 18853 17746 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 22099657 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18867] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18867/stat : 18867 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22099660 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18868] ppid=18851 vsize=1532728 CPUtime=0.23 /proc/18853/task/18868/stat : 18868 (java) S 18851 18853 17746 0 -1 4202560 566 0 0 0 23 0 0 0 16 0 18 0 22099660 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18869] ppid=18851 vsize=1532728 CPUtime=0.25 /proc/18853/task/18869/stat : 18869 (java) S 18851 18853 17746 0 -1 4202560 1182 0 0 0 25 0 0 0 25 0 18 0 22099660 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18870] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18870/stat : 18870 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22099660 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18871] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18871/stat : 18871 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22099660 1569513472 49031 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 1532728 [startup+6.30087 s] /proc/loadavg: 2.33 2.07 2.02 3/196 18871 /proc/meminfo: memFree=26430800/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1532728 CPUtime=7.69 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 52461 0 1 0 751 18 0 0 21 0 18 0 22099655 1569513472 51090 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 383182 51090 1425 10 0 380484 0 [pid=18853/tid=18855] ppid=18851 vsize=1532728 CPUtime=5.93 /proc/18853/task/18855/stat : 18855 (java) S 18851 18853 17746 0 -1 4202560 37884 0 1 0 588 5 0 0 25 0 18 0 22099656 1569513472 51091 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18856] ppid=18851 vsize=1532728 CPUtime=0.13 /proc/18853/task/18856/stat : 18856 (java) R 18851 18853 17746 0 -1 4202560 1418 0 0 0 12 1 0 0 15 0 18 0 22099656 1569513472 51091 4089446400 134512640 134550932 4287525664 18446744073709551615 105886445 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=18853/tid=18857] ppid=18851 vsize=1532728 CPUtime=0.14 /proc/18853/task/18857/stat : 18857 (java) R 18851 18853 17746 0 -1 4202560 1618 0 0 0 13 1 0 0 15 0 18 0 22099656 1569513472 51091 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18853/tid=18858] ppid=18851 vsize=1532728 CPUtime=0.15 /proc/18853/task/18858/stat : 18858 (java) R 18851 18853 17746 0 -1 4202560 1620 0 0 0 15 0 0 0 15 0 18 0 22099656 1569513472 51093 4089446400 134512640 134550932 4287525664 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=18853/tid=18859] ppid=18851 vsize=1532728 CPUtime=0.13 /proc/18853/task/18859/stat : 18859 (java) R 18851 18853 17746 0 -1 4202560 1562 0 0 0 13 0 0 0 15 0 18 0 22099656 1569513472 51094 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18853/tid=18860] ppid=18851 vsize=1532728 CPUtime=0.13 /proc/18853/task/18860/stat : 18860 (java) R 18851 18853 17746 0 -1 4202560 1333 0 0 0 13 0 0 0 15 0 18 0 22099656 1569513472 51095 4089446400 134512640 134550932 4287525664 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=18853/tid=18861] ppid=18851 vsize=1532728 CPUtime=0.15 /proc/18853/task/18861/stat : 18861 (java) R 18851 18853 17746 0 -1 4202560 1165 0 0 0 14 1 0 0 15 0 18 0 22099656 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=18853/tid=18862] ppid=18851 vsize=1532728 CPUtime=0.16 /proc/18853/task/18862/stat : 18862 (java) R 18851 18853 17746 0 -1 4202560 1705 0 0 0 14 2 0 0 15 0 18 0 22099656 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=18853/tid=18863] ppid=18851 vsize=1532728 CPUtime=0.15 /proc/18853/task/18863/stat : 18863 (java) R 18851 18853 17746 0 -1 4202560 1326 0 0 0 15 0 0 0 15 0 18 0 22099656 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18853/tid=18864] ppid=18851 vsize=1532728 CPUtime=0.03 /proc/18853/task/18864/stat : 18864 (java) S 18851 18853 17746 0 -1 4202560 25 0 0 0 1 2 0 0 15 0 18 0 22099657 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18865] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18865/stat : 18865 (java) S 18851 18853 17746 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22099657 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18866] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18866/stat : 18866 (java) S 18851 18853 17746 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 22099657 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18867] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18867/stat : 18867 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22099660 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18868] ppid=18851 vsize=1532728 CPUtime=0.23 /proc/18853/task/18868/stat : 18868 (java) S 18851 18853 17746 0 -1 4202560 566 0 0 0 23 0 0 0 16 0 18 0 22099660 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18869] ppid=18851 vsize=1532728 CPUtime=0.25 /proc/18853/task/18869/stat : 18869 (java) S 18851 18853 17746 0 -1 4202560 1182 0 0 0 25 0 0 0 25 0 18 0 22099660 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18870] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18870/stat : 18870 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22099660 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18871] ppid=18851 vsize=1532728 CPUtime=0 /proc/18853/task/18871/stat : 18871 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22099660 1569513472 51097 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 7.69 Current children cumulated vsize (KiB) 1532728 [startup+12.7016 s] /proc/loadavg: 2.30 2.06 2.02 3/196 18872 /proc/meminfo: memFree=26411200/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1533752 CPUtime=15.44 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 57607 0 1 0 1490 54 0 0 21 0 18 0 22099655 1570562048 55995 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 383438 55995 1425 10 0 380740 0 [pid=18853/tid=18855] ppid=18851 vsize=1533752 CPUtime=11.88 /proc/18853/task/18855/stat : 18855 (java) R 18851 18853 17746 0 -1 4202560 38066 0 1 0 1182 6 0 0 25 0 18 0 22099656 1570562048 55995 4089446400 134512640 134550932 4287525664 18446744073709551615 106834687 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=18853/tid=18856] ppid=18851 vsize=1533752 CPUtime=0.38 /proc/18853/task/18856/stat : 18856 (java) S 18851 18853 17746 0 -1 4202560 2023 0 0 0 33 5 0 0 15 0 18 0 22099656 1570562048 55995 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 [pid=18853/tid=18857] ppid=18851 vsize=1533752 CPUtime=0.34 /proc/18853/task/18857/stat : 18857 (java) S 18851 18853 17746 0 -1 4202560 2149 0 0 0 29 5 0 0 15 0 18 0 22099656 1570562048 55995 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18858] ppid=18851 vsize=1533752 CPUtime=0.39 /proc/18853/task/18858/stat : 18858 (java) S 18851 18853 17746 0 -1 4202560 2209 0 0 0 34 5 0 0 15 0 18 0 22099656 1570562048 55995 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 7 0 0 0 [pid=18853/tid=18859] ppid=18851 vsize=1533752 CPUtime=0.37 /proc/18853/task/18859/stat : 18859 (java) S 18851 18853 17746 0 -1 4202560 2172 0 0 0 32 5 0 0 15 0 18 0 22099656 1570562048 55995 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/18853/task/18855/stat : 18855 (java) R 18851 18853 17746 0 -1 4202560 40496 0 1 0 9092 10 0 0 16 0 18 0 22099656 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4109443836 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18853/tid=18856] ppid=18851 vsize=1534776 CPUtime=4.72 /proc/18853/task/18856/stat : 18856 (java) S 18851 18853 17746 0 -1 4202560 4659 0 0 0 388 84 0 0 15 0 18 0 22099656 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 7 0 0 0 [pid=18853/tid=18857] ppid=18851 vsize=1534776 CPUtime=4.58 /proc/18853/task/18857/stat : 18857 (java) S 18851 18853 17746 0 -1 4202560 5220 0 0 0 376 82 0 0 15 0 18 0 22099656 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18858] ppid=18851 vsize=1534776 CPUtime=4.77 /proc/18853/task/18858/stat : 18858 (java) S 18851 18853 17746 0 -1 4202560 5161 0 0 0 382 95 0 0 15 0 18 0 22099656 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18859] ppid=18851 vsize=1534776 CPUtime=4.62 /proc/18853/task/18859/stat : 18859 (java) S 18851 18853 17746 0 -1 4202560 6246 0 0 0 388 74 0 0 15 0 18 0 22099656 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18860] ppid=18851 vsize=1534776 CPUtime=4.53 /proc/18853/task/18860/stat : 18860 (java) S 18851 18853 17746 0 -1 4202560 6206 0 0 0 371 82 0 0 15 0 18 0 22099656 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18861] ppid=18851 vsize=1534776 CPUtime=4.59 /proc/18853/task/18861/stat : 18861 (java) S 18851 18853 17746 0 -1 4202560 4488 0 0 0 371 88 0 0 15 0 18 0 22099656 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 [pid=18853/tid=18862] ppid=18851 vsize=1534776 CPUtime=4.59 /proc/18853/task/18862/stat : 18862 (java) S 18851 18853 17746 0 -1 4202560 5660 0 0 0 375 84 0 0 15 0 18 0 22099656 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 3 0 0 0 [pid=18853/tid=18863] ppid=18851 vsize=1534776 CPUtime=4.61 /proc/18853/task/18863/stat : 18863 (java) S 18851 18853 17746 0 -1 4202560 5047 0 0 0 377 84 0 0 15 0 18 0 22099656 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18864] ppid=18851 vsize=1534776 CPUtime=0.56 /proc/18853/task/18864/stat : 18864 (java) S 18851 18853 17746 0 -1 4202560 42 0 0 0 19 37 0 0 15 0 18 0 22099657 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18865] ppid=18851 vsize=1534776 CPUtime=0 /proc/18853/task/18865/stat : 18865 (java) S 18851 18853 17746 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 18 0 22099657 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18866] ppid=18851 vsize=1534776 CPUtime=0 /proc/18853/task/18866/stat : 18866 (java) S 18851 18853 17746 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 22099657 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18867] ppid=18851 vsize=1534776 CPUtime=0 /proc/18853/task/18867/stat : 18867 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22099660 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18868] ppid=18851 vsize=1534776 CPUtime=0.27 /proc/18853/task/18868/stat : 18868 (java) S 18851 18853 17746 0 -1 4202560 569 0 0 0 27 0 0 0 15 0 18 0 22099660 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18869] ppid=18851 vsize=1534776 CPUtime=0.34 /proc/18853/task/18869/stat : 18869 (java) S 18851 18853 17746 0 -1 4202560 1194 0 0 0 34 0 0 0 15 0 18 0 22099660 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18870] ppid=18851 vsize=1534776 CPUtime=0 /proc/18853/task/18870/stat : 18870 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22099660 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18871] ppid=18851 vsize=1534776 CPUtime=0 /proc/18853/task/18871/stat : 18871 (java) S 18851 18853 17746 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 22099660 1571610624 81469 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 129.3 Current children cumulated vsize (KiB) 1534776 Solver just ended. Dumping a history of the last processes samples [startup+103.101 s] /proc/loadavg: 2.54 2.16 2.05 3/196 18874 /proc/meminfo: memFree=26305244/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1536836 CPUtime=130.75 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 97773 0 1 0 12348 727 0 0 21 0 19 0 22099655 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 384209 91825 1440 10 0 381511 0 [pid=18853/tid=18855] ppid=18851 vsize=1536836 CPUtime=91.77 /proc/18853/task/18855/stat : 18855 (java) R 18851 18853 17746 0 -1 4202560 40520 0 1 0 9167 10 0 0 18 0 19 0 22099656 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4109793984 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=18853/tid=18856] ppid=18851 vsize=1536836 CPUtime=4.75 /proc/18853/task/18856/stat : 18856 (java) S 18851 18853 17746 0 -1 4202560 5752 0 0 0 391 84 0 0 15 0 19 0 22099656 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 [pid=18853/tid=18857] ppid=18851 vsize=1536836 CPUtime=4.61 /proc/18853/task/18857/stat : 18857 (java) S 18851 18853 17746 0 -1 4202560 6893 0 0 0 379 82 0 0 15 0 19 0 22099656 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18858] ppid=18851 vsize=1536836 CPUtime=4.8 /proc/18853/task/18858/stat : 18858 (java) S 18851 18853 17746 0 -1 4202560 6313 0 0 0 385 95 0 0 15 0 19 0 22099656 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18859] ppid=18851 vsize=1536836 CPUtime=4.63 /proc/18853/task/18859/stat : 18859 (java) S 18851 18853 17746 0 -1 4202560 7024 0 0 0 389 74 0 0 15 0 19 0 22099656 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 7 0 0 0 [pid=18853/tid=18860] ppid=18851 vsize=1536836 CPUtime=4.56 /proc/18853/task/18860/stat : 18860 (java) S 18851 18853 17746 0 -1 4202560 8317 0 0 0 374 82 0 0 15 0 19 0 22099656 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18861] ppid=18851 vsize=1536836 CPUtime=4.62 /proc/18853/task/18861/stat : 18861 (java) S 18851 18853 17746 0 -1 4202560 5721 0 0 0 374 88 0 0 15 0 19 0 22099656 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 5 0 0 0 [pid=18853/tid=18862] ppid=18851 vsize=1536836 CPUtime=4.62 /proc/18853/task/18862/stat : 18862 (java) S 18851 18853 17746 0 -1 4202560 6787 0 0 0 378 84 0 0 15 0 19 0 22099656 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 3 0 0 0 [pid=18853/tid=18863] ppid=18851 vsize=1536836 CPUtime=4.65 /proc/18853/task/18863/stat : 18863 (java) S 18851 18853 17746 0 -1 4202560 6093 0 0 0 380 85 0 0 15 0 19 0 22099656 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18864] ppid=18851 vsize=1536836 CPUtime=0.56 /proc/18853/task/18864/stat : 18864 (java) S 18851 18853 17746 0 -1 4202560 42 0 0 0 19 37 0 0 15 0 19 0 22099657 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18865] ppid=18851 vsize=1536836 CPUtime=0 /proc/18853/task/18865/stat : 18865 (java) S 18851 18853 17746 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 19 0 22099657 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18866] ppid=18851 vsize=1536836 CPUtime=0 /proc/18853/task/18866/stat : 18866 (java) S 18851 18853 17746 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 22099657 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18867] ppid=18851 vsize=1536836 CPUtime=0 /proc/18853/task/18867/stat : 18867 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22099660 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18868] ppid=18851 vsize=1536836 CPUtime=0.51 /proc/18853/task/18868/stat : 18868 (java) S 18851 18853 17746 0 -1 4202560 1765 0 0 0 51 0 0 0 16 0 19 0 22099660 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18869] ppid=18851 vsize=1536836 CPUtime=0.56 /proc/18853/task/18869/stat : 18869 (java) S 18851 18853 17746 0 -1 4202560 1476 0 0 0 56 0 0 0 16 0 19 0 22099660 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18870] ppid=18851 vsize=1536836 CPUtime=0 /proc/18853/task/18870/stat : 18870 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22099660 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18871] ppid=18851 vsize=1536836 CPUtime=0 /proc/18853/task/18871/stat : 18871 (java) S 18851 18853 17746 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 22099660 1573720064 91825 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 130.75 Current children cumulated vsize (KiB) 1536836 [startup+103.501 s] /proc/loadavg: 2.66 2.19 2.06 3/197 18875 /proc/meminfo: memFree=26263200/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1537860 CPUtime=131.25 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 98005 0 1 0 12398 727 0 0 21 0 19 0 22099655 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 384465 91955 1442 10 0 381767 0 [pid=18853/tid=18855] ppid=18851 vsize=1537860 CPUtime=92.17 /proc/18853/task/18855/stat : 18855 (java) R 18851 18853 17746 0 -1 4202560 40522 0 1 0 9207 10 0 0 18 0 19 0 22099656 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4109771660 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=18853/tid=18856] ppid=18851 vsize=1537860 CPUtime=4.75 /proc/18853/task/18856/stat : 18856 (java) S 18851 18853 17746 0 -1 4202560 5752 0 0 0 391 84 0 0 15 0 19 0 22099656 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 [pid=18853/tid=18857] ppid=18851 vsize=1537860 CPUtime=4.61 /proc/18853/task/18857/stat : 18857 (java) S 18851 18853 17746 0 -1 4202560 6893 0 0 0 379 82 0 0 15 0 19 0 22099656 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18858] ppid=18851 vsize=1537860 CPUtime=4.8 /proc/18853/task/18858/stat : 18858 (java) S 18851 18853 17746 0 -1 4202560 6313 0 0 0 385 95 0 0 15 0 19 0 22099656 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18859] ppid=18851 vsize=1537860 CPUtime=4.63 /proc/18853/task/18859/stat : 18859 (java) S 18851 18853 17746 0 -1 4202560 7024 0 0 0 389 74 0 0 15 0 19 0 22099656 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 7 0 0 0 [pid=18853/tid=18860] ppid=18851 vsize=1537860 CPUtime=4.56 /proc/18853/task/18860/stat : 18860 (java) S 18851 18853 17746 0 -1 4202560 8317 0 0 0 374 82 0 0 15 0 19 0 22099656 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18861] ppid=18851 vsize=1537860 CPUtime=4.62 /proc/18853/task/18861/stat : 18861 (java) S 18851 18853 17746 0 -1 4202560 5721 0 0 0 374 88 0 0 15 0 19 0 22099656 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 5 0 0 0 [pid=18853/tid=18862] ppid=18851 vsize=1537860 CPUtime=4.62 /proc/18853/task/18862/stat : 18862 (java) S 18851 18853 17746 0 -1 4202560 6787 0 0 0 378 84 0 0 15 0 19 0 22099656 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 3 0 0 0 [pid=18853/tid=18863] ppid=18851 vsize=1537860 CPUtime=4.65 /proc/18853/task/18863/stat : 18863 (java) S 18851 18853 17746 0 -1 4202560 6093 0 0 0 380 85 0 0 15 0 19 0 22099656 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18864] ppid=18851 vsize=1537860 CPUtime=0.56 /proc/18853/task/18864/stat : 18864 (java) S 18851 18853 17746 0 -1 4202560 42 0 0 0 19 37 0 0 15 0 19 0 22099657 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18865] ppid=18851 vsize=1537860 CPUtime=0 /proc/18853/task/18865/stat : 18865 (java) S 18851 18853 17746 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 19 0 22099657 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18866] ppid=18851 vsize=1537860 CPUtime=0 /proc/18853/task/18866/stat : 18866 (java) S 18851 18853 17746 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 22099657 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18867] ppid=18851 vsize=1537860 CPUtime=0 /proc/18853/task/18867/stat : 18867 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22099660 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18868] ppid=18851 vsize=1537860 CPUtime=0.52 /proc/18853/task/18868/stat : 18868 (java) S 18851 18853 17746 0 -1 4202560 1768 0 0 0 52 0 0 0 15 0 19 0 22099660 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18869] ppid=18851 vsize=1537860 CPUtime=0.65 /proc/18853/task/18869/stat : 18869 (java) S 18851 18853 17746 0 -1 4202560 1703 0 0 0 65 0 0 0 15 0 19 0 22099660 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18870] ppid=18851 vsize=1537860 CPUtime=0 /proc/18853/task/18870/stat : 18870 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22099660 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18871] ppid=18851 vsize=1537860 CPUtime=0 /proc/18853/task/18871/stat : 18871 (java) S 18851 18853 17746 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 22099660 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 [pid=18853/tid=18875] ppid=18851 vsize=1537860 CPUtime=0 /proc/18853/task/18875/stat : 18875 (java) S 18851 18853 17746 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 22109936 1574768640 91955 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 131.25 Current children cumulated vsize (KiB) 1537860 [startup+103.601 s] /proc/loadavg: 2.66 2.19 2.06 3/197 18875 /proc/meminfo: memFree=26263200/32951124 swapFree=67111528/67111528 [pid=18853] ppid=18851 vsize=1538184 CPUtime=131.32 /proc/18853/stat : 18853 (java) S 18851 18853 17746 0 -1 4202496 98020 0 1 0 12405 727 0 0 21 0 19 0 22099655 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/18853/statm: 384546 91970 1443 10 0 381848 0 [pid=18853/tid=18855] ppid=18851 vsize=1538184 CPUtime=92.23 /proc/18853/task/18855/stat : 18855 (java) S 18851 18853 17746 0 -1 4202560 40530 0 1 0 9213 10 0 0 20 0 19 0 22099656 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 7 0 0 0 [pid=18853/tid=18856] ppid=18851 vsize=1538184 CPUtime=4.75 /proc/18853/task/18856/stat : 18856 (java) S 18851 18853 17746 0 -1 4202560 5752 0 0 0 391 84 0 0 15 0 19 0 22099656 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 [pid=18853/tid=18857] ppid=18851 vsize=1538184 CPUtime=4.61 /proc/18853/task/18857/stat : 18857 (java) S 18851 18853 17746 0 -1 4202560 6893 0 0 0 379 82 0 0 15 0 19 0 22099656 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18858] ppid=18851 vsize=1538184 CPUtime=4.8 /proc/18853/task/18858/stat : 18858 (java) S 18851 18853 17746 0 -1 4202560 6313 0 0 0 385 95 0 0 15 0 19 0 22099656 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18859] ppid=18851 vsize=1538184 CPUtime=4.63 /proc/18853/task/18859/stat : 18859 (java) S 18851 18853 17746 0 -1 4202560 7024 0 0 0 389 74 0 0 15 0 19 0 22099656 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 7 0 0 0 [pid=18853/tid=18860] ppid=18851 vsize=1538184 CPUtime=4.56 /proc/18853/task/18860/stat : 18860 (java) S 18851 18853 17746 0 -1 4202560 8317 0 0 0 374 82 0 0 15 0 19 0 22099656 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18861] ppid=18851 vsize=1538184 CPUtime=4.62 /proc/18853/task/18861/stat : 18861 (java) S 18851 18853 17746 0 -1 4202560 5721 0 0 0 374 88 0 0 15 0 19 0 22099656 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 5 0 0 0 [pid=18853/tid=18862] ppid=18851 vsize=1538184 CPUtime=4.62 /proc/18853/task/18862/stat : 18862 (java) S 18851 18853 17746 0 -1 4202560 6787 0 0 0 378 84 0 0 15 0 19 0 22099656 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 3 0 0 0 [pid=18853/tid=18863] ppid=18851 vsize=1538184 CPUtime=4.65 /proc/18853/task/18863/stat : 18863 (java) S 18851 18853 17746 0 -1 4202560 6093 0 0 0 380 85 0 0 15 0 19 0 22099656 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18864] ppid=18851 vsize=1538184 CPUtime=0.56 /proc/18853/task/18864/stat : 18864 (java) S 18851 18853 17746 0 -1 4202560 42 0 0 0 19 37 0 0 15 0 19 0 22099657 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 0 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18865] ppid=18851 vsize=1538184 CPUtime=0 /proc/18853/task/18865/stat : 18865 (java) S 18851 18853 17746 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 19 0 22099657 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18866] ppid=18851 vsize=1538184 CPUtime=0 /proc/18853/task/18866/stat : 18866 (java) S 18851 18853 17746 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 22099657 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 0 0 0 0 [pid=18853/tid=18867] ppid=18851 vsize=1538184 CPUtime=0 /proc/18853/task/18867/stat : 18867 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22099660 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18868] ppid=18851 vsize=1538184 CPUtime=0.52 /proc/18853/task/18868/stat : 18868 (java) S 18851 18853 17746 0 -1 4202560 1768 0 0 0 52 0 0 0 15 0 19 0 22099660 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 2 0 0 0 [pid=18853/tid=18869] ppid=18851 vsize=1538184 CPUtime=0.66 /proc/18853/task/18869/stat : 18869 (java) S 18851 18853 17746 0 -1 4202560 1704 0 0 0 66 0 0 0 15 0 19 0 22099660 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 4 0 0 0 [pid=18853/tid=18870] ppid=18851 vsize=1538184 CPUtime=0 /proc/18853/task/18870/stat : 18870 (java) S 18851 18853 17746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22099660 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 6 0 0 0 [pid=18853/tid=18871] ppid=18851 vsize=1538184 CPUtime=0 /proc/18853/task/18871/stat : 18871 (java) S 18851 18853 17746 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 22099660 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 [pid=18853/tid=18875] ppid=18851 vsize=1538184 CPUtime=0 /proc/18853/task/18875/stat : 18875 (java) S 18851 18853 17746 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 22109936 1575100416 91970 4089446400 134512640 134550932 4287525664 18446744073709551615 4294960144 0 4 0 16800975 18446604453984625920 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 131.32 Current children cumulated vsize (KiB) 1538184 Child status: 20 Real time (s): 103.624 CPU time (s): 131.343 CPU user time (s): 124.053 CPU system time (s): 7.28989 CPU usage (%): 126.75 Max. virtual memory (cumulated for all children) (KiB): 1538184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 124.053 system time used= 7.28989 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98020 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= 92210 involuntary context switches= 3494527 runsolver used 0.173973 second user time and 0.414936 second system time The end
Begin job on node110 at 2010-07-07 23:40:48 IDJOB=2701276 IDBENCH=79553 IDSOLVER=1202 FILE ID=node110/2701276-1278538848 PBS_JOBID= 11239258 Free space on /tmp= 73488 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar7-sub3_wcsp.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701276-1278538848/watcher-2701276-1278538848 -o /tmp/evaluation-result-2701276-1278538848/solver-2701276-1278538848 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701276-1278538848.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d6c23c2e453f33e41c20e3f242d7394d RANDOM SEED=1698972095 node110.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5347.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26627684 kB Buffers: 140632 kB Cached: 4297760 kB SwapCached: 0 kB Active: 3723632 kB Inactive: 2436028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26627684 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 9748 kB Writeback: 0 kB AnonPages: 1722420 kB Mapped: 15456 kB Slab: 94176 kB PageTables: 8496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1949536 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73488 MiB End job on node110 at 2010-07-07 23:42:32